Title :
The FIGARO dependability evaluation workbench in use: Case studies for fault-tolerant computer systems
Author_Institution :
Electricite de France, Clamart, France
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;
Conference_Titel :
Fault-Tolerant Computing, 1993. FTCS-23. Digest of Papers., The Twenty-Third International Symposium on
Conference_Location :
Toulouse, France
Print_ISBN :
0-8186-3680-7
DOI :
10.1109/FTCS.1993.627374
