Applications of Formal Methods, Modeling, and Testing Strategies for Safe Software Development

Authored by: Alessandro Fantechi , Alessio Ferrari , Stefania Gnesi

Handbook of RAMS in Railway Systems

Print publication date:  March  2018
Online publication date:  March  2018

Print ISBN: 9781138035126
eBook ISBN: 9781315269351
Adobe ISBN:


 Download Chapter



The challenges posed by the new scenarios of railway transportation—liberalization, distinction between infrastructure and operation, high speed, European interoperability, etc.—have a dramatic impact on the safety issues. This impact is counterbalanced by the growing adoption of innovative signaling equipment (e.g., European Rail Traffic Management System/European Train Control System) and monitoring systems, such as onboard and wayside diagnosis systems. Each one of these devices includes some software, which in the end makes up the major part of their design costs. It is, however, notorious how software is often plagued by bugs that may threaten its correct functioning: how can the high safety standards assumed as normal practice in railway operation be compatible with such threats? This chapter briefly summarizes the current answers to such a question, including the safety guidelines in effect for software development in this domain, the foundations of software testing, and formal methods and model-based software development with their applications in the railway domain.

Search for more...
Back to top

Use of cookies on this website

We are using cookies to provide statistics that help us give you the best experience of our site. You can find out more in our Privacy Policy. By continuing to use the site you are agreeing to our use of cookies.