Another year working with the talented students of CentraleSup\u00e9lec in Paris during an intensive week of railway system engineering using the latest Prover tools.<\/p>\n
Our goal was to help them explore the entire lifecycle of a railway interlocking system, from layout design and safety requirements to formal verification and testing, all supported by Prover Studio and Prover iLock. The challenge was to build a complete railway line with 7 interlockings, prove the safety of the line, and simulate the behaviour of the whole system.<\/p>\n
We began by introducing the fundamentals of railway signalling and explaining what an interlocking is. Equipped with this knowledge, the students first debugged an existing interlocking system following fundamental signalling principles by using formal verification.
Once confident, they defined and verified new safety requirements, created test cases, and implemented a manual release feature, addressing design, safety, and testing aspects within a single, integrated workflow.<\/p>\n
We extend our warmest thanks to the CentraleSup\u00e9lec students for their commitment and enthusiasm throughout the week. They impressed us with how quickly they are handling our tools, modelling language, and dealing with the complexities of the railway domain. Special thanks also go to Idir Ait Sadoune and the teaching team for renewing their trust in us again this year.<\/p>\n
At Prover, we firmly believe that introducing formal methods and signalling engineering to the next generation of engineers is essential for building safer and more reliable railway systems. We look forward to seeing these talented students again, in the railway industry or the field of formal verification, as they help engineer a safer world.<\/p>\n","protected":false},"excerpt":{"rendered":"
The Open signaling Initiative is transforming how railway and metro signaling systems are delivered. <\/p>\n
By combining modular technology, collaboration, and open standards, it reduces vendor lock-in, cuts lifecycle costs, and creates space for innovation.<\/p>\n","protected":false},"author":51,"featured_media":22403,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"content-type":"","inline_featured_image":false,"footnotes":""},"categories":[155,151,154],"tags":[],"class_list":["post-22398","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-safety","category-signaling-systems","category-verification-validation"],"yoast_head":"\n