Fault Propagation Formal Modeling based on StateFlow

In order to specify the description of accident process and structure the general formal model, this paper abstracted and defined some correlate concepts of fault propagation process, and carried on a systematic formal description to accident development process through introducing the typical six-elements Finite State Machine (FSM). Then, this paper built the fault propagation models of the system by using graphical design and development tool Stateflow based on FSM theory, which are composed of interactions between operating states and functional status within each subsystem and interactions among different subsystems of the system. Finally, this paper integrated state control logic of Stateflow into Simulink environment, and performed modeling and simulation for event-driven operation process's safety properties of complex system characterized by discrete-continuous mixing. A case study about flight control console is provided to validate applicability and effectiveness of the fault propagation model.