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
1990-03-01
Miscellaneous
No indication
English
Reliability assessment of CubeSat nanosatellites flight software by high-order Markov chains
Elsevier | 2021
|Characterizing road profiles as Markov chains
Automotive engineering | 2004
|Characterising road profiles as Markov Chains
Tema Archive | 2004
|Modeling Bridge Deterioration with Markov Chains
British Library Online Contents | 1992
|