HCOS logo

The High-Confidence Operating Systems Project

The goal of this project is to develop self-monitoring systems software and software that can survive failures. This requires several technologies:
  • Model checking and runtime verification of concurrent systems,
  • Compiler-assisted code instrumentation,
  • Context-aware, goal-based instrumentation management, and
  • Hierarchical, Controller-based techniques to allow software to survive partial component failures.
This is a collaborative effort between several laboratories in the Computer Science Department at Stony Brook University: This project is supported by the National Science Foundation, under grant CSR-AES 0509230, and by the Air Force Office of Scientific Research.

This material is based upon work supported by the National Science Foundation under Grant No. 0509230. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the authors and do not necessarily reflect the views of the National Science Foundation.

(Last updated: 5/20/2009)