Failure Logic Modeling Techniques Based on DEVS

Abstract:

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.

• Periodical: Applied Mechanics and Materials (Volumes 631-632)
• Pages: 265-270
• DOI: https://doi.org/10.4028/www.scientific.net/AMM.631-632.265
• Online since: September 2014
• Authors: Qiang Sun, Jian Jiao*, Shan Shan Zhou
• Keywords: DEVS, Failure Logic, Hazard, State Space

References

[1] Lisagor O. Failure logic modelling: A pragmatic approach[J]. (2010).

[2] ChungmanSeo and B.P. Zeigler, DEVS Namespace for Interoperable DEVS/SOA, Proceeding of the 2009 Winter Simulation Conference [C]/ Austin, Texas, USA: WSC, (2009).

DOI: 10.1109/wsc.2009.5429701

[3] B P Zeigler. DEVS today: recent advances in discrete event-based information technology [C]/ Zeigler, 11th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer, 2004. USA: IEEE, (2004).

DOI: 10.1109/mascot.2003.1240652

[4] Yi-lei WU, Du-zheng QING. Component-Based DEVS Modeling and Simulation[J]. Modern Defence Technology, , 6: 041. (2010). (In Chinese).

[5] G. Leveson, N. Engineering a safer world: system thinking applied to safety[M]. The MIT Press Cambridge, Massachusetts London, England. (2011).

[6] GiambiasiN, Paillet J L. From Timed Automa to DEVS Models[A]. Proceedings of the 2003 Winter Simulation Conference, (2003).

[7] Chen LIU, Wei-ping WANG, Yi-fan ZHU. Research on a Composable Modeling Approach ofEmbedding the State Machine into DEVS[J]. Journal of National University of Defense Technology, 27(5): 56-61. (2005). (In Chinese).

[8] Sung C H，Hong J H，Kim T G． Interoperation of DEVS models and differential equation models using HLA/RTI: hybrid simulation of engineering and engagement level models［C］∥Proceedings of the 2009 Spring Simulation Multiconference. San Diego: Society for Computer Simulation International: 387 － 392 (2009).

DOI: 10.1145/1878537.1878683