2002 · 28 citations · 7 references
EngineeringComputer ScienceSystems EngineeringFault ToleranceFault-tolerant SystemsSafety EngineeringDependability AnalysisReliable System DesignSafety-critical Embedded SystemsSoftware Fault ToleranceTraceabilityComponent SecurityComponent TraceabilityDependabilityRedundant FeaturesSystem DependabilityTraceability In Systems Engineering
Off-the-shelf (OTS) components are increasingly used in application areas with stringent dependability requirements. Component wrapping is a well known structuring technique used in many areas. We propose a general approach to developing protective wrappers that assist in integrating OTS items with a focus on the overall system dependability. The wrappers are viewed as redundant software used to detect errors or suspicious activity and to execute appropriate recovery when possible; wrapper development is considered as a part of system integration activities. Wrappers are to be rigorously specified and executed at run time as a means of protecting OTS items against faults in the rest of the system, and the system against the OTS item's faults. Possible symptoms of erroneous behaviour to be detected by a protective wrapper and possible actions to be undertaken in response are listed and discussed. The information required for wrapper development is provided by traceability analysis. Possible approaches to implementing "protectors" in the standard current component technologies are briefly outlined.
7
Certifying off-the-shelf software components
Comparing the robustness of POSIX operating systems
Philip Koopman, J. DeVale · 2003 · 167 citations
Towards a method of programming with assertions
David S. Rosenblum · 1992 · 82 citations · Full text
MetaKernels and fault containment wrappers
Frédéric Salles, Manuel Rodríguez, J.-C. Fabre et al. · 2003 · 50 citations