Fault injection for formal testing of fault tolerance Export

@article{citeulike:2713269, abstract = {This study addresses the use of fault injection for explicitly removing design/implementation faults in complex fault-tolerance algorithms and mechanisms (FTAM), viz, fault-tolerance deficiency faults. A formalism is introduced to represent the FTAM by a set of assertions. This formalism enables an execution tree to be generated, where each path from the root to a leaf of the tree is a well-defined formula. The set of well-defined formulas constitutes a useful framework that fully characterizes the test sequence. The input patterns of the test sequence (fault and activation domains) then are determined to fewer specific structural criteria over the execution tree (activation of proper sets of paths). This provides a framework for generating a functional deterministic test for programs that implement complex FTAM. This methodology has been used to extend a debugging tool aimed at testing fault tolerance protocols developed by BULL France. It has been applied successfully to the injection of faults in the inter-replica protocol that supports the application-level fault-tolerance features of the architecture of the ESPRIT-funded Delta-4 project. The results of these experiments are analyzed in detail. In particular, even though the target protocol had been independently verified formally, the application of the proposed testing strategy revealed two fault-tolerance deficiency faults}, author = {Avresky, D. and Arlat, J. and Laprie, J. C. and Crouzet, Y.}, booktitle = {Reliability, IEEE Transactions on}, citeulike-article-id = {2713269}, citeulike-linkout-0 = {http://dx.doi.org/10.1109/24.537015}, citeulike-linkout-1 = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=537015}, doi = {10.1109/24.537015}, journal = {Reliability, IEEE Transactions on}, keywords = {fault-injection, fault-tolerance, formal-methods, interesting-rating--1, off-chip-communication}, number = {3}, pages = {443--455}, posted-at = {2008-04-24 15:53:20}, priority = {1}, title = {Fault injection for formal testing of fault tolerance}, url = {http://dx.doi.org/10.1109/24.537015}, volume = {45}, year = {1996} }

TY - JOUR ID - citeulike:2713269 L3 - citeulike-article-id:2713269 N2 - This study addresses the use of fault injection for explicitly removing design/implementation faults in complex fault-tolerance algorithms and mechanisms (FTAM), viz, fault-tolerance deficiency faults. A formalism is introduced to represent the FTAM by a set of assertions. This formalism enables an execution tree to be generated, where each path from the root to a leaf of the tree is a well-defined formula. The set of well-defined formulas constitutes a useful framework that fully characterizes the test sequence. The input patterns of the test sequence (fault and activation domains) then are determined to fewer specific structural criteria over the execution tree (activation of proper sets of paths). This provides a framework for generating a functional deterministic test for programs that implement complex FTAM. This methodology has been used to extend a debugging tool aimed at testing fault tolerance protocols developed by BULL France. It has been applied successfully to the injection of faults in the inter-replica protocol that supports the application-level fault-tolerance features of the architecture of the ESPRIT-funded Delta-4 project. The results of these experiments are analyzed in detail. In particular, even though the target protocol had been independently verified formally, the application of the proposed testing strategy revealed two fault-tolerance deficiency faults IS - 3 JF - Reliability, IEEE Transactions on EP - 455 TI - Fault injection for formal testing of fault tolerance VL - 45 T2 - Reliability, IEEE Transactions on SP - 443 KW - fault-injection KW - fault-tolerance KW - formal-methods KW - interesting-rating--1 KW - off-chip-communication AU - Avresky, D AU - Arlat, J AU - Laprie, JC AU - Crouzet, Y PY - 1996/// UR - http://dx.doi.org/10.1109/24.537015 ER -