Efficient Development and Verification of Safe Railway Control Software
Anne E. Haxthausen, Jan Peleška · Technical University of Denmark, DTU Orbit (Technical University of Denmark, DTU) · 2013
This chapter describes some approaches and emerging trends to ensure traffic safety at railways.The focus is on railway control systems whose role it is to ensure safe train movements through the railway network.Such systems are clearly safety-critical as failures may endanger human lives, and therefore they are subject to various standards (like the CEN-ELEC standards used in Europe) to ensure a certain level of safety integrity.There are many challenges in developing railway control systems.One is to ensure safety.The chapter describes a trend of using mathematically well-founded models in the railway system development process making it possible to formally analyse the systems before they are built, just like models are used in other engineering disciplines.Another challenge is the demand for shorter time-to-market periods and higher competition among suppliers.In this chapter we suggest how to help this using