Article

A Survey of WCET Analysis of Real-Time Operating Systems

Authors:

Ge Yu,

Jianming ZhangAuthors Info & Claims

ICESS '09: Proceedings of the 2009 International Conference on Embedded Software and Systems

Pages 65 - 72

https://doi.org/10.1109/ICESS.2009.24

Published: 25 May 2009 Publication History

Publisher Site

Abstract

Timing correctness of hard real-time systems is guaranteed by schedulability analysis and worst-case execution time (WCET) analysis of programs. Traditional WCET analysis mainly deals with application programs and has achieved success in industry. Timing analysis of application programs along cannot guarantee correctness of complete systems consisting RTOS. WCET tools designed for application program analysis have been applied to analyze RTOS routines by several research groups, but poor WCET estimations have been reported. Timing analysis of real-time systems considering both applications and RTOS has not been fully studied. So we intend to give a survey of related work on WCET analysis of RTOS. By summarizing previous work, challenges of WCET analysis of complete real-time systems are presented, and some possible further research potentials are unleashed.

Cited By

View all

Schuster SWägemann PUlbrich PSchröder-Preikschat WHenkel JLiu X(2021)Annotate once – analyze anywhere: context-aware WCET analysis by user-defined abstractionsProceedings of the 22nd ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems10.1145/3461648.3463847(54-66)Online publication date: 22-Jun-2021
https://dl.acm.org/doi/10.1145/3461648.3463847
Roop PPearce HMonadjem KHu KZhan N(2018)Synchronous neural networks for cyber-physical systemsProceedings of the 16th ACM-IEEE International Conference on Formal Methods and Models for System Design10.5555/3343872.3343876(33-42)Online publication date: 15-Oct-2018
https://dl.acm.org/doi/10.5555/3343872.3343876
Klein GAndronick JElphinstone KMurray TSewell TKolanski RHeiser G(2014)Comprehensive formal verification of an OS microkernelACM Transactions on Computer Systems10.1145/256053732:1(1-70)Online publication date: 26-Feb-2014
https://dl.acm.org/doi/10.1145/2560537
Show More Cited By

A Survey of WCET Analysis of Real-Time Operating Systems
1. Computer systems organization
  1. Embedded and cyber-physical systems
2. Software and its engineering
  1. Software organization and properties
    1. Software system structures

Recommendations

Hardware support for WCET analysis of hard real-time multicore systems
ISCA '09: Proceedings of the 36th annual international symposium on Computer architecture

The increasing demand for new functionalities in current and future hard real-time embedded systems like automotive, avionics and space industries is driving an increase in the performance required in embedded processors. Multicore processors represent ...
WCET Analysis of the mC/OS-II Real-Time Kernel
CSE '09: Proceedings of the 2009 International Conference on Computational Science and Engineering - Volume 02

Worst-case execution time (WCET) analysis is one of the major tasks in timing validation of hard real-time systems. In complex systems with real-time operating systems (RTOS), the timing properties of the system are decided by both the applications and ...
Hardware support for WCET analysis of hard real-time multicore systems

The increasing demand for new functionalities in current and future hard real-time embedded systems like automotive, avionics and space industries is driving an increase in the performance required in embedded processors. Multicore processors represent ...

Comments

Information & Contributors

Information

Published In

ICESS '09: Proceedings of the 2009 International Conference on Embedded Software and Systems

May 2009

563 pages

ISBN:9780769536781

Publisher

IEEE Computer Society

United States

Publication History

Published: 25 May 2009

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

6
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 06 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Schuster SWägemann PUlbrich PSchröder-Preikschat WHenkel JLiu X(2021)Annotate once – analyze anywhere: context-aware WCET analysis by user-defined abstractionsProceedings of the 22nd ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems10.1145/3461648.3463847(54-66)Online publication date: 22-Jun-2021
https://dl.acm.org/doi/10.1145/3461648.3463847
Roop PPearce HMonadjem KHu KZhan N(2018)Synchronous neural networks for cyber-physical systemsProceedings of the 16th ACM-IEEE International Conference on Formal Methods and Models for System Design10.5555/3343872.3343876(33-42)Online publication date: 15-Oct-2018
https://dl.acm.org/doi/10.5555/3343872.3343876
Klein GAndronick JElphinstone KMurray TSewell TKolanski RHeiser G(2014)Comprehensive formal verification of an OS microkernelACM Transactions on Computer Systems10.1145/256053732:1(1-70)Online publication date: 26-Feb-2014
https://dl.acm.org/doi/10.1145/2560537
Baldovin AGraziano AMezzetti EVardanega TShin SMaldonado J(2013)Kernel-level time composability for avionics applicationsProceedings of the 28th Annual ACM Symposium on Applied Computing10.1145/2480362.2480651(1552-1554)Online publication date: 18-Mar-2013
https://dl.acm.org/doi/10.1145/2480362.2480651
Palanca JNavarro MGarcía-Fornes AJulian V(2013)Deadline prediction scheduling based on benefitsFuture Generation Computer Systems10.1016/j.future.2012.05.00729:1(61-73)Online publication date: 1-Jan-2013
https://dl.acm.org/doi/10.1016/j.future.2012.05.007
Kienle HKraft JNolte T(2012)System-specific static code analysesSoftware Quality Journal10.1007/s11219-011-9138-720:2(337-367)Online publication date: 1-Jun-2012
https://dl.acm.org/doi/10.1007/s11219-011-9138-7

Abstract

Cited By

Recommendations

Hardware support for WCET analysis of hard real-time multicore systems

WCET Analysis of the mC/OS-II Real-Time Kernel

Hardware support for WCET analysis of hard real-time multicore systems

Comments

Information

Published In

Publisher

Publication History

Author Tags

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations