Dependability of COTS microkernel-based systems

IEEE Transactions on Computers

Volumn 51, Issue 2, 2002, Pages 138-163

  Arlat, Jean ^a,b   Fabre, Jean Charles ^a,b   Rodríguez, Manuel ^b   Salles, Frédéric ^b,c  

^a IEEE   (France)

^b LAAS CNRS   (France)

^c SUN MICROSYSTEMS   (United States)

Author keywords

COTS microkernels; Dependability characterization; Error confinement; Fault injection; Wrapping

Indexed keywords

COMMERCIAL OFF-THE-SHELF; ERROR CONFINEMENT; MICROKERNEL BASED SYSTEMS; PARAMETER FAULT INJECTION; SOFTWARE PACKAGE MAFALDA;

COMPUTER ARCHITECTURE; COMPUTER OPERATING SYSTEMS; COMPUTER SIMULATION; COMPUTER SYSTEM RECOVERY; DATA ACQUISITION; EMBEDDED SYSTEMS; ERROR DETECTION; SOFTWARE ENGINEERING;

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 0036472860     PISSN: 00189340     EISSN: None     Source Type: Journal    
DOI: 10.1109/12.980005     Document Type: Article

References (47)

1. Assessment of COTS microkernels by fault injection
2. Metakernels and fault containment wrappers
3. MAFALDA: Microkernel assessment by fault injection and design aid
4. Building dependable COTS microkernel-based systems using MAFALDA
5. The ELEKTRA railway signalling-system: Field experience with an actively replicated system with diversity
6. Chorus/ClassiX r3-technical overview
7. Dependable computing: Concepts, limits, challenges
8. The delta-4 approach to dependability in open distributed computing systems
9. GUARDS: A generic upgradable architecture for real-time dependable systems
10. Fault injection for dependability validation-a methodology and some applications
11. Fault injection techniques and tools
12. Fault injection spot-checks computer system dependability
13. FERRARI: A flexible software-based fault and error injection system
14. On microprocessor error behavior modeling
15. A software-based fault injection tool
16. Validating the fail-silence of the MARS architecture
17. Hierarchical approach to accurate fault modeling for system evaluation
18. On single event upset error manifestation
19. On the emulation of software faults by software fault injection
20. Xception: A technique for the experimental evaluation of dependability in modern computers
21. Comparing the robustness of POSIX operating systems
22. FINE: A fault injection and monitoring environment for tracing the UNIX system behavior under faults
23. DEFINE: A distributed fault injection and monitoring environment
24. Certifying off-the-shelf software components
25. Observer: A concept for detection of control errors in concurrent systems
26. Executable assertions and flight software
27. Executable assertions and timed traces for on-line software error detection
28. Executable assertions for detecting data errors in embedded control systems
29. Concepts and experiments in computational reflection
30. Dependability of microkernel-based operating systems: Failure mode analysis and error confinement
31. Overview of the CHORUS distributed operating systems
32. Analysing APEX applications
33. Feasibility analysis of fault-tolerant real-time task sets
34. Real-time queueing network theory
35. Formal analysis of the priority ceiling protocol
36. Formal specification for building robust real-time microkernels
37. Software error analysis: A real case study involving real faults and mutations
38. Validation-based development of dependable systems
39. Dependability assessment of real-time systems
40. Fault injection for the formal testing of fault tolerance
41. Formal guides for experimentally verifying complex software-implements fault tolerance mechanisms