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.
Markov Chains For Testing Redundant Software
NASA Tech Briefs ; 14 , 3
01.03.1990
Sonstige
Keine Angabe
Englisch
Redundant Unilaterally Actuated Kinematic Chains: Modeling and Analysis
BASE | 2020
|Reliability assessment of CubeSat nanosatellites flight software by high-order Markov chains
Elsevier | 2021
|Characterizing road profiles as Markov chains
Kraftfahrwesen | 2004
|Characterising road profiles as Markov Chains
Tema Archiv | 2004
|Modeling Bridge Deterioration with Markov Chains
British Library Online Contents | 1992
|