Provided by: University of New Orleans Fund
Date Added: Oct 2013
In the seL4 microkernel and other capability-based OSs, the right to use resources is managed using abstract capabilities. Capability systems for fungible resources such as memory are well understood, but it has proven difficult to integrate time - i.e., real-time scheduling - into this model, since timeliness (i.e., system-wide schedulability) is a property that is inherently difficult to isolate (without introducing prohibitive inefficiencies). This paper presents FlaRe, a temporal capability system that ensures schedulability and temporal isolation by design.