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.
Model-Based Development and Formal Methods in the Railway Industry / Alessio Ferrari;Alessandro Fantechi;Stefania Gnesi;Gianluca Magnani. - In: IEEE SOFTWARE. - ISSN 0740-7459. - STAMPA. - 30:(2013), pp. 28-34. [10.1109/MS.2013.44]
Model-Based Development and Formal Methods in the Railway Industry
FERRARI, ALESSIO;FANTECHI, ALESSANDRO;GNESI, STEFANIA;MAGNANI, GIANLUCA
2013
Abstract
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.I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.