{"id":14561,"date":"2020-07-22T10:16:36","date_gmt":"2020-07-22T08:16:36","guid":{"rendered":"http:\/\/localhost:8888\/clearsy\/formal-methods-for-validating-parameterization-data-clearsy-is-chosen\/"},"modified":"2020-07-22T10:16:52","modified_gmt":"2020-07-22T08:16:52","slug":"formal-methods-for-validating-parameterization-data-clearsy-is-chosen","status":"publish","type":"post","link":"https:\/\/www.clearsy.com\/en\/railway\/formal-methods-for-validating-parameterization-data-clearsy-is-chosen\/","title":{"rendered":"Formal methods for validating parameterization data: CLEARSY is chosen"},"content":{"rendered":"\n<p class=\"lanceur\">CLEARSY validates the data that parameterize its railway interlocking system because of the infallibility of its approach based on formal methods.<\/p>\n\n<p>One major company entrusted CLEARSY with the data validation for the control system of switch points, i.e. the interlocking system. The aim is SIL4 certification, the highest safety level of the CENELEC EN 50128 standard. The interlocking solution proposed by the company being generic, it requires configuration. Rigorous validation of the parameterization data is one of the aspects required by the certification.<\/p>\n\n<p>\u201c<em>Validation based on formal methods proposes a new logic, based on mathematics, which has the advantage of removing all ambiguities regarding the interpretation of the data and the properties they must respect<\/em>\u201d, states Erwan Mottin who heads the data validation activity at CLEARSY. In other words, formal validation ensures that the parameter settings comply with the levels of operational safety required by the standard. To achieve these safety objectives, CLEARSY relies on the one hand on a certified IT tool &#8211; the CLEARSY Data Solver &#8211; and on the other hand on verification rules developed using formal methods.<\/p>\n\n<p>Publisher of Atelier B since 2001, CLEARSY developed the 1st formal data validation tool in 2005 in response to an order from the RATP. Since then, ATOS, SNCF, Siemens, Alstom, and Thales have used its services. Within the framework of this new contract, CLEARSY will prepare the necessary tooling<\/p>\n","protected":false},"excerpt":{"rendered":"<p>CLEARSY validates the data that parameterize its railway interlocking system because of the infallibility of its approach based on formal [&hellip;]<\/p>\n","protected":false},"author":21,"featured_media":14557,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[682],"tags":[],"class_list":["post-14561","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-railway"],"acf":[],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.3 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Formal methods for validating parameterization data: CLEARSY is chosen - 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\/railway\/formal-methods-for-validating-parameterization-data-clearsy-is-chosen\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Formal methods for validating parameterization data: CLEARSY is chosen - CLEARSY\" \/>\n<meta property=\"og:description\" content=\"CLEARSY validates the data that parameterize its railway interlocking system because of the infallibility of its approach based on formal [&hellip;]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.clearsy.com\/en\/railway\/formal-methods-for-validating-parameterization-data-clearsy-is-chosen\/\" \/>\n<meta property=\"og:site_name\" content=\"CLEARSY\" \/>\n<meta property=\"article:published_time\" content=\"2020-07-22T08:16:36+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2020-07-22T08:16:52+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.clearsy.com\/wp-content\/uploads\/2020\/01\/Data-valid-british-web-FR-2-1.png\" \/>\n\t<meta property=\"og:image:width\" content=\"850\" \/>\n\t<meta property=\"og:image:height\" content=\"325\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/png\" \/>\n<meta name=\"author\" content=\"Marine Vincent\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"Marine Vincent\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"1 minute\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/railway\\\/formal-methods-for-validating-parameterization-data-clearsy-is-chosen\\\/#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/railway\\\/formal-methods-for-validating-parameterization-data-clearsy-is-chosen\\\/\"},\"author\":{\"name\":\"Marine Vincent\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#\\\/schema\\\/person\\\/bb36c09077314446e4a301bf07c1c952\"},\"headline\":\"Formal methods for validating parameterization data: CLEARSY is chosen\",\"datePublished\":\"2020-07-22T08:16:36+00:00\",\"dateModified\":\"2020-07-22T08:16:52+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/railway\\\/formal-methods-for-validating-parameterization-data-clearsy-is-chosen\\\/\"},\"wordCount\":237,\"commentCount\":0,\"publisher\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#organization\"},\"image\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/railway\\\/formal-methods-for-validating-parameterization-data-clearsy-is-chosen\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/www.clearsy.com\\\/wp-content\\\/uploads\\\/2020\\\/01\\\/Data-valid-british-web-FR-2-1.png\",\"articleSection\":[\"Railway\"],\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\\\/\\\/www.clearsy.com\\\/en\\\/railway\\\/formal-methods-for-validating-parameterization-data-clearsy-is-chosen\\\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/railway\\\/formal-methods-for-validating-parameterization-data-clearsy-is-chosen\\\/\",\"url\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/railway\\\/formal-methods-for-validating-parameterization-data-clearsy-is-chosen\\\/\",\"name\":\"Formal methods for validating parameterization data: CLEARSY is chosen - CLEARSY\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/railway\\\/formal-methods-for-validating-parameterization-data-clearsy-is-chosen\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/railway\\\/formal-methods-for-validating-parameterization-data-clearsy-is-chosen\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/www.clearsy.com\\\/wp-content\\\/uploads\\\/2020\\\/01\\\/Data-valid-british-web-FR-2-1.png\",\"datePublished\":\"2020-07-22T08:16:36+00:00\",\"dateModified\":\"2020-07-22T08:16:52+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/railway\\\/formal-methods-for-validating-parameterization-data-clearsy-is-chosen\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/www.clearsy.com\\\/en\\\/railway\\\/formal-methods-for-validating-parameterization-data-clearsy-is-chosen\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/railway\\\/formal-methods-for-validating-parameterization-data-clearsy-is-chosen\\\/#primaryimage\",\"url\":\"https:\\\/\\\/www.clearsy.com\\\/wp-content\\\/uploads\\\/2020\\\/01\\\/Data-valid-british-web-FR-2-1.png\",\"contentUrl\":\"https:\\\/\\\/www.clearsy.com\\\/wp-content\\\/uploads\\\/2020\\\/01\\\/Data-valid-british-web-FR-2-1.png\",\"width\":850,\"height\":325,\"caption\":\"Formal methods for validating parameterization\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/railway\\\/formal-methods-for-validating-parameterization-data-clearsy-is-chosen\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Formal methods for validating parameterization data: CLEARSY is chosen\"}]},{\"@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\\\/\"}},{\"@type\":\"Person\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#\\\/schema\\\/person\\\/bb36c09077314446e4a301bf07c1c952\",\"name\":\"Marine Vincent\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/070bd2b50728f95541dfee585c065f956799b61101a0b4987f84d2fc522e361b?s=96&d=mm&r=g\",\"url\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/070bd2b50728f95541dfee585c065f956799b61101a0b4987f84d2fc522e361b?s=96&d=mm&r=g\",\"contentUrl\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/070bd2b50728f95541dfee585c065f956799b61101a0b4987f84d2fc522e361b?s=96&d=mm&r=g\",\"caption\":\"Marine Vincent\"},\"url\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/author\\\/mvincent\\\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Formal methods for validating parameterization data: CLEARSY is chosen - 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\/railway\/formal-methods-for-validating-parameterization-data-clearsy-is-chosen\/","og_locale":"en_US","og_type":"article","og_title":"Formal methods for validating parameterization data: CLEARSY is chosen - CLEARSY","og_description":"CLEARSY validates the data that parameterize its railway interlocking system because of the infallibility of its approach based on formal [&hellip;]","og_url":"https:\/\/www.clearsy.com\/en\/railway\/formal-methods-for-validating-parameterization-data-clearsy-is-chosen\/","og_site_name":"CLEARSY","article_published_time":"2020-07-22T08:16:36+00:00","article_modified_time":"2020-07-22T08:16:52+00:00","og_image":[{"width":850,"height":325,"url":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2020\/01\/Data-valid-british-web-FR-2-1.png","type":"image\/png"}],"author":"Marine Vincent","twitter_card":"summary_large_image","twitter_misc":{"Written by":"Marine Vincent","Est. reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.clearsy.com\/en\/railway\/formal-methods-for-validating-parameterization-data-clearsy-is-chosen\/#article","isPartOf":{"@id":"https:\/\/www.clearsy.com\/en\/railway\/formal-methods-for-validating-parameterization-data-clearsy-is-chosen\/"},"author":{"name":"Marine Vincent","@id":"https:\/\/www.clearsy.com\/en\/#\/schema\/person\/bb36c09077314446e4a301bf07c1c952"},"headline":"Formal methods for validating parameterization data: CLEARSY is chosen","datePublished":"2020-07-22T08:16:36+00:00","dateModified":"2020-07-22T08:16:52+00:00","mainEntityOfPage":{"@id":"https:\/\/www.clearsy.com\/en\/railway\/formal-methods-for-validating-parameterization-data-clearsy-is-chosen\/"},"wordCount":237,"commentCount":0,"publisher":{"@id":"https:\/\/www.clearsy.com\/en\/#organization"},"image":{"@id":"https:\/\/www.clearsy.com\/en\/railway\/formal-methods-for-validating-parameterization-data-clearsy-is-chosen\/#primaryimage"},"thumbnailUrl":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2020\/01\/Data-valid-british-web-FR-2-1.png","articleSection":["Railway"],"inLanguage":"en-US","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/www.clearsy.com\/en\/railway\/formal-methods-for-validating-parameterization-data-clearsy-is-chosen\/#respond"]}]},{"@type":"WebPage","@id":"https:\/\/www.clearsy.com\/en\/railway\/formal-methods-for-validating-parameterization-data-clearsy-is-chosen\/","url":"https:\/\/www.clearsy.com\/en\/railway\/formal-methods-for-validating-parameterization-data-clearsy-is-chosen\/","name":"Formal methods for validating parameterization data: CLEARSY is chosen - CLEARSY","isPartOf":{"@id":"https:\/\/www.clearsy.com\/en\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.clearsy.com\/en\/railway\/formal-methods-for-validating-parameterization-data-clearsy-is-chosen\/#primaryimage"},"image":{"@id":"https:\/\/www.clearsy.com\/en\/railway\/formal-methods-for-validating-parameterization-data-clearsy-is-chosen\/#primaryimage"},"thumbnailUrl":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2020\/01\/Data-valid-british-web-FR-2-1.png","datePublished":"2020-07-22T08:16:36+00:00","dateModified":"2020-07-22T08:16:52+00:00","breadcrumb":{"@id":"https:\/\/www.clearsy.com\/en\/railway\/formal-methods-for-validating-parameterization-data-clearsy-is-chosen\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.clearsy.com\/en\/railway\/formal-methods-for-validating-parameterization-data-clearsy-is-chosen\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.clearsy.com\/en\/railway\/formal-methods-for-validating-parameterization-data-clearsy-is-chosen\/#primaryimage","url":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2020\/01\/Data-valid-british-web-FR-2-1.png","contentUrl":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2020\/01\/Data-valid-british-web-FR-2-1.png","width":850,"height":325,"caption":"Formal methods for validating parameterization"},{"@type":"BreadcrumbList","@id":"https:\/\/www.clearsy.com\/en\/railway\/formal-methods-for-validating-parameterization-data-clearsy-is-chosen\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.clearsy.com\/en\/"},{"@type":"ListItem","position":2,"name":"Formal methods for validating parameterization data: CLEARSY is chosen"}]},{"@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\/"}},{"@type":"Person","@id":"https:\/\/www.clearsy.com\/en\/#\/schema\/person\/bb36c09077314446e4a301bf07c1c952","name":"Marine Vincent","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/secure.gravatar.com\/avatar\/070bd2b50728f95541dfee585c065f956799b61101a0b4987f84d2fc522e361b?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/070bd2b50728f95541dfee585c065f956799b61101a0b4987f84d2fc522e361b?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/070bd2b50728f95541dfee585c065f956799b61101a0b4987f84d2fc522e361b?s=96&d=mm&r=g","caption":"Marine Vincent"},"url":"https:\/\/www.clearsy.com\/en\/author\/mvincent\/"}]}},"_links":{"self":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/posts\/14561","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/users\/21"}],"replies":[{"embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/comments?post=14561"}],"version-history":[{"count":0,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/posts\/14561\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/media\/14557"}],"wp:attachment":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/media?parent=14561"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/categories?post=14561"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/tags?post=14561"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}