In: Proc. 5th Int. IEEE High-Assurance Systems Engineering Symposium, 15-17 November 2000, Albuquerque, NM, pages 238-246. 2000.
Abstract: In the areas of both safety and reliability analysis, the precise modeling of complex technical systems during development and for evaluation purposes is of great importance. Traditionally, fault tree models have been used to accomplish this, and, more recently, stochastic Petri net models have begun to be employed. To provide engineers with an intuitive high-level modeling interface to Petri nets, this paper introduces an approach combining extended fault trees for the description of the system and stochastic Petri nets for the evaluation and analysis of the model.
Keywords: fault trees, reliability analysis, safety analysis, stochastic Petri nets.