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