Safety analysis generation from prototyping models for transportation systems

Prototyping a system is mainly focused on the functional aspect in order to prove the feasibility of the desired system. Nowadays, with the growing complexity of embedded systems in transportation and the reduction of the time-to-market, prototyping also needs to deal with aspects usually studied later in the development process like dependability for the critical aspect. We propose a new methodology generating a safety analysis based on software prototyping models to help the designer to handle the dependability of the system.