Dependability evaluation from functional to structural modelling

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

Volumn 2187, Issue , 2001, Pages 227-237

  Betous Almeida, Cláudia ^a   Kanoun, Karama ^a  

^a LAAS CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

C-SYSTEMS; DEPENDABILITY EVALUATION; DEPENDABILITY MODELING; FUNCTIONAL LEVELS; FUNCTIONAL SPECIFICATION; HIERARCHICAL APPROACH; INSTRUMENTATION AND CONTROL SYSTEM; STRUCTURAL MODELLING;

COMPUTER ARCHITECTURE;

EID: 84956973661     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45416-0_22     Document Type: Conference Paper

References (7)

1. Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., and Franchescinis, G., Modelling with Generalized Stochastic Petri Nets, Series in Parallel Computing, Wiley (1995)
2. Almeida, C., Arazo, A., Crouzet, Y., and Kanoun, K., “Dependability of Computer Control Systems in Power Plants: Analytical and Experimental Evaluation”, in Lecture Notes in Computer Science, vol. 1943, Springer Verlag (2000) 165–175
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. Bondavalli, A., Mura, I., and Trivedi, K.S., “Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems”, in Proc. 3rd European Dependable Computing Conf. (EDCC-3), Lecture Notes in Computer Science, vol. 1667, Springer Verlag (1999) 7–23
5. Fota, N., Kaâniche, M., Kanoun, K., and Peytavin, P., “Safety Analysis and Evaluation of an Air Traffic Control System”, in Proc. 15th Int. Conf. on Computer Safety, Reliability and Security SAFECOMP’96, Vienna, Austria, (1996), 219–229
6. Kanoun, K., Borrel, M., Morteveille, T., and Peytavin, A., “Availability of CAUTRA, a Subset of the French Air Traffic Control System”, in IEEE Trans. on Computers, vol. 48, n. 5, May (1999), 528–535
7. Rabah, M., and Kanoun, K., “Dependability Evaluation of a Distributed Shared Memory Multiprocessor System”, in Proc. 3rd European Dependable Computing Conf. (EDCC-3), Lecture Notes in Computer Science, vol. 1667, Springer Verlag (1999) 42–59.