Dependable Computing and Assessment of Dependability

Conference: Zuverlässigkeit und Entwurf - 5. GI/GMM/ITG-Fachtagung
09/27/2011 - 09/29/2011 at Hamburg-Harburg, Deutschland

Proceedings: Zuverlässigkeit und Entwurf

Pages: 8Language: englishTyp: PDF

Personal VDE Members are entitled to a 10% discount on this title

Arlat, Jean (CNRS, LAAS, 7, avenue du Colonel Roche, 31077 Toulouse Cedex 4, France)
Arlat, Jean (Université de Toulouse, UPS, INSA, INP, ISAE, UT1, UTM, LAAS, 31077 Toulouse Cedex 4, France)

This paper covers the main design and evaluation issues that are to be considered when developing dependable computer systems. In the first part it briefly addresses the fault tolerance techniques (encompassing error detection, error recovery and fault masking) that can be used to cope with accidental faults (physical disturbances, software bugs, etc.) and to some extent, malicious faults (e.g., attacks, intrusions). The second part covers the methods and technique - both analytical and experimental - that can be used to objectively assess the level of dependability achieved. The trend of controlled experiments, from simple fault injection-based tests meant for evaluating a specific faulttolerant computer architecture towards the development of benchmarks aimed at comparing the dependability features of several computer systems, are also briefly illustrated by means of selected examples.