Au même titre que l’a été Ada 95, Ada 2012 est une évolution majeure du langage Ada.
Comme ses « prédécesseurs », Ada 2012 met particulièrement l’accent sur de nouveaux traits permettant de garantir au mieux la sécurité et l’intégrité des applications développées tout en embrassant les nouvelles technologies telles que la technologie SMP.
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 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 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.