formation Ada

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 :

Connaissance du langage Ada séquentiel.

Programme sur 2 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
  • 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.

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.