| タイトル | Copilot: Monitoring Embedded Systems |
| 本文（外部サイト） | http://hdl.handle.net/2060/20120001989 |
| 著者（英） | Niller, Sebastian; Goodloe, Alwyn; Pike, Lee; Wegmann, Nis |
| 著者所属（英） | NASA Langley Research Center |
| 発行日 | 2012-01-01 |
| 言語 | eng |
| 内容記述 | Runtime 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. |
| NASA分類 | Numerical Analysis |
| レポートNO | LF99-13853
NASA/CR-2012-217329 |
| 権利 | Copyright, Distribution under U.S. Government purpose rights |
|
