Failure logic modeling techniques based on DEVS

To identify the component failure propagation path in complex systems, a component failure logical model based on DEVS was established by combining the failure logic principle and DEVS formal specification at the next granularity level of component hierarchy. A series of components failure states define a potential hazard. DEVS has modeling advantages of standardized, hierarchical and modular. Basing on its own characteristics, it can be used to study failure logic modeling techniques of complex systems, model and analyse the scene of the accident process. Therefore, the paper describes syntax and semantics of component failure logic and atomic DEVS, focusing on the implementation mechanism of failure logic using DEVS, the establishment of component state space, the trigger mechanism and the corresponding output in order to establish a component failure logical model based on DEVS. At last, a Wheel Brake System is used to verify the applicability and validity of the model.