Purpose
Reduce time-to-market for development and safety approval of interlocking software. Establish sign-off safety verification in compliance of CENELEC EN 50128:2011 SIL4.
Client
Infrastructure Manager Stockholm Metro (SL)
Signaling system
Interlocking systems for mainline railway Roslagsbanan, based on the Microlok II platform by Ansaldo STS.
Development and Safety Approval of Interlocking Software
In signaling design automation projects, we start by developing a digital twin of your existing systems, future systems and conceptual systems.
The digital twin is developed using formal methods that utilize automated simulation and can test and validate every step of your rail control project.
Related case studies
Class I freight railroad Canadian Pacific (CP) is increasing capacity and consistency in their design and test of interlocking software by using automation tools. In 2010, CP introduced automated...
Stockholm Central and adjacent interlocking systems are based on electro-mechanical relay technology. Swedish Rail requires that the safety of changes made to these interlocking systems is verified using...
In this project, Ansaldo STS delivers the wayside systems to Trafikverket’s ERTMS Level 2 project ESTER, including a new computerized interlocking system. Trafikverket requires that their...
How much can you save by implementing Signaling Design Automation?
In this meeting you’ll find out how digital twins and formal methods can help you achieve your rail control projects in less time and lower costs. And 100% secure system.
Purpose
Reduce time-to-market for development and safety approval of interlocking software. Establish sign-off safety verification in compliance of CENELEC EN 50128:2011 SIL4.
Client
Infrastructure Manager Stockholm Metro (SL)
Signaling system
Interlocking systems for mainline railway Roslagsbanan, based on the Microlok II platform by Ansaldo STS.
Development and Safety Approval of Interlocking Software
In signaling design automation projects, we start by developing a digital twin of your existing systems, future systems and conceptual systems.
The digital twin is developed using formal methods that utilize automated simulation and can test and validate every step of your rail control project.
Related case studies
Class I freight railroad Canadian Pacific (CP) is increasing capacity and consistency in their design and test of interlocking software by using automation tools. In 2010, CP introduced automated...
Stockholm Central and adjacent interlocking systems are based on electro-mechanical relay technology. Swedish Rail requires that the safety of changes made to these interlocking systems is verified using...
In this project, Ansaldo STS delivers the wayside systems to Trafikverket’s ERTMS Level 2 project ESTER, including a new computerized interlocking system. Trafikverket requires that their...
How much can you save by implementing Signaling Design Automation?
In this meeting you’ll find out how digital twins and formal methods can help you achieve your rail control projects in less time and lower costs. And 100% secure system.
+46 (0)8 617 68 00