{"id":8935,"date":"2020-03-13T11:20:13","date_gmt":"2020-03-13T10:20:13","guid":{"rendered":"http:\/\/localhost:8888\/clearsy\/?page_id=8935"},"modified":"2022-05-23T17:42:50","modified_gmt":"2022-05-23T15:42:50","slug":"historical-background","status":"publish","type":"page","link":"https:\/\/www.clearsy.com\/en\/clearsy\/historical-background\/","title":{"rendered":"Historical background"},"content":{"rendered":"<div class=\"wpb-content-wrapper\"><p>[vc_row][vc_column]<div class=\"text-bloc\"><h1 style=\"text-align: center;\" class=\"titre_l-bleu-trait-bleu\">Historical Background<\/h1>\n<\/div><div class=\"text-bloc my-2\"><p style=\"text-align: center;\">After working in the field of real time systems development, the founders of CLEARSY discovered formal methods and their interest in the 1990s.<br \/>\nThe founders developed and industrialised what was to be the first real industrial software development tool using the formal B method.<\/p>\n<\/div><div class=\"text-bloc liste-ancres\"><ul>\n<li><a href=\"#atelier-b\">Atelier B<\/a><\/li>\n<li><a href=\"#positioning-key-dates\">Positioning<\/a><\/li>\n<li><a href=\"#positioning-key-dates\">Key dates<\/a><\/li>\n<\/ul>\n<\/div>[\/vc_column][\/vc_row][vc_row full_width=&#8221;stretch_row&#8221; el_id=&#8221;atelier-b&#8221; el_class=&#8221;bg-gris py-3 py-md-4&#8243;][vc_column width=&#8221;1\/2&#8243;]<div class=\"image-single-wrapper text-bloc text-center\"><img loading=\"lazy\" decoding=\"async\" width=\"100\" height=\"100\" src=\"https:\/\/www.clearsy.com\/wp-content\/uploads\/2020\/04\/ico-atelier-b-1.svg\" class=\"attachment-full size-full\" alt=\"Atelier B, g\u00e9nie logiciel\" \/><\/div>[\/vc_column][vc_column width=&#8221;1\/2&#8243;]<div class=\"text-bloc\"><p class=\"titre_m-bleu-trait-orange\">Atelier B<\/p>\n<\/div><div class=\"text-bloc\"><p>This tool, Atelier B, has since enabled the production of numerous fully mathematically proven safety software products that meet the strictest standards.<\/p>\n<p>These industrial successes in the software field have also revealed the importance of the quality of the system specifications in which critical software is implemented. CLEARSY, in collaboration with the inventor of the method and laboratories, has developed formal system modelling techniques.<\/p>\n<p>Several industrial projects have already been able to use these techniques to specify systems (components, electronic architecture and PLC systems).<\/p>\n<p>All these experiences have convinced CLEARSY&#8217;s engineers that formal methods are tools that allow systems to be mastered, and that the certification of systems and software is greatly facilitated.<\/p>\n<\/div>[\/vc_column][\/vc_row][vc_row el_id=&#8221;positioning-key-dates&#8221; el_class=&#8221;py-3 py-md-4&#8243;][vc_column width=&#8221;1\/2&#8243;]<div class=\"text-bloc\"><p class=\"titre_m-bleu-trait-orange\" style=\"text-align: left;\">CLEARSY positioning<\/p>\n<\/div><div class=\"text-bloc\"><ul>\n<li style=\"text-align: left;\">To position itself in the market for the realisation of security systems<\/li>\n<li style=\"text-align: left;\">To use the formal B method to build the systems and software it is entrusted with.<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<p><span class=\"couleur_bleu txt_MAJ-20px\">An important decision<\/span><\/p>\n<p>CLEARSY innovates on the market of systems and software development by introducing the use of formal methods.The use of modelling tools and techniques allows us to capitalise and constantly improve the quality of the systems we produce.The realisation of operational systems encourages us to implement and develop formal tools that are increasingly accessible to engineers.<\/p>\n<p>CLEARSY thus wishes to be a driving force in the techniques and formal tools for the development of certified safety systems.<\/p>\n<\/div>[\/vc_column][vc_column width=&#8221;1\/2&#8243;]<div class=\"text-bloc\"><p class=\"titre_m-bleu-trait-orange\">Key dates<\/p>\n<\/div><div class=\"text-bloc\"><p><strong><span class=\"couleur_bleu txt_MAJ\">From 1990 to 2000<\/span><\/strong><\/p>\n<p><strong>1993<\/strong> : Start of industrialisation of Atelier B for use in METEOR safety software<br \/>\n<strong>1994<\/strong> : Distribution of the first version of Atelier B<br \/>\n<strong>1998<\/strong> : First Atelier B industrial version and commissioning of the METEOR metro<\/p>\n<\/div><div class=\"spoiler spoiler-date\">\n    <div class=\"spoiler-display\">\n    <strong><span class=\"couleur_bleu txt_MAJ\">From 2000 to 2010<\/span><\/strong><\/p>\n<p><strong>2001<\/strong> : Creation of CLEARSY to develop the B method. Two agencies: Aix-en-Provence and Paris.<br \/>\n<strong>2002<\/strong> : First version of a system-level formal language. Use of the B method for the modelling of the operating principles of the Peugeot 206, 307, 407 cars.<br \/>\n<strong>2003<\/strong> : Creation of the Functional Safety activity<\/div><div class=\"spoiler-hidden\">\n    <strong>2004<\/strong> : Provision of a free tool for academics to use the B method: B4Free<br \/>\n<strong>2005<\/strong> : Specification of industrial systems with the B method.<br \/>\n<strong>2006<\/strong> : Beta test version of a formal system specification tool: Composys. &#8211; Commissioning of the Coppilot safety system for the control of landing doors on line 13.<br \/>\n<strong>2007<\/strong> : Development of Brama, a B model graphical animation tool. Installation of the COPP system on the Ch\u00e2tillon station in Paris, integrating safety equipment developed by CLEARSY.<br \/>\n<strong>2008<\/strong> : Provision of a free version of Atelier B 4.0 and release of some modules as open-source.<\/div><button class=\"spoiler-bouton\" data-open=\"Show more \" data-close=\"Show less\" >\nShow more <\/button><\/div><div class=\"spoiler spoiler-date\">\n    <div class=\"spoiler-display\">\n    <strong><span class=\"couleur_bleu txt_MAJ\">From 2010 to 2021<\/span><\/strong><\/p>\n<p><strong>2010<\/strong> : Prime contractor for the deployment of the COPP system developed by CLEARSY, on twelve stations of line 13 of the Paris Metro. Assistance in the evaluation of the safety systems of the Flushing and Culver lines for the New York City underground.<br \/>\n<strong>2011<\/strong> : Development of 3 systems in the framework of the Regiolis project led by Alstom: SAS and GAPS\/UP2S. Commissioning of KFS SIL2 on the Rh\u00f4nexpress tramway in Lyon.<\/div><div class=\"spoiler-hidden\">\n    <strong>2012<\/strong>: Commissioning of the system for detecting individuals in dangerous gaps on line 1 in Paris. Opening of a facility in Lyon.<br \/>\n<strong>2013<\/strong>: Distribution of a SIL4 level safety relay according to industrial standard 61508, developed by CLEARSY. Distribution agreement for systems developed by the RATP. Signing of a contract for the installation of the control system for the landing doors on the new Sao Paulo Monorail.<br \/>\n<strong>2014<\/strong>: Commissioning of the automatic stop system for Valenciennes trams (KFS SIL2).<br \/>\n<strong>2016<\/strong>: CLEARSY, an EDF\/Septen design office, for a period of 5 years, in the field of safety classified control-command of PWR&amp;EPR plants.<br \/>\n<strong>2016<\/strong>: Launch of the SIL4 relay game: RS4.<br \/>\n<strong>2017<\/strong>: inauguration of the platform screen door control system\u00a0 for the Stockholm metro.<br \/>\n<strong>2018<\/strong>: acquisition on July 12, 2018 of ERSA (European Rail Software Applications), a specialist in ERTMS\/ETCS simulation tools and test benches.<br \/>\n<strong>2019<\/strong>: Already at CEA and EDF, CLEARSY enters ITER.<br \/>\n<strong>2019<\/strong>: The safety critical data validation tool of CLEARSY is rated T2.<br \/>\n<strong>2020<\/strong>: New logo, new signature: Safety Solutions Designer.<br \/>\n<strong>2020<\/strong>: The first secure supervision system for fire safety systems in the Paris metro made by CLEARSY is put into service.<br \/>\n<strong>2021<\/strong>: CLEARSY&#8217;s vital computer is certified at SIL4 level.<\/div><button class=\"spoiler-bouton\" data-open=\"Show more\" data-close=\"Show less\" >\nShow more<\/button><\/div>[\/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;atelier-b&#8221; el_class=&#8221;bg-gris py-3 py-md-4&#8243;][vc_column width=&#8221;1\/2&#8243;][\/vc_column][vc_column width=&#8221;1\/2&#8243;][\/vc_column][\/vc_row][vc_row el_id=&#8221;positioning-key-dates&#8221; el_class=&#8221;py-3 py-md-4&#8243;][vc_column width=&#8221;1\/2&#8243;][\/vc_column][vc_column width=&#8221;1\/2&#8243;][\/vc_column][\/vc_row]<\/p>\n","protected":false},"author":17,"featured_media":0,"parent":8826,"menu_order":2,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_acf_changed":false,"footnotes":""},"class_list":["post-8935","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>Historical background - 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\/clearsy\/historical-background\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Historical background - 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;atelier-b&#8221; el_class=&#8221;bg-gris py-3 py-md-4&#8243;][vc_column width=&#8221;1\/2&#8243;][\/vc_column][vc_column width=&#8221;1\/2&#8243;][\/vc_column][\/vc_row][vc_row el_id=&#8221;positioning-key-dates&#8221; el_class=&#8221;py-3 py-md-4&#8243;][vc_column width=&#8221;1\/2&#8243;][\/vc_column][vc_column width=&#8221;1\/2&#8243;][\/vc_column][\/vc_row]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.clearsy.com\/en\/clearsy\/historical-background\/\" \/>\n<meta property=\"og:site_name\" content=\"CLEARSY\" \/>\n<meta property=\"article:modified_time\" content=\"2022-05-23T15:42:50+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=\"4 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/clearsy\\\/historical-background\\\/\",\"url\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/clearsy\\\/historical-background\\\/\",\"name\":\"Historical background - CLEARSY\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#website\"},\"datePublished\":\"2020-03-13T10:20:13+00:00\",\"dateModified\":\"2022-05-23T15:42:50+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/clearsy\\\/historical-background\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/www.clearsy.com\\\/en\\\/clearsy\\\/historical-background\\\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/clearsy\\\/historical-background\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"CLEARSY\",\"item\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/clearsy\\\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Historical background\"}]},{\"@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":"Historical background - 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\/clearsy\/historical-background\/","og_locale":"en_US","og_type":"article","og_title":"Historical background - CLEARSY","og_description":"[vc_row][vc_column][\/vc_column][\/vc_row][vc_row full_width=&#8221;stretch_row&#8221; el_id=&#8221;atelier-b&#8221; el_class=&#8221;bg-gris py-3 py-md-4&#8243;][vc_column width=&#8221;1\/2&#8243;][\/vc_column][vc_column width=&#8221;1\/2&#8243;][\/vc_column][\/vc_row][vc_row el_id=&#8221;positioning-key-dates&#8221; el_class=&#8221;py-3 py-md-4&#8243;][vc_column width=&#8221;1\/2&#8243;][\/vc_column][vc_column width=&#8221;1\/2&#8243;][\/vc_column][\/vc_row]","og_url":"https:\/\/www.clearsy.com\/en\/clearsy\/historical-background\/","og_site_name":"CLEARSY","article_modified_time":"2022-05-23T15:42:50+00:00","twitter_card":"summary_large_image","twitter_misc":{"Est. reading time":"4 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.clearsy.com\/en\/clearsy\/historical-background\/","url":"https:\/\/www.clearsy.com\/en\/clearsy\/historical-background\/","name":"Historical background - CLEARSY","isPartOf":{"@id":"https:\/\/www.clearsy.com\/en\/#website"},"datePublished":"2020-03-13T10:20:13+00:00","dateModified":"2022-05-23T15:42:50+00:00","breadcrumb":{"@id":"https:\/\/www.clearsy.com\/en\/clearsy\/historical-background\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.clearsy.com\/en\/clearsy\/historical-background\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/www.clearsy.com\/en\/clearsy\/historical-background\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.clearsy.com\/en\/"},{"@type":"ListItem","position":2,"name":"CLEARSY","item":"https:\/\/www.clearsy.com\/en\/clearsy\/"},{"@type":"ListItem","position":3,"name":"Historical background"}]},{"@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\/8935","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=8935"}],"version-history":[{"count":14,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/pages\/8935\/revisions"}],"predecessor-version":[{"id":18522,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/pages\/8935\/revisions\/18522"}],"up":[{"embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/pages\/8826"}],"wp:attachment":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/media?parent=8935"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}