Preliminary design developed for validation experiment that addresses problems unique to assuring extremely high quality of multiple-version programs in process-control software. Approach takes into account inertia of controlled system in sense it takes more than one failure of control program to cause controlled system to fail. Verification procedure consists of two steps: experimentation (numerical simulation) and computation, with Markov model for each step.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Markov Chains For Testing Redundant Software


    Beteiligte:
    White, Allan L. (Autor:in) / Sjogren, Jon A. (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    01.03.1990



    Medientyp :

    Sonstige


    Format :

    Keine Angabe


    Sprache :

    Englisch





    Reliability assessment of CubeSat nanosatellites flight software by high-order Markov chains

    Yakovyna, Vitaliy / Symets, Ivan | Elsevier | 2021

    Freier Zugriff

    Characterizing road profiles as Markov chains

    Ferris,J.B. / ZF Technologies,US | Kraftfahrwesen | 2004


    Characterising road profiles as Markov Chains

    Ferris, John B. | Tema Archiv | 2004


    Modeling Bridge Deterioration with Markov Chains

    Cesare, M. A. / Santamarina, C. / Turkstra, C. et al. | British Library Online Contents | 1992