DocumentCode
1561684
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
fYear
1993
Firstpage
148
Lastpage
154
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/AIHAS.1993.410590
Filename
410590
Link To Document