A framework for dependability engineering of critical computing systems

Safety Science

Volumn 40, Issue 9, 2002, Pages 731-752

  Kaâniche, Mohamed ^a   Laprie, Jean Claude ^a   Blanquart, Jean Paul ^b  

^a LAAS CNRS   (France)

^b AIRBUS DEFENCE AND SPACE   (Germany)

Author keywords

Dependability; Development process; Fault forecasting; Fault prevention; Fault removal; Fault tolerance; Models; System engineering

Indexed keywords

FAULT TOLERANT COMPUTER SYSTEMS; FORECASTING; QUALITY ASSURANCE; SOFTWARE ENGINEERING;

DEPENDABILITY;

CALCULATIONS;

ARTICLE; CERTIFICATION; COMPUTER SYSTEM; ENGINEERING; ERROR; FORECASTING; MODEL; PREVENTION; PRIORITY JOURNAL; PROCESS CONTROL; QUALITY CONTROL; RELIABILITY; SYSTEM ANALYSIS;

EID: 0036095674     PISSN: 09257535     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0925-7535(01)00083-2     Document Type: Article

References (30)

1. Fault injection for dependability validation of fault-tolerant computing systems
2. The concept of coverage and its effect on the reliability model of a repairable system
3. Infrastructure-based design of fault-tolerant systems: How to get high-confidence computing for all
4. Reliability modeling techniques for self-repairing computer systems
5. Understanding fault-tolerant distributed systems
6. A dependability-explicit model for the development of computing systems
7. Dependability engineering of complex computing systems
8. Comparing operating systems using robustness benchmarks
9. Dependable computing: Concepts, limits, challenges
10. On hierarchical design of computer systems for critical applications
11. On the criteria to be used in decomposing systems into modules
12. Failure mode assumptions and assumption coverage
13. Distributed fault tolerance: A short tutorial
14. Reliability modeling: An overview for system designers
15. Certifying off-the-shelf software components
16. A methodology for the rapid injection of transient hardware errors