The authors address the dependability validation of fault-tolerant computing systems and more specifically the validation of the fault-tolerance mechanisms. Their 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 as well as its place with respect to related works on fault injection are identified. The major requirements and problems related to the development and application of a validation methodology based on fault injection are presented and discussed. The proposed methodology has been implemented through the realization of a general physical-fault injection tool (MESSALINE) whose usefulness is demonstrated by its application to the experimental validation of a subsystem of a computerized interlocking system for railway control applications.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Fault injection for dependability validation of fault-tolerant computing systems


    Additional title:

    Fehlerinjektion fuer die Zuverlaessigkeitsvalidation fehlertoleranter Rechnersysteme


    Contributors:
    Arlat, J. (author) / Crouzet, Y. (author) / Laprie, J.C. (author)


    Publication date :

    1989


    Size :

    8 Seiten, 27 Quellen




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English





    Fault injection for dependability validation: a methodology and some applications

    Arlat, J. / Aguera, M. / Amat, L. et al. | Tema Archive | 1990


    Fault-tolerant ASIC design for high system dependability

    Schoof, G. / Methfessel, M. / Kraemer, R. | Tema Archive | 2009


    Fault-tolerant ASIC Design for High System Dependability

    Schoof, G. / Methfessel, M. / Kraemer, R. | British Library Conference Proceedings | 2009