Dependability of computer control systems in power plants: Analytical and experimental evaluation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1943, Issue , 2000, Pages 165-175

  Almeida, Cláudia ^a   Arazo, Alberto ^a   Crouzet, Yves ^a   Kanoun, Karama ^a  

^a LAAS CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ANALYTICAL MODELS; COMPUTER CONTROL; PARAMETER ESTIMATION; POWER CONTROL; POWER PLANTS;

ANALYTICAL APPROACH; EXPERIMENTAL EVALUATION; EXPERIMENTAL VALIDATIONS; FAULT INJECTION; MUTUAL INTERACTION; NUMERICAL VALUES;

COMPUTER CONTROL SYSTEMS;

EID: 84956987089     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-40891-6_15     Document Type: Conference Paper

References (8)

1. Arlat, J., Crouzet, Y., Laprie, J.-C. “Fault Injection for Dependability Validation of Fault-Tolerant Computing Systems”, in Int. Symp. on Fault-Tolerant Computing (FTCS-19), Chicago, IL (USA) (1989) 348–355.
2. Arlat, J. “Informatique Sûre de Fonctionnement: défis et solutions”, in Journal Européen des Systèmes Automatiss, vol. 30, n. 10 (1996) 1433-1465, (in french).
3. Béounes, C., et al. “SURF-2: A Program for Dependability Evaluation of Complex Hardware and Software Systems”, in Proc. 23rd. Int. Symp. on Fault-Tolerant Computing (FTCS-23), Toulouse, France (1993) 668–673.
4. Carreira, J., Madeira, H., Silva, J. G. “Xception: A Technique for the Experimental Evaluation of Dependability in Modern Computers”, in IEEE Trans. on Software Engineering, vol. 24, no. 2 (1998) 125–135.
5. Clark, J. A., Pradham, D. K. “Fault Injection: A Method for Validating Computer-System Dependability”, in IEEE Computer, vol. 28 (1995) 47–56.
6. Kanoun, K., Borrel, M., Morteveille, T., Peytavin, A. “Availability of CAUTRA, a Subset of the French Air Traffic Control System”, in IEEE Trans. on Computers, vol. 48, n. 5 (1999) 528–535.
7. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli and G. Franchescinis, Modelling with Generalized Stochastic Petri Nets, Series in Parallel Computing, Wiley (1995).
8. M. Rodríguez, F. Salles, J. Arlat and J.-C. Fabre, “MAFALDA:Microkernel Assessment by Fault Injection and Design Aid”, in 3rd European Dependable Computing Conference (EDDC-3), Prague, TcheckR epublic (1999) 143–160.