Istituto di Scienza e Tecnologie dell'Informazione     
Ferrari A., Fantechi A., Bacherini S., Zingoni N. Formal development for railway signaling using commercial tools. In: FMICS 2009 - Formal Methods for Industrial Critical Systems. 14th International Workshop (Eindhoven, The Netherlands, 2-3 November 2009). Abstract, pp. 197 - 198. María Alpuente, Byron Cook, Christophe Joubert (eds.). (Lecture Notes in Computer Science, vol. 5825). Springer, 2009.
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.
URL: http://www.springerlink.com/content/j07276451736/?p=b1c411fa49a942288c8b809d8f8b98cc&pi=0
DOI: http://dx.doi.org/10.1007/978-3-642-04570-7_15
Subject Formal Methods for Industrial Critical Systems
Formal modeling
D.2.4 Software/Program Verification. Formal Methods

Icona documento 1) Download Document PDF
Icona documento 2) 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