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
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.
L’expertise de Systerel dans le langage Ada
Nos formateurs possèdent une solide expertise du langage Ada et de sa mise en œuvre dans des projets industriels.
Ils sont également membres actifs de l’association Ada-Europe qui rassemble chercheurs, développeurs et utilisateurs de technologies logicielles sûres.
Durant la formation, de nombreux exemples et exercices pratiques montreront une utilisation concrète du langage Ada en milieu industriel.
Des formations adaptées à vos besoins
Les formations peuvent être dispensées en présentiel ou à distance.
Nous pouvons également proposer une formation en interne, spécialement conçue pour répondre aux exigences de votre entreprise.
N’hésitez pas à nous contacter pour plus d’informations : formation@systerel.fr
Taux de satisfaction 2023 : 92 %*
* Taux moyen sur la base des enquêtes de satisfaction réalisées lors des formations.
La certification qualité a été délivrée au titre de la catégorie « actions de formation ».
En savoir plus sur nos formations
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.