research-article

Stochastic response-time guarantee for non-preemptive, fixed-priority scheduling under errors

Authors:

Rolf ErnstAuthors Info & Claims

DAC '13: Proceedings of the 50th Annual Design Automation Conference

Article No.: 172, Pages 1 - 7

https://doi.org/10.1145/2463209.2488946

Published: 29 May 2013 Publication History

Abstract

Error recovery mechanisms, such as automatic repeat request (ARQ) for e.g. the CAN protocol, are a crucial part of safety critical embedded systems. These can have a strong impact on the timing behavior of the system and an unpropitious combination of error events may cause a real-time application to miss deadlines with potentially hazardous consequences. Therefore, formal analysis of the worst-case timing including errors is indispensable for certification. We present a new convolution-based stochastic analysis in which we model errors as additional execution time to bound the probability for an activation to exceed a response-time value in the worst-case.

References

[1]

P. Axer, M. Sebastian, and R. Ernst. Probabilistic response time bound for can messages with arbitrary deadlines. In Proc. of DATE, pages 1114--1117, march 2012.

Digital Library

[2]

I. Broster, A. Burns, and G. Rodríguez-Navas. Probabilistic analysis of CAN with faults. In Proc. of Real-Time Systems Symposium, pages 269--278. IEEE, 2002.

Digital Library

[3]

I. Broster, A. Burns, and G. Rodriguez-Navas. Comparing real-time communication under electromagnetic interference. In Proc. 16th ECRTS, pages 45--52, 2004.

Digital Library

[4]

A. Burns, S. Punnekkat, L. Strigini, and D. R. Wright. Probabilistic scheduling guarantees for fault-tolerant real-time systems. In Proc. of Dependable Computing for Critical Applications, pages 361--378, 1999.

Digital Library

[5]

R. Davis, A. Burns, R. Bril, and J. Lukkien. Controller area network (can) schedulability analysis: Refuted, revisited and revised. Real-Time Systems, 35(3):239--272, 2007.

Digital Library

[6]

J. L. Diaz, D. F. Garcia, K. Kim, C.-G. Lee, L. Lo Bello, J. M. Lopez, S. L. Min, and O. Mirabella. Stochastic analysis of periodic real-time systems. In Proc. 23rd IEEE Real-Time Systems Symp. RTSS 2002, pages 289--300, 2002.

Digital Library

[7]

J. L. Diaz, J. M. Lopez, and D. F. Garcia. Probabilistic analysis of the response time in a real time system. In Proc. of the 1st CARTS Workshop on Advanced Real-Time Technologies, 2002.

[8]

J. Ferreira, A. Oliveira, P. Fonseca, and J. Fonseca. An experiment to assess bit error rate in can. Proc. of RTN, 2004.

[9]

International Electrotechnical Commission (IEC). Functional safety of electrical/electronic/programmable electronic safety-related systems ed2.0, 2010.

[10]

International Organization for Standardization (ISO). Iso/fdis 26262: Road vehicles -- functional safety, 2000.

[11]

H. Kopetz. Real-Time Systems: Design Principles for Distributed Embedded Applications. Kluwer Academic Publishers, Norwell, MA, USA, 1997.

Digital Library

[12]

J. Lehoczky. Fixed Priority Scheduling of Periodic Task Sets with Arbitrary Deadlines. Proc. 11th RTSS, pages 201--209, Dec 1990.

[13]

S. Punnekkat and A. Burns. Analysis of checkpointing for schedulability of real-time systems. In Proc. of Int. Workshop Real-Time Computing Systems and Applications, pages 198--205, 1997.

Digital Library

[14]

K. Richter. Compositional scheduling analysis using standard event models. PhD thesis, TU Braunschweig, 2005.

[15]

Robert Bosch GmbH, Postfach 30 02 40, D-70442 Stuttgart. CAN Specification version 2.0, 1991.

[16]

S. Schliecker, J. Rox, M. Ivers, and R. Ernst. Providing accurate event models for the analysis of heterogeneous multiprocessor systems. In Proc. of 6th CODES-ISSS, pages 185--190, Atlanta, GA, USA, October 2008. ACM New York.

Digital Library

[17]

M. Sebastian and R. Ernst. Reliability Analysis of Single Bus Communication with Real-Time Requirements. In Proc. of PRDC, pages 3--10, 2009.

Digital Library

[18]

K. Tindell and A. Burns. Guaranteeing message latencies on control area network (can). In Proceedings of the 1st International CAN Conference. Citeseer, 1994.

[19]

K. W. Tindell, A. Burns, and A. J. Wellings. An Extendible Approach for Analyzing Fixed Priority Hard Real-Time Tasks. Real-Time Systems, 6(2):133--151, 1994.

Digital Library

Cited By

Cai YPhan LThiagarajan P(2024)Analysis of Long-term Average Behaviors of Probabilistic Task SystemsProceedings of the 32nd International Conference on Real-Time Networks and Systems10.1145/3696355.3696365(278-289)Online publication date: 6-Nov-2024
https://dl.acm.org/doi/10.1145/3696355.3696365
von der Bruggen GPiatkowski NChen KChen JMorik KBrandenburg B(2021)Efficiently Approximating the Worst-Case Deadline Failure Probability Under EDF2021 IEEE Real-Time Systems Symposium (RTSS)10.1109/RTSS52674.2021.00029(214-226)Online publication date: Dec-2021
https://doi.org/10.1109/RTSS52674.2021.00029
Chen KUeter Nder Bruggen GChen J(2019)Efficient Computation of Deadline-Miss Probability and Potential Pitfalls2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)10.23919/DATE.2019.8714908(896-901)Online publication date: Mar-2019
https://doi.org/10.23919/DATE.2019.8714908
Show More Cited By

Index Terms

Stochastic response-time guarantee for non-preemptive, fixed-priority scheduling under errors

Recommendations

Analyzing Stochastic Fixed-Priority Real-Time Systems
TACAS '99: Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems

Traditionally, real-time systems require that the deadlines of all jobs be met. For many applications, however, this is an overly stringent requirement. An occasional missed deadline may cause decreased performance but is nevertheless acceptable. We ...
Merasa: Multicore Execution of Hard Real-Time Applications Supporting Analyzability

The Merasa project aims to achieve a breakthrough in hardware design, hard real-time support in system software, and worst-case execution time analysis tools for embedded multicore processors. The project focuses on developing multicore processor designs ...
Analysis on quantum-based fixed priority scheduling of real-time tasks
ICUIMC '09: Proceedings of the 3rd International Conference on Ubiquitous Information Management and Communication

Fixed priority schedulers are widely used for real-time systems, and there were efforts to improve the schedulability. Preemption threshold scheduling is one of such efforts with a dual priority scheme. It increases the schedulability by introducing ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

DAC '13: Proceedings of the 50th Annual Design Automation Conference

May 2013

1285 pages

ISBN:9781450320719

DOI:10.1145/2463209

Copyright © 2013 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

EDAC: Electronic Design Automation Consortium
SIGDA: ACM Special Interest Group on Design Automation
IEEE-CEDA

In-Cooperation

SIGBED: ACM Special Interest Group on Embedded Systems

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 29 May 2013

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

DAC '13

Sponsor:

EDAC
SIGDA

DAC '13: The 50th Annual Design Automation Conference 2013

May 29 - June 7, 2013

Texas, Austin

Acceptance Rates

Overall Acceptance Rate 1,770 of 5,499 submissions, 32%

Upcoming Conference

DAC '25

Sponsor:
sigda

62nd ACM/IEEE Design Automation Conference

June 22 - 26, 2025

San Francisco , CA , USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

13
Total Citations
View Citations
179
Total Downloads

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

Reflects downloads up to 08 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Cai YPhan LThiagarajan P(2024)Analysis of Long-term Average Behaviors of Probabilistic Task SystemsProceedings of the 32nd International Conference on Real-Time Networks and Systems10.1145/3696355.3696365(278-289)Online publication date: 6-Nov-2024
https://dl.acm.org/doi/10.1145/3696355.3696365
von der Bruggen GPiatkowski NChen KChen JMorik KBrandenburg B(2021)Efficiently Approximating the Worst-Case Deadline Failure Probability Under EDF2021 IEEE Real-Time Systems Symposium (RTSS)10.1109/RTSS52674.2021.00029(214-226)Online publication date: Dec-2021
https://doi.org/10.1109/RTSS52674.2021.00029
Chen KUeter Nder Bruggen GChen J(2019)Efficient Computation of Deadline-Miss Probability and Potential Pitfalls2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)10.23919/DATE.2019.8714908(896-901)Online publication date: Mar-2019
https://doi.org/10.23919/DATE.2019.8714908
Ren JXu ZYu CLin CWu GTan G(2019)Execution allowance based fixed priority scheduling for probabilistic real-time systemsJournal of Systems and Software10.1016/j.jss.2019.03.001152:C(120-133)Online publication date: 1-Jun-2019
https://dl.acm.org/doi/10.1016/j.jss.2019.03.001
Ren JBi RSu XLiu QWu GTan G(2018)Workload-aware harmonic partitioned scheduling for probabilistic real-time systems2018 Design, Automation & Test in Europe Conference & Exhibition (DATE)10.23919/DATE.2018.8342005(213-218)Online publication date: Mar-2018
https://doi.org/10.23919/DATE.2018.8342005
Chen KVon Der Bruggen GChen J(2018)Analysis of Deadline Miss Rates for Uniprocessor Fixed-Priority Scheduling2018 IEEE 24th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)10.1109/RTCSA.2018.00028(168-178)Online publication date: Aug-2018
https://doi.org/10.1109/RTCSA.2018.00028
Graf SQuinton SGirault AGössler G(2018)Building Correct Cyber-Physical Systems: Why We Need a Multiview Contract TheoryFormal Methods for Industrial Critical Systems10.1007/978-3-030-00244-2_2(19-31)Online publication date: 30-Aug-2018
https://doi.org/10.1007/978-3-030-00244-2_2
Wang THomsi SNiu LRen SBai OQuan GQiu M(2017)Harmonicity-Aware Task Partitioning for Fixed Priority Scheduling of Probabilistic Real-Time Tasks on Multi-Core PlatformsACM Transactions on Embedded Computing Systems10.1145/306481316:4(1-21)Online publication date: 28-Jul-2017
https://dl.acm.org/doi/10.1145/3064813
Chen KChen J(2017)Probabilistic schedulability tests for uniprocessor fixed-priority scheduling under soft errors2017 12th IEEE International Symposium on Industrial Embedded Systems (SIES)10.1109/SIES.2017.7993392(1-8)Online publication date: Jun-2017
https://doi.org/10.1109/SIES.2017.7993392
Chen CPanerati JHafnaoui IBeltrame G(2017)Static probabilistic timing analysis with a permanent fault detection mechanism2017 12th IEEE International Symposium on Industrial Embedded Systems (SIES)10.1109/SIES.2017.7993373(1-10)Online publication date: Jun-2017
https://doi.org/10.1109/SIES.2017.7993373
Show More Cited By

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