Istituto di Scienza e Tecnologie dell'Informazione     
Bacherini S., Fantechi A., Tempestini M., Zingoni N. A story about formal methods adoption by a railway signaling Manufacturer. In: International Symposium on Formal Methods (Hamilton, Ontario, Canada, August 21- 27, 2006). Proceedings, pp. 179 - 189. (Lecture Notes in Computer Science, vol. 4085). Springer, 2006.
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
URL: http://www.springerlink.com/content/m78k2218hh0u6574/fulltext.pdf
Subject Complex systems design
Formal specification
Stateflow models
D.2.1 Requirements/Specifications
D.2.2 Design Tools and Techniques
D.2.4 Software/Program Verification

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional