|
Abstract : |
Abstract: This paper addresses the use of COTS microkernels in fault-tolerant, and, to some extent, safety-critical systems. The main issue is to assess the behavior of such components, upon which application software rely, in the presence of faults. Using fault injection, it is possible to classify the behavior of the functional primitives. From the results obtained, fault containment mechanisms can be provided as a new API to complement the basic detection mechanisms of the microkernel. Some preliminary experiments with the Chorus microkernel are also reported. 1., |
