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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Markov Chains For Testing Redundant Software


    Contributors:

    Published in:

    Publication date :

    1990-03-01



    Type of media :

    Miscellaneous


    Type of material :

    No indication


    Language :

    English





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

    Yakovyna, Vitaliy / Symets, Ivan | Elsevier | 2021

    Free access

    Characterizing road profiles as Markov chains

    Ferris,J.B. / ZF Technologies,US | Automotive engineering | 2004


    Characterising road profiles as Markov Chains

    Ferris, John B. | Tema Archive | 2004


    Modeling Bridge Deterioration with Markov Chains

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