Copilot: Monitoring Embedded Systems

• ABSTRACT:
  
  Runtime verification (RV) is a natural fit for ultra-critical systems that require correct software behavior. Due to the low reliability of commodity hardware and the adversity of operational environments, it is common in ultra-critical systems to replicate processing units (and their hosted software) and incorporate fault-tolerant algorithms to compare the outputs, even if the software is considered to be fault-free. In this paper, we investigate the use of software monitoring in distributed fault-tolerant systems and the implementation of fault-tolerance mechanisms using RV techniques. We describe the Copilot language and compiler that generates monitors for distributed real-time systems, and we discuss two case-studies in which Copilot-generated monitors were used to detect onboard software and hardware faults and monitor air-ground data link messaging protocols.

• BIBTEX:
  

  @InProceedings{pike-isse,
    author    = {Lee Pike and Nis Wegmann and Sebastian Niller and Alwyn Goodloe},
    title     = {Copilot: Monitoring Embedded Systems},
    booktitle = {Innovations in Systems and Software Engineering: Special Issue on Software Health Management},
    publisher = {Springer},
    volume    = {9},
    number    = {4},
    year      = {2013},
   pages      = {235-255}
    note      = {Preprint available at \url{https://leepike.github.io/pub_pages/isse.html}},
  }
  

• PAPER DOWNLOAD: pike-isse.pdf