logo Adalog

Formation Ada 95 (3 jours)

Cette formation s'adresse aux développeurs qui connaissent déjà Ada 83 et souhaitent se former aux possibilités supplémentaires apportées par Ada 95.

Ada 95 est la version la plus répandue du langage Ada, standardisée par l'ISO depuis le 15 février 1995. Elle a été définie après enquête auprès des utilisateurs, sous le contrôle vigilant des organismes internationaux. Ada 95 maintient une très haute compatibilité avec Ada 83, tout en fournissant les nouvelles fonctionnalités qui faisaient défaut pour certaines classes d'application.

L'apparition d'Ada 95 a représenté un évènement majeur, en fournissant pour la première fois dans un cadre linguistique unique strictement normalisé:

  • Un véritable langage orienté objet;
  • Des possibilités temps-réel très performantes;
  • Un modèle d'exécution distribuée;
  • Une compatibilité avec tous les standards du marché.

Même si le langage a continué à progresser avec les versions 2005 et 2012, Ada95 reste la base qui a servi aux versions plus récentes.

Prérequis

Connaissance préalable d'Ada 83.

Programme détaillé

  Matin Après-midi
Jour 1
Introduction. Bibliothèque hiérarchiques. Types accès.
  • Buts de la révision, historique. Le compilateur GNAT.
  • Use type, types modulaires et decimaux, jeux de caractères.
  • Bibliothèques hiérarchiques. Enfants privés et publics. Enfants de génériques. Nouveaux paquetages standards.
  • Types accès généralisés. Paramètres accès. Règles d'accessibilité. Pointeurs sur sous-programmes. Discriminants accès.
  • Pragmas Import, Export, Convention. Le paquetage Interface. Storage IO.
  • TP : Nouvelles formes de pointeurs
Jour 2
Programmation orientée objet. Génériques. Exceptions. Temps-réel.
  • Types étiquetés et extension de type. Classes. Liaison dynamique. Discriminants de types étiquetés. Génériques et types étiquetés. Types contrôlés.
  • Gestion de la mémoire, pools. Flots de données.Paquetages formels génériques. ID's d'exception, occurences.
  • Types protégés. Operations protégées.
  • Familles d'entrées. Requeue. Transfert de contrôle asynchrone. Perfectionnements divers.
  • TP: Programmation orientée objet.
Jour 3
Annexes. Gérer la transition.
  • Annexe programmation système: Gestion d'interruptions, Task IDs., attributs de tâches.
  • Annexe temps réel: politiques de gestion des queues et d'ordonnancement, délais, priorités, contrôle de tâche synchrone et asynchrone.
  • Annexe Systèmes distribués: partitions, classification des paquetages, appels distants, modèle objet distribué.
  • Annexe Numériques: modes strict et relaché, nombres complexes, nouveaux attributs.
  • Annexe Systèmes d'information : arithmétique décimale, picture_IO.
  • Annexe Sūreté et securité: exigences, pragmas de sécurité, restrictions.
  • Gérer la transition. Incompatibilités. Programmer en Ada 83 en pensant à Ada 95. Procédures de validation et état actuel. Conclusion.
  • TP : Nouvelles fonctionnalités du parallélisme