RODOS real time kernel design for dependability

RODOS is a real-time embedded operating system designed for application domains demanding high dependability. The RODOS real-time kernel and middleware provide an integrated object-oriented framework to multitasking resource management and to the NetworkCentric communication infrastructure. The RODOS framework seeks to offer the simplest and smallest possible interface to user applications, while still providing all the required functionality and flexibility.