2009
Conference article
Open Access
Formal modeling for railway signaling using commercial tools
Ferrari A., Fantechi A., Bacherini S., Zingoni N.
Formal Methods for Industrial Critical Systems Formal modeling
Modeling guidelines constitute one of the fundamental cornerstones for Model Based Development. Their relevance is essential when dealing with code generation in the safety-critical domain. This article presents the experience of a railway signaling systems manufacturer on this issue.
Source: The First NASA Formal Methods Symposium, pp. 166–170, Moffett Field, California, April 6 - 8 2009
Publisher: NASA Conference Publications, Washington, USA
Back to previous page
BibTeX entry
@inproceedings{oai:it.cnr:prodotti:91984,
title = {Formal modeling for railway signaling using commercial tools},
author = {Ferrari A. and Fantechi A. and Bacherini S. and Zingoni N.},
publisher = {NASA Conference Publications, Washington, USA},
booktitle = {The First NASA Formal Methods Symposium, pp. 166–170, Moffett Field, California, April 6 - 8 2009},
year = {2009}
}CNR authorsLaboratories
0000-0002-4648-4667