Article

Worst-Case Execution Time Analysis of the RTEMS Real-Time Operating System

Authors:

Antoine Colin,

Isabelle PuautAuthors Info & Claims

ECRTS '01: Proceedings of the 13th Euromicro Conference on Real-Time Systems

Page 191

Published: 13 June 2001 Publication History

Publisher Site

Abstract

Abstract: An important issue in building operating systems for hard real-time applications is to compute the worst-case execution times (WCET) of the operating system activities. Traditionally, this has been achieved by an exhaustive testing of the operating system, with a careful attention on the testing conditions to reproduce the worst-case execution scenario. In this paper, we explore the alternative approach of using static analysis to predict off-line the WCET of the system calls of a real-time kernel, the RTEMS kernel [11]. We give qualitative and quantitative results on the analysis of RTEMS, and draw some conclusions on the extent to which static analysis can be used on operating system code.

Cited By

View all

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
Blackham BShi YHeiser GChen HZhang ZMoon SZhou Y(2011)Protected hard real-timeProceedings of the Second Asia-Pacific Workshop on Systems10.1145/2103799.2103801(1-5)Online publication date: 11-Jul-2011
https://dl.acm.org/doi/10.1145/2103799.2103801
Wilhelm REngblom JErmedahl AHolsti NThesing SWhalley DBernat GFerdinand CHeckmann RMitra TMueller FPuaut IPuschner PStaschulat JStenström P(2008)The worst-case execution-time problem—overview of methods and survey of toolsACM Transactions on Embedded Computing Systems10.1145/1347375.13473897:3(1-53)Online publication date: 8-May-2008
https://dl.acm.org/doi/10.1145/1347375.1347389
Show More Cited By

Recommendations

Static Worst-Case Execution Time Analysis Tool for Embedded Operating Systems
ICCSA '08: Proceeding sof the international conference on Computational Science and Its Applications, Part I

Real-time support of embedded Operating Systems is essential for contemporary embedded systems. In order to achieve supporting real-time property, it is crucial that schedulability analysis for real-time task is finished before implementing the embedded ...
A Survey of WCET Analysis of Real-Time Operating Systems
ICESS '09: Proceedings of the 2009 International Conference on Embedded Software and Systems

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. ...
Worst-case execution-time analysis for embedded real-time systemsTHANKSREF="*"ID="*"This work was performed within the Advanced Software Technology (ASTEC, http: //www.astec.uu.se) competence center, supported by the Swedish National Board for Industrial and Technical Development (NUTEK, http://www.nutek.se).

In this article we give an overview of the worst-case execution time (WCET) analysis research performed by the WCET group of the ASTEC Competence Centre at Uppsala University. Knowing the WCET of a program is necessary when designing and verifying real-...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ECRTS '01: Proceedings of the 13th Euromicro Conference on Real-Time Systems

June 2001

Publisher

IEEE Computer Society

United States

Publication History

Published: 13 June 2001

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

7
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 21 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

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
Blackham BShi YHeiser GChen HZhang ZMoon SZhou Y(2011)Protected hard real-timeProceedings of the Second Asia-Pacific Workshop on Systems10.1145/2103799.2103801(1-5)Online publication date: 11-Jul-2011
https://dl.acm.org/doi/10.1145/2103799.2103801
Wilhelm REngblom JErmedahl AHolsti NThesing SWhalley DBernat GFerdinand CHeckmann RMitra TMueller FPuaut IPuschner PStaschulat JStenström P(2008)The worst-case execution-time problem—overview of methods and survey of toolsACM Transactions on Embedded Computing Systems10.1145/1347375.13473897:3(1-53)Online publication date: 8-May-2008
https://dl.acm.org/doi/10.1145/1347375.1347389
Rangarajan MCofer D(2007)Computing worst-case response times in real-time avionics applicationsProceedings of the 12th international conference on Formal methods for industrial critical systems10.5555/1793603.1793614(101-114)Online publication date: 1-Jul-2007
https://dl.acm.org/doi/10.5555/1793603.1793614
Heiser GElphinstone KKuz IKlein GPetters S(2007)Towards trustworthy computing systemsACM SIGOPS Operating Systems Review10.1145/1278901.127890441:4(3-11)Online publication date: 1-Jul-2007
https://dl.acm.org/doi/10.1145/1278901.1278904
Bouyssounouse BSifakis J(2005)Real-Time operating systemsEmbedded Systems Design10.5555/2137690.2137714(258-286)Online publication date: 1-Jan-2005
https://dl.acm.org/doi/10.5555/2137690.2137714
Sandell DErmedahl AGustafsson JLisper B(2004)Static timing analysis of real-time operating system codeProceedings of the First international conference on Leveraging Applications of Formal Methods10.1007/11925040_10(146-160)Online publication date: 30-Oct-2004
https://dl.acm.org/doi/10.1007/11925040_10

Abstract

Cited By

Recommendations

Static Worst-Case Execution Time Analysis Tool for Embedded Operating Systems

A Survey of WCET Analysis of Real-Time Operating Systems

Comments

Information

Published In

Publisher

Publication History

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