Fault injection for dependability validation: a methodology and some applications Export

@article{citeulike:2713342, abstract = {The authors address the problem of validating the dependability of fault-tolerant computing systems, in particular, the validation of the fault-tolerance mechanisms. The proposed approach is based on the use of fault injection at the physical level on a hardware/software prototype of the system considered. The place of this approach in a validation-directed design process and with respect to related work on fault injection is clearly identified. The major requirements and problems related to the development and application of a validation methodology based on fault injection are presented and discussed. Emphasis is put on the definition, analysis, and use of the experimental dependability measures that can be obtained. The proposed methodology has been implemented through the realization of a general pin-level fault injection tool (MESSALINE), and its usefulness is demonstrated by the application of MESSALINE to the experimental validation of two systems: a subsystem of a centralized computerized interlocking system for railway control applications and a distributed system corresponding to the current implementation of the dependable communication system of the ESPRIT Delta-4 Project}, author = {Arlat, J. and Aguera, M. and Amat, L. and Crouzet, Y. and Fabre, J. C. and Laprie, J. C. and Martins, E. and Powell, D.}, booktitle = {Software Engineering, IEEE Transactions on}, citeulike-article-id = {2713342}, citeulike-linkout-0 = {http://dx.doi.org/10.1109/32.44380}, citeulike-linkout-1 = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=44380}, day = {06}, doi = {10.1109/32.44380}, journal = {Software Engineering, IEEE Transactions on}, keywords = {dependability, fault-injection, fault-tolerance, verification}, month = {August}, number = {2}, pages = {166--182}, posted-at = {2008-04-24 16:26:37}, priority = {2}, title = {Fault injection for dependability validation: a methodology and some applications}, url = {http://dx.doi.org/10.1109/32.44380}, volume = {16}, year = {2002} }

TY - JOUR ID - citeulike:2713342 L3 - citeulike-article-id:2713342 N2 - The authors address the problem of validating the dependability of fault-tolerant computing systems, in particular, the validation of the fault-tolerance mechanisms. The proposed approach is based on the use of fault injection at the physical level on a hardware/software prototype of the system considered. The place of this approach in a validation-directed design process and with respect to related work on fault injection is clearly identified. The major requirements and problems related to the development and application of a validation methodology based on fault injection are presented and discussed. Emphasis is put on the definition, analysis, and use of the experimental dependability measures that can be obtained. The proposed methodology has been implemented through the realization of a general pin-level fault injection tool (MESSALINE), and its usefulness is demonstrated by the application of MESSALINE to the experimental validation of two systems: a subsystem of a centralized computerized interlocking system for railway control applications and a distributed system corresponding to the current implementation of the dependable communication system of the ESPRIT Delta-4 Project IS - 2 JF - Software Engineering, IEEE Transactions on EP - 182 TI - Fault injection for dependability validation: a methodology and some applications VL - 16 T2 - Software Engineering, IEEE Transactions on SP - 166 KW - dependability KW - fault-injection KW - fault-tolerance KW - verification AU - Arlat, J AU - Aguera, M AU - Amat, L AU - Crouzet, Y AU - Fabre, JC AU - Laprie, JC AU - Martins, E AU - Powell, D PY - 2002/08/06/ UR - http://dx.doi.org/10.1109/32.44380 ER -