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.
1. 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).
2. European Committee for Electrotechnical Standardization: CENELEC EN 50128, Railway Applications - Software for Railway Control and Protection Systems. (1997).
3. 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).
2. European Committee for Electrotechnical Standardization: CENELEC EN 50128, Railway Applications - Software for Railway Control and Protection Systems. (1997).
3. 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
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},
year = {2009}
}
0000-0002-4648-4667