[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
Copilot: Monitoring Embedded SystemsRuntime verification (RV) is a natural fit for ultra-critical systems, where correctness is imperative. In ultra-critical systems, even if the software is fault-free, because of the inherent unreliability of commodity hardware and the adversity of operational environments, processing units (and their hosted software) are replicated, and fault-tolerant algorithms are used to compare the outputs. We investigate both software monitoring in distributed fault-tolerant systems, as well as implementing fault-tolerance mechanisms using RV techniques. We describe the Copilot language and compiler, specifically designed for generating monitors for distributed, hard real-time systems. We also describe two case-studies in which we generated Copilot monitors in avionics systems.
Document ID
20120001989
Acquisition Source
Langley Research Center
Document Type
Contractor Report (CR)
Authors
Pike, Lee (Galois, Inc. Portland, OR, United States)
Wegmann, Nis (Copenhagen Univ. Denmark)
Niller, Sebastian (National Inst. of Aerospace Hampton, VA, United States)
Goodloe, Alwyn (National Inst. of Aerospace Hampton, VA, United States)
Date Acquired
August 25, 2013
Publication Date
January 1, 2012
Subject Category
Numerical Analysis
Report/Patent Number
NASA/CR-2012-217329
LF99-13853
Report Number: NASA/CR-2012-217329
Report Number: LF99-13853
Funding Number(s)
WBS: WBS 645846.02.07.07.07.15.02
CONTRACT_GRANT: NNL08AD13T
Distribution Limits
Public
Copyright
Public Use Permitted.

Related Records

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