Ugrás a tartalomhoz

Ada

A Wikiszótárból, a nyitott szótárból

Főnév

Ada (tsz. Adas)

  1. (informatika) Ada nyelv

Ada egy strukturált, statikusan típusos, nagy megbízhatóságú programozási nyelv, amelyet elsősorban beágyazott, biztonságkritikus rendszerek fejlesztésére használnak – például légiközlekedésben, katonai rendszerekben és űrkutatásban.



🌟 Alapvető tudnivalók Ada-ról

  • Fejlesztette: Az Egyesült Államok Védelmi Minisztériuma (DoD) megbízásából.
  • Első verzió: 1980-as évek eleje.
  • Elnevezés: Augusta Ada Lovelace után – őt tartják az első számítógépes programozónak.
  • Szabvány: ISO szabványosított nyelv, jelenlegi fő verzió: Ada 2012, készül az Ada 202X.



🎯 Fő jellemzők

Tulajdonság Leírás
Erős típusosság Komoly típusellenőrzés fordítási időben.
Modularitás Csomagok (packages) és eljárások támogatása.
Konkurencia Beépített támogatás párhuzamos végrehajtáshoz (task, rendezvous).
Biztonságkritikus támogatás Formalizált kivételek, ellenőrzések, hitelesítések.
Objektumorientáltság Támogatott az Ada 95-től kezdve.



👩‍💻 Példa: “Hello, World!” Ada nyelven

with Ada.Text_IO; use Ada.Text_IO;

procedure Hello is
begin
   Put_Line("Hello, World!");
end Hello;

🔧 Hol használják?

  • Légiirányítási rendszerek (pl. Airbus, Boeing)
  • Védelmi és fegyverrendszerek
  • Űrkutatás (pl. NASA rendszerei)
  • Vasúti biztonsági rendszerek
  • Orvosi berendezések (bizonyos típusai)



🛠️ Miért használják Ada-t?

  • Biztonság: Az ellenőrzési mechanizmusok miatt nagyon megbízható.
  • Determinálhatóság: Kiszámítható végrehajtás valós idejű rendszerekhez.
  • Hosszú távú karbantarthatóság: Nagy rendszerek esetén is kezelhető.
  • Fordítási hibák korai észlelése: Nagyon sok hibát még futtatás előtt elkap.



Összefoglalás

Az Ada egy megbízhatóságra, biztonságra és strukturáltságra tervezett nyelv, amely ma is fontos szerepet játszik kritikus rendszerek fejlesztésében, ahol a hibamentes működés nem csupán előny, hanem követelmény.

  • Ada - Szótár.net (en-hu)
  • Ada - Sztaki (en-hu)
  • Ada - Merriam–Webster
  • Ada - Cambridge
  • Ada - WordNet
  • Ada - Яндекс (en-ru)
  • Ada - Google (en-hu)
  • Ada - Wikidata
  • Ada - Wikipédia (angol)