{"id":8806,"date":"2020-03-13T11:25:18","date_gmt":"2020-03-13T10:25:18","guid":{"rendered":"http:\/\/localhost:8888\/clearsy\/?page_id=8806"},"modified":"2022-05-23T18:23:58","modified_gmt":"2022-05-23T16:23:58","slug":"safe-software-and-systems","status":"publish","type":"page","link":"https:\/\/www.clearsy.com\/en\/know-how\/safe-software-and-systems\/","title":{"rendered":"Safe software and systems"},"content":{"rendered":"<div class=\"wpb-content-wrapper\"><p>[vc_row][vc_column]<div class=\"text-bloc\"><h1 class=\"titre_l-bleu-trait-bleu\" style=\"text-align: center;\"><span class=\"txt_MAJ\">SAFE SOFTWARE AND SYSTEMS<\/span><\/h1>\n<\/div><div class=\"text-bloc\"><p style=\"text-align: center;\">CLEARSY is a recognised player in the field of formal methods and for the rigour of its applications.<\/p>\n<p style=\"text-align: center;\"><span class=\"couleur_bleu\">THE COMPANY OFFERS SOMETHING DIFFERENT FROM ITS COMPETITORS,<\/span><br \/>\n<span class=\"couleur_bleu\">BECAUSE OF THE APPLICATION OF FORMAL METHODS TO DEVELOP PROVEN SAFE SYSTEMS.<\/span><\/p>\n<\/div><div class=\"text-bloc liste-ancres liste-ancres-4\"><ul>\n<li><a href=\"#safety\">Safety system<\/a><\/li>\n<li><a href=\"#safety\">Reliable software<\/a><\/li>\n<li><a href=\"#compliance\">Compliance<\/a><\/li>\n<li><a href=\"#compliance\">Our examples<\/a><\/li>\n<\/ul>\n<\/div>[\/vc_column][\/vc_row][vc_row full_width=&#8221;stretch_row&#8221; el_id=&#8221;safety&#8221; el_class=&#8221;bg-gris&#8221;][vc_column][vc_row_inner][vc_column_inner width=&#8221;1\/2&#8243;]<div class=\"text-bloc\"><h2 class=\"titre_m-bleu-trait-orange\">SAFETY SYSTEMS ADAPTED TO YOUR PROJECT<\/h2>\n<\/div><div class=\"text-bloc\"><p>The project management of the control and command system for the platform screen doors, installed on line 13 of the Paris metro, is the proof of CLEARSY&#8217;s ability to develop a safe industrial system.<\/p>\n<p><span class=\"couleur_bleu\"><em>&#8220;Thus, CLEARSY is becoming a player in the realization of high-end security systems: SIL2, SIL3, SIL4 according to the industrial standards,\u00a0 category B and C according to nuclear standards. &#8220;<\/em><\/span><\/p>\n<\/div>[\/vc_column_inner][vc_column_inner width=&#8221;1\/2&#8243;]<div class=\"text-bloc\"><p class=\"titre_m-bleu-trait-orange\" style=\"text-align: left;\">RELIABLE SOFTWARE DEVELOPED USING FORMAL METHOD<\/p>\n<\/div><div class=\"text-bloc\"><p>CLEARSY innovates in the field of fixed-price software development by its ability to guarantee both the conformity of the software product and the specifications to the client&#8217;s needs. This guarantee is possible thanks to the use of modelling techniques which allow, from the initial documents and exchanges, to produce specifications verified by a formal method and expressed in natural language.<\/p>\n<p>This phase makes it possible to eliminate the fuzziness of the expression of an operational need, which is too often considered to be an evolution, and gives a result that is perfectly consistent with the need. These specifications are then the basis of the development, which is carried out using techniques adapted to the execution constraints of the software product.<\/p>\n<p>CLEARSY contractually backs up its guarantee with a commitment to take responsibility for all software modifications linked to a problem in the development of the code and modifications to its specifications if the problem is linked to an inconsistency or vagueness in the latter. This method is now successfully used in the automotive, banking, space and nuclear fields.<\/p>\n<\/div>[\/vc_column_inner][\/vc_row_inner][\/vc_column][\/vc_row][vc_row el_id=&#8221;compliance&#8221;][vc_column][vc_row_inner][vc_column_inner width=&#8221;1\/2&#8243;]<div class=\"text-bloc\"><h2 class=\"titre_m-bleu-trait-orange\">COMPLIANCE WITH RELIABILITY CRITERIA AND STANDARDS<\/h2>\n<\/div><div class=\"text-bloc\"><p>CLEARSY&#8217;s safe software developments meet the SIL2, SIL3, SIL4 reliability criteria of IEC61508, EN50126, EN50128, EN50129 and are compliant with the I&amp;C system classes 1, 2 and 3 of IEC 61513, 60880 and 62138 standards:<\/p>\n<p><span class=\"couleur_bleu\">&#8211; Project management for the development of critical systems;<\/span><br \/>\n<span class=\"couleur_bleu\">&#8211; Integration, validation, verification of systems and software;<\/span><br \/>\n<span class=\"couleur_bleu\">&#8211; Technical assistance in the fields of software, hardware and system safety;<\/span><br \/>\n<span class=\"couleur_bleu\">&#8211; Fixed price studies: hardware, software and safety systems.<\/span><\/p>\n<\/div>[\/vc_column_inner][vc_column_inner width=&#8221;1\/2&#8243;]<div class=\"text-bloc\"><p class=\"titre_m-bleu-trait-orange\" style=\"text-align: left;\">OUR EXAMPLES<\/p>\n<\/div><div class=\"text-bloc\"><p style=\"text-align: left;\"><span class=\"couleur_bleu\">EXAMPLES OF CLEARSY&#8217;S ACHIEVEMENTS IN CRITICAL SYSTEMS AND RELIABLE SOFTWARE<\/span><br \/>\n&#8211; Development of safety software for the Val de Roissy using the B method<br \/>\n&#8211; Coppilot: safety system for the control of platform screen doors<\/p>\n<\/div>[\/vc_column_inner][\/vc_row_inner][\/vc_column][\/vc_row]<\/p>\n<\/div>","protected":false},"excerpt":{"rendered":"<p>[vc_row][vc_column][\/vc_column][\/vc_row][vc_row full_width=&#8221;stretch_row&#8221; el_id=&#8221;safety&#8221; el_class=&#8221;bg-gris&#8221;][vc_column][vc_row_inner][vc_column_inner width=&#8221;1\/2&#8243;][\/vc_column_inner][vc_column_inner width=&#8221;1\/2&#8243;][\/vc_column_inner][\/vc_row_inner][\/vc_column][\/vc_row][vc_row el_id=&#8221;compliance&#8221;][vc_column][vc_row_inner][vc_column_inner width=&#8221;1\/2&#8243;][\/vc_column_inner][vc_column_inner width=&#8221;1\/2&#8243;][\/vc_column_inner][\/vc_row_inner][\/vc_column][\/vc_row]<\/p>\n","protected":false},"author":17,"featured_media":0,"parent":16901,"menu_order":2,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_acf_changed":false,"footnotes":""},"class_list":["post-8806","page","type-page","status-publish","hentry"],"acf":[],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.3 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Safe software and systems - 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\/know-how\/safe-software-and-systems\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Safe software and systems - CLEARSY\" \/>\n<meta property=\"og:description\" content=\"[vc_row][vc_column][\/vc_column][\/vc_row][vc_row full_width=&#8221;stretch_row&#8221; el_id=&#8221;safety&#8221; el_class=&#8221;bg-gris&#8221;][vc_column][vc_row_inner][vc_column_inner width=&#8221;1\/2&#8243;][\/vc_column_inner][vc_column_inner width=&#8221;1\/2&#8243;][\/vc_column_inner][\/vc_row_inner][\/vc_column][\/vc_row][vc_row el_id=&#8221;compliance&#8221;][vc_column][vc_row_inner][vc_column_inner width=&#8221;1\/2&#8243;][\/vc_column_inner][vc_column_inner width=&#8221;1\/2&#8243;][\/vc_column_inner][\/vc_row_inner][\/vc_column][\/vc_row]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.clearsy.com\/en\/know-how\/safe-software-and-systems\/\" \/>\n<meta property=\"og:site_name\" content=\"CLEARSY\" \/>\n<meta property=\"article:modified_time\" content=\"2022-05-23T16:23:58+00:00\" \/>\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=\"3 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/know-how\\\/safe-software-and-systems\\\/\",\"url\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/know-how\\\/safe-software-and-systems\\\/\",\"name\":\"Safe software and systems - CLEARSY\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#website\"},\"datePublished\":\"2020-03-13T10:25:18+00:00\",\"dateModified\":\"2022-05-23T16:23:58+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/know-how\\\/safe-software-and-systems\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/www.clearsy.com\\\/en\\\/know-how\\\/safe-software-and-systems\\\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/know-how\\\/safe-software-and-systems\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Know How\",\"item\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/know-how\\\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Safe software and systems\"}]},{\"@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":"Safe software and systems - 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\/know-how\/safe-software-and-systems\/","og_locale":"en_US","og_type":"article","og_title":"Safe software and systems - CLEARSY","og_description":"[vc_row][vc_column][\/vc_column][\/vc_row][vc_row full_width=&#8221;stretch_row&#8221; el_id=&#8221;safety&#8221; el_class=&#8221;bg-gris&#8221;][vc_column][vc_row_inner][vc_column_inner width=&#8221;1\/2&#8243;][\/vc_column_inner][vc_column_inner width=&#8221;1\/2&#8243;][\/vc_column_inner][\/vc_row_inner][\/vc_column][\/vc_row][vc_row el_id=&#8221;compliance&#8221;][vc_column][vc_row_inner][vc_column_inner width=&#8221;1\/2&#8243;][\/vc_column_inner][vc_column_inner width=&#8221;1\/2&#8243;][\/vc_column_inner][\/vc_row_inner][\/vc_column][\/vc_row]","og_url":"https:\/\/www.clearsy.com\/en\/know-how\/safe-software-and-systems\/","og_site_name":"CLEARSY","article_modified_time":"2022-05-23T16:23:58+00:00","twitter_card":"summary_large_image","twitter_misc":{"Est. reading time":"3 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.clearsy.com\/en\/know-how\/safe-software-and-systems\/","url":"https:\/\/www.clearsy.com\/en\/know-how\/safe-software-and-systems\/","name":"Safe software and systems - CLEARSY","isPartOf":{"@id":"https:\/\/www.clearsy.com\/en\/#website"},"datePublished":"2020-03-13T10:25:18+00:00","dateModified":"2022-05-23T16:23:58+00:00","breadcrumb":{"@id":"https:\/\/www.clearsy.com\/en\/know-how\/safe-software-and-systems\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.clearsy.com\/en\/know-how\/safe-software-and-systems\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/www.clearsy.com\/en\/know-how\/safe-software-and-systems\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.clearsy.com\/en\/"},{"@type":"ListItem","position":2,"name":"Know How","item":"https:\/\/www.clearsy.com\/en\/know-how\/"},{"@type":"ListItem","position":3,"name":"Safe software and systems"}]},{"@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\/pages\/8806","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/users\/17"}],"replies":[{"embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/comments?post=8806"}],"version-history":[{"count":24,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/pages\/8806\/revisions"}],"predecessor-version":[{"id":18531,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/pages\/8806\/revisions\/18531"}],"up":[{"embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/pages\/16901"}],"wp:attachment":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/media?parent=8806"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}