Ada est un langage moderne conçu aussi bien pour l’implémentation de programmes à grande échelle que pour des systèmes temps réels critiques.
Ada est plus qu’un langage : c’est également une philosophie de programmation et l’équipe de formation Systerel vous montrera concrètement comment celle-ci arrive à mettre en œuvre un certain nombre de paradigmes logiciels.

Au travers de nombreux exemples et exercices, cette formation montre une utilisation concrète du langage Ada en milieu industriel.
Comprendre les « rouages » d’un langage facilite grandement son apprentissage. C’est pour cela que cette formation présente la façon dont les compilateurs implémentent le langage Ada.

Cette formation n’est pas spécifique à une implémentation donnée d’un compilateur, elle contient néanmoins de nombreuses références sur la façon de mettre correctement en œuvre la technologie GNAT (switchs compilateur, bibliothèques spécifiques, traits du langage liés à l’implémentation GNAT, outils connexes, etc.).

Objectifs

• Acquérir des connaissances poussées sur les traits sur lesquels le langage Ada est particulièrement pertinent
  

– La programmation concurrente

– L’interfaçage matériel

– La sûreté et la sécurité des applications

• Maîtriser la mise en œuvre avancée du langage Ada

Pré-requis

Bonne connaissance du langage Ada séquentiel.

Programme sur 3 jours

• La programmation concurrente
• Les tâches
• Les objets protégés
• Synchronisation et communication
• Ordonnancement et gestion du temps
• Interfaces synchronisées
• Interfaçage matériel et logiciel
• Sûreté de fonctionnement et certification (introduction)
• Le profil Ravenscar
• Développements croisés et « bare-metal » (introduction)
• Démarche de portage d’un « legacy » Ada
• Environnement, méthodes et outils
• Conclusion générale
• Bibliographie

Exercices : Tux (le producteur et le consommateur), Pou (le festin de fruits), Bsd 2 Tux, Convolution d’une image, Bare Board IO (BB IO).

Matériel fourni

• • Un support de cours en français relié

• Une clé USB 16 Go contenant :
  • • L’ensemble des exercices avec leur corrigé
  • • Un compilateur Ada (Windows, Linux)
  • • De la documentation
  • Des exemples vus en séance

Contactez-nous  Catalogue des formations

Activité enregistrée sous le numéro 93 13 12834 13 auprès du préfet de région Provence-Alpes-Côte d’Azur.