{"id":20163,"date":"2025-01-08T18:50:25","date_gmt":"2025-01-08T16:50:25","guid":{"rendered":"https:\/\/www.clearsy.com\/?p=20163"},"modified":"2025-01-15T18:23:58","modified_gmt":"2025-01-15T16:23:58","slug":"t2-certification-for-atelier-b","status":"publish","type":"post","link":"https:\/\/www.clearsy.com\/en\/the-tools\/t2-certification-for-atelier-b\/","title":{"rendered":"T2 certification for Atelier B"},"content":{"rendered":"<p>Atelier B was designed by CLEARSY to <strong>produce safe, zero-defect software that complies with its specifications<\/strong>. What makes it special? <strong>Replacing unit tests with rigorous mathematical proofs<\/strong>.<\/p>\n<p>The industrialization of Atelier B was made possible by the RATP, which pioneered its adoption for Line 14 in the 2000s. Today, CENELEC standards require the use of level T2 tools (EN 50128) for safety-critical software, notably level <strong>SIL4<\/strong>.<\/p>\n<p><strong>CERTIFER has just issued T2 certification for SIL4 for Atelier B, not only for its ability to prove software (EN 50128), but also when used in system property validation (EN 50129).<\/strong><\/p>\n<p>We would like to thank:<\/p>\n<ul>\n<li><strong>CERTIFER<\/strong>, a key partner in the industrialization of Atelier B,<\/li>\n<li>Our users and partners: <strong>ALSTOM<\/strong> and <strong>SIEMENS<\/strong>, who actively use the tool in their development of automatic train control software (CBTC),<\/li>\n<li>And of course, the RATP, which has supported the use of formal methods for over 30 years and financed the first versions of Atelier B marketed by CLEARSY.<\/li>\n<\/ul>\n<p>This certification is a fine recognition for CLEARSY and for all those involved in promoting safe, innovative methods.<\/p>\n<p>It&#8217;s also good news for safety-critical systems.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Atelier B was designed by CLEARSY to produce safe, zero-defect software that complies with its specifications. What makes it special? [&hellip;]<\/p>\n","protected":false},"author":18,"featured_media":20168,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[1541,1536,686],"tags":[],"class_list":["post-20163","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-computer-science","category-safety","category-the-tools"],"acf":[],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.1.1 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>T2 certification for Atelier B - CLEARSY<\/title>\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.clearsy.com\/en\/the-tools\/t2-certification-for-atelier-b\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"T2 certification for Atelier B - CLEARSY\" \/>\n<meta property=\"og:description\" content=\"Atelier B was designed by CLEARSY to produce safe, zero-defect software that complies with its specifications. What makes it special? [&hellip;]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.clearsy.com\/en\/the-tools\/t2-certification-for-atelier-b\/\" \/>\n<meta property=\"og:site_name\" content=\"CLEARSY\" \/>\n<meta property=\"article:published_time\" content=\"2025-01-08T16:50:25+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2025-01-15T16:23:58+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.clearsy.com\/wp-content\/uploads\/2025\/01\/ATB-T2-US-web-2.jpeg\" \/>\n\t<meta property=\"og:image:width\" content=\"1700\" \/>\n\t<meta property=\"og:image:height\" content=\"650\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"author\" content=\"CLEARSY\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"CLEARSY\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"2 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\/\/www.clearsy.com\/en\/the-tools\/t2-certification-for-atelier-b\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/www.clearsy.com\/en\/the-tools\/t2-certification-for-atelier-b\/\"},\"author\":{\"name\":\"CLEARSY\",\"@id\":\"https:\/\/www.clearsy.com\/en\/#\/schema\/person\/9d903d1fb83dcfaa789ccff2972d95a1\"},\"headline\":\"T2 certification for Atelier B\",\"datePublished\":\"2025-01-08T16:50:25+00:00\",\"dateModified\":\"2025-01-15T16:23:58+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/www.clearsy.com\/en\/the-tools\/t2-certification-for-atelier-b\/\"},\"wordCount\":187,\"publisher\":{\"@id\":\"https:\/\/www.clearsy.com\/en\/#organization\"},\"image\":{\"@id\":\"https:\/\/www.clearsy.com\/en\/the-tools\/t2-certification-for-atelier-b\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.clearsy.com\/wp-content\/uploads\/2025\/01\/ATB-T2-US-web-2.jpeg\",\"articleSection\":[\"Computer science\",\"Safety\",\"Tools\"],\"inLanguage\":\"en-US\"},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.clearsy.com\/en\/the-tools\/t2-certification-for-atelier-b\/\",\"url\":\"https:\/\/www.clearsy.com\/en\/the-tools\/t2-certification-for-atelier-b\/\",\"name\":\"T2 certification for Atelier B - CLEARSY\",\"isPartOf\":{\"@id\":\"https:\/\/www.clearsy.com\/en\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.clearsy.com\/en\/the-tools\/t2-certification-for-atelier-b\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.clearsy.com\/en\/the-tools\/t2-certification-for-atelier-b\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.clearsy.com\/wp-content\/uploads\/2025\/01\/ATB-T2-US-web-2.jpeg\",\"datePublished\":\"2025-01-08T16:50:25+00:00\",\"dateModified\":\"2025-01-15T16:23:58+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/www.clearsy.com\/en\/the-tools\/t2-certification-for-atelier-b\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.clearsy.com\/en\/the-tools\/t2-certification-for-atelier-b\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.clearsy.com\/en\/the-tools\/t2-certification-for-atelier-b\/#primaryimage\",\"url\":\"https:\/\/www.clearsy.com\/wp-content\/uploads\/2025\/01\/ATB-T2-US-web-2.jpeg\",\"contentUrl\":\"https:\/\/www.clearsy.com\/wp-content\/uploads\/2025\/01\/ATB-T2-US-web-2.jpeg\",\"width\":1700,\"height\":650},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.clearsy.com\/en\/the-tools\/t2-certification-for-atelier-b\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.clearsy.com\/en\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"T2 certification for Atelier B\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.clearsy.com\/en\/#website\",\"url\":\"https:\/\/www.clearsy.com\/en\/\",\"name\":\"CLEARSY\",\"description\":\"Safety Solutions Designer\",\"publisher\":{\"@id\":\"https:\/\/www.clearsy.com\/en\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/www.clearsy.com\/en\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/www.clearsy.com\/en\/#organization\",\"name\":\"CLEARSY\",\"url\":\"https:\/\/www.clearsy.com\/en\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.clearsy.com\/en\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/www.clearsy.com\/wp-content\/uploads\/2020\/04\/logo-clearsy.svg\",\"contentUrl\":\"https:\/\/www.clearsy.com\/wp-content\/uploads\/2020\/04\/logo-clearsy.svg\",\"width\":652,\"height\":163,\"caption\":\"CLEARSY\"},\"image\":{\"@id\":\"https:\/\/www.clearsy.com\/en\/#\/schema\/logo\/image\/\"}},{\"@type\":\"Person\",\"@id\":\"https:\/\/www.clearsy.com\/en\/#\/schema\/person\/9d903d1fb83dcfaa789ccff2972d95a1\",\"name\":\"CLEARSY\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.clearsy.com\/en\/#\/schema\/person\/image\/\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/2927c9bde37c5967f4cfe8693c9e559f9258c2cbb554ae8b4d0fbded066afc2f?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/2927c9bde37c5967f4cfe8693c9e559f9258c2cbb554ae8b4d0fbded066afc2f?s=96&d=mm&r=g\",\"caption\":\"CLEARSY\"},\"url\":\"https:\/\/www.clearsy.com\/en\/author\/tservat\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"T2 certification for Atelier B - CLEARSY","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.clearsy.com\/en\/the-tools\/t2-certification-for-atelier-b\/","og_locale":"en_US","og_type":"article","og_title":"T2 certification for Atelier B - CLEARSY","og_description":"Atelier B was designed by CLEARSY to produce safe, zero-defect software that complies with its specifications. What makes it special? [&hellip;]","og_url":"https:\/\/www.clearsy.com\/en\/the-tools\/t2-certification-for-atelier-b\/","og_site_name":"CLEARSY","article_published_time":"2025-01-08T16:50:25+00:00","article_modified_time":"2025-01-15T16:23:58+00:00","og_image":[{"width":1700,"height":650,"url":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2025\/01\/ATB-T2-US-web-2.jpeg","type":"image\/jpeg"}],"author":"CLEARSY","twitter_card":"summary_large_image","twitter_misc":{"Written by":"CLEARSY","Est. reading time":"2 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.clearsy.com\/en\/the-tools\/t2-certification-for-atelier-b\/#article","isPartOf":{"@id":"https:\/\/www.clearsy.com\/en\/the-tools\/t2-certification-for-atelier-b\/"},"author":{"name":"CLEARSY","@id":"https:\/\/www.clearsy.com\/en\/#\/schema\/person\/9d903d1fb83dcfaa789ccff2972d95a1"},"headline":"T2 certification for Atelier B","datePublished":"2025-01-08T16:50:25+00:00","dateModified":"2025-01-15T16:23:58+00:00","mainEntityOfPage":{"@id":"https:\/\/www.clearsy.com\/en\/the-tools\/t2-certification-for-atelier-b\/"},"wordCount":187,"publisher":{"@id":"https:\/\/www.clearsy.com\/en\/#organization"},"image":{"@id":"https:\/\/www.clearsy.com\/en\/the-tools\/t2-certification-for-atelier-b\/#primaryimage"},"thumbnailUrl":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2025\/01\/ATB-T2-US-web-2.jpeg","articleSection":["Computer science","Safety","Tools"],"inLanguage":"en-US"},{"@type":"WebPage","@id":"https:\/\/www.clearsy.com\/en\/the-tools\/t2-certification-for-atelier-b\/","url":"https:\/\/www.clearsy.com\/en\/the-tools\/t2-certification-for-atelier-b\/","name":"T2 certification for Atelier B - CLEARSY","isPartOf":{"@id":"https:\/\/www.clearsy.com\/en\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.clearsy.com\/en\/the-tools\/t2-certification-for-atelier-b\/#primaryimage"},"image":{"@id":"https:\/\/www.clearsy.com\/en\/the-tools\/t2-certification-for-atelier-b\/#primaryimage"},"thumbnailUrl":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2025\/01\/ATB-T2-US-web-2.jpeg","datePublished":"2025-01-08T16:50:25+00:00","dateModified":"2025-01-15T16:23:58+00:00","breadcrumb":{"@id":"https:\/\/www.clearsy.com\/en\/the-tools\/t2-certification-for-atelier-b\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.clearsy.com\/en\/the-tools\/t2-certification-for-atelier-b\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.clearsy.com\/en\/the-tools\/t2-certification-for-atelier-b\/#primaryimage","url":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2025\/01\/ATB-T2-US-web-2.jpeg","contentUrl":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2025\/01\/ATB-T2-US-web-2.jpeg","width":1700,"height":650},{"@type":"BreadcrumbList","@id":"https:\/\/www.clearsy.com\/en\/the-tools\/t2-certification-for-atelier-b\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.clearsy.com\/en\/"},{"@type":"ListItem","position":2,"name":"T2 certification for Atelier B"}]},{"@type":"WebSite","@id":"https:\/\/www.clearsy.com\/en\/#website","url":"https:\/\/www.clearsy.com\/en\/","name":"CLEARSY","description":"Safety Solutions Designer","publisher":{"@id":"https:\/\/www.clearsy.com\/en\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.clearsy.com\/en\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/www.clearsy.com\/en\/#organization","name":"CLEARSY","url":"https:\/\/www.clearsy.com\/en\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.clearsy.com\/en\/#\/schema\/logo\/image\/","url":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2020\/04\/logo-clearsy.svg","contentUrl":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2020\/04\/logo-clearsy.svg","width":652,"height":163,"caption":"CLEARSY"},"image":{"@id":"https:\/\/www.clearsy.com\/en\/#\/schema\/logo\/image\/"}},{"@type":"Person","@id":"https:\/\/www.clearsy.com\/en\/#\/schema\/person\/9d903d1fb83dcfaa789ccff2972d95a1","name":"CLEARSY","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.clearsy.com\/en\/#\/schema\/person\/image\/","url":"https:\/\/secure.gravatar.com\/avatar\/2927c9bde37c5967f4cfe8693c9e559f9258c2cbb554ae8b4d0fbded066afc2f?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/2927c9bde37c5967f4cfe8693c9e559f9258c2cbb554ae8b4d0fbded066afc2f?s=96&d=mm&r=g","caption":"CLEARSY"},"url":"https:\/\/www.clearsy.com\/en\/author\/tservat\/"}]}},"_links":{"self":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/posts\/20163","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/users\/18"}],"replies":[{"embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/comments?post=20163"}],"version-history":[{"count":1,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/posts\/20163\/revisions"}],"predecessor-version":[{"id":20164,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/posts\/20163\/revisions\/20164"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/media\/20168"}],"wp:attachment":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/media?parent=20163"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/categories?post=20163"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/tags?post=20163"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}