research-article

Modelling probabilistic timing analysis: work-in-progress

Authors:

Bojan Nokovic,

Emil SekerinskiAuthors Info & Claims

EMSOFT '17: Proceedings of the Thirteenth ACM International Conference on Embedded Software 2017 Companion

Article No.: 4, Pages 1 - 2

https://doi.org/10.1145/3125503.3125566

Published: 15 October 2017 Publication History

Get Access

Abstract

We describe the process of calculating the execution time profile (ETP) in order to determine the probabilistic worst case execution time (WCET) using a model-based approach. By hierarchical state machines with probabilistic transitions and costs/reward specifications, we model the instructions with probabilistic execution time. From the model, our tool, pState, generates input code for a probabilistic model checker on which properties can be analysed.

References

[1]

A. Burns and S. Edgar. 2000. Predicting computation time for advanced processor architectures. In Proceedings 12th Euromicro Conference on Real-Time Systems. Euromicro RTS 2000. IEEE Xplore Digital Library, Stockholm, Sweden, 89--96.

Crossref

Google Scholar

[2]

S. Edgar and A. Burns. 2001. Statistical analysis of WCET for scheduling. In Real-Time Systems Symposium, 2001. (RTSS 2001). Proceedings. 22nd IEEE. IEEE Xplore Digital Library, London, UK, 215--224.

Crossref

Google Scholar

[3]

AbsInt Angewandte Informatik. 2015. AbsInt. http://www.absint.com/. (June 2015).

Google Scholar

[4]

Abella Jaume, Hardy Damien, Puaut Isabelle, Quinones Eduardo, and J. Cazorla Francisco. 2014. On the Comparison of Deterministic and Probabilistic WCET Estimation Techniques. 2014 26th Euromicro Conference on Real-Time Systems (ECRTS) 00 (2014), 266--275.

Google Scholar

[5]

Phillip A. Laplante. 1992. Real-Time Systems Design and Analysis: An Engineer's Handbook. IEEE Press, Piscataway, NJ, USA.

Google Scholar

[6]

Bojan Nokovic and Emil Sekerinski. 2015. Model-based WCET Analysis with Invariants. In Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015), Edinburgh, UK, Sep., 2015 (Electronic Communications of the EASST), Gudmund Grov and Andrew Ireland (Eds.), Vol. 72. Electronic Communications of the EASST, Berlin, Edinburgh, Scotland, UK, 196--210.

Crossref

Google Scholar

Index Terms

Modelling probabilistic timing analysis: work-in-progress
1. Software and its engineering
  1. Software creation and management
    1. Software verification and validation

Recommendations

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. ...
Measurement-Based Probabilistic Timing Analysis and Its Impact on Processor Architecture
DSD '14: Proceedings of the 2014 17th Euromicro Conference on Digital System Design

Critical Real-Time Embedded Systems (CRTES) industry needs increasingly complex hardware to attain the performance/cost ratio required to keep competitive edge in the market. Worst-case execution time (WCET) analysis is central to CRTES development. ...
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 ...

Comments

Information & Contributors

Information

Published In

EMSOFT '17: Proceedings of the Thirteenth ACM International Conference on Embedded Software 2017 Companion

October 2017

17 pages

ISBN:9781450351867

DOI:10.1145/3125503

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]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 15 October 2017

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

ESWEEK'17

ESWEEK'17: THIRTEENTH EMBEDDED SYSTEM WEEK

October 15 - 20, 2017

Seoul, Republic of Korea

Acceptance Rates

Overall Acceptance Rate 60 of 203 submissions, 30%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

0
Total Citations
55
Total Downloads

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

Reflects downloads up to 03 Sep 2024

Other Metrics

View Author Metrics

Citations

View Options

Get Access

Login options

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

Index Terms

Recommendations

A Survey of WCET Analysis of Real-Time Operating Systems

Measurement-Based Probabilistic Timing Analysis and Its Impact on Processor Architecture

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

Comments

Published In

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Other Metrics

Article Metrics

Other Metrics

Login options

Full Access

PDF

eReader

Abstract

References

Index Terms

Recommendations

A Survey of WCET Analysis of Real-Time Operating Systems

Measurement-Based Probabilistic Timing Analysis and Its Impact on Processor Architecture

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

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Get Access

Login options

Full Access

View options

PDF

eReader

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations