Development of a model-based safety analysis technique from the ETF Flight Simulator

This paper introduces a simple and innovative method to develop a functional model by extrapolating the information from the traditional dynamic model implemented in Simulink®. This method is extremely reliable and can represent a very useful tool for a preliminary reliability and safety analysis, as the analysts do not need to enter into the system logic to perform a classic FTA or FMEA analysis. Dynamic and functional analyses can be performed on the same model-based programming environment, where specifications can be traced interactively. Architectural defects can be detected and corrected well before the prototypal phase, making the whole process time and cost-effective.