research-article

Protected hard real-time: the next frontier

Authors:

Bernard Blackham,

Gernot HeiserAuthors Info & Claims

APSys '11: Proceedings of the Second Asia-Pacific Workshop on Systems

Article No.: 1, Pages 1 - 5

https://doi.org/10.1145/2103799.2103801

Published: 11 July 2011 Publication History

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.

References

[1]

{CEE⁺02} Martin Carlsson, Jakob Engblom, Andreas Ermedahl, Jan Lindblad, and Björn Lisper. Worst-case execution time analysis of disable interrupt regions in a commercial real-time operating system. In 2nd International Workshop on Real-Time Tools, 2002.

[2]

{CP01} Antoine Colin and Isabelle Puaut. Worst case execution time analysis of the RTEMS real-time operating system. In 13th ECRTS, pages 191--198, Delft, Netherlands, Jun 13--15 2001.

Digital Library

[3]

{KEH⁺09} Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, and Simon Winwood. seL4: Formal verification of an OS kernel. In 22nd SOSP, pages 207--220, Big Sky, MT, USA, Oct 2009. ACM.

Digital Library

[4]

{KWRP05} Raimund Kirner, Ingomar Wenzel, Bernhard Rieder, and Peter Puschner. Using measurements as a complement to static worst-case execution time analysis. In Intelligent Systems at the Service of Mankind, volume 2. UBooks Verlag, Dec 2005.

[5]

{Lie93a} Jochen Liedtke. A high resolution MMU for the realization of huge fine-grained address spaces and user level mapping. Arbeitspapiere der GMD No. 791, German National Research Center for Computer Science (GMD), Sankt Augustin, Germany, 1993.

[6]

{Lie93b} Jochen Liedtke. Improving IPC by kernel design. In 14th SOSP, pages 175--188, Asheville, NC, USA, Dec 1993.

Digital Library

[7]

{Lie96} Jochen Liedtke. Towards real microkernels. CACM, 39(9):70--77, Sep 1996.

Digital Library

[8]

{LLMR07} Xianfeng Li, Yun Liang, Tulika Mitra, and Abhik Roychoudhury. Chronos: A timing analyzer for embedded software. In Science of Computer Programming, Special issue on Experimental Software and Toolkit, volume 69(1--3), Dec 2007.

Digital Library

[9]

{LMW95} Yau-Tsun Li, Sharad Malik, and Andrew Wolfe. Efficient microarchitecture modeling and path analysis for real-time software. In IEEE Real-Time Systems Symposium, pages 298--307, 1995.

Digital Library

[10]

{MHH02} Frank Mehnert, Michael Hohmuth, and Hermann Härtig. Cost and benefit of separate address spaces in real-time operating systems. In 23rd RTSS, Austin, TX, USA, 2002.

Digital Library

[11]

{MHSH01} Frank Mehnert, Michael Hohmuth, Sebastian Schönberg, and Hermann Härtig. RTLinux with address spaces. In 3rd Real-Time Linux WS, Milano, Italy, nov 2001.

[12]

{PZH07} Stefan M. Petters, Patryk Zadarnowski, and Gernot Heiser. Measurements or static analysis or both? In 7th WS Worst-Case Execution-Time Analysis, Pisa, Italy, Jul 2007. Satellite WS 19th ECRTS.

[13]

{SEGL04} Daniel Sandell, Andreas Ermedahl, Jan Gustafsson, and Björn Lisper. Static timing analysis of real-time operating system code. In 1st International Symposium on Leveraging Applications of Formal Methods (ISOLA'04), October 2004.

[14]

{SP07} Mohit Singal and Stefan M. Petters. Issues in analysing L4 for its WCET. In 1st MIKES, Sydney, Australia, Jan 2007. NICTA.

[15]

{YB97} Victor Yodaiken and Michael Barabanov. A real-time Linux. In Proceedings of the Linux Applications Development and Deployment Conference (USELINUX), Anaheim, CA, January 1997.

Cited By

Luan GBai YXu LYu CWang CZeng JChen QWang W(2018)Towards Fault-Tolerant Task Backup and Recovery in the seL4 Microkernel2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC)10.1109/COMPSAC.2018.00107(721-726)Online publication date: Jul-2018
https://doi.org/10.1109/COMPSAC.2018.00107
Xu LBai YCheng KGe LNie DZhang LLiu W(2016)Towards Fault-Tolerant Real-Time Scheduling in the seL4 Microkernel2016 IEEE 18th International Conference on High Performance Computing and Communications; IEEE 14th International Conference on Smart City; IEEE 2nd International Conference on Data Science and Systems (HPCC/SmartCity/DSS)10.1109/HPCC-SmartCity-DSS.2016.0104(711-718)Online publication date: Dec-2016
https://doi.org/10.1109/HPCC-SmartCity-DSS.2016.0104
Yoo SYoo C(2014)Real-Time Scheduling for Xen-ARM Virtual MachinesIEEE Transactions on Mobile Computing10.1109/TMC.2013.10913:8(1857-1867)Online publication date: Aug-2014
https://doi.org/10.1109/TMC.2013.109
Show More Cited By

Index Terms

Protected hard real-time: the next frontier
1. Computer systems organization
  1. Embedded and cyber-physical systems
    1. Embedded systems
  2. Real-time systems
2. Software and its engineering
  1. Software creation and management
    1. Software development process management
      1. Software development methods
  2. Software organization and properties
    1. Software system structures
      1. Embedded software
      2. Real-time systems software

Recommendations

Improving interrupt response time in a verifiable protected microkernel
EuroSys '12: Proceedings of the 7th ACM european conference on Computer Systems

Many real-time operating systems (RTOSes) offer very small interrupt latencies, in the order of tens or hundreds of cycles. They achieve this by making the RTOS kernel fully preemptible, permitting interrupts at almost any point in execution except for ...
Implementation of Hard Real-Time Embedded Control Systems

Although the domain of hard real-time systems has been thoroughly elaborated in the academic sphere, embedded computer control systems –- being an important component in mechatronic designs –- are seldom dealt with consistently. Often, off-the-shelf ...
Predictable Threads for Dynamic, Hard Real-Time Environments

Next-generation, hard real-time systems will require new, flexible functionality and guaranteed, predictable performance. This paper describes the UMass Spring threads package, designed specifically for multiprocessing in dynamic, hard real-time ...

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences

APSys '11: Proceedings of the Second Asia-Pacific Workshop on Systems

July 2011

97 pages

ISBN:9781450311793

DOI:10.1145/2103799

General Chairs:
Haibo Chen
Fudan University, China
,
Zheng Zhang
Microsoft Research Asia, China
,
Program Chairs:
Sue Moon
KAIST, Korea
,
Yuanyuan Zhou
University of California, San Diego, USA

Copyright © 2011 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

USENIX Assoc: USENIX Assoc

In-Cooperation

SIGOPS: ACM Special Interest Group on Operating Systems

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 11 July 2011

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

APSys '11

Sponsor:

USENIX Assoc

APSys '11: Asia Pacific Workshop on Systems

July 11 - 12, 2011

Shanghai, China

Acceptance Rates

Overall Acceptance Rate 169 of 430 submissions, 39%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
169
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Reflects downloads up to 10 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Luan GBai YXu LYu CWang CZeng JChen QWang W(2018)Towards Fault-Tolerant Task Backup and Recovery in the seL4 Microkernel2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC)10.1109/COMPSAC.2018.00107(721-726)Online publication date: Jul-2018
https://doi.org/10.1109/COMPSAC.2018.00107
Xu LBai YCheng KGe LNie DZhang LLiu W(2016)Towards Fault-Tolerant Real-Time Scheduling in the seL4 Microkernel2016 IEEE 18th International Conference on High Performance Computing and Communications; IEEE 14th International Conference on Smart City; IEEE 2nd International Conference on Data Science and Systems (HPCC/SmartCity/DSS)10.1109/HPCC-SmartCity-DSS.2016.0104(711-718)Online publication date: Dec-2016
https://doi.org/10.1109/HPCC-SmartCity-DSS.2016.0104
Yoo SYoo C(2014)Real-Time Scheduling for Xen-ARM Virtual MachinesIEEE Transactions on Mobile Computing10.1109/TMC.2013.10913:8(1857-1867)Online publication date: Aug-2014
https://doi.org/10.1109/TMC.2013.109
YOO SKWAK KJO JYOO C(2012)Predictable Packet Latency in Xen-ARMIEICE Transactions on Information and Systems10.1587/transinf.E95.D.2613E95.D:11(2613-2623)Online publication date: 2012
https://doi.org/10.1587/transinf.E95.D.2613
Blackham BShi YHeiser GFelber PBellosa FBos H(2012)Improving interrupt response time in a verifiable protected microkernelProceedings of the 7th ACM european conference on Computer Systems10.1145/2168836.2168869(323-336)Online publication date: 10-Apr-2012
https://dl.acm.org/doi/10.1145/2168836.2168869

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten