A story about formal methods adoption by a railway signaling Manufacturer
Bacherini S., Fantechi A., Tempestini M., Zingoni N.
Complex systems design Formal specification Stateflow models
This paper reports the story of the introduction of formal methods in the development process of a railway signaling manufacturer. The first difficulty for a company is due to the many different formal methods proposals around; we show how this difficulty has been addressed and how the choice of a reference formal specification notation and of the related tools has been driven by many external factors related to the specific application domain, to the company policies, to european regulations. Cooperation with University has been fundamental in this process, which is now at the stage in which internal acceptance of the chosen formalisms and tools is established
Source: Lecture notes in computer science (2006): 179–189.
Publisher: Springer, Berlin , Germania
Back to previous page
@article{oai:it.cnr:prodotti:43856,
title = {A story about formal methods adoption by a railway signaling Manufacturer},
author = {Bacherini S. and Fantechi A. and Tempestini M. and Zingoni N.},
publisher = {Springer, Berlin , Germania},
journal = {Lecture notes in computer science},
pages = {179–189},
year = {2006}
}
0000-0002-4648-4667