This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Model-Based Development and Formal Methods in the Railway Industry
May-June 2013 (vol. 30 no. 3)
pp. 28-34
Alessio Ferrari, CNR-ISTI
Alessandro Fantechi, Università di Firenze
Stefania Gnesi, CNR-ISTI
Gianluca Magnani, General Electric Transportation Systems, Florence
The transition from a code-based process to a model-based process isn't easy. This is particularly true for a company that operates in a safety-critical sector, where the products must be developed according to international standards, with certified tools and controlled processes. The authors summarize the experience of a railway signaling manufacturer that decided to adopt general-purpose, model-based tools—namely, Simulink/Stateflow and SysML—for product development. The company faced challenges primarily concerning the verification of the software and the integration of the tools within the existing process. Structured development solutions and formal/semiformal approaches were adopted to tackle the challenges.
Index Terms:
Modeling,Software packages,Encoding,Rail transportation,Standards,System analysis and design,Safety,programming paradigms,software engineering process,formal methods,software and system safety
Citation:
Alessio Ferrari, Alessandro Fantechi, Stefania Gnesi, Gianluca Magnani, "Model-Based Development and Formal Methods in the Railway Industry," IEEE Software, vol. 30, no. 3, pp. 28-34, May-June 2013, doi:10.1109/MS.2013.44
Usage of this product signifies your acceptance of the Terms of Use.