Issue No. 03 - May-June (2013 vol. 30)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MS.2013.44
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.
Modeling, Software packages, Encoding, Rail transportation, Standards, System analysis and design, Safety, programming paradigms, software engineering process, formal methods, software and system safety
S. Gnesi, G. Magnani, A. Fantechi and A. Ferrari, "Model-Based Development and Formal Methods in the Railway Industry," in IEEE Software, vol. 30, no. , pp. 28-34, 2013.