Document - Some trends in formal methods applications to railway signaling

2013

Contribution to book Open Access

Some trends in formal methods applications to railway signaling

Fantechi A., Fokkink W., Morzenti A.

Railway signaling European Committee for Electrotechnical Standardization (CENELEC) D.2.4SOFTWARE ENGINEERING. Formal Methods Interlocking systems Train control systems

Railway signaling is often considered as one of the most fruitful areas of intervention by formal methods. This chapter offers insight into the actual industrial usage of formal methods in this field, which does not yet meet the promises of the aforementioned success stories, but is steadily increasing. The external conditions that are driving industrial choices are also discussed. The EN50128 guidelines by the European Committee for Electrotechnical Standardization (CENELEC) regarding the development of software for railway signaling are discussed. The chapter reports on a comparative case study of the applicability of different formal methods to railway signaling. It talks about the applications in the railway domain of one such formal method, namely B. The chapter focuses on formal methods applications to railway signaling equipment, which is divided into train control systems and interlocking systems.

Source: Formal Methods for Industrial Critical Systems: A Survey of Applications, edited by Stefania Gnesi, Tiziana Margaria, pp. 61–84, 2013

Metrics

Back to previous page

Cite as

BibTeX entry

@inbook{oai:it.cnr:prodotti:302152,
	title = {Some trends in formal methods applications to railway signaling},
	author = {Fantechi A. and Fokkink W. and Morzenti A.},
	doi = {10.1002/9781118459898.ch4},
	booktitle = {Formal Methods for Industrial Critical Systems: A Survey of Applications, edited by Stefania Gnesi, Tiziana Margaria, pp. 61–84, 2013},
	year = {2013}
}