{"id":20532,"date":"2024-11-08T09:16:48","date_gmt":"2024-11-08T08:16:48","guid":{"rendered":"https:\/\/www.prover.com\/?p=20532"},"modified":"2025-01-09T14:45:07","modified_gmt":"2025-01-09T13:45:07","slug":"centralesupelec-students-explore-railway-design-and-verification-with-prover-tools","status":"publish","type":"post","link":"https:\/\/www.prover.com\/events\/centralesupelec-students-explore-railway-design-and-verification-with-prover-tools\/","title":{"rendered":"CentraleSup\u00e9lec students explore railway design and verification with Prover tools"},"content":{"rendered":"

This year, we once again had the pleasure of introducing Signaling Design Automation to the students of CentraleSup\u00e9lec<\/a> in Paris. Our goal was to engage them in the real-world challenges of working on a railway project using formal methods and the generic application\/specific applications approach. Thirty-eight students, in eight groups, worked simultaneously to develop eight small lines, with three interlockings each, using Prover iLock<\/a> and Prover Studio<\/a>.<\/p>\n

We started with a brief introduction to railway fundamentals, after which students dived into practical examples. They started by setting up a new interlocking track layout, then proceeded to debug the generic application we provided, verifying the validity of safety requirements and functional tests. After this initial stage, students then created their own safety requirements and test cases. In the final stage, they added a manual release feature to their interlocking system, covering key elements like design, safety requirements, and testing.<\/p>\n

We extend our sincere appreciation to the dedicated students of CentraleSup\u00e9lec for their commitment and enthusiasm throughout the week. They impressed us with how quickly they got the hang of our tools, languages, and the railway field. Special thanks also to their teachers, in particular Idir Ait Sadoune, for trusting us again this year.<\/p>\n

We hope 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":"

Prover introducing Signaling Design Automation to students at CentraleSup\u00e9lec in Paris.<\/p>\n","protected":false},"author":45,"featured_media":20537,"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-20532","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-company-news","category-events"],"yoast_head":"\nCentraleSup\u00e9lec students explore railway design and verification with Prover tools - Prover - Engineering a Safer World<\/title>\n<meta name=\"description\" content=\"Prover introducing Signaling Design Automation to students at CentraleSup\u00e9lec in Paris.\" \/>\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-students-explore-railway-design-and-verification-with-prover-tools\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"CentraleSup\u00e9lec students explore railway design and verification with Prover tools - Prover - Engineering a Safer World\" \/>\n<meta property=\"og:description\" content=\"Prover introducing Signaling Design Automation to students at CentraleSup\u00e9lec in Paris.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/events\/centralesupelec-students-explore-railway-design-and-verification-with-prover-tools\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:published_time\" content=\"2024-11-08T08:16:48+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2025-01-09T13:45:07+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/11\/CentraleSupelec-scaled.jpg\" \/>\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=\"Amanda \u00d6berg\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"Amanda \u00d6berg\" \/>\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-students-explore-railway-design-and-verification-with-prover-tools\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/www.prover.com\/events\/centralesupelec-students-explore-railway-design-and-verification-with-prover-tools\/\"},\"author\":{\"name\":\"Amanda \u00d6berg\",\"@id\":\"https:\/\/prover.com\/#\/schema\/person\/b0b8ffdd4d56121bab43fd87530c42b2\"},\"headline\":\"CentraleSup\u00e9lec students explore railway design and verification with Prover tools\",\"datePublished\":\"2024-11-08T08:16:48+00:00\",\"dateModified\":\"2025-01-09T13:45:07+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/www.prover.com\/events\/centralesupelec-students-explore-railway-design-and-verification-with-prover-tools\/\"},\"wordCount\":277,\"publisher\":{\"@id\":\"https:\/\/prover.com\/#organization\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/events\/centralesupelec-students-explore-railway-design-and-verification-with-prover-tools\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/11\/CentraleSupelec-scaled.jpg\",\"articleSection\":[\"Company news\",\"Events\"],\"inLanguage\":\"en-US\"},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.prover.com\/events\/centralesupelec-students-explore-railway-design-and-verification-with-prover-tools\/\",\"url\":\"https:\/\/www.prover.com\/events\/centralesupelec-students-explore-railway-design-and-verification-with-prover-tools\/\",\"name\":\"CentraleSup\u00e9lec students explore railway design and verification with Prover tools - Prover - Engineering a Safer World\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/events\/centralesupelec-students-explore-railway-design-and-verification-with-prover-tools\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/events\/centralesupelec-students-explore-railway-design-and-verification-with-prover-tools\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/11\/CentraleSupelec-scaled.jpg\",\"datePublished\":\"2024-11-08T08:16:48+00:00\",\"dateModified\":\"2025-01-09T13:45:07+00:00\",\"description\":\"Prover introducing Signaling Design Automation to students at CentraleSup\u00e9lec in Paris.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/events\/centralesupelec-students-explore-railway-design-and-verification-with-prover-tools\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/events\/centralesupelec-students-explore-railway-design-and-verification-with-prover-tools\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/events\/centralesupelec-students-explore-railway-design-and-verification-with-prover-tools\/#primaryimage\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/11\/CentraleSupelec-scaled.jpg\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/11\/CentraleSupelec-scaled.jpg\",\"width\":2560,\"height\":1920},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.prover.com\/events\/centralesupelec-students-explore-railway-design-and-verification-with-prover-tools\/#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 students explore railway design and verification with Prover tools\"}]},{\"@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\/b0b8ffdd4d56121bab43fd87530c42b2\",\"name\":\"Amanda \u00d6berg\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/secure.gravatar.com\/avatar\/91d6a82f5f96eb00f3fada7780c4fbe645dc8e98cc449152d573d8b1f458e747?s=96&d=mm&r=g\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/91d6a82f5f96eb00f3fada7780c4fbe645dc8e98cc449152d573d8b1f458e747?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/91d6a82f5f96eb00f3fada7780c4fbe645dc8e98cc449152d573d8b1f458e747?s=96&d=mm&r=g\",\"caption\":\"Amanda \u00d6berg\"},\"url\":\"https:\/\/www.prover.com\/author\/amanda-oberg\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"CentraleSup\u00e9lec students explore railway design and verification with Prover tools - Prover - Engineering a Safer World","description":"Prover introducing Signaling Design Automation to students at CentraleSup\u00e9lec in Paris.","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-students-explore-railway-design-and-verification-with-prover-tools\/","og_locale":"en_US","og_type":"article","og_title":"CentraleSup\u00e9lec students explore railway design and verification with Prover tools - Prover - Engineering a Safer World","og_description":"Prover introducing Signaling Design Automation to students at CentraleSup\u00e9lec in Paris.","og_url":"https:\/\/www.prover.com\/events\/centralesupelec-students-explore-railway-design-and-verification-with-prover-tools\/","og_site_name":"Prover - Engineering a Safer World","article_published_time":"2024-11-08T08:16:48+00:00","article_modified_time":"2025-01-09T13:45:07+00:00","og_image":[{"width":2560,"height":1920,"url":"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/11\/CentraleSupelec-scaled.jpg","type":"image\/jpeg"}],"author":"Amanda \u00d6berg","twitter_card":"summary_large_image","twitter_misc":{"Written by":"Amanda \u00d6berg","Est. reading time":"2 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.prover.com\/events\/centralesupelec-students-explore-railway-design-and-verification-with-prover-tools\/#article","isPartOf":{"@id":"https:\/\/www.prover.com\/events\/centralesupelec-students-explore-railway-design-and-verification-with-prover-tools\/"},"author":{"name":"Amanda \u00d6berg","@id":"https:\/\/prover.com\/#\/schema\/person\/b0b8ffdd4d56121bab43fd87530c42b2"},"headline":"CentraleSup\u00e9lec students explore railway design and verification with Prover tools","datePublished":"2024-11-08T08:16:48+00:00","dateModified":"2025-01-09T13:45:07+00:00","mainEntityOfPage":{"@id":"https:\/\/www.prover.com\/events\/centralesupelec-students-explore-railway-design-and-verification-with-prover-tools\/"},"wordCount":277,"publisher":{"@id":"https:\/\/prover.com\/#organization"},"image":{"@id":"https:\/\/www.prover.com\/events\/centralesupelec-students-explore-railway-design-and-verification-with-prover-tools\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/11\/CentraleSupelec-scaled.jpg","articleSection":["Company news","Events"],"inLanguage":"en-US"},{"@type":"WebPage","@id":"https:\/\/www.prover.com\/events\/centralesupelec-students-explore-railway-design-and-verification-with-prover-tools\/","url":"https:\/\/www.prover.com\/events\/centralesupelec-students-explore-railway-design-and-verification-with-prover-tools\/","name":"CentraleSup\u00e9lec students explore railway design and verification with Prover tools - Prover - Engineering a Safer World","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/events\/centralesupelec-students-explore-railway-design-and-verification-with-prover-tools\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/events\/centralesupelec-students-explore-railway-design-and-verification-with-prover-tools\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/11\/CentraleSupelec-scaled.jpg","datePublished":"2024-11-08T08:16:48+00:00","dateModified":"2025-01-09T13:45:07+00:00","description":"Prover introducing Signaling Design Automation to students at CentraleSup\u00e9lec in Paris.","breadcrumb":{"@id":"https:\/\/www.prover.com\/events\/centralesupelec-students-explore-railway-design-and-verification-with-prover-tools\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/events\/centralesupelec-students-explore-railway-design-and-verification-with-prover-tools\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/events\/centralesupelec-students-explore-railway-design-and-verification-with-prover-tools\/#primaryimage","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/11\/CentraleSupelec-scaled.jpg","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/11\/CentraleSupelec-scaled.jpg","width":2560,"height":1920},{"@type":"BreadcrumbList","@id":"https:\/\/www.prover.com\/events\/centralesupelec-students-explore-railway-design-and-verification-with-prover-tools\/#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 students explore railway design and verification with Prover tools"}]},{"@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\/b0b8ffdd4d56121bab43fd87530c42b2","name":"Amanda \u00d6berg","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/secure.gravatar.com\/avatar\/91d6a82f5f96eb00f3fada7780c4fbe645dc8e98cc449152d573d8b1f458e747?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/91d6a82f5f96eb00f3fada7780c4fbe645dc8e98cc449152d573d8b1f458e747?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/91d6a82f5f96eb00f3fada7780c4fbe645dc8e98cc449152d573d8b1f458e747?s=96&d=mm&r=g","caption":"Amanda \u00d6berg"},"url":"https:\/\/www.prover.com\/author\/amanda-oberg\/"}]}},"_links":{"self":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/20532","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\/45"}],"replies":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/comments?post=20532"}],"version-history":[{"count":6,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/20532\/revisions"}],"predecessor-version":[{"id":20749,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/20532\/revisions\/20749"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media\/20537"}],"wp:attachment":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media?parent=20532"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/categories?post=20532"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/tags?post=20532"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}