Sciweavers

Share
VEE
2005
ACM

A programmable microkernel for real-time systems

9 years 5 months ago
A programmable microkernel for real-time systems
We present a new software system architecture for the implementation of hard real-time applications. The core of the system is a microkernel whose reactivity (interrupt handling as in synchronous reactive programs) and proactivity (task scheduling as in traditional RTOSs) are fully programmable. The microkernel, which we implemented on a StrongARM processor, consists of two interacting domain-specific virtual machines, a reactive E (Embedded) machine and a proactive S (Scheduling) machine. The microkernel code (or microcode) that runs on the microkernel is partitioned into E and S code. E code manages the interaction of the system with the physical environment: the execution of E code is triggered by environment interrupts, which signal external events such as the arrival of a message or sensor value, and it releases application tasks to the S machine. S code manages the interaction of the system with the processor: the execution of S code is triggered by hardware interrupts, which s...
Christoph M. Kirsch, Marco A. A. Sanvido, Thomas A
Added 26 Jun 2010
Updated 26 Jun 2010
Type Conference
Year 2005
Where VEE
Authors Christoph M. Kirsch, Marco A. A. Sanvido, Thomas A. Henzinger
Comments (0)
books