{"id":13877,"date":"2020-07-21T11:50:06","date_gmt":"2020-07-21T09:50:06","guid":{"rendered":"http:\/\/localhost:8888\/clearsy\/new-york-city-metro-clearsy-works-on-the-safety-of-new-automation-culver-line-project\/"},"modified":"2023-08-24T13:54:32","modified_gmt":"2023-08-24T11:54:32","slug":"new-york-city-metro-clearsy-works-on-the-safety-of-new-automation-culver-line-project","status":"publish","type":"post","link":"https:\/\/www.clearsy.com\/en\/railway\/new-york-city-metro-clearsy-works-on-the-safety-of-new-automation-culver-line-project\/","title":{"rendered":"New York City Metro: CLEARSY proves the safety of new automation (Culver line project)"},"content":{"rendered":"\r\n<p>The American company Battelle (Columbus, Ohio) chose CLEARSY to intervene in the interoperable automation project of New York Metro (Culver test track) in the continuity of the Flushing line.<\/p>\r\n\r\n\r\n\r\n<p>Battelle is an Independent Safety Assessor (ISA) for the railway safety of Flushing and Culver projects. These projects aim to equip the lines with CBTC systems (Communication-Based Train Control), to safely improve underground traffic.<\/p>\r\n\r\n\r\n\r\n<p>For the Flushing line CLEARSY completed the formal modeling of the system by using the B method, a method of construction, based on the B language, refinement, and mathematical proof.<\/p>\r\n\r\n\r\n\r\n<p>Modeling was used to determine the safety conditions of the system and to obtain the necessary document detailing the checkpoints before authorizing system commissioning.<\/p>\r\n\r\n\r\n\r\n<p>This methodology and this knowledge will be used in the Culver project for complete modeling of the safety conditions required in the generic specification of New York future CBTCs (Interoperability Interface Specification). These elements should allow the implementation of CBTC involving diverse suppliers, while ensuring safety. Let\u2019s recall that the B method is used in the railway domain to create safety critical software for automatic train control.<\/p>\r\n","protected":false},"excerpt":{"rendered":"<p>The American company Battelle (Columbus, Ohio) chose CLEARSY to intervene in the interoperable automation project of New York Metro (Culver [&hellip;]<\/p>\n","protected":false},"author":21,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[684,682],"tags":[],"class_list":["post-13877","post","type-post","status-publish","format-standard","hentry","category-metro-cbtc-en","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>New York City Metro: CLEARSY proves the safety of new automation (Culver line project) - 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\/new-york-city-metro-clearsy-works-on-the-safety-of-new-automation-culver-line-project\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"New York City Metro: CLEARSY proves the safety of new automation (Culver line project) - CLEARSY\" \/>\n<meta property=\"og:description\" content=\"The American company Battelle (Columbus, Ohio) chose CLEARSY to intervene in the interoperable automation project of New York Metro (Culver [&hellip;]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.clearsy.com\/en\/railway\/new-york-city-metro-clearsy-works-on-the-safety-of-new-automation-culver-line-project\/\" \/>\n<meta property=\"og:site_name\" content=\"CLEARSY\" \/>\n<meta property=\"article:published_time\" content=\"2020-07-21T09:50:06+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2023-08-24T11:54:32+00:00\" \/>\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\\\/new-york-city-metro-clearsy-works-on-the-safety-of-new-automation-culver-line-project\\\/#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/railway\\\/new-york-city-metro-clearsy-works-on-the-safety-of-new-automation-culver-line-project\\\/\"},\"author\":{\"name\":\"Marine Vincent\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#\\\/schema\\\/person\\\/bb36c09077314446e4a301bf07c1c952\"},\"headline\":\"New York City Metro: CLEARSY proves the safety of new automation (Culver line project)\",\"datePublished\":\"2020-07-21T09:50:06+00:00\",\"dateModified\":\"2023-08-24T11:54:32+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/railway\\\/new-york-city-metro-clearsy-works-on-the-safety-of-new-automation-culver-line-project\\\/\"},\"wordCount\":199,\"publisher\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#organization\"},\"articleSection\":[\"Metro (CBTC)\",\"Railway\"],\"inLanguage\":\"en-US\"},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/railway\\\/new-york-city-metro-clearsy-works-on-the-safety-of-new-automation-culver-line-project\\\/\",\"url\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/railway\\\/new-york-city-metro-clearsy-works-on-the-safety-of-new-automation-culver-line-project\\\/\",\"name\":\"New York City Metro: CLEARSY proves the safety of new automation (Culver line project) - CLEARSY\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#website\"},\"datePublished\":\"2020-07-21T09:50:06+00:00\",\"dateModified\":\"2023-08-24T11:54:32+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/railway\\\/new-york-city-metro-clearsy-works-on-the-safety-of-new-automation-culver-line-project\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/www.clearsy.com\\\/en\\\/railway\\\/new-york-city-metro-clearsy-works-on-the-safety-of-new-automation-culver-line-project\\\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/railway\\\/new-york-city-metro-clearsy-works-on-the-safety-of-new-automation-culver-line-project\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"New York City Metro: CLEARSY proves the safety of new automation (Culver line project)\"}]},{\"@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":"New York City Metro: CLEARSY proves the safety of new automation (Culver line project) - 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\/new-york-city-metro-clearsy-works-on-the-safety-of-new-automation-culver-line-project\/","og_locale":"en_US","og_type":"article","og_title":"New York City Metro: CLEARSY proves the safety of new automation (Culver line project) - CLEARSY","og_description":"The American company Battelle (Columbus, Ohio) chose CLEARSY to intervene in the interoperable automation project of New York Metro (Culver [&hellip;]","og_url":"https:\/\/www.clearsy.com\/en\/railway\/new-york-city-metro-clearsy-works-on-the-safety-of-new-automation-culver-line-project\/","og_site_name":"CLEARSY","article_published_time":"2020-07-21T09:50:06+00:00","article_modified_time":"2023-08-24T11:54:32+00:00","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\/new-york-city-metro-clearsy-works-on-the-safety-of-new-automation-culver-line-project\/#article","isPartOf":{"@id":"https:\/\/www.clearsy.com\/en\/railway\/new-york-city-metro-clearsy-works-on-the-safety-of-new-automation-culver-line-project\/"},"author":{"name":"Marine Vincent","@id":"https:\/\/www.clearsy.com\/en\/#\/schema\/person\/bb36c09077314446e4a301bf07c1c952"},"headline":"New York City Metro: CLEARSY proves the safety of new automation (Culver line project)","datePublished":"2020-07-21T09:50:06+00:00","dateModified":"2023-08-24T11:54:32+00:00","mainEntityOfPage":{"@id":"https:\/\/www.clearsy.com\/en\/railway\/new-york-city-metro-clearsy-works-on-the-safety-of-new-automation-culver-line-project\/"},"wordCount":199,"publisher":{"@id":"https:\/\/www.clearsy.com\/en\/#organization"},"articleSection":["Metro (CBTC)","Railway"],"inLanguage":"en-US"},{"@type":"WebPage","@id":"https:\/\/www.clearsy.com\/en\/railway\/new-york-city-metro-clearsy-works-on-the-safety-of-new-automation-culver-line-project\/","url":"https:\/\/www.clearsy.com\/en\/railway\/new-york-city-metro-clearsy-works-on-the-safety-of-new-automation-culver-line-project\/","name":"New York City Metro: CLEARSY proves the safety of new automation (Culver line project) - CLEARSY","isPartOf":{"@id":"https:\/\/www.clearsy.com\/en\/#website"},"datePublished":"2020-07-21T09:50:06+00:00","dateModified":"2023-08-24T11:54:32+00:00","breadcrumb":{"@id":"https:\/\/www.clearsy.com\/en\/railway\/new-york-city-metro-clearsy-works-on-the-safety-of-new-automation-culver-line-project\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.clearsy.com\/en\/railway\/new-york-city-metro-clearsy-works-on-the-safety-of-new-automation-culver-line-project\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/www.clearsy.com\/en\/railway\/new-york-city-metro-clearsy-works-on-the-safety-of-new-automation-culver-line-project\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.clearsy.com\/en\/"},{"@type":"ListItem","position":2,"name":"New York City Metro: CLEARSY proves the safety of new automation (Culver line project)"}]},{"@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\/13877","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=13877"}],"version-history":[{"count":1,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/posts\/13877\/revisions"}],"predecessor-version":[{"id":19368,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/posts\/13877\/revisions\/19368"}],"wp:attachment":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/media?parent=13877"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/categories?post=13877"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/tags?post=13877"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}