Mixed-Criticality Support in a High-Assurance, General-Purpose Microkernel

Select |




Print


Lyons, Anna; Heiser, Gernot

Lyons, Anna; Heiser, Gernot


2014-12-02


Conference Material


Workshop on Mixed Criticality Systems


Rome, Italy


9-14


We explore a model for mixed-criticality support in seL4, a high-assurance microkernel designed for real-world use. Specifically we investigate how the seL4 model can be extended without compromising its security properties and its general- purpose nature, including high average-case performance. The proposed model introduces reservations, with admission control performed at user level, similar to how seL4 handles spatial resources.


mixed criticality, real time, microkernels, seL4, scheduling


http://www-users.cs.york.ac.uk/~robdavis/wmc2014/


nicta:8354


Lyons, Anna; Heiser, Gernot. Mixed-Criticality Support in a High-Assurance, General-Purpose Microkernel. In: Rob Davis and Liliana Cucu-Grosjean Editor, editor/s. Workshop on Mixed Criticality Systems; Rome, Italy. 2014-12-02. 9-14.



Loading citation data...

Citation counts
(Requires subscription to view)