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

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 be...

Full description

Saved in:
Bibliographic Details
Main Authors: Louise, S., Lemerre, M., Aussagues, C., David, V.
Format: Conference Proceeding
Language:English
Subjects:
Kernel
Power generation
Real time systems
real-time
Receivers
Safety
safety critical
Synchronization
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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 layer that conforms to the highest levels of safety, how the safety is implemented thank to the interaction between the kernel and the compilation tools, and how performance was optimized within these constraints.
ISSN:1530-2059
2640-7507
DOI:10.1109/HASE.2011.38