An integrated reliability modeling environment

摘要

In this paper, we propose an integrated reliability/availability modeling and analysis environment suitable for heterogeneous hierarchical system analysis. A key component of this environment is a high level system specification and input language which acts as a common interface to several off the-shelf reliability modeling and analysis tools (Koren JM, Gaertner J. CAFTAf a fault tree analysis tool designed for PSA. In: Proc. of Probabilistic Safety Assessment and Risk Management; PSA '87, Zurich, Switzerland, vol. 2, l987f588--592; Sahner RA, Trivedi KS. Reliability modeling using SHARPE, IEEE Trans. Reliability R-36, 2 June 1987f 186-l93; Ciardo G, Muppala J, Trivedi K. SPNPf Stochastic Petri Net Package. In f Proc. 3rd Int. Workshop on Petri Nets and Performance Models, Kyoto, Japan, Dec. 1989: 142-- l5l, Smotherman MK, Dugan JB, Trivedi KS, Geist RM. The hybrid automated reliability predictor. AIAA Journal of Guidance, Control and Dynamics May/June l986.3l9--33l ). The complexity of the underlying solvers for reliability analysis is kept transparent to the user by the design of a common language and translators to these tools. This design has several advantages including interoperability, ability of the interpreter to choose a particular solver depending on the problem characteristics and the ease of enhancing the system capability transparent to the user. The technique, being very compact in model description, also leads to a quick analysis of the design, guiding the designers at every stage for reliable product development.