Chapitre D'ouvrage Année : 2012

System Dependability: Characterization and Benchmarking

Résumé

This chapter presents briefly basic concepts, measures and approaches for dependability characterization and benchmarking, and examples of benchmarks, based on dependability modeling and measurements. We put emphasis on Commercial Off-the-Shelf components (COTS) on COTS-based systems. To illustrate the various concepts, techniques and results of dependability benchmarking, we present two examples of benchmarks: one addressing the system and service level of a COTS-based fault tolerant system, and one dedicated to COTS software components. The first benchmark shows how dependability modeling can be used to benchmark alternative architectural solutions of instrumentation and control systems of nuclear power plants. The benchmarked measure corresponds to system availability. The second benchmark shows how controlled experiments can be used to benchmark operating systems taking Windows and Linux as examples. The benchmark measures are robustness, reaction time and restart time.

Fichier principal
Vignette du fichier
Crouzet_Bench_10182011.pdf (1.43 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
Loading...

Dates et versions

hal-00761042 , version 1 (04-12-2012)

Licence

Identifiants

  • HAL Id : hal-00761042 , version 1

Citer

Yves Crouzet, Karama Kanoun. System Dependability: Characterization and Benchmarking. A.Hurson, S.Sedigh. Advances in Computers. Special issue: Dependable and Secure Systems Engineering, Elsevie, pp.93-139, 2012, 978-0-12-396525-7. ⟨hal-00761042⟩
247 Consultations
598 Téléchargements

Partager

  • More