{"id":3039,"date":"2016-10-04T14:08:10","date_gmt":"2016-10-04T13:08:10","guid":{"rendered":"http:\/\/www.atelierb.eu\/en\/?p=3039"},"modified":"2016-10-11T13:03:56","modified_gmt":"2016-10-11T12:03:56","slug":"lchip-project-low-cost-high-integrity-platform-will-ease-development-of-safety-critical-systems-and-software-up-to-sil4-the-highest-safety-integrated-level","status":"publish","type":"post","link":"https:\/\/www.atelierb.eu\/en\/2016\/10\/04\/lchip-project-low-cost-high-integrity-platform-will-ease-development-of-safety-critical-systems-and-software-up-to-sil4-the-highest-safety-integrated-level\/","title":{"rendered":"LCHIP project (Low Cost High Integrity Platform) will ease development of safety critical systems and software up to SIL4, the highest Safety Integrated Level."},"content":{"rendered":"<p style=\"text-align: justify\">LCHIP platform is a combination of a B method (formal method) Integrated Development Environment and a secured runtime platform able to execute software in real-time. The IDE generates and mathematically proves critical software source code in an automated process. When it comes to simple algorithms, the IDE extends functionalities of Atelier B (software to develop in B method). The low cost runtime platform, which runs software from the IDE, is secured in real-time in order to provide an optimum safety. <em>\u201cSuch a combination reduces ten times the cost of the secured platform\u201d <\/em>Thierry Lecomte, expert in Atelier B at ClearSy explains.<\/p>\n<p style=\"text-align: justify\">ClearSy, expert in safety critical system and developer of Atelier B, is leading the project. It is funded by the unique interdepartmental fund (FUI) which was created to support applied research (FUI-21). Supported by Systematic Paris-Region, I-Trans and SCS (<em>Solutions Communicantes S\u00e9curis\u00e9es<\/em>), LCHIP is developed by a consortium coordinated by ClearSy as project manager. <em>\u201cHowever, the platform will be able to read and translate other coding languages to enable a widespread use of the technology outside the consortium.\u201d <\/em>Thierry Lecomte says.<\/p>\n<p style=\"text-align: justify\">Nowadays few highly critical safety systems are deployed because of cost, but LCHIP is drastically reducing costs to make it more accessible. Consequently, LCHIP will enhance safety for citizens. The SNCF, member of the consortium will be the first to test the new technology on railway major case studies.<\/p>\n<p style=\"text-align: justify\"><em>Lambda Mu congress will take place in St Malo (France) from the 11<sup>th<\/sup> to 13<sup>th<\/sup> of October and it will be organized by IMDR (Institut de la Maitrise des Risques). Thierry Lecomte\u2019s communication about \u201cDouble core processor and formal proof for SIL4 automation\u201d is planned to Thursday the 13<sup>th<\/sup> at 2pm. ClearSy will also hold a booth during the congress, please free to stop by for further information.<\/em><\/p>\n","protected":false},"excerpt":{"rendered":"<p>LCHIP project (Low Cost High Integrity Platform) will ease development of safety critical systems and software up to SIL4, the highest Safety Integrated Level. LCHIP platform is a combination of a B method (formal method) Integrated Development Environment and a secured runtime platform able to execute software in real-time. <\/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":"<!-- This site is optimized with the Yoast SEO plugin v14.8 - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>LCHIP project (Low Cost High Integrity Platform) will ease development of safety critical systems and software up to SIL4, the highest Safety Integrated Level. | Atelier B<\/title>\n<meta name=\"description\" content=\"LCHIP project (Low Cost High Integrity Platform) will ease development of safety critical systems and software up to SIL4, the highest Safety Integrated Level. LCHIP platform is a combination of a B method (formal method) Integrated Development Environment and a secured runtime platform able to execute software in real-time.\" \/>\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\/04\/lchip-project-low-cost-high-integrity-platform-will-ease-development-of-safety-critical-systems-and-software-up-to-sil4-the-highest-safety-integrated-level\/\" \/>\n<meta property=\"og:locale\" content=\"fr_FR\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"LCHIP project (Low Cost High Integrity Platform) will ease development of safety critical systems and software up to SIL4, the highest Safety Integrated Level. | Atelier B\" \/>\n<meta property=\"og:description\" content=\"LCHIP project (Low Cost High Integrity Platform) will ease development of safety critical systems and software up to SIL4, the highest Safety Integrated Level. LCHIP platform is a combination of a B method (formal method) Integrated Development Environment and a secured runtime platform able to execute software in real-time.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.atelierb.eu\/en\/2016\/10\/04\/lchip-project-low-cost-high-integrity-platform-will-ease-development-of-safety-critical-systems-and-software-up-to-sil4-the-highest-safety-integrated-level\/\" \/>\n<meta property=\"og:site_name\" content=\"Atelier B\" \/>\n<meta property=\"article:published_time\" content=\"2016-10-04T13:08:10+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2016-10-11T12:03:56+00:00\" \/>\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\":\"WebPage\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/2016\/10\/04\/lchip-project-low-cost-high-integrity-platform-will-ease-development-of-safety-critical-systems-and-software-up-to-sil4-the-highest-safety-integrated-level\/#webpage\",\"url\":\"https:\/\/www.atelierb.eu\/en\/2016\/10\/04\/lchip-project-low-cost-high-integrity-platform-will-ease-development-of-safety-critical-systems-and-software-up-to-sil4-the-highest-safety-integrated-level\/\",\"name\":\"LCHIP project (Low Cost High Integrity Platform) will ease development of safety critical systems and software up to SIL4, the highest Safety Integrated Level. | Atelier B\",\"isPartOf\":{\"@id\":\"https:\/\/www.atelierb.eu\/en\/#website\"},\"datePublished\":\"2016-10-04T13:08:10+00:00\",\"dateModified\":\"2016-10-11T12:03:56+00:00\",\"author\":{\"@id\":\"https:\/\/www.atelierb.eu\/en\/#\/schema\/person\/dc53be91831360ba4c8629b5c79d0385\"},\"description\":\"LCHIP project (Low Cost High Integrity Platform) will ease development of safety critical systems and software up to SIL4, the highest Safety Integrated Level. LCHIP platform is a combination of a B method (formal method) Integrated Development Environment and a secured runtime platform able to execute software in real-time.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.atelierb.eu\/en\/2016\/10\/04\/lchip-project-low-cost-high-integrity-platform-will-ease-development-of-safety-critical-systems-and-software-up-to-sil4-the-highest-safety-integrated-level\/#breadcrumb\"},\"inLanguage\":\"fr-FR\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.atelierb.eu\/en\/2016\/10\/04\/lchip-project-low-cost-high-integrity-platform-will-ease-development-of-safety-critical-systems-and-software-up-to-sil4-the-highest-safety-integrated-level\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/2016\/10\/04\/lchip-project-low-cost-high-integrity-platform-will-ease-development-of-safety-critical-systems-and-software-up-to-sil4-the-highest-safety-integrated-level\/#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\/04\/lchip-project-low-cost-high-integrity-platform-will-ease-development-of-safety-critical-systems-and-software-up-to-sil4-the-highest-safety-integrated-level\/\",\"url\":\"https:\/\/www.atelierb.eu\/en\/2016\/10\/04\/lchip-project-low-cost-high-integrity-platform-will-ease-development-of-safety-critical-systems-and-software-up-to-sil4-the-highest-safety-integrated-level\/\",\"name\":\"LCHIP project (Low Cost High Integrity Platform) will ease development of safety critical systems and software up to SIL4, the highest Safety Integrated Level.\"}}]},{\"@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\/3039\/"}],"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=3039"}],"version-history":[{"count":1,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/posts\/3039\/revisions\/"}],"predecessor-version":[{"id":3040,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/posts\/3039\/revisions\/3040\/"}],"wp:attachment":[{"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/media\/?parent=3039"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/categories\/?post=3039"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/tags\/?post=3039"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}