论文信息 - The FIGARO dependability evaluation workbench in use: Case studies for fault-tolerant computer systems

The FIGARO dependability evaluation workbench in use: Case studies for fault-tolerant computer systems

The versatility and the power of the FIGARO modeling language, and of the set of tools based on this language, are demonstrated through examples of fault tolerant computer systems evaluations. The FIGARO workbench is described. Applications to communication networks and to the reactor protection system of a nuclear power plant are discussed.

Marc Bouissou

[1] Olivier Coudert,et al. Fault Tree Analysis: 1020 Prime Implicants and Beyond , 1993 .

[2] Marc Bouissou,et al. Knowledge Modelling and Reliability Processing: Presentation of the Figaro Language and Associated Tools , 1991 .

[3] Ricky W. Butler,et al. The SURE approach to reliability analysis , 1992 .

[4] J. L. Bon,et al. Fiabilité des grands systèmes séquentiels : résultats théoriques et applications dans le cadre du logiciel GSI , 1992 .

[5] Appajosyula Satyanarayana,et al. Network reliability - the state of the art guest editors' preface , 1986, IEEE Transactions on Reliability.

[6] S. C. Johnson,et al. Automated generation of reliability models , 1988, 1988. Proceedings., Annual Reliability and Maintainability Symposium,.

[7] Jean Arlat,et al. SURF-2: A program for dependability evaluation of complex hardware and software systems , 1993, FTCS-23 The Twenty-Third International Symposium on Fault-Tolerant Computing.