Model-Based Development and Formal Methods in the Railway Industry
By Alessio Ferrari,Alessandro Fantechi,Stefania Gnesi,Gianluca Magnani
Issue Date:May 2013
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...