Lecture Notes in Computer Science, 2000, Volume 1943/2000, 165-175, DOI: 10.1007/3-540-40891-6_15

Dependability of Computer Control Systems in Power Plants
Analytical and Experimental Evaluation

Cláudia Almeida, Alberto Arazo, Yves Crouzet and Karama Kanoun

View Related Documents

Abstract

The workpre sented in this paper is devoted to the evaluation of the dependability of computer control systems in power plants. Two complementary approaches are used to analyze and evaluate the dependability of such systems, based respectively on analytical modeling and experimental validation. Both approaches as well as examples of their mutual interactions are briefly illustrated on a subsystem of a specific computer control system. The analytical approach allows evaluation of dependability measures such as availability and identifies the most influential dependability parameters. Fault injection provides the numerical values of the above mentioned parameters and allows identification of specific behaviors that may not have been considered by the analytical model.

Fulltext Preview

Image of the first page of the fulltext document