{"id":18656,"date":"2023-11-22T13:24:43","date_gmt":"2023-11-22T12:24:43","guid":{"rendered":"https:\/\/www.prover.com\/?p=18656"},"modified":"2025-01-13T14:37:20","modified_gmt":"2025-01-13T13:37:20","slug":"centralesupelec-collaboration-students-dive-into-railway-projects","status":"publish","type":"post","link":"https:\/\/www.prover.com\/events\/centralesupelec-collaboration-students-dive-into-railway-projects\/","title":{"rendered":"CentraleSup\u00e9lec collaboration: Students dive into railway projects"},"content":{"rendered":"

This past week, thirty-six CentraleSup\u00e9lec<\/a> students in Paris actively participated in a week-long project, utilizing Prover iLock and Prover Studio. Our objective was to engage them in the details of working on a railway project employing formal methods. Seven groups worked in parallel to develop seven interlockings for an entire rail line.<\/p>\n

We provided them with an understanding of what an interlocking is, along with initial knowledge about railway systems. Equipped with this basic understanding, we tasked them with debugging an interlocking system using fundamental signaling principles. Following this initial step, the students were empowered to introduce new safety requirements and test cases. In the end, they could incorporate a new manual release feature into their interlocking system, covering aspects such as design, safety requirements, and testing.<\/p>\n

We extend our greatest appreciation to the dedicated students of CentraleSup\u00e9lec for their commitment and enthusiasm throughout the past week. All of them really impressed us with how quickly you got the hang of our tools, languages, and the whole railway field. Our thanks also go to their teachers, in particular Idir Ait Sadoune, who have renewed their confidence in us again for this year.<\/p>\n

We are hoping to have the opportunity to see these talented students again in the railway industry or in the field of formal methods. We believe that opportunities to introduce these two fields to new students are essential. We are convinced that this new generation of talents can contribute to the development of these two exciting fields for engineering a safer world.<\/p>\n","protected":false},"excerpt":{"rendered":"

CentraleSup\u00e9lec students dive into project together with Prover to get more knowledge about the rail industry and Provers tools.<\/p>\n","protected":false},"author":22,"featured_media":18657,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"content-type":"","inline_featured_image":false,"footnotes":""},"categories":[159,160],"tags":[],"class_list":["post-18656","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-company-news","category-events"],"yoast_head":"\nCentraleSup\u00e9lec collaboration: Students dive into railway projects - Prover - Engineering a Safer World<\/title>\n<meta name=\"description\" content=\"This past week, thirty-six CentraleSup\u00e9lec students in Paris actively participated in a week-long project, utilizing Prover iLock and Prover Studio.\" \/>\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.prover.com\/events\/centralesupelec-collaboration-students-dive-into-railway-projects\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"CentraleSup\u00e9lec collaboration: Students dive into railway projects - Prover - Engineering a Safer World\" \/>\n<meta property=\"og:description\" content=\"This past week, thirty-six CentraleSup\u00e9lec students in Paris actively participated in a week-long project, utilizing Prover iLock and Prover Studio.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/events\/centralesupelec-collaboration-students-dive-into-railway-projects\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:published_time\" content=\"2023-11-22T12:24:43+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2025-01-13T13:37:20+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/11\/20231113_150933-scaled.webp\" \/>\n\t<meta property=\"og:image:width\" content=\"2560\" \/>\n\t<meta property=\"og:image:height\" content=\"1920\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"author\" content=\"Nicolas Aucouturier\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"Nicolas Aucouturier\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"2 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\/\/www.prover.com\/events\/centralesupelec-collaboration-students-dive-into-railway-projects\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/www.prover.com\/events\/centralesupelec-collaboration-students-dive-into-railway-projects\/\"},\"author\":{\"name\":\"Nicolas Aucouturier\",\"@id\":\"https:\/\/prover.com\/#\/schema\/person\/d4edf72fdc7180b78343f79ad33db432\"},\"headline\":\"CentraleSup\u00e9lec collaboration: Students dive into railway projects\",\"datePublished\":\"2023-11-22T12:24:43+00:00\",\"dateModified\":\"2025-01-13T13:37:20+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/www.prover.com\/events\/centralesupelec-collaboration-students-dive-into-railway-projects\/\"},\"wordCount\":264,\"publisher\":{\"@id\":\"https:\/\/prover.com\/#organization\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/events\/centralesupelec-collaboration-students-dive-into-railway-projects\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/11\/20231113_150933-scaled.webp\",\"articleSection\":[\"Company news\",\"Events\"],\"inLanguage\":\"en-US\"},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.prover.com\/events\/centralesupelec-collaboration-students-dive-into-railway-projects\/\",\"url\":\"https:\/\/www.prover.com\/events\/centralesupelec-collaboration-students-dive-into-railway-projects\/\",\"name\":\"CentraleSup\u00e9lec collaboration: Students dive into railway projects - Prover - Engineering a Safer World\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/events\/centralesupelec-collaboration-students-dive-into-railway-projects\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/events\/centralesupelec-collaboration-students-dive-into-railway-projects\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/11\/20231113_150933-scaled.webp\",\"datePublished\":\"2023-11-22T12:24:43+00:00\",\"dateModified\":\"2025-01-13T13:37:20+00:00\",\"description\":\"This past week, thirty-six CentraleSup\u00e9lec students in Paris actively participated in a week-long project, utilizing Prover iLock and Prover Studio.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/events\/centralesupelec-collaboration-students-dive-into-railway-projects\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/events\/centralesupelec-collaboration-students-dive-into-railway-projects\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/events\/centralesupelec-collaboration-students-dive-into-railway-projects\/#primaryimage\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/11\/20231113_150933-scaled.webp\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/11\/20231113_150933-scaled.webp\",\"width\":2560,\"height\":1920,\"caption\":\"CentraleSup\u00e9lec Collaboration\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.prover.com\/events\/centralesupelec-collaboration-students-dive-into-railway-projects\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.prover.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Events\",\"item\":\"https:\/\/www.prover.com\/categories\/events\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"CentraleSup\u00e9lec collaboration: Students dive into railway projects\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/prover.com\/#website\",\"url\":\"https:\/\/prover.com\/\",\"name\":\"Prover - Engineering a Safer World\",\"description\":\"Interlocking Design Automation to meet demand for complex digital train control\",\"publisher\":{\"@id\":\"https:\/\/prover.com\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/prover.com\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/prover.com\/#organization\",\"name\":\"Prover - Engineering a Safer World\",\"url\":\"https:\/\/prover.com\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/prover.com\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/01\/prover-logo.svg\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/01\/prover-logo.svg\",\"width\":222,\"height\":22,\"caption\":\"Prover - Engineering a Safer World\"},\"image\":{\"@id\":\"https:\/\/prover.com\/#\/schema\/logo\/image\/\"}},{\"@type\":\"Person\",\"@id\":\"https:\/\/prover.com\/#\/schema\/person\/d4edf72fdc7180b78343f79ad33db432\",\"name\":\"Nicolas Aucouturier\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/secure.gravatar.com\/avatar\/c8823e0a083b451d7b75868787d40e8dd2a085d2c9e8fe7fec0d365f215e544b?s=96&d=mm&r=g\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/c8823e0a083b451d7b75868787d40e8dd2a085d2c9e8fe7fec0d365f215e544b?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/c8823e0a083b451d7b75868787d40e8dd2a085d2c9e8fe7fec0d365f215e544b?s=96&d=mm&r=g\",\"caption\":\"Nicolas Aucouturier\"},\"url\":\"https:\/\/www.prover.com\/author\/nicolas\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"CentraleSup\u00e9lec collaboration: Students dive into railway projects - Prover - Engineering a Safer World","description":"This past week, thirty-six CentraleSup\u00e9lec students in Paris actively participated in a week-long project, utilizing Prover iLock and Prover Studio.","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.prover.com\/events\/centralesupelec-collaboration-students-dive-into-railway-projects\/","og_locale":"en_US","og_type":"article","og_title":"CentraleSup\u00e9lec collaboration: Students dive into railway projects - Prover - Engineering a Safer World","og_description":"This past week, thirty-six CentraleSup\u00e9lec students in Paris actively participated in a week-long project, utilizing Prover iLock and Prover Studio.","og_url":"https:\/\/www.prover.com\/events\/centralesupelec-collaboration-students-dive-into-railway-projects\/","og_site_name":"Prover - Engineering a Safer World","article_published_time":"2023-11-22T12:24:43+00:00","article_modified_time":"2025-01-13T13:37:20+00:00","og_image":[{"width":2560,"height":1920,"url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/11\/20231113_150933-scaled.webp","type":"image\/jpeg"}],"author":"Nicolas Aucouturier","twitter_card":"summary_large_image","twitter_misc":{"Written by":"Nicolas Aucouturier","Est. reading time":"2 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.prover.com\/events\/centralesupelec-collaboration-students-dive-into-railway-projects\/#article","isPartOf":{"@id":"https:\/\/www.prover.com\/events\/centralesupelec-collaboration-students-dive-into-railway-projects\/"},"author":{"name":"Nicolas Aucouturier","@id":"https:\/\/prover.com\/#\/schema\/person\/d4edf72fdc7180b78343f79ad33db432"},"headline":"CentraleSup\u00e9lec collaboration: Students dive into railway projects","datePublished":"2023-11-22T12:24:43+00:00","dateModified":"2025-01-13T13:37:20+00:00","mainEntityOfPage":{"@id":"https:\/\/www.prover.com\/events\/centralesupelec-collaboration-students-dive-into-railway-projects\/"},"wordCount":264,"publisher":{"@id":"https:\/\/prover.com\/#organization"},"image":{"@id":"https:\/\/www.prover.com\/events\/centralesupelec-collaboration-students-dive-into-railway-projects\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/11\/20231113_150933-scaled.webp","articleSection":["Company news","Events"],"inLanguage":"en-US"},{"@type":"WebPage","@id":"https:\/\/www.prover.com\/events\/centralesupelec-collaboration-students-dive-into-railway-projects\/","url":"https:\/\/www.prover.com\/events\/centralesupelec-collaboration-students-dive-into-railway-projects\/","name":"CentraleSup\u00e9lec collaboration: Students dive into railway projects - Prover - Engineering a Safer World","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/events\/centralesupelec-collaboration-students-dive-into-railway-projects\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/events\/centralesupelec-collaboration-students-dive-into-railway-projects\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/11\/20231113_150933-scaled.webp","datePublished":"2023-11-22T12:24:43+00:00","dateModified":"2025-01-13T13:37:20+00:00","description":"This past week, thirty-six CentraleSup\u00e9lec students in Paris actively participated in a week-long project, utilizing Prover iLock and Prover Studio.","breadcrumb":{"@id":"https:\/\/www.prover.com\/events\/centralesupelec-collaboration-students-dive-into-railway-projects\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/events\/centralesupelec-collaboration-students-dive-into-railway-projects\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/events\/centralesupelec-collaboration-students-dive-into-railway-projects\/#primaryimage","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/11\/20231113_150933-scaled.webp","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/11\/20231113_150933-scaled.webp","width":2560,"height":1920,"caption":"CentraleSup\u00e9lec Collaboration"},{"@type":"BreadcrumbList","@id":"https:\/\/www.prover.com\/events\/centralesupelec-collaboration-students-dive-into-railway-projects\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.prover.com\/"},{"@type":"ListItem","position":2,"name":"Events","item":"https:\/\/www.prover.com\/categories\/events\/"},{"@type":"ListItem","position":3,"name":"CentraleSup\u00e9lec collaboration: Students dive into railway projects"}]},{"@type":"WebSite","@id":"https:\/\/prover.com\/#website","url":"https:\/\/prover.com\/","name":"Prover - Engineering a Safer World","description":"Interlocking Design Automation to meet demand for complex digital train control","publisher":{"@id":"https:\/\/prover.com\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/prover.com\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/prover.com\/#organization","name":"Prover - Engineering a Safer World","url":"https:\/\/prover.com\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/prover.com\/#\/schema\/logo\/image\/","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/01\/prover-logo.svg","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/01\/prover-logo.svg","width":222,"height":22,"caption":"Prover - Engineering a Safer World"},"image":{"@id":"https:\/\/prover.com\/#\/schema\/logo\/image\/"}},{"@type":"Person","@id":"https:\/\/prover.com\/#\/schema\/person\/d4edf72fdc7180b78343f79ad33db432","name":"Nicolas Aucouturier","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/secure.gravatar.com\/avatar\/c8823e0a083b451d7b75868787d40e8dd2a085d2c9e8fe7fec0d365f215e544b?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/c8823e0a083b451d7b75868787d40e8dd2a085d2c9e8fe7fec0d365f215e544b?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/c8823e0a083b451d7b75868787d40e8dd2a085d2c9e8fe7fec0d365f215e544b?s=96&d=mm&r=g","caption":"Nicolas Aucouturier"},"url":"https:\/\/www.prover.com\/author\/nicolas\/"}]}},"_links":{"self":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/18656","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/users\/22"}],"replies":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/comments?post=18656"}],"version-history":[{"count":6,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/18656\/revisions"}],"predecessor-version":[{"id":20551,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/18656\/revisions\/20551"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media\/18657"}],"wp:attachment":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media?parent=18656"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/categories?post=18656"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/tags?post=18656"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}