DocumentCode
3050375
Title
The FIGARO dependability evaluation workbench in use: Case studies for fault-tolerant computer systems
Author
Bouissou, Marc
Author_Institution
Electricite de France, Clamart, France
fYear
1993
fDate
22-24 June 1993
Firstpage
680
Lastpage
685
Abstract
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.
Keywords
fault tolerant computing; FIGARO dependability evaluation workbench; FIGARO modeling language; communication networks; fault-tolerant computer systems; nuclear power plant; reactor protection system; Automation; Computer aided software engineering; Fault tolerance; Fault tolerant systems; Fault trees; Graphics; Object oriented modeling; Power system modeling; Software packages; Telecommunication network reliability;
fLanguage
English
Publisher
ieee
Conference_Titel
Fault-Tolerant Computing, 1993. FTCS-23. Digest of Papers., The Twenty-Third International Symposium on
Conference_Location
Toulouse, France
ISSN
0731-3071
Print_ISBN
0-8186-3680-7
Type
conf
DOI
10.1109/FTCS.1993.627374
Filename
627374
Link To Document