Availability of CAUTRA, a Subset of the French Air Traffic Control System
IEEE Transactions on Computers
Modelling with Generalized Stochastic Petri Nets
ACM SIGMETRICS Performance Evaluation Review - Special issue on Stochastic Petri Nets
Computer
Xception: A Technique for the Experimental Evaluation of Dependability in Modern Computers
IEEE Transactions on Software Engineering
MAFALDA: Microkernel Assessment by Fault Injection and Design Aid
EDCC-3 Proceedings of the Third European Dependable Computing Conference on Dependable Computing
SAFECOMP '01 Proceedings of the 20th International Conference on Computer Safety, Reliability and Security
| Hi-index | 0.00 |
The work presented 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.