Formation Ada 2012 – Les clés

Just like Ada 95, Ada 2012 represents a major evolution of the language, emphasizing application safety and integrity while integrating new technologies such as SMP (Symmetric Multiprocessing).

This course includes hands-on examples and practical exercises for applying Ada in industrial environments, while also explaining the internal mechanisms of the language to make it easier to learn. For this reason, the course presents how compilers implement the Ada language.

Although not specific to any particular compiler, the training covers the GNAT technology implementation in detail — including compiler switches, specific libraries, language features tied to the GNAT implementation, and related tools.

Objectives

  • Gain knowledge of the new features introduced in Ada 2012
  • Master the key concepts required for a quick and correct application of Ada 2012

Prerequisites

Working knowledge of the Ada 2005 language.

3-Day Course Outline

  • Overview
  • Programming by contract
  • Expressions and predicates
  • Concurrent and real-time programming
  • Iterators
  • Extensions to the predefined library
  • Various language evolutions
  • SPARK 2014 (introduction)
  • General conclusion
  • References and bibliography

Exercises: Chess game, Mandelbrot fractal, synchronized queue, iterators, Huffman compression.

Provided Materials

  • A printed course manual in French
  • A 16 GB USB drive containing:
    • All exercises with solutions
    • An Ada compiler (Windows, Linux)
    • Documentation/li>
    • Examples used during the course

Evaluation

Questionnaires will be administered at the beginning and end of the course to assess knowledge acquisition.

Systerel’s Ada Expertise

Our instructors have extensive expertise in the Ada language and its implementation in industrial projects.

They are also active members of Ada-Europe, an association that brings together researchers, developers, and users of dependable software technologies.

Throughout the training, numerous examples and practical exercises demonstrate the real-world use of Ada in industrial contexts.

Customized Training Options

Trainings can be delivered in person at our offices in Aix-en-Provence, in the Paris area, or on-site at your company’s location.

We can also offer customized sessions, specifically designed to meet your organization’s needs.

For more information, contact us at formation@systerel.fr

Taux de satisfaction Formations au langage Ada 2012 Systerel

2024 Satisfaction Rate: 91%*

*Average rate based on participant surveys conducted during our training sessions.

Certificat Qualiopi Formations au langage Ada 2012 Systerel

Quality certification has been granted under the “training activities” category.

Find out more

Contact usCatalogue des formations

Training activity registered under No. 93 13 12834 13 with the Prefect of the Provence-Alpes-Côte d’Azur region.