1988. Proceedings., Annual Reliability and Maintainability Symposium,
DOI: 10.1109/arms.1988.196488 View full text |Buy / Rent full text

Abstract: A preliminary design for a validation experiment has been developed that addresses several problems that are unique to assuring extremely high quality of multiple version programs in process control software. successful, the experimental procedure tests If the the programs in a realistic manner; it makes a minimum nwnber of assumptions; and it is more efficient than natural life testing. The procedure uses Markov chains to model the error states of the multiple version programs. observed during simulated proce… Show more

Help me understand this report

This publication either has no citations yet, or we are still processing them

Set email alert for when this publication receives citations?

See others like this or search for similar articles