Software bites: Model based testing and safescrum in a safety critical enviroment

The Dutch railroads are becoming even busier. The government and railroad companies have the ambition to improve the quality of the rail network. Introducing a new train security and management system – European Rail Traffic Management System (ERTMS) – has to contribute to this. A long-term and complex project of enormous proportions.

ProRail Logistics has decided to use the Scaled Agile Framework (SAFe) for the development of the safety-critical ETIS (ERTMS Train Information System) product. Developing Safety-Critical Systems is regulated in terms of quality and safety. An example in the railroad domain is the Cenelec EN 50126-1 safety standard. From a security standpoint it is only natural that development is performed with traditional and proven methods. ProRail opts for a new approach in which the system is developed iteratively and possible problems in the project are brought forward as much as possible. And this is why they selected the solutions of InTraffic and Axini; an iterative approach in a safety environment, by using SafeScrum and Model-Based Testing.

How do you apply these techniques in a critical safety environment? ProRail, Axini and InTraffic explain how based on the ETIS product..