{"id":17714,"date":"2021-08-16T14:24:13","date_gmt":"2021-08-16T12:24:13","guid":{"rendered":"https:\/\/www.clearsy.com\/?post_type=recherche&#038;p=17714"},"modified":"2021-08-16T14:24:13","modified_gmt":"2021-08-16T12:24:13","slug":"lchip","status":"publish","type":"recherche","link":"https:\/\/www.clearsy.com\/en\/research-and-development\/lchip\/","title":{"rendered":"LCHIP"},"content":{"rendered":"<p>BPI France has selected the project LCHIP (Low Cost High Integrity Platform) under the framework FUI 21.<\/p>\n<ul>\n<li><strong>DURATION<\/strong> : 42 months<\/li>\n<li><strong>PARTNERS <\/strong>: <span class=\"couleur_bleu\"><strong>CLEARSY<\/strong> <\/span>(leader), OCaml Pro, SNCF, IFSTTAR, LIP6, LRI<\/li>\n<\/ul>\n<p>The LCHIP project aims to greatly facilitate the development of safe, high-criticality applications by providing :<\/p>\n<ul>\n<li>a complete development environment to generate and prove mathematically and automatically bounded algorithmic software,<\/li>\n<li>a secure and low-cost platform for the execution of these applications, in order to guarantee a maximum level of safety.<\/li>\n<\/ul>\n<p>The ability to automatically generate and prove software is the focus of the project.<\/p>\n<p>Seamless integration with business languages (DSLs) and third-party code production chains allow for painless deployment in existing development processes and promote the exploitation of the technology outside the consortium.<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/www.clearsy.com\/wp-content\/uploads\/2021\/08\/lchip-image-1024x296.jpg\" alt=\"\" width=\"640\" height=\"185\" class=\"aligncenter wp-image-17709 size-large\" srcset=\"https:\/\/www.clearsy.com\/wp-content\/uploads\/2021\/08\/lchip-image-1024x296.jpg 1024w, https:\/\/www.clearsy.com\/wp-content\/uploads\/2021\/08\/lchip-image-300x87.jpg 300w, https:\/\/www.clearsy.com\/wp-content\/uploads\/2021\/08\/lchip-image-768x222.jpg 768w, https:\/\/www.clearsy.com\/wp-content\/uploads\/2021\/08\/lchip-image.jpg 1430w\" sizes=\"auto, (max-width: 640px) 100vw, 640px\" \/><\/p>\n<p>The LCHIP project brings together scientific results obtained over the last 20 years and feedback from the use of formal methods for building safe systems, while achieving a significant breakthrough in software engineering.<\/p>\n<p>The LCHIP technology will improve the security of citizens by democratizing the use of secure, high-criticality applications whose deployment is limited for economic reasons.<\/p>\n<p>The results will be exploited through :<\/p>\n<ul>\n<li>the development of safe systems, in the railway field and internationally<\/li>\n<li>the commercialization of the platform and associated services<\/li>\n<li>the patenting of the LCHIP technology.<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>BPI France has selected the project LCHIP (Low Cost High Integrity Platform) under the framework FUI 21.<\/p>\n","protected":false},"featured_media":17715,"template":"","class_list":["post-17714","recherche","type-recherche","status-publish","has-post-thumbnail","hentry"],"acf":[],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.1.1 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>LCHIP - 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\/research-and-development\/lchip\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"LCHIP - CLEARSY\" \/>\n<meta property=\"og:description\" content=\"BPI France has selected the project LCHIP (Low Cost High Integrity Platform) under the framework FUI 21.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.clearsy.com\/en\/research-and-development\/lchip\/\" \/>\n<meta property=\"og:site_name\" content=\"CLEARSY\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.clearsy.com\/wp-content\/uploads\/2021\/08\/projet-lchip-en.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"1956\" \/>\n\t<meta property=\"og:image:height\" content=\"1056\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"2 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.clearsy.com\/en\/research-and-development\/lchip\/\",\"url\":\"https:\/\/www.clearsy.com\/en\/research-and-development\/lchip\/\",\"name\":\"LCHIP - CLEARSY\",\"isPartOf\":{\"@id\":\"https:\/\/www.clearsy.com\/en\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.clearsy.com\/en\/research-and-development\/lchip\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.clearsy.com\/en\/research-and-development\/lchip\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.clearsy.com\/wp-content\/uploads\/2021\/08\/projet-lchip-en.jpg\",\"datePublished\":\"2021-08-16T12:24:13+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/www.clearsy.com\/en\/research-and-development\/lchip\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.clearsy.com\/en\/research-and-development\/lchip\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.clearsy.com\/en\/research-and-development\/lchip\/#primaryimage\",\"url\":\"https:\/\/www.clearsy.com\/wp-content\/uploads\/2021\/08\/projet-lchip-en.jpg\",\"contentUrl\":\"https:\/\/www.clearsy.com\/wp-content\/uploads\/2021\/08\/projet-lchip-en.jpg\",\"width\":1956,\"height\":1056},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.clearsy.com\/en\/research-and-development\/lchip\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.clearsy.com\/en\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Research and development\",\"item\":\"https:\/\/www.clearsy.com\/en\/research-and-development\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"LCHIP\"}]},{\"@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\/\"}}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"LCHIP - 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\/research-and-development\/lchip\/","og_locale":"en_US","og_type":"article","og_title":"LCHIP - CLEARSY","og_description":"BPI France has selected the project LCHIP (Low Cost High Integrity Platform) under the framework FUI 21.","og_url":"https:\/\/www.clearsy.com\/en\/research-and-development\/lchip\/","og_site_name":"CLEARSY","og_image":[{"width":1956,"height":1056,"url":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2021\/08\/projet-lchip-en.jpg","type":"image\/jpeg"}],"twitter_card":"summary_large_image","twitter_misc":{"Est. reading time":"2 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.clearsy.com\/en\/research-and-development\/lchip\/","url":"https:\/\/www.clearsy.com\/en\/research-and-development\/lchip\/","name":"LCHIP - CLEARSY","isPartOf":{"@id":"https:\/\/www.clearsy.com\/en\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.clearsy.com\/en\/research-and-development\/lchip\/#primaryimage"},"image":{"@id":"https:\/\/www.clearsy.com\/en\/research-and-development\/lchip\/#primaryimage"},"thumbnailUrl":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2021\/08\/projet-lchip-en.jpg","datePublished":"2021-08-16T12:24:13+00:00","breadcrumb":{"@id":"https:\/\/www.clearsy.com\/en\/research-and-development\/lchip\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.clearsy.com\/en\/research-and-development\/lchip\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.clearsy.com\/en\/research-and-development\/lchip\/#primaryimage","url":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2021\/08\/projet-lchip-en.jpg","contentUrl":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2021\/08\/projet-lchip-en.jpg","width":1956,"height":1056},{"@type":"BreadcrumbList","@id":"https:\/\/www.clearsy.com\/en\/research-and-development\/lchip\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.clearsy.com\/en\/"},{"@type":"ListItem","position":2,"name":"Research and development","item":"https:\/\/www.clearsy.com\/en\/research-and-development\/"},{"@type":"ListItem","position":3,"name":"LCHIP"}]},{"@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\/"}}]}},"_links":{"self":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/recherche\/17714","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/recherche"}],"about":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/types\/recherche"}],"version-history":[{"count":1,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/recherche\/17714\/revisions"}],"predecessor-version":[{"id":17717,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/recherche\/17714\/revisions\/17717"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/media\/17715"}],"wp:attachment":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/media?parent=17714"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}