Comme Ada 95, Ada 2012 représente une évolution majeure du langage, mettant l’accent sur la sécurité et l’intégrité des applications tout en intégrant de nouvelles technologies, comme le SMP.
Cette formation propose des exemples et exercices pratiques pour une utilisation concrète d’Ada en milieu industriel, tout en expliquant les mécanismes internes du langage pour en faciliter l’apprentissage. C’est pour cela que cette formation présente la façon dont les compilateurs implémentent le langage Ada.
Bien qu’elle ne soit pas spécifique à un compilateur, la formation aborde en détail l’implémentation de 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 sur les nouveaux traits du langage Ada 2012
- Maîtriser les clés nécessaires pour une mise en pratique rapide et correcte du langage Ada 2012
Pré-requis
Bonne connaissance du langage Ada 2005.
Programme sur 3 jours
- Aperçu
- La programmation par contrat
- Expressions et prédicats
- Programmation concurrente et TR
- Itérateurs
- Extension de la bibliothèque prédéfinie
- Évolutions diverses
- SPARK2014 (introduction)
- Conclusion générale
- Bibliographie
Exercices : jeu d’échec, fractale de Mandelbrot, queue synchronisée, itérateurs, compression de Huffman.
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.