PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Ferrari A., Fantechi A., Bacherini S., Zingoni N. Formal modeling for railway signaling using commercial tools. In: NFM 2009 - The First NASA Formal Methods Symposium (Moffett Field, California, April 6 - 8 2009). Proceedings, pp. 166 - 170. E. Denney, D. Giannakopoulou, C. S. Pasareanu (eds.). NASA Ames Research Center, 2009.
 
 
Abstract
(English)
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.
URL: http://ti.arc.nasa.gov/m/event/nfm09/proceedings.pdf
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 Open access Icona documento Restricted Icona documento Private

 


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

Valid HTML 4.0 Transitional