La formation Ada 95 et 2005 – Avancé permet de maîtriser le langage Ada, adapté aux systèmes à grande échelle et aux applications critiques en temps réel.
À travers des exemples et exercices pratiques, cette formation permet d’appliquer Ada dans un environnement industriel. Elle explique aussi comment les compilateurs implémentent le langage pour faciliter son apprentissage.
Bien que non spécifique à un compilateur, la formation aborde l’implémentation de la technologie GNAT, en détaillant les options du compilateur, les bibliothèques et les outils associés.
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.
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 dans nos locaux à Aix-en-Provence, en région parisienne, ou directement sur le site de votre entreprise.
Nous pouvons également proposer une formation sur mesure, 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 2024 : 91 %*
* 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.