{"id":3508,"date":"2025-10-29T17:24:12","date_gmt":"2025-10-29T16:24:12","guid":{"rendered":"https:\/\/www.systerel.fr\/en\/?page_id=3508"},"modified":"2025-11-18T18:42:08","modified_gmt":"2025-11-18T17:42:08","slug":"ada-2012-training-the-essentials","status":"publish","type":"page","link":"https:\/\/www.systerel.fr\/en\/ada-2012-training-the-essentials\/","title":{"rendered":"Ada 2012 Training \u2013 The Essentials"},"content":{"rendered":"\n<div class=\"wp-block-media-text is-stacked-on-mobile is-vertically-aligned-top\" style=\"grid-template-columns:15% auto\"><figure class=\"wp-block-media-text__media\"><img decoding=\"async\" src=\"https:\/\/www.systerel.fr\/wp-content\/uploads\/2014\/09\/ada2012png-black.png\" alt=\"Formation Ada 2012 \u2013 Les cl\u00e9s\" class=\"wp-image-799 size-full\"\/><\/figure><div class=\"wp-block-media-text__content\">\n<p><\/p>\n\n\n\n<p>Just like Ada 95, <strong>Ada 2012<\/strong> represents a major evolution of the language, emphasizing application <strong>safety and integrity while integrating<\/strong> new technologies such as SMP (Symmetric Multiprocessing).<\/p>\n\n\n\n<p>This course includes hands-on examples and practical exercises for <strong>applying Ada in industrial environments<\/strong>, 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.<\/p>\n\n\n\n<p>Although not specific to any particular compiler, the training covers the <strong>GNAT technology implementation<\/strong> in detail \u2014 including compiler switches, specific libraries, language features tied to the GNAT implementation, and related tools.<\/p>\n<\/div><\/div>\n\n\n\n<h2 class=\"wp-block-heading\">Objectives<\/h2>\n\n\n<section class=\"block  blanc avec-onglet\"><\/p>\n<ul>\n<li>Gain knowledge of the new features introduced in Ada 2012<\/li>\n<li>Master the key concepts required for a quick and correct application of Ada 2012<\/li>\n<\/ul>\n<p><\/section>\n\n\n\n<h2 class=\"wp-block-heading\">Prerequisites<\/h2>\n\n\n\n<p class=\"SYSNormal\">Working knowledge of the <strong>Ada 2005<\/strong> language.<\/p>\n\n\n\n<h2 class=\"wp-block-heading SYSNormal\">Training: Ada 2012 \u2013 The Essentials<br>3-day Program<\/h2>\n\n\n<section class=\"block  blanc avec-onglet\"><\/p>\n<ul>\n<li>Overview<\/li>\n<li>Programming by contract<\/li>\n<li>Expressions and predicates<\/li>\n<li>Concurrent and real-time programming<\/li>\n<li>Iterators<\/li>\n<li>Extensions to the predefined library<\/li>\n<li>Various language evolutions<\/li>\n<li>SPARK 2014 (introduction)<\/li>\n<\/ul>\n<p><\/section>\n\n\n\n<h2 class=\"wp-block-heading SYSNormal\">Provided Materials<\/h2>\n\n\n<section class=\"block  blanc avec-onglet\"><\/p>\n<ul>\n<li>A printed course manual (in French)<\/li>\n<li>A 16 GB USB drive containing:\n<ul>\n<li>All exercises with solutions<\/li>\n<li>An Ada compiler (Windows, Linux)<\/li>\n<li>Documentation\/li>\n<li>Examples used during the course<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p><\/section>\n\n\n\n<h2 class=\"wp-block-heading\">Assessment<\/h2>\n\n\n\n<p class=\"SYSNormal\">Questionnaires will be administered at the beginning and end of the course to assess knowledge acquisition.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Language<\/h2>\n\n\n\n<p>This training course is only available in French.<\/p>\n\n\n\n<div class=\"wp-block-columns is-layout-flex wp-container-core-columns-is-layout-9d6595d7 wp-block-columns-is-layout-flex\">\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<h3 class=\"wp-block-heading\" style=\"font-size:25px;text-transform:none\">Systerel\u2019s Ada Expertise<\/h3>\n\n\n\n<p>Our instructors have extensive expertise in the <strong>Ada language<\/strong> and its implementation in industrial projects.<\/p>\n\n\n\n<p>They are also active members of <strong>Ada-Europe<\/strong>, an association that brings together researchers, developers, and users of dependable software technologies.<\/p>\n\n\n\n<p>Throughout the training, numerous examples and practical exercises demonstrate the real-world use of Ada in industrial contexts.<\/p>\n<\/div>\n\n\n\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<h3 class=\"wp-block-heading\" style=\"font-size:25px;text-transform:none\">Customized Training Options<\/h3>\n\n\n\n<p>Trainings can be delivered <strong>in person<\/strong> at our offices in <strong>Aix-en-Provence<\/strong>, in the <strong>Paris area<\/strong>, or <strong>on-site<\/strong> at your company\u2019s location.<\/p>\n\n\n\n<p>We can also offer <strong>customized sessions<\/strong>, specifically designed to meet your organization\u2019s needs.<\/p>\n\n\n\n<p>For more information, contact us at <strong><a>formation@systerel.fr<\/a><\/strong><\/p>\n<\/div>\n<\/div>\n\n\n\n<div class=\"wp-block-columns is-layout-flex wp-container-core-columns-is-layout-9d6595d7 wp-block-columns-is-layout-flex\">\n<div class=\"wp-block-column is-vertically-aligned-top is-layout-flow wp-block-column-is-layout-flow\"><div class=\"wp-block-image\">\n<figure class=\"aligncenter size-full is-resized\"><a href=\"https:\/\/www.systerel.fr\/wp-content\/uploads\/2022\/03\/Satisfaction.png\"><img decoding=\"async\" src=\"https:\/\/www.systerel.fr\/wp-content\/uploads\/2022\/03\/Satisfaction.png\" alt=\"Taux de satisfaction Formations au langage Ada 2012 Systerel\" class=\"wp-image-5149\" style=\"width:350px\"\/><\/a><\/figure>\n<\/div>\n\n\n<p class=\"has-text-align-center\"><strong><strong>2024 Satisfaction Rate:<\/strong> 91%*<\/strong><\/p>\n\n\n\n<div style=\"height:10px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<p class=\"has-small-font-size\"><em>*Average rate based on participant surveys conducted during our training sessions.<\/em><\/p>\n<\/div>\n\n\n\n<div class=\"wp-block-column is-vertically-aligned-top is-layout-flow wp-block-column-is-layout-flow\"><div class=\"wp-block-image\">\n<figure class=\"aligncenter size-full is-resized\"><a href=\"https:\/\/www.systerel.fr\/wp-content\/uploads\/2024\/09\/Qualiopi_317.png\"><img decoding=\"async\" src=\"https:\/\/www.systerel.fr\/wp-content\/uploads\/2024\/09\/Qualiopi_317.png\" alt=\"Certificat Qualiopi Formations au langage Ada 2012 Systerel\" class=\"wp-image-7067\" style=\"width:300px\"\/><\/a><\/figure>\n<\/div>\n\n\n<div style=\"height:10px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<p class=\"has-small-font-size\">Quality certification has been granted under the \u201ctraining activities\u201d category.<\/p>\n<\/div>\n<\/div>\n\n\n\n<h3 class=\"wp-block-heading\" style=\"text-transform:none\">Learn more about our training courses<\/h3>\n\n\n\n<p><\/p>\n\n\n\n<p class=\"has-text-align-left\"><a class=\"btn from-shortcode \" href=\"mailto:formation@systerel.fr\">Contact us<\/a><\/p>\n\n\n\n<p class=\"has-small-font-size\"><em>Activity registered under number 93 13 12834 13 with the Prefect of the Provence-Alpes-C\u00f4te d\u2019Azur region.<\/em><\/p>\n","protected":false},"excerpt":{"rendered":"<p>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 &hellip;<\/p>\n","protected":false},"author":22,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-3508","page","type-page","status-publish","hentry"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.5 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Ada 2012 Training \u2013 The Essentials - Systerel English<\/title>\n<meta name=\"description\" content=\"Ada 2012 Training: learn new language features, contract-based programming, and real-time system development.\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.systerel.fr\/en\/ada-2012-training-the-essentials\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Ada 2012 Training \u2013 The Essentials - Systerel English\" \/>\n<meta property=\"og:description\" content=\"Ada 2012 Training: learn new language features, contract-based programming, and real-time system development.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.systerel.fr\/en\/ada-2012-training-the-essentials\/\" \/>\n<meta property=\"og:site_name\" content=\"Systerel English\" \/>\n<meta property=\"article:modified_time\" content=\"2025-11-18T17:42:08+00:00\" \/>\n<meta name=\"twitter:label1\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"3 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/ada-2012-training-the-essentials\\\/\",\"url\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/ada-2012-training-the-essentials\\\/\",\"name\":\"Ada 2012 Training \u2013 The Essentials - Systerel English\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/ada-2012-training-the-essentials\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/ada-2012-training-the-essentials\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/www.systerel.fr\\\/wp-content\\\/uploads\\\/2014\\\/09\\\/ada2012png-black.png\",\"datePublished\":\"2025-10-29T16:24:12+00:00\",\"dateModified\":\"2025-11-18T17:42:08+00:00\",\"description\":\"Ada 2012 Training: learn new language features, contract-based programming, and real-time system development.\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/ada-2012-training-the-essentials\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/www.systerel.fr\\\/en\\\/ada-2012-training-the-essentials\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/ada-2012-training-the-essentials\\\/#primaryimage\",\"url\":\"https:\\\/\\\/www.systerel.fr\\\/wp-content\\\/uploads\\\/2014\\\/09\\\/ada2012png-black.png\",\"contentUrl\":\"https:\\\/\\\/www.systerel.fr\\\/wp-content\\\/uploads\\\/2014\\\/09\\\/ada2012png-black.png\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/ada-2012-training-the-essentials\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Ada 2012 Training \u2013 The Essentials\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/#website\",\"url\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/\",\"name\":\"Systerel English\",\"description\":\"Safe real-time solutions\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Ada 2012 Training \u2013 The Essentials - Systerel English","description":"Ada 2012 Training: learn new language features, contract-based programming, and real-time system development.","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.systerel.fr\/en\/ada-2012-training-the-essentials\/","og_locale":"en_US","og_type":"article","og_title":"Ada 2012 Training \u2013 The Essentials - Systerel English","og_description":"Ada 2012 Training: learn new language features, contract-based programming, and real-time system development.","og_url":"https:\/\/www.systerel.fr\/en\/ada-2012-training-the-essentials\/","og_site_name":"Systerel English","article_modified_time":"2025-11-18T17:42:08+00:00","twitter_misc":{"Est. reading time":"3 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.systerel.fr\/en\/ada-2012-training-the-essentials\/","url":"https:\/\/www.systerel.fr\/en\/ada-2012-training-the-essentials\/","name":"Ada 2012 Training \u2013 The Essentials - Systerel English","isPartOf":{"@id":"https:\/\/www.systerel.fr\/en\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.systerel.fr\/en\/ada-2012-training-the-essentials\/#primaryimage"},"image":{"@id":"https:\/\/www.systerel.fr\/en\/ada-2012-training-the-essentials\/#primaryimage"},"thumbnailUrl":"https:\/\/www.systerel.fr\/wp-content\/uploads\/2014\/09\/ada2012png-black.png","datePublished":"2025-10-29T16:24:12+00:00","dateModified":"2025-11-18T17:42:08+00:00","description":"Ada 2012 Training: learn new language features, contract-based programming, and real-time system development.","breadcrumb":{"@id":"https:\/\/www.systerel.fr\/en\/ada-2012-training-the-essentials\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.systerel.fr\/en\/ada-2012-training-the-essentials\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.systerel.fr\/en\/ada-2012-training-the-essentials\/#primaryimage","url":"https:\/\/www.systerel.fr\/wp-content\/uploads\/2014\/09\/ada2012png-black.png","contentUrl":"https:\/\/www.systerel.fr\/wp-content\/uploads\/2014\/09\/ada2012png-black.png"},{"@type":"BreadcrumbList","@id":"https:\/\/www.systerel.fr\/en\/ada-2012-training-the-essentials\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.systerel.fr\/en\/"},{"@type":"ListItem","position":2,"name":"Ada 2012 Training \u2013 The Essentials"}]},{"@type":"WebSite","@id":"https:\/\/www.systerel.fr\/en\/#website","url":"https:\/\/www.systerel.fr\/en\/","name":"Systerel English","description":"Safe real-time solutions","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.systerel.fr\/en\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"}]}},"_links":{"self":[{"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/pages\/3508","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/users\/22"}],"replies":[{"embeddable":true,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/comments?post=3508"}],"version-history":[{"count":7,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/pages\/3508\/revisions"}],"predecessor-version":[{"id":3722,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/pages\/3508\/revisions\/3722"}],"wp:attachment":[{"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/media?parent=3508"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}