Document - Formal development for railway signaling using commercial tools

2009

Conference article Open Access

Formal development for railway signaling using commercial tools

Ferrari A., Fantechi A., Bacherini S., Zingoni N.

Software/Program Verification. Formal Methods Formal modeling Formal Methods for Industrial Critical Systems

This report presents the approach experimented by a railway signaling manufacturer for the development of applications through Simulink/Stateflow in a standard-regulated industrial framework.

Source: Formal Methods for Industrial Critical Systems. 14th International Workshop, pp. 197–198, Eindhoven, The Netherlands, 2-3 November 2009

Citations

Bacherini, S., Fantechi, A., Tempestini, M., Zingoni, N.: A Story about Formal Methods Adoption by a Railway Signaling Manufacturer. FM 2006. LNCS, 4025/2006, Hamilton, Canada, (2006).
European Committee for Electrotechnical Standardization: CENELEC EN 50128, Railway Applications - Software for Railway Control and Protection Systems. (1997).
Ferrari, A., Fantechi, A., Bacherini, S., Zingoni, N.: Modeling Guidelines for Code Generation in the Railway Signaling Context. Proceedings of 1st NASA Formal Methods Symphosium (NFM). Mo et Field, California, U.S.A., (2009).

Metrics

Back to previous page

Cite as

BibTeX entry

@inproceedings{oai:it.cnr:prodotti:44247,
	title = {Formal development for railway signaling using commercial tools},
	author = {Ferrari A. and Fantechi A. and Bacherini S. and Zingoni N.},
	doi = {10.1007/978-3-642-04570-7_15},
	booktitle = {Formal Methods for Industrial Critical Systems. 14th International Workshop, pp. 197–198, Eindhoven, The Netherlands, 2-3 November 2009},
	year = {2009}
}