PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Ferrari A., Fantechi A., Gnesi S., Magnani G. Model-based development and formal methods in the railway industry. In: IEEE Software, vol. 30 (3) pp. 28 - 34. IEEE, 2013.
 
 
Abstract
(English)
The transition from a code-based process to a model- based one isn't easy, particularly for companies that operate in the safety-critical sector. A railway signaling manufacturer adopted general-purpose, model-based tools aided by formal methods to develop its products, facing challenges and learning lessons along the way.
URL: http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6475930&sortType%3Dasc_p_Sequence%26filter%3DAND%28p_IS_Number%3A6504873%29
DOI: 10.1109/MS.2013.44
Subject Model-based development
Model checking
Railway
Simulink
Code generation
Abstract interpretation
Model-based testing
D.2.2 Design Tools and Techniques
D.2.3 Coding Tools and Techniques
D.2.4 Software/Program Verification. Model checking


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