Paper Info
Title
Protected hard real-time: the next frontier
Abstract
Hard real-time systems are typically written to execute either on bare metal or on a small real-time executive that offers no memory protection. This model scales poorly as systems become more complex and integrated, as is the trend in industry today. Designing hard real-time systems on a protected OS is often avoided due to the difficulty in predicting its response time. Hard real-time systems with full virtual memory and memory protection have been proposed previously. However, to our knowledge, no such system has determined safe upper bounds on the latency introduced by this protection. This paper proposes that hard real-time systems can be constructed confidently and cost-effectively using an operating system providing full memory protection and virtual memory. We contend that a carefully written microkernel providing these mechanisms has the ability to be used in a hard real-time system without overly pessimistic response time guarantees. We use the seL4 microkernel as a case study, investigating how the features of seL4's design enable a highly accurate WCET analysis.
Year
DOI
Venue
2011
10.1145/2103799.2103801
ApSys
Keywords
Field
DocType
next frontier,response time,pessimistic response time guarantee,small real-time executive,memory protection,sel4 microkernel,operating system,virtual memory,hard real-time system,full memory protection,full virtual memory,real time,upper bound,cost effectiveness,worst case execution time
Memory protection,Worst-case execution time,Latency (engineering),Virtual memory,Computer science,As is,Microkernel,Response time,Embedded system
Conference
Citations 
PageRank 
References 
3
0.40
8
Authors
3
Name
Order
Citations
PageRank
Bernard Blackham1694.41
Yao Shi212413.96
Gernot Heiser32525137.42