{"id":2062,"date":"2021-07-05T08:43:00","date_gmt":"2021-07-05T07:43:00","guid":{"rendered":"https:\/\/www.systerel.fr\/en\/?p=2062"},"modified":"2023-03-24T15:00:54","modified_gmt":"2023-03-24T14:00:54","slug":"ada-spark-internal-webinar","status":"publish","type":"post","link":"https:\/\/www.systerel.fr\/en\/news\/ada-spark-internal-webinar\/","title":{"rendered":"Ada SPARK Internal Webinar"},"content":{"rendered":"\n

Today, our engineers have attended a new webinar organised by our technical management!<\/strong><\/p>\n\n\n\n

The topic of this webinar? Ada SPARK.<\/strong><\/p>\n\n\n\n

This technology allows to make formal verifications of Ada code and is used on certain projects within Systerel. Its main advantages : its application to a critical subset without separating it from the rest of the project, and the complementarity of formal methods with traditional tests.<\/p>\n\n\n\n

Our technical management offers regular webinars to encourage the development of skills and access to new techniques or methods.<\/p>\n\n\n\n

If you wish to join us, please click here<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"

Today, our engineers have attended a new webinar organised by our technical management!
\nThe topic of this webinar? Ada SPARK.<\/p>\n","protected":false},"author":19,"featured_media":2064,"comment_status":"closed","ping_status":"closed","sticky":true,"template":"","format":"standard","meta":{"footnotes":""},"categories":[16],"tags":[],"class_list":["post-2062","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-company"],"yoast_head":"\nAda SPARK Internal Webinarator Site titlPrimary categorye<\/title>\n<meta name=\"description\" content=\"Today, our engineers are attending (have attended) a new webinar organised by our technical management! The topic of this webinar? Ada SPARK.This technology allows to make formal verifications of Ada code and is used on certain projects within Systerel. Its main advantages => Its application to a critical subset without separating it from the rest of the project, and the complementarity of formal methods with traditional tests. Our technical management offers regular webinars to encourage the development of skills and access to new techniques or methods. If you wish to join us, please click here => lien offres\" \/>\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\/news\/ada-spark-internal-webinar\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Ada SPARK Internal Webinarator Site titlPrimary categorye\" \/>\n<meta property=\"og:description\" content=\"Today, our engineers are attending (have attended) a new webinar organised by our technical management! The topic of this webinar? Ada SPARK.This technology allows to make formal verifications of Ada code and is used on certain projects within Systerel. Its main advantages => Its application to a critical subset without separating it from the rest of the project, and the complementarity of formal methods with traditional tests. Our technical management offers regular webinars to encourage the development of skills and access to new techniques or methods. If you wish to join us, please click here => lien offres\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.systerel.fr\/en\/news\/ada-spark-internal-webinar\/\" \/>\n<meta property=\"og:site_name\" content=\"Systerel English\" \/>\n<meta property=\"article:published_time\" content=\"2021-07-05T07:43:00+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2023-03-24T14:00:54+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2021\/06\/about-header_590_393.png\" \/>\n\t<meta property=\"og:image:width\" content=\"1180\" \/>\n\t<meta property=\"og:image:height\" content=\"786\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/png\" \/>\n<meta name=\"author\" content=\"coralie\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"coralie\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"1 minute\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/ada-spark-internal-webinar\\\/#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/ada-spark-internal-webinar\\\/\"},\"author\":{\"name\":\"coralie\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/#\\\/schema\\\/person\\\/8bfeb6ce2fe1bd6d0344938e6e5786db\"},\"headline\":\"Ada SPARK Internal Webinar\",\"datePublished\":\"2021-07-05T07:43:00+00:00\",\"dateModified\":\"2023-03-24T14:00:54+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/ada-spark-internal-webinar\\\/\"},\"wordCount\":97,\"image\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/ada-spark-internal-webinar\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/wp-content\\\/uploads\\\/sites\\\/3\\\/2021\\\/06\\\/about-header_590_393.png\",\"articleSection\":[\"Company\"],\"inLanguage\":\"en-US\"},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/ada-spark-internal-webinar\\\/\",\"url\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/ada-spark-internal-webinar\\\/\",\"name\":\"Ada SPARK Internal Webinarator Site titlPrimary categorye\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/ada-spark-internal-webinar\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/ada-spark-internal-webinar\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/wp-content\\\/uploads\\\/sites\\\/3\\\/2021\\\/06\\\/about-header_590_393.png\",\"datePublished\":\"2021-07-05T07:43:00+00:00\",\"dateModified\":\"2023-03-24T14:00:54+00:00\",\"author\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/#\\\/schema\\\/person\\\/8bfeb6ce2fe1bd6d0344938e6e5786db\"},\"description\":\"Today, our engineers are attending (have attended) a new webinar organised by our technical management! The topic of this webinar? Ada SPARK.This technology allows to make formal verifications of Ada code and is used on certain projects within Systerel. Its main advantages => Its application to a critical subset without separating it from the rest of the project, and the complementarity of formal methods with traditional tests. Our technical management offers regular webinars to encourage the development of skills and access to new techniques or methods. If you wish to join us, please click here => lien offres\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/ada-spark-internal-webinar\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/ada-spark-internal-webinar\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/ada-spark-internal-webinar\\\/#primaryimage\",\"url\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/wp-content\\\/uploads\\\/sites\\\/3\\\/2021\\\/06\\\/about-header_590_393.png\",\"contentUrl\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/wp-content\\\/uploads\\\/sites\\\/3\\\/2021\\\/06\\\/about-header_590_393.png\",\"width\":1180,\"height\":786,\"caption\":\"SPARK 2014 webinar\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/ada-spark-internal-webinar\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Ada SPARK Internal Webinar\"}]},{\"@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\"},{\"@type\":\"Person\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/#\\\/schema\\\/person\\\/8bfeb6ce2fe1bd6d0344938e6e5786db\",\"name\":\"coralie\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/b4786b8196c518e7fe48f6c85b4c2a879c52aeb92e2614e404638a55e9b1840d?s=96&d=mm&r=g\",\"url\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/b4786b8196c518e7fe48f6c85b4c2a879c52aeb92e2614e404638a55e9b1840d?s=96&d=mm&r=g\",\"contentUrl\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/b4786b8196c518e7fe48f6c85b4c2a879c52aeb92e2614e404638a55e9b1840d?s=96&d=mm&r=g\",\"caption\":\"coralie\"},\"url\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/author\\\/coralie\\\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Ada SPARK Internal Webinarator Site titlPrimary categorye","description":"Today, our engineers are attending (have attended) a new webinar organised by our technical management! The topic of this webinar? Ada SPARK.This technology allows to make formal verifications of Ada code and is used on certain projects within Systerel. Its main advantages => Its application to a critical subset without separating it from the rest of the project, and the complementarity of formal methods with traditional tests. Our technical management offers regular webinars to encourage the development of skills and access to new techniques or methods. If you wish to join us, please click here => lien offres","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\/news\/ada-spark-internal-webinar\/","og_locale":"en_US","og_type":"article","og_title":"Ada SPARK Internal Webinarator Site titlPrimary categorye","og_description":"Today, our engineers are attending (have attended) a new webinar organised by our technical management! The topic of this webinar? Ada SPARK.This technology allows to make formal verifications of Ada code and is used on certain projects within Systerel. Its main advantages => Its application to a critical subset without separating it from the rest of the project, and the complementarity of formal methods with traditional tests. Our technical management offers regular webinars to encourage the development of skills and access to new techniques or methods. If you wish to join us, please click here => lien offres","og_url":"https:\/\/www.systerel.fr\/en\/news\/ada-spark-internal-webinar\/","og_site_name":"Systerel English","article_published_time":"2021-07-05T07:43:00+00:00","article_modified_time":"2023-03-24T14:00:54+00:00","og_image":[{"width":1180,"height":786,"url":"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2021\/06\/about-header_590_393.png","type":"image\/png"}],"author":"coralie","twitter_misc":{"Written by":"coralie","Est. reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.systerel.fr\/en\/news\/ada-spark-internal-webinar\/#article","isPartOf":{"@id":"https:\/\/www.systerel.fr\/en\/news\/ada-spark-internal-webinar\/"},"author":{"name":"coralie","@id":"https:\/\/www.systerel.fr\/en\/#\/schema\/person\/8bfeb6ce2fe1bd6d0344938e6e5786db"},"headline":"Ada SPARK Internal Webinar","datePublished":"2021-07-05T07:43:00+00:00","dateModified":"2023-03-24T14:00:54+00:00","mainEntityOfPage":{"@id":"https:\/\/www.systerel.fr\/en\/news\/ada-spark-internal-webinar\/"},"wordCount":97,"image":{"@id":"https:\/\/www.systerel.fr\/en\/news\/ada-spark-internal-webinar\/#primaryimage"},"thumbnailUrl":"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2021\/06\/about-header_590_393.png","articleSection":["Company"],"inLanguage":"en-US"},{"@type":"WebPage","@id":"https:\/\/www.systerel.fr\/en\/news\/ada-spark-internal-webinar\/","url":"https:\/\/www.systerel.fr\/en\/news\/ada-spark-internal-webinar\/","name":"Ada SPARK Internal Webinarator Site titlPrimary categorye","isPartOf":{"@id":"https:\/\/www.systerel.fr\/en\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.systerel.fr\/en\/news\/ada-spark-internal-webinar\/#primaryimage"},"image":{"@id":"https:\/\/www.systerel.fr\/en\/news\/ada-spark-internal-webinar\/#primaryimage"},"thumbnailUrl":"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2021\/06\/about-header_590_393.png","datePublished":"2021-07-05T07:43:00+00:00","dateModified":"2023-03-24T14:00:54+00:00","author":{"@id":"https:\/\/www.systerel.fr\/en\/#\/schema\/person\/8bfeb6ce2fe1bd6d0344938e6e5786db"},"description":"Today, our engineers are attending (have attended) a new webinar organised by our technical management! The topic of this webinar? Ada SPARK.This technology allows to make formal verifications of Ada code and is used on certain projects within Systerel. Its main advantages => Its application to a critical subset without separating it from the rest of the project, and the complementarity of formal methods with traditional tests. Our technical management offers regular webinars to encourage the development of skills and access to new techniques or methods. If you wish to join us, please click here => lien offres","breadcrumb":{"@id":"https:\/\/www.systerel.fr\/en\/news\/ada-spark-internal-webinar\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.systerel.fr\/en\/news\/ada-spark-internal-webinar\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.systerel.fr\/en\/news\/ada-spark-internal-webinar\/#primaryimage","url":"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2021\/06\/about-header_590_393.png","contentUrl":"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2021\/06\/about-header_590_393.png","width":1180,"height":786,"caption":"SPARK 2014 webinar"},{"@type":"BreadcrumbList","@id":"https:\/\/www.systerel.fr\/en\/news\/ada-spark-internal-webinar\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.systerel.fr\/en\/"},{"@type":"ListItem","position":2,"name":"Ada SPARK Internal Webinar"}]},{"@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"},{"@type":"Person","@id":"https:\/\/www.systerel.fr\/en\/#\/schema\/person\/8bfeb6ce2fe1bd6d0344938e6e5786db","name":"coralie","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/secure.gravatar.com\/avatar\/b4786b8196c518e7fe48f6c85b4c2a879c52aeb92e2614e404638a55e9b1840d?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/b4786b8196c518e7fe48f6c85b4c2a879c52aeb92e2614e404638a55e9b1840d?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/b4786b8196c518e7fe48f6c85b4c2a879c52aeb92e2614e404638a55e9b1840d?s=96&d=mm&r=g","caption":"coralie"},"url":"https:\/\/www.systerel.fr\/en\/news\/author\/coralie\/"}]}},"_links":{"self":[{"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/posts\/2062","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/users\/19"}],"replies":[{"embeddable":true,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/comments?post=2062"}],"version-history":[{"count":2,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/posts\/2062\/revisions"}],"predecessor-version":[{"id":2067,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/posts\/2062\/revisions\/2067"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/media\/2064"}],"wp:attachment":[{"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/media?parent=2062"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/categories?post=2062"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/tags?post=2062"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}