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.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

Évaluation

Des questionnaires seront établis en début et en fin de formation afin d’évaluer les acquis.

Modalités et contactCatalogue 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.