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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Fault injection for dependability validation of fault-tolerant computing systems


    Weitere Titelangaben:

    Fehlerinjektion fuer die Zuverlaessigkeitsvalidation fehlertoleranter Rechnersysteme


    Beteiligte:
    Arlat, J. (Autor:in) / Crouzet, Y. (Autor:in) / Laprie, J.C. (Autor:in)


    Erscheinungsdatum :

    1989


    Format / Umfang :

    8 Seiten, 27 Quellen




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch





    Fault-tolerant ASIC Design for High System Dependability

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


    Fault injection for dependability validation: a methodology and some applications

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


    Fault-tolerant ASIC design for high system dependability

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