Runtime Verification for Ultra-Critical Systems

• ABSTRACT:
  
  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, and we describe a case study in a Byzantine fault-tolerant airspeed system.

• BIBTEX:
  

  @InProceedings{pike-rv-11,
    author =    {Lee Pike and Sebastian Niller and Nis Wegmann},
    title =     {Runtime Verification for Ultra-Critical Systems},
    booktitle = {Proceedings of the 2nd Intl. Conference on Runtime Verification},
    publisher = {Springer},
    series  =   {LNCS},
    year =      {2011},
    month =     {September},
    note =      {Preprint available at \url{https://leepike.github.io/pub_pages/rv2011.html}},
  }
  

• PAPER DOWNLOAD: pike-rv2011.pdf

• TALK DOWNLOAD: pike-copilot2011.pdf

• Copilot Compiler and Language: http://leepike.github.com/Copilot/.