{"id":14789,"date":"2020-07-24T10:04:45","date_gmt":"2020-07-24T08:04:45","guid":{"rendered":"http:\/\/localhost:8888\/clearsy\/offres\/safety-critical-systems-softwares\/"},"modified":"2023-01-23T14:39:36","modified_gmt":"2023-01-23T12:39:36","slug":"safety-critical-systems-software","status":"publish","type":"offres","link":"https:\/\/www.clearsy.com\/en\/offers\/safety-critical-systems-software\/","title":{"rendered":"Safety critical systems &#038; software"},"content":{"rendered":"\r\n<h2 class=\"wp-block-heading\">Safety software developed using formal method<\/h2>\r\n\r\n\r\n\r\n<p class=\"lanceur\">CLEARSY is innovative in the packaging of software in terms of guaranteeing both the conformity of the software product and specifications to the customer needs. This warranty is possible due to the use of modelling techniques that allow, starting from the initial documents and exchanges, the creation of specifications verified by a formal method and expressed in a natural language.<\/p>\r\n\r\n\r\n\r\n<p>This phrase allows the designers to eliminate the ambiguity of the customer requirement analysis, too often considered as developments, and provide a result entirely in line with needs. These specifications then act as the base for development created through techniques adapted for the operational constraints of the software product. CLEARSY offers contractual support to its warranty by a commitment to handle at its expense software changes related to a problem in the development of the code and the changes in these specifications if the problem is linked to a logic fault or ambiguity in the specifications.<\/p>\r\n\r\n\r\n\r\n<p>The development of safety critical software undertaken by CLEARSY meets the development criteria of SIL2, SIL3, and SIL4 software in terms of IEC 61508 standards and, in particular, standards EN50126, EN50128, and EN50129.<\/p>\r\n\r\n\r\n\r\n<h2 class=\"wp-block-heading\">Safety software<\/h2>\r\n\r\n\r\n\r\n<h3 class=\"wp-block-heading\">Development of safety software<\/h3>\r\n\r\n\r\n\r\n<p>Because of the use of modeling techniques, CLEARSY is innovative in the development of software packages.<\/p>\r\n\r\n\r\n\r\n<p>To accomplish this, CLEARSY bases its approach on the entire set of documents provided by the customer, expressed in natural language and including the specifications related to the software product. Formal methods allow the Company to model the latter while guaranteeing its conformity while also adapting it as much as possible to the constraints of the contractor.<\/p>\r\n\r\n\r\n\r\n<p>Developing safety software involves ensuring its proper operation and the impossibility for the software to execute dangerous actions. It also implies a thorough and rigorous mastery of the software operation.<\/p>\r\n\r\n\r\n\r\n<p>Therefore, CLEARSY uses its knowledge to meet the highest requirements of safety software through safety instructions developed in a structured, clear, unequivocal, verifiable, testable, and maintainable manner, completely unambiguous as far as the documentation is concerned and at all stages of the development cycle.<\/p>\r\n","protected":false},"excerpt":{"rendered":"<p>Safety software developed using formal method CLEARSY is innovative in the packaging of software in terms of guaranteeing both the [&hellip;]<\/p>\n","protected":false},"featured_media":14984,"template":"","domaine":[],"class_list":["post-14789","offres","type-offres","status-publish","has-post-thumbnail","hentry"],"acf":[],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.3 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Safety critical systems &amp; software - 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\/offers\/safety-critical-systems-software\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Safety critical systems &amp; software - CLEARSY\" \/>\n<meta property=\"og:description\" content=\"Safety software developed using formal method CLEARSY is innovative in the packaging of software in terms of guaranteeing both the [&hellip;]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.clearsy.com\/en\/offers\/safety-critical-systems-software\/\" \/>\n<meta property=\"og:site_name\" content=\"CLEARSY\" \/>\n<meta property=\"article:modified_time\" content=\"2023-01-23T12:39:36+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.clearsy.com\/wp-content\/uploads\/2020\/07\/clearsy-inge.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"1170\" \/>\n\t<meta property=\"og:image:height\" content=\"615\" \/>\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\\\/offers\\\/safety-critical-systems-software\\\/\",\"url\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/offers\\\/safety-critical-systems-software\\\/\",\"name\":\"Safety critical systems & software - CLEARSY\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/offers\\\/safety-critical-systems-software\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/offers\\\/safety-critical-systems-software\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/www.clearsy.com\\\/wp-content\\\/uploads\\\/2020\\\/07\\\/clearsy-inge.jpg\",\"datePublished\":\"2020-07-24T08:04:45+00:00\",\"dateModified\":\"2023-01-23T12:39:36+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/offers\\\/safety-critical-systems-software\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/www.clearsy.com\\\/en\\\/offers\\\/safety-critical-systems-software\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/offers\\\/safety-critical-systems-software\\\/#primaryimage\",\"url\":\"https:\\\/\\\/www.clearsy.com\\\/wp-content\\\/uploads\\\/2020\\\/07\\\/clearsy-inge.jpg\",\"contentUrl\":\"https:\\\/\\\/www.clearsy.com\\\/wp-content\\\/uploads\\\/2020\\\/07\\\/clearsy-inge.jpg\",\"width\":1170,\"height\":615,\"caption\":\"D\u00e9veloppement de logiciels critiques\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/offers\\\/safety-critical-systems-software\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Offers\",\"item\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/offers\\\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Safety critical systems &#038; software\"}]},{\"@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":"Safety critical systems & software - 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\/offers\/safety-critical-systems-software\/","og_locale":"en_US","og_type":"article","og_title":"Safety critical systems & software - CLEARSY","og_description":"Safety software developed using formal method CLEARSY is innovative in the packaging of software in terms of guaranteeing both the [&hellip;]","og_url":"https:\/\/www.clearsy.com\/en\/offers\/safety-critical-systems-software\/","og_site_name":"CLEARSY","article_modified_time":"2023-01-23T12:39:36+00:00","og_image":[{"width":1170,"height":615,"url":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2020\/07\/clearsy-inge.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\/offers\/safety-critical-systems-software\/","url":"https:\/\/www.clearsy.com\/en\/offers\/safety-critical-systems-software\/","name":"Safety critical systems & software - CLEARSY","isPartOf":{"@id":"https:\/\/www.clearsy.com\/en\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.clearsy.com\/en\/offers\/safety-critical-systems-software\/#primaryimage"},"image":{"@id":"https:\/\/www.clearsy.com\/en\/offers\/safety-critical-systems-software\/#primaryimage"},"thumbnailUrl":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2020\/07\/clearsy-inge.jpg","datePublished":"2020-07-24T08:04:45+00:00","dateModified":"2023-01-23T12:39:36+00:00","breadcrumb":{"@id":"https:\/\/www.clearsy.com\/en\/offers\/safety-critical-systems-software\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.clearsy.com\/en\/offers\/safety-critical-systems-software\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.clearsy.com\/en\/offers\/safety-critical-systems-software\/#primaryimage","url":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2020\/07\/clearsy-inge.jpg","contentUrl":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2020\/07\/clearsy-inge.jpg","width":1170,"height":615,"caption":"D\u00e9veloppement de logiciels critiques"},{"@type":"BreadcrumbList","@id":"https:\/\/www.clearsy.com\/en\/offers\/safety-critical-systems-software\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.clearsy.com\/en\/"},{"@type":"ListItem","position":2,"name":"Offers","item":"https:\/\/www.clearsy.com\/en\/offers\/"},{"@type":"ListItem","position":3,"name":"Safety critical systems &#038; software"}]},{"@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\/offres\/14789","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/offres"}],"about":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/types\/offres"}],"version-history":[{"count":2,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/offres\/14789\/revisions"}],"predecessor-version":[{"id":18922,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/offres\/14789\/revisions\/18922"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/media\/14984"}],"wp:attachment":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/media?parent=14789"}],"wp:term":[{"taxonomy":"domaine","embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/domaine?post=14789"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}