International audienceThe rail transportation industry is highly dynamic and driven by the need to meet with mandatory safety criteria. Modern railway transportation systems are ever more sophisticated and rely heavily on embedded systems and communication networks. Train builders and their suppliers have to develop and deliver these increasingly sophisticated embedded systems while meeting increasingly stringent quality, safety and certification constraints. Driven by the EN-50128 standard 'Software For Railway Control And Protection Systems' [3], which proposes needed methods to be used in order to provide software for control systems, train builders have applied processes and adopted tools that help to develop and validate software in co...
The railway signalling is a system used to control the traffic on the Railway and thereby prevent ac...
This technical report is an extended version of conference submission to Safecomp 2022. We review s...
Traditional railway signalling systems have been based on fixed block train separation and line-of-s...
Railway control systems are safety-critical systems as failures may endanger human life or at least ...
Abstract: The engineering processes for safety-critical systems, for instance in the health care or ...
Recent advances in embedded system technology have brought more dependence on automating train contr...
The targeted liberalisation of the European Union railway market in 1998 could have lead to a decrea...
The European Train Control System (ETCS) is a control system for the interoperability of the railway...
The European standard EN 50128 "Railway applications - Communication, signalling and processing syst...
Constructing a B model of an existing safety-critical software may be worthwhile if it is to be reus...
Since 2005 the Institute of Transportation Systems at DLR develops a method and a software tool for ...
The safety assessment of Safety Critical Systems (SCSs) is a challenging task since it involves diff...
The European Train Control System (ETCS) is currently taken into operation on more and more lines in...
Demand for rail transport is increasing day by day. Rail is popular in public transport due to punct...
Tender requirements for rail control tend to be vague and imprecise, demanding significant effort an...
The railway signalling is a system used to control the traffic on the Railway and thereby prevent ac...
This technical report is an extended version of conference submission to Safecomp 2022. We review s...
Traditional railway signalling systems have been based on fixed block train separation and line-of-s...
Railway control systems are safety-critical systems as failures may endanger human life or at least ...
Abstract: The engineering processes for safety-critical systems, for instance in the health care or ...
Recent advances in embedded system technology have brought more dependence on automating train contr...
The targeted liberalisation of the European Union railway market in 1998 could have lead to a decrea...
The European Train Control System (ETCS) is a control system for the interoperability of the railway...
The European standard EN 50128 "Railway applications - Communication, signalling and processing syst...
Constructing a B model of an existing safety-critical software may be worthwhile if it is to be reus...
Since 2005 the Institute of Transportation Systems at DLR develops a method and a software tool for ...
The safety assessment of Safety Critical Systems (SCSs) is a challenging task since it involves diff...
The European Train Control System (ETCS) is currently taken into operation on more and more lines in...
Demand for rail transport is increasing day by day. Rail is popular in public transport due to punct...
Tender requirements for rail control tend to be vague and imprecise, demanding significant effort an...
The railway signalling is a system used to control the traffic on the Railway and thereby prevent ac...
This technical report is an extended version of conference submission to Safecomp 2022. We review s...
Traditional railway signalling systems have been based on fixed block train separation and line-of-s...