research-article

Typical Worst Case Response-Time Analysis and its Use in Automotive Network Design

Authors:

Rolf ErnstAuthors Info & Claims

DAC '14: Proceedings of the 51st Annual Design Automation Conference

Pages 1 - 6

https://doi.org/10.1145/2593069.2602977

Published: 01 June 2014 Publication History

Get Access

Abstract

For some automotive applications, worst case performance guarantees are too expensive, but a minimum level of performance must be formally guaranteed. For such applications, we have developed an approach called Typical Worst Case Analysis (TWCA) which can formally bound the number of violations of the computed response-time guarantee in a given time window. In this paper, we demonstrate how it can be used to analyze a real CAN bus with complex load patterns. We investigate the effects of these load patterns and show how the necessary parameters can be derived and verified from traces and specifications. We compare the results to the commonly used base load approximation --- like a 50%-limit for cyclic load --- showing superior accuracy and expressiveness.

References

[1]

S. Quinton, M. Hanke, and R. Ernst, "Formal analysis of sporadic overload in real-time systems," in Proceedings of DATE, 2012, pp. 515--520.

Digital Library

Google Scholar

[2]

S. Quinton, M. Negrean, and R. Ernst, "Formal analysis of sporadic bursts in real-time systems," in Proceedings of DATE, 2013, pp. 767--772.

Digital Library

Google Scholar

[3]

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

Digital Library

Google Scholar

[4]

S. Mubeen, J. MÃd'ki-Turja, and M. SjÃűdin, "Extending schedulability analysis of controller area network (CAN) for mixed (periodic/sporadic) messages." in Proceedings of ETFA, 2011, pp. 1--10.

Google Scholar

[5]

J. M. López, J. L. Díaz, J. Entrialgo, and D. F. García, "Stochastic analysis of real-time systems under preemptive priority-driven scheduling," Real-Time Systems, vol. 40, no. 2, pp. 180--207, 2008.

Digital Library

Google Scholar

[6]

F. J. Cazorla, E. Quiñones, T. Vardanega, L. Cucu, B. Triquet, G. Bernat, E. D. Berger, J. Abella, F. Wartel, M. Houston, L. Santinelli, L. Kosmidis, C. Lo, and D. Maxim, "PROARTIS: Probabilistically analyzable real-time systems," ACM Trans. Embedded Comput. Syst., vol. 12, no. 2s, p. 94, 2013.

Digital Library

Google Scholar

[7]

R. Henia, A. Hamann, M. Jersak, R. Racu, K. Richter, and R. Ernst, "System level performance analysis --- the SymTA/S approach," in IEE Proceedings Computers and Digital Techniques, 2005.

Google Scholar

[8]

G. Bernat, A. Burns, and A. Llamosí, "Weakly hard real-time systems," IEEE Trans. Computers, vol. 50, no. 4, pp. 308--321, 2001.

Digital Library

Google Scholar

[9]

P. Kumar and L. Thiele, "Quantifying the effect of rare timing events with settling-time and overshoot." in Proceedings of RTSS, 2012, pp. 149--160.

Digital Library

Google Scholar

[10]

S. Chakraborty, S. Künzli, and L. Thiele, "A general framework for analysing system properties in platform-based embedded system designs," in Proceedings of DATE, 2003, pp. 190--195.

Digital Library

Google Scholar

[11]

M. Traub, Durchgängige Timing-Bewertung von Vernetzungsarchitekturen und Gateway-Systemen im Kraftfahrzeug. KIT Scientific Publishing, 2010.

Google Scholar

Cited By

View all

Samimi NNasri MBasten TGeilen M(2024)Work in Progress: Guaranteeing Weakly-Hard Timing Constraints in Server-Based Real-Time Systems2024 IEEE 30th Real-Time and Embedded Technology and Applications Symposium (RTAS)10.1109/RTAS61025.2024.00043(402-405)Online publication date: 13-May-2024
https://doi.org/10.1109/RTAS61025.2024.00043
Huang CWardega KLi WZhu QSangiovanni-Vincentelli ASztipanovits JZhu Q(2019)Exploring weakly-hard paradigm for networked systemsProceedings of the Workshop on Design Automation for CPS and IoT10.1145/3313151.3313165(51-59)Online publication date: 15-Apr-2019
https://dl.acm.org/doi/10.1145/3313151.3313165
Smirnov FGlaß MReimann FTeich J(2016)Formal reliability analysis of switched ethernet automotive networks under transient transmission errorsProceedings of the 53rd Annual Design Automation Conference10.1145/2897937.2898026(1-6)Online publication date: 5-Jun-2016
https://dl.acm.org/doi/10.1145/2897937.2898026
Show More Cited By

Typical Worst Case Response-Time Analysis and its Use in Automotive Network Design

Recommendations

Improved Deadline Miss Models for Real-Time Systems Using Typical Worst-Case Analysis
ECRTS '15: Proceedings of the 2015 27th Euromicro Conference on Real-Time Systems

We focus on the problem of computing tight deadline miss models for real-time systems, which bound the number of potential deadline misses in a given sequence of activations of a task. In practical applications, such guarantees are often sufficient ...
A simulation methodology for worst-case response time estimation of distributed real-time systems
DATE '08: Proceedings of the conference on Design, automation and test in Europe

In this paper, we propose a simulation-based methodology for worst-case response time estimation of distributed realtime systems. Schedulability analysis produces pessimistic upper bounds on process response times. Consequently, such an analysis can ...
Approximate Worst-Case Execution Time Analysis for Early Stage Embedded Systems Development
SEUS '09: Proceedings of the 7th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems

A Worst-Case Execution Time (WCET) analysis finds upper bounds for the execution time of programs. Reliable WCET estimates are essential in the development of safety-critical embedded systems, where failures to meet timing deadlines can have ...

Comments

Information & Contributors

Information

Published In

DAC '14: Proceedings of the 51st Annual Design Automation Conference

June 2014

1249 pages

ISBN:9781450327305

DOI:10.1145/2593069

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]

In-Cooperation

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

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 June 2014

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Research-article
Research
Refereed limited

Conference

DAC '14

DAC '14: The 51st Annual Design Automation Conference 2014

June 1 - 5, 2014

CA, San Francisco, USA

Acceptance Rates

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

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
295
Total Downloads

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

Reflects downloads up to 26 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Samimi NNasri MBasten TGeilen M(2024)Work in Progress: Guaranteeing Weakly-Hard Timing Constraints in Server-Based Real-Time Systems2024 IEEE 30th Real-Time and Embedded Technology and Applications Symposium (RTAS)10.1109/RTAS61025.2024.00043(402-405)Online publication date: 13-May-2024
https://doi.org/10.1109/RTAS61025.2024.00043
Huang CWardega KLi WZhu QSangiovanni-Vincentelli ASztipanovits JZhu Q(2019)Exploring weakly-hard paradigm for networked systemsProceedings of the Workshop on Design Automation for CPS and IoT10.1145/3313151.3313165(51-59)Online publication date: 15-Apr-2019
https://dl.acm.org/doi/10.1145/3313151.3313165
Smirnov FGlaß MReimann FTeich J(2016)Formal reliability analysis of switched ethernet automotive networks under transient transmission errorsProceedings of the 53rd Annual Design Automation Conference10.1145/2897937.2898026(1-6)Online publication date: 5-Jun-2016
https://dl.acm.org/doi/10.1145/2897937.2898026
Frieb MJahr ROzaktas HHugl ARegler HUngerer T(2016)A Parallelization Approach for Hard Real-Time Systems and Its Application on Two Industrial ProgramsInternational Journal of Parallel Programming10.1007/s10766-016-0432-744:6(1296-1336)Online publication date: 1-Dec-2016
https://dl.acm.org/doi/10.1007/s10766-016-0432-7

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.

Cited By

Recommendations

Improved Deadline Miss Models for Real-Time Systems Using Typical Worst-Case Analysis

A simulation methodology for worst-case response time estimation of distributed real-time systems

Approximate Worst-Case Execution Time Analysis for Early Stage Embedded Systems Development

Comments

Published In

In-Cooperation

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Conference

Acceptance Rates

Other Metrics

Article Metrics

Other Metrics

Cited By

Login options

Full Access

PDF

eReader

Abstract

References

Cited By

Recommendations

Improved Deadline Miss Models for Real-Time Systems Using Typical Worst-Case Analysis

A simulation methodology for worst-case response time estimation of distributed real-time systems

Approximate Worst-Case Execution Time Analysis for Early Stage Embedded Systems Development

Comments

Information

Published In

In-Cooperation

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Conference

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Get Access

Login options

Full Access

View options

PDF

eReader

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations