L’Ada est un langage de programmation conçu pour être utilisé dans des environnements critiques, tels que les systèmes embarqués et le temps réel. Il est caractérisé par différentes fonctionnalités :
Le typage statique : chaque variable a un type bien défini, ce qui permet de détecter les erreurs de type à la compilation.
Il permet de détecter les erreurs de type à la compilation. Par exemple, la compilation d’un code qui tente d’additionner un entier et un flottant échouera.
Exemple :
Ce code echoura à la compilation et affichera le code suivant :
De même pour le code suivant qui affichera la même erreur.
La modularité : La modularité permet de découper le code en modules, ce qui facilite la maintenance et la compréhension du code. Par exemple, un module peut être utilisé pour gérer l’interface avec un périphérique matériel.
La visibilité : Elle permet de contrôler l’accès aux éléments du code, ce qui permet d’améliorer la sécurité et la fiabilité des applications. Par exemple, un module peut être déclaré comme étant privé, ce qui signifie que seul le code du module peut y accéder.
La généricité : Cela permet de réutiliser du code pour différents types de données. Par exemple, un type générique peut être utilisé pour représenter un tableau de n’importe quel type de données.
La programmation par contrat : permet de définir des contrats entre les modules, ce qui permet de détecter les erreurs d’utilisation du code. Par exemple, un module peut définir un contrat qui stipule que la fonction f() doit recevoir un argument de type entier et retourner un entier.
Exemple :
C’est grâce a toutes ces fonctionnalités que l’ADA est utiliser pour les systèmes en temp réel comme les systèmes de contrôle du trafic aérien et les systèmes de contrôle des processus et les systèmes de conduite autonomes, les système embarqués comme les vélos à assistance éléctrique. Il est également utiliser dans l’aeronotique, le spacial, la défense, les automatisation industrielle, la finance ainsi que la médecine.
L’ada dans l’aéronautique et le spatial :
Voici des exemples de l’utilisation de l’ADA dans l’aéronautique et le spatial :
Systèmes de contrôle-commande : les systèmes de commande sont responsables du pilotage d’avion ou de fusée. Ils sont chargés de contrôler les moteurs, les gouvernes, les systèmes de navigation, les systèmes de propulsion, etc. Ada est un langage de programmation bien adapté au développement de ces systèmes, car il permet de garantir la fiabilité et la performance des applications.
Systèmes embarqués : les systèmes embarqués sont présents dans tous les avions et les fusées, depuis les systèmes de navigation aux systèmes de divertissement. Il est un langage de programmation bien adapté au développement de ces systèmes, car il permet de gérer les ressources limitées des systèmes embarqués.
Systèmes de simulation : les systèmes de simulation sont utilisés pour tester les nouveaux aéronefs et les nouveaux vaisseaux spatiaux. Il est adapté au développement de ces systèmes, car il permet de créer des simulations réalistes.