logo Adalog
DataDocké

Formation Ada 2005/Ada 2012 (3 jours)

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

Ada 2012 est depuis le 15 décembre 2012 la seule version officiellement normalisée du langage. Concrètement, c'est une révision de la norme Ada 95, augmentée des améliorations d'Ada 2005, qui apporte les nouvelles fonctionnalités correspondant à l'évolution de l'état de l'art en informatique. Les compilateurs ont déjà commencé à implémenter les nouvelles fonctionnalités.

Ada 2005 avait apporté des compléments dans les domaines où des insuffisances étaient apparues à l'usage:

  • Support des interfaces selon un modèle proche de ce que l'on trouve en Java/C#;
  • Extension des types accès généralisés;
  • Support des modèles d'ordonnancement les plus modernes (EDF);
  • Extension de la bibliothèque prédéfinie.

A celà, Ada 2012 apporte en plus:

  • La programmation par contrat (pré- et post-condition, invariants)
  • Itérateurs définis par l'utilisateur
  • Expressions conditionnelles, prédicats
  • Support des architectures multi-cœurs
  • Extension de la bibliothèque prédéfinie.

Prérequis

Connaissance préalable d'Ada 95.

Programme détaillé

  Matin Après-midi
Jour 1
Introduction. Génériques. Exceptions. Programmation orientée objet.
  • Buts de l'amendement, historique. Wide_Wide_Character, perfectionnements de confort.Nouveaux pragmas.
  • Clauses limited with, private with. Paquetages mutuellement dépendants. Instantiations partielles.
  • Notation objet, interfaces, extensions locales, contrôle de la redéfinition.
  • Types limités initialisables. Types accès généralisés, non nuls.
  • TP: utilisation des interfaces
Jour 2
Environnement standard, Parallélisme
  • Nouvelles bibliothèques: conteneurs, répertoires, variables d'environnement, opérations sur dates, vecteurs et matrices, chaînes de caractères.
  • Nouvelles politiques d'ordonnancement, temps d'exécution, budget d'exécution, notification de terminaison. Interfaces synchronisées.
  • Profil Ravenscar.
  • TP: utilisation des conteneurs et d'autres nouvelles bibliothèques.
Jour 3
Ada 2012
  • Aspects. Programmation par contrat.
  • Itérateurs définis par l'utilisateur. Expressions conditionnelles, prédicats.
  • Nouvelles fonctionnalités temps-réel, multi-cœurs. Extension de la bibliothèque.
  • TP: programmation par contrat.