Publication | Closed Access
Fault injection experiments using FIAT
239
Citations
11
References
1990
Year
EngineeringVerificationSoftware SystemsFault-injection-based Automated TestingSoftware EngineeringEmbedded SystemsSoftware AnalysisHardware SystemsFormal VerificationReliability EngineeringFault AnalysisFault Injection ExperimentsSystems EngineeringFailure DetectionSystem TestingSoftware ReliabilityComputer EngineeringComputer ScienceError Detection LatenciesOperating SystemsSoftware TestingFormal MethodsReal-time SystemsSystem-level Fault ManifestationsFault AttackFault InjectionSystem Software
The results of several experiments conducted using the fault-injection-based automated testing (FIAT) system are presented. FIAT is capable of emulating a variety of distributed system architectures, and it provides the capabilities to monitor system behavior and inject faults for the purpose of experimental characterization and validation of a system's dependability. The experiments consists of exhaustively injecting three separate fault types into various locations, encompassing both the code and data portions of memory images, of two distinct applications executed with several different data values and sizes. Fault types are variations of memory bit faults. The results show that there are a limited number of system-level fault manifestations. These manifestations follow a normal distribution for each fault type. Error detection latencies are found to be normally distributed. The methodology can be used to predict the system-level fault responses during the system design stage.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
| Year | Citations | |
|---|---|---|
Page 1
Page 1