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:

• The Concurrency and Verification Lab,
• The Design and Analysis Research Lab, and
• The File systems and Storage Lab.

This project is supported by the National Science Foundation, under grant CSR-AES 0509230, and by the Air Force Office of Scientific Research.