NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
Markov Chains For Testing Redundant SoftwarePreliminary 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.
Document ID
19900000139
Acquisition Source
Legacy CDMS
Document Type
Other - NASA Tech Brief
Authors
White, Allan L. (NASA Langley Research Center, Hampton, VA.)
Sjogren, Jon A. (Army Avionics Research and Development Activity)
Date Acquired
August 14, 2013
Publication Date
March 1, 1990
Publication Information
Publication: NASA Tech Briefs
Volume: 14
Issue: 3
ISSN: 0145-319X
Subject Category
Mathematics And Information Sciences
Report/Patent Number
LAR-13812
Accession Number
90B10139
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.

Available Downloads

There are no available downloads for this record.

Related Records

There are no records associated with this record.
No Preview Available