Model-based safety analyses of embedded system using stateflow

Abstract

Relying on the skill and experience of the engineer, traditional method of safety analyses is subjective and may not guarantee the integrity, consistency and correctness sometimes. In this paper, we first summarize the deficiencies in the safety analysis based on the development of V mode. Then we put forward a new model-based method called VT-mode development. The mode discusses the safety analysis process in detail, meanwhile considering the traditional safety analysis methods. A model-based safety analysis framework is also put forward, which is established on fault model and validation model, combined with the existing foreign scientific research. At last, by modellization and simulation of the fuel engine control system using MATLAB/Simulink/Stateflow, we analyze the system's safety successsfully, verifying the feasibility and effectiveness of this method.