Ada (langage)

Ada (langage)
Page d'aide sur l'homonymie Pour les articles homonymes, voir Ada.
Ada Lovelace

Ada est un langage de programmation orienté objet dont les premières versions remontent au début des années 1980.

Sommaire

Présentation

Ada[1] est un langage de programmation conçu par léquipe de CII-Honeywell Bull dirigée par Jean Ichbiah en réponse à un cahier des charges établi par le département de la Défense des États-Unis (DoD). Son développement a commencé au début des années 1980 pour donner Ada 83. Pour cela, l'équipe de Jean Ichbiah s'est inspirée de son précédent langage LIS (Langage d'Implémentation de Systèmes), conçu à la CII pour permettre le développement de systèmes d'exploitation portables (à 95%, disait Ichbiah).

Ada 83 a été ensuite repris et amélioré au milieu des années 1990 pour donner Ada 95, le premier langage objet normalisé de manière internationale. Sous les auspices de lOrganisation internationale de normalisation (ISO), le langage dispose maintenant dune révision appelée Ada 2005.

Le nom Ada a été choisi en lhonneur dAda Lovelace, qui est supposée avoir été la première femme informaticienne de lhistoire. Il est associé à la couleur verte car, lors de lappel doffre du DoD, les différentes propositions étaient désignées par des couleurs pour éviter tout biais, et léquipe qui la conçu était léquipe verte.

Voici quelques particularités dAda :

  • typage statique,
  • module par les paquetages et contrôle fin de la visibilité
  • syntaxe claire et non ambiguë (inspirée de celle du langage Pascal),
  • généricité,
  • multi-tâche,
  • traits temps réel intégrés au langage (tâches, objets protégés, interruptions),
  • bibliothèques normalisées
  • liens avec les autres langages,
  • annexes temps réel avec le Profil Ravenscar pour les systèmes sûrs,
  • le document de la norme ISO est librement téléchargeable (voir ci-dessous).

Il est souvent utilisé dans des systèmes temps réel et embarqués nécessitant un haut niveau de fiabilité et de sécurité. De nos jours, Ada95 est employé bien sûr par son initiateur, mais aussi dans toutes les technologies de pointe ; en France, lautomobile, les transports ferroviaires (ALSTOM, Siemens Transportation Systems, ANSALDO STS) (TGV, Corail, RER, METEOR), les technologies aéronautiques (Thales Air Systems, Thales Avionics, Airbus, EADS Défense et sécurité) et les technologies spatiales (Thales Alenia Space, EADS Astrium, CNES, Arianespace).

En 2011, il est possible de trouver des compilateurs Ada pour certains systèmes dexploitation (Windows, Linux, VxWorks) et architectures matérielles, y compris un compilateur libre (GNAT, inclus dans GNU Compiler Collection) compilant de lAda 83/95/2005.

Ada est souvent utilisé en introduction aux cours de programmation informatique avancée[réfnécessaire], et parce qu'il partage les mêmes qualités pédagogiques que le Pascal dont il a hérité, Ada est même maintenant utilisé pour les cours d'introduction à la programmation[réfnécessaire].

Autres langages dans la mouvance Ada

Ada est inspiré du Pascal dont il a repris tant l'esprit de la syntaxe que de l'architecture (surtout si on inclut Turbo Pascal). Le langage Ada a inspiré Bertrand Meyer pour la conception du langage Eiffel, qui y ajoute des notions de programmation par contrat (mais se montre moins adapté à l'industrie sous certains aspects). La notion de programmation par contrat, formalisée par Bertrand Meyer avec Eiffel, a amené la création d'une extension au langage Ada , SPARK (en), pour lui faire supporter des notations permettant d'exprimer des assertions contractuelles dans les spécifications.

Dans le domaine des bases de données, Ada a inspiré le langage PL/SQL.

"Hello, world!" en Ada 95 ou Ada 2005

Un exemple courant pour montrer la syntaxe dun langage est le programme Hello world :

with Ada.Text_IO; -- Bibliothèque
 
procedure Hello is -- Annonce de la procédure "Hello"
begin -- Début de la procédure "Hello"
  Ada.Text_IO.Put_Line("Hello, world!"); -- Code qui imprime "Hello, world!" à l'écran
end Hello; -- Fin de la procédure "Hello"

Il existe des raccourcis pour Ada.Text_IO.Put_Line nécessitant moins de caractères, mais ils ne sont pas utilisés ici pour des raisons de compréhension. Pour des explications plus détaillées, vous pouvez consulter Wikibooks:Ada Programming/Basic.

Bref historique

1974Le département de la Défense américain s'aperçoit quil gaspille énormément dargent en utilisant grosso modo un langage de programmation par application, et en entretenant des programmes écrits dans des langages obsolètes endémiques ou exotiques. Certaines sources avancent le chiffre de 500 langages de programmation employés en ces lieux.

Le résultat de cette prise de conscience est lélaboration, en 3 ans, du cahier des charges dun langage unique, suffisamment souple et puissant pour remplacer tous les autres, que ce soit pour le guidage de missile ou les travaux sur lintelligence artificielle en passant par les applications de gestion.

1977Le département lance un appel doffres, remporté par une équipe dirigée par le Français Jean Ichbiah.

1980Jean Ichbiah fonde la compagnie Alsys (Ada Language Systems).

1983Ada83 est normalisé aux États-Unis par lANSI (ANSI/MIL-STD-1815A-1983).

1987Ada83 fait lobjet de la norme internationale ISO 8652:1987.

1990À partir des améliorations apportées par les différents développeurs de compilateurs, lAda Joint Program Office lance un projet de révision du langage.

1991Alsys est revendu à Thomson-CSF et devient TSP.

1992Un contrat est passé entre le comité de révision (Ada9X Program Office) et lUniversité de New York pour le développement dun compilateur de référence pour le nouveau langage, qui sera librement disponible. Ce compilateur, GNAT, est basé sur la technologie GCC de GNU.

1994La société Ada Core Technologies (aujourdhui AdaCore) est fondée par les membres du projet GNAT pour poursuivre la maintenance du compilateur et en assurer la commercialisation et le support.

1995La révision tant attendue arrive à son terme, Ada95 voit le jour. Une norme révisée est publiée, ISO/CEI 8652:1995. Ada95 est le premier langage qui met en œuvre la programmation orientée objet à faire lobjet dune norme internationale. Le compilateur GNAT couvre lintégralité de la norme Ada95, y compris lensemble de ses annexes optionnelles.

1996TSP devient Aonix[2].

2000LAda Conformity Assessment Authority (ACAA) publie un ensemble de corrections mineures accumulées au cours des cinq années précédentes : le Technical Corrigendum 1.

2003Un rapport du Software Engineering Institute (en) prédit la mort du langage Ada malgré sa supériorité sur les autres.

2007L'ISO publie l'Amendement 1 au langage qui introduit de nouvelles fonctions et officialise de nombreuses améliorations proposées initialement par les différents développeurs de compilateurs. Cette version du langage porte le nom d'Ada 2005, année durant laquelle l'Amendement fut figé pour publication par l'ISO.

Voir aussi

Articles connexes

Sur les autres projets Wikimedia :

  • GNAT (compilateur Ada libre)
  • MaRTE OS (système d'exploitation temps réel écrit en Ada)

Liens externes

Bibliographie

  1. (fr) Le langage Ada 957 : La généricité
  2. (fr) Le langage Ada 958 : Chaînes et fichiers
  3. (fr) Le langage Ada10 : Les exceptions
  4. (fr) Le langage Ada11 : lorientation objet
  5. (fr) Le langage Ada12 : Types limités et objets contrôlés
  6. (fr) Le langage Ada13 : liaison avec d'autres langages
  7. (fr) Le langage Ada14 : tâches parallèles
  8. (fr) Le langage Ada15 : conteneurs
  9. (fr) Le langage Ada16 : Les caractères des chaînes
  10. (fr) Le langage Ada17 : un peu dassembleur

Notes et références

  1. What About Ada? The State of the Technology in 2003
  2. Greffe du tribunal de Commerce de Nanterre, 380 249 003 RCS Nanterre

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Ada (langage) de Wikipédia en français (auteurs)

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

  • Ada (Langage) — Pour les articles homonymes, voir Ada. Ada Lovelace Ada est un langage de programmation orienté objet dont les prem …   Wikipédia en Français

  • Ada (langage de programmation) — Ada (langage) Pour les articles homonymes, voir Ada. Ada Lovelace Ada est un langage de programmation orienté objet dont les prem …   Wikipédia en Français

  • Ada 2005 — Ada (langage) Pour les articles homonymes, voir Ada. Ada Lovelace Ada est un langage de programmation orienté objet dont les prem …   Wikipédia en Français

  • Ada 83 — Ada (langage) Pour les articles homonymes, voir Ada. Ada Lovelace Ada est un langage de programmation orienté objet dont les prem …   Wikipédia en Français

  • Ada 95 — Ada (langage) Pour les articles homonymes, voir Ada. Ada Lovelace Ada est un langage de programmation orienté objet dont les prem …   Wikipédia en Français

  • Ada Byron — Ada Lovelace Pour les articles homonymes, voir Ada et Lovelace. Ada Lovelace …   Wikipédia en Français

  • Ada de Lovelace — Ada Lovelace Pour les articles homonymes, voir Ada et Lovelace. Ada Lovelace …   Wikipédia en Français

  • Ada Lovelace — Pour les articles homonymes, voir Ada et Lovelace. Ada Lovelace …   Wikipédia en Français

  • ada — [ ada ] n. m. • 1979; de Ada de Lovelace, fille de Byron ♦ Inform. Langage évolué très général permettant le traitement de données, le contrôle de systèmes en temps réel, ainsi que la gestion de tâches parallèles. ● ada nom masculin (de Ada, nom… …   Encyclopédie Universelle

  • AdA — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Ada peut faire référence à différents concepts. Sommaire 1 Biologie 2 Toponymie …   Wikipédia en Français

Share the article and excerpts

Direct link
https://fr-academic.com/dic.nsf/frwiki/51577 Do a right-click on the link above
and select “Copy Link”