Title :
Automated generation of fault tree using the symbolic DEVS simulation
Author :
Chi, SungDo ; Lee, SeokPil ; Park, SangHui
Author_Institution :
Dept. of Comput. Sci., Hankuk Aviation Univ., Seoul, South Korea
Abstract :
An automated fault tree generation method using the symbolic DEVS (discrete event system specification) simulation is presented. Problems in existing fault tree generation methods are briefly discussed. The approach presented exceeds others in that it is based on the discrete event formalism, providing convenient ways to construct discrete event component models, and it intrinsically represents timing effects. Such a fault tree generation system has been implemented and tested on the cooling system for chemical reaction
Keywords :
discrete event simulation; discrete event systems; fault trees; formal specification; chemical reaction; cooling system; discrete event formalism; discrete event system specification; fault tree; symbolic DEVS simulation; Computational modeling; Computer aided manufacturing; Computer simulation; Cooling; Discrete event simulation; Discrete event systems; Fault trees; Humans; Power system modeling; Timing;
Conference_Titel :
AI, Simulation, and Planning in High Autonomy Systems, 1993. Integrating Virtual Reality and Model-Based Environments. Proceedings. Fourth Annual Conference
Conference_Location :
Tucson, AZ
Print_ISBN :
0-8186-4020-0
DOI :
10.1109/AIHAS.1993.410590
