Ada, un langage de programmation plus fiable et plus sûr grâce à une norme ISO/CEI révisée

Lu en quelques minutes

Cet article appartient à nos archives.

Par Maria Lazarte
Mots clés : Informatique
Publié le
Partager sur , ,
Le langage de programmation Ada, souvent utilisé dans le contrôle du trafic aérien, le secteur bancaire et d’autres secteurs à hauts risques en raison de sa fiabilité, gagne en souplesse et en sécurité grâce à la troisième édition d’ISO/CEI 8652:2012, Technologies de l'information – Langages de programmation – Ada.

Une des améliorations de la nouvelle version d’Ada est la composante couramment désignée « programmation par contrat ». Figurant dans très peu d'autres langages, elle renforce de manière significative les programmes contre les bogues et l'utilisation malveillante.

Ada a été conçu à l'origine avec trois grands objectifs :

  • Fiabilité et maintenance de programmes
  • Programmation en tant qu'activité humaine
  • Efficacité

Au fil des ans, le langage a été amélioré pour en accroître la flexibilité et l'extensibilité, le contrôle et le support. La version 2012 améliore encore ses capacités et son expressivité, ainsi que la fiabilité, la sécurité et la sûreté des programmes qui l’utilisent.

La révision répond à des besoins réels des utilisateurs, par exemple en améliorant la portabilité, en définissant les interfaces avec d'autres langages, en introduisant un support formel pour la programmation par contrat et en continuant à améliorer les capacités pour les systèmes orientés objet et temps réel.

« Le langage Ada étant publié sous forme de Norme internationale, les utilisateurs savent que les mises à jour seront accessibles aux développeurs du monde entier, et qu’elles seront stables », explique Joyce Tokar, animatrice du groupe de travail qui a élaboré la norme.

Cet aspect est essentiel parce que le langage Ada est souvent utilisé dans les secteurs où la sécurité et la fiabilité sont déterminantes : par exemple, aviation et contrôle du trafic aérien, satellites, secteur médical, banque, réseaux ferroviaires et de métro, domaine militaire.

Demandé à l’origine par le Ministère américain de la défense pour consolider les langages de programmation utilisés dans l'armée, le langage Ada a été publié en tant que norme ISO en 1987. Il est nommé en l’honneur d’Ada Lovelace, considérée comme la première informaticienne de l’histoire.

La norme ISO/CEI 8652:2012, Technologies de l'information – Langages de programmation – Ada, a été élaborée par le comité mixte ISO/CEI JTC 1, Technologies de l'information, sous-comité SC 22, Langages de programmation, leur environnement et interfaces des logiciels de systèmes. Elle est disponible auprès des instituts nationaux membres de l'ISO (voir la liste complète avec les coordonnées). Il est également possible de l'obtenir directement au Secrétariat central de l'ISO au prix de 238 francs suisses, par l'intermédiaire de l'ISO Store ou en contactant le département Marketing, Communication & Information.


Maria Lazarte
Maria Lazarte

contact pour la presse

press@iso.org

Journaliste, blogueur ou rédacteur ?

Vous souhaitez obtenir des informations exclusives sur les normes, ou simplement en savoir plus sur ce que nous faisons ? Contactez notre équipe ou consultez notre dossier médias.