Tutorials

The tutorials are scheduled on Wednesday morning 26 November. The second tutorial will be in parallel with the second part of the first tutorial.

• Siegel Gunther and Jair Gonzales (Ansys, France): EN 50716 in Practice: New Requirements and Practices for Safe Railway Software
  Abstract: The first part of this tutorial will cover the key differences between EN 50716 and EN 50128. Emphasis will be placed on advancements in software development methodologies, including the recognition of Model-based techniques, Agile development, and an expanded focus on formal methods. Additionally, we will touch upon AI and Machine Learning, highlighting how the guidance aligns with the rail industry's careful, safety-first approach while still fostering innovation.
  The second part of the tutorial will use two representative rail systems, Slip-Slide Detection and Interlocking, to illustrate how EN 50716 can be implemented using SCADE. This part will start with a quick introduction to understand the fundamentals of SCADE and its applications in rail systems and will cover agile Model-Based Design, integration in DevOps workflows and leveraging formal verification. Each topic will be illustrated on the examples and the compliance with the standard clearly explained.
• Thierry Lecomte (CLEARSY, France): Advancements in the CLEARSY Safety Platform: From Academic Research to Industrial SIL4 Certification
  Abstract: Since its introduction as an academic project at the RSSRAIL Conference 2017, the CLEARSY Safety Platform has undergone significant advancements, achieving SIL4 certification and successful deployment in operational environments. This session will provide a comprehensive overview of the journey from an academic platform to a robust industrial solution. We will delve into the technical enhancements, certification challenges, and real-world applications that have shaped the CLEARSY Safety Platform into a reliable tool for the railway industry. Attendees will gain practical insights into the platform's capabilities, its role in enhancing railway safety, and the lessons learned from its implementation in industrial settings.