The OASIS Kernel: A Framework for High Dependability Real-Time Systems

@article{Louise2011TheOK,
  title={The OASIS Kernel: A Framework for High Dependability Real-Time Systems},
  author={St{\'e}phane Louise and Matthieu Lemerre and Christophe Aussagu{\`e}s and Vincent David},
  journal={2011 IEEE 13th International Symposium on High-Assurance Systems Engineering},
  year={2011},
  pages={95-103}
}
This paper presents the design and some aspects of implementation of a highly dependable, safety-oriented kernel for real-time applications. It is specifically designed as an execution facility for a deterministic semi-formal model -- the OASIS model -- which allows to express and verify temporal behaviors and communications of a safety critical real-time application. This paper shows specifically how, from a formalism, and a Domain Specific Language, we achieved to build a generic execution… CONTINUE READING