@inproceedings{33586ada20bd4611819aba1bddaf0d71,
title = "Fault propagation formal modeling based on stateflow",
abstract = "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.",
keywords = "Finite State Machine, Stateflow, accident process, fault propagation, formal modeling",
author = "Lu Chen and Jian Jiao and Jiping Fan",
note = "Publisher Copyright: {\textcopyright} 2015 IEEE.; 1st International Conference on Reliability Systems Engineering, ICRSE 2015 ; Conference date: 21-10-2015 Through 23-10-2015",
year = "2015",
month = dec,
day = "24",
doi = "10.1109/ICRSE.2015.7366480",
language = "英语",
series = "Proceedings of 2015 the 1st International Conference on Reliability Systems Engineering, ICRSE 2015",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
editor = "Shunong Zhang and Zili Wang",
booktitle = "Proceedings of 2015 the 1st International Conference on Reliability Systems Engineering, ICRSE 2015",
address = "美国",
}