{"id":3037,"date":"2016-10-10T17:58:35","date_gmt":"2016-10-10T16:58:35","guid":{"rendered":"http:\/\/www.atelierb.eu\/en\/?p=3037"},"modified":"2016-10-10T18:01:01","modified_gmt":"2016-10-10T17:01:01","slug":"clearsy-organizes-a-technical-seminar-that-will-take-place-at-sherbrooke-university-october-20-2016-from-10h30-to-12h","status":"publish","type":"post","link":"https:\/\/www.atelierb.eu\/en\/2016\/10\/10\/clearsy-organizes-a-technical-seminar-that-will-take-place-at-sherbrooke-university-october-20-2016-from-10h30-to-12h\/","title":{"rendered":"ClearSy organizes a technical seminar that will take place at Sherbrooke University, October 20, 2016 (from 10h30 to 12h)."},"content":{"rendered":"

The seminar, entitled “Proven software with B executing on Low Cost High integrity Platform<\/span>“, is aimed at presenting the latest innovations concerning the use of the B formal method for the development of safety critical systems:<\/p>\n

“Atelier B has been heavily used in industry, mainly in the railways, for the development of proven safety critical software. The automatic pilot (80 kloc) of METEOR metro line 14 in Paris, fully proved in B and still no bug found since 1998, is the best example of this technology used today in more than 25% of worldwide automatic metros. Over the time, several new modelling techniques and their related tools have appeared, aimed at shortening development time as well as validation-by-proof effort. Automatic refinement, proof integrated to model edition and abstract model edition are new features that are being deployed on critical systems. More recently, a new secured architecture, based on two processors and combining software (B formal method) and hardware techniques compatible with EN5012{6, 8, 9} standards, has emerged. This execution platform has been deployed in several certified railway applications\u00a0 (Sao Paulo metro, Stockholm metro). It has been selected for a french collaborative R&D project to obtain a generic product able to seamlessly generate SIL4 applications.\u00a0 Code generation and validation-by proof will be completely automated. The related IDE will accept any Domain Specific Language through a public API. During the seminar, modern B development techniques and low cost high integrity platform will be detailed.”<\/p>\n

\"logo-universite-de-sherbrooke\"<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"

The seminar, entitled “Proven software with B executing on Low Cost High integrity Platform”, is aimed at presenting the latest innovations concerning the use of the B formal method for the development of safety critical systems:<\/p>\n

“Atelier B has been heavily used in industry, mainly in the railways, for the development of proven safety critical softwa<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"amp_status":""},"categories":[4],"tags":[],"yoast_head":"\nClearSy organizes a technical seminar that will take place at Sherbrooke University, October 20, 2016 (from 10h30 to 12h). | Atelier B<\/title>\n<meta name=\"description\" content=\"The seminar, entitled "Proven software with B executing on Low Cost High integrity Platform", is aimed at presenting the latest innovations concerning the use of the B formal method for the development of safety critical systems: "Atelier B has been heavily used in industry, mainly in the railways, for the development of proven safety critical softwa\" \/>\n<meta name=\"robots\" content=\"index, follow\" \/>\n<meta name=\"googlebot\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<meta name=\"bingbot\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.atelierb.eu\/2016\/10\/10\/clearsy-organizes-a-technical-seminar-that-will-take-place-at-sherbrooke-university-october-20-2016-from-10h30-to-12h\/\" \/>\n<meta property=\"og:locale\" content=\"fr_FR\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"ClearSy organizes a technical seminar that will take place at Sherbrooke University, October 20, 2016 (from 10h30 to 12h). | Atelier B\" \/>\n<meta property=\"og:description\" content=\"The seminar, entitled "Proven software with B executing on Low Cost High integrity Platform", is aimed at presenting the latest innovations concerning the use of the B formal method for the development of safety critical systems: "Atelier B has been heavily used in industry, mainly in the railways, for the development of proven safety critical softwa\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.atelierb.eu\/en\/2016\/10\/10\/clearsy-organizes-a-technical-seminar-that-will-take-place-at-sherbrooke-university-october-20-2016-from-10h30-to-12h\/\" \/>\n<meta property=\"og:site_name\" content=\"Atelier B\" \/>\n<meta property=\"article:published_time\" content=\"2016-10-10T16:58:35+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2016-10-10T17:01:01+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.atelierb.eu\/wp-content\/uploads\/sites\/3\/2016\/10\/Logo-Universit\u00e9-de-Sherbrooke.png\" \/>\n<meta name=\"twitter:card\" content=\"summary\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/#website\",\"url\":\"https:\/\/www.atelierb.eu\/en\/\",\"name\":\"Atelier B\",\"description\":\"Atelier de G\\u00e9nie Logiciel\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":\"https:\/\/www.atelierb.eu\/en\/?s={search_term_string}\",\"query-input\":\"required name=search_term_string\"}],\"inLanguage\":\"fr-FR\"},{\"@type\":\"ImageObject\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/2016\/10\/10\/clearsy-organizes-a-technical-seminar-that-will-take-place-at-sherbrooke-university-october-20-2016-from-10h30-to-12h\/#primaryimage\",\"inLanguage\":\"fr-FR\",\"url\":\"https:\/\/www.atelierb.eu\/wp-content\/uploads\/sites\/3\/2016\/10\/Logo-Universit\\u00e9-de-Sherbrooke.png\",\"width\":544,\"height\":93},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/2016\/10\/10\/clearsy-organizes-a-technical-seminar-that-will-take-place-at-sherbrooke-university-october-20-2016-from-10h30-to-12h\/#webpage\",\"url\":\"https:\/\/www.atelierb.eu\/en\/2016\/10\/10\/clearsy-organizes-a-technical-seminar-that-will-take-place-at-sherbrooke-university-october-20-2016-from-10h30-to-12h\/\",\"name\":\"ClearSy organizes a technical seminar that will take place at Sherbrooke University, October 20, 2016 (from 10h30 to 12h). | Atelier B\",\"isPartOf\":{\"@id\":\"https:\/\/www.atelierb.eu\/en\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.atelierb.eu\/en\/2016\/10\/10\/clearsy-organizes-a-technical-seminar-that-will-take-place-at-sherbrooke-university-october-20-2016-from-10h30-to-12h\/#primaryimage\"},\"datePublished\":\"2016-10-10T16:58:35+00:00\",\"dateModified\":\"2016-10-10T17:01:01+00:00\",\"author\":{\"@id\":\"https:\/\/www.atelierb.eu\/en\/#\/schema\/person\/dc53be91831360ba4c8629b5c79d0385\"},\"description\":\"The seminar, entitled \\\"Proven software with B executing on Low Cost High integrity Platform\\\", is aimed at presenting the latest innovations concerning the use of the B formal method for the development of safety critical systems: \\\"Atelier B has been heavily used in industry, mainly in the railways, for the development of proven safety critical softwa\",\"breadcrumb\":{\"@id\":\"https:\/\/www.atelierb.eu\/en\/2016\/10\/10\/clearsy-organizes-a-technical-seminar-that-will-take-place-at-sherbrooke-university-october-20-2016-from-10h30-to-12h\/#breadcrumb\"},\"inLanguage\":\"fr-FR\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.atelierb.eu\/en\/2016\/10\/10\/clearsy-organizes-a-technical-seminar-that-will-take-place-at-sherbrooke-university-october-20-2016-from-10h30-to-12h\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/2016\/10\/10\/clearsy-organizes-a-technical-seminar-that-will-take-place-at-sherbrooke-university-october-20-2016-from-10h30-to-12h\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"item\":{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.atelierb.eu\/\",\"url\":\"https:\/\/www.atelierb.eu\/\",\"name\":\"Accueil\"}},{\"@type\":\"ListItem\",\"position\":2,\"item\":{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/category\/news\/\",\"url\":\"https:\/\/www.atelierb.eu\/en\/category\/news\/\",\"name\":\"News\"}},{\"@type\":\"ListItem\",\"position\":3,\"item\":{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/2016\/10\/10\/clearsy-organizes-a-technical-seminar-that-will-take-place-at-sherbrooke-university-october-20-2016-from-10h30-to-12h\/\",\"url\":\"https:\/\/www.atelierb.eu\/en\/2016\/10\/10\/clearsy-organizes-a-technical-seminar-that-will-take-place-at-sherbrooke-university-october-20-2016-from-10h30-to-12h\/\",\"name\":\"ClearSy organizes a technical seminar that will take place at Sherbrooke University, October 20, 2016 (from 10h30 to 12h).\"}}]},{\"@type\":\"Person\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/#\/schema\/person\/dc53be91831360ba4c8629b5c79d0385\",\"name\":\"ClearSy\",\"image\":{\"@type\":\"ImageObject\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/#personlogo\",\"inLanguage\":\"fr-FR\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/936ccc48e0628717764332efd3b70e42?s=96&d=mm&r=g\",\"caption\":\"ClearSy\"}}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","_links":{"self":[{"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/posts\/3037\/"}],"collection":[{"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/posts\/"}],"about":[{"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/types\/post\/"}],"author":[{"embeddable":true,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/users\/1\/"}],"replies":[{"embeddable":true,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/comments\/?post=3037"}],"version-history":[{"count":1,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/posts\/3037\/revisions\/"}],"predecessor-version":[{"id":3038,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/posts\/3037\/revisions\/3038\/"}],"wp:attachment":[{"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/media\/?parent=3037"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/categories\/?post=3037"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/tags\/?post=3037"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}