research-article

Translating end-to-end timing requirements to timing analysis model in component-based distributed real-time systems

Authors:

Jukka Mäki-Turja,

Mikael SjödinAuthors Info & Claims

ACM SIGBED Review, Volume 9, Issue 4

Pages 17 - 20

https://doi.org/10.1145/2452537.2452539

Published: 01 November 2012 Publication History

Abstract

Often, component-based real-time systems are modeled with trigger and data chains. The end-to-end timing requirements on trigger chains are different from those on data chains. For a trigger chain, the interest lies in the calculation of holistic response time and its comparison with end-to-end deadline. Whereas, the schedulability of a data chain requires a comparison between its end-to-end latencies and corresponding deadlines. We discuss the problem of translating end-to-end timing requirements unambiguously from component-based real-time systems into timing analysis models which are required as input by the analysis tools. We also provide preliminary guidelines for such translations in the existing industrial tool suite.

References

[1]

N. Audsley, A. Burns, R. Davis, K. Tindell, and A. Wellings, "Fixed priority pre-emptive scheduling:an historic perspective," Real-Time Systems, vol. 8, no. 2/3, pp. 173--198, 1995.

Digital Library

[2]

L. Sha, T. Abdelzaher, K.-E. A. rzén, A. Cervin, T. P. Baker, A. Burns, G. Buttazzo, M. Caccamo, J. P. Lehoczky, and A. K. Mok, "Real Time Scheduling Theory: A Historical Perspective," Real-Time Systems, vol. 28, no. 2/3, pp. 101--155, 2004.

Digital Library

[3]

M. Nolin, J. Mäki-Turja, and K. Hänninen, "Achieving Industrial Strength Timing Predictions of Embedded System Behavior," in ESA, 2008, pp. 173--178.

[4]

K. W. Tindell, "Using offset information to analyse static priority preemptively scheduled task sets," Dept. of Computer Science, University of York, Tech. Rep. YCS 182, 1992.

[5]

J. Palencia and M. G. Harbour, "Schedulability Analysis for Tasks with Static and Dynamic Offsets," Real-Time Systems Symposium, IEEE International, p. 26, 1998.

Digital Library

[6]

J. Mäki-Turja, and M. Nolin, "Tighter response-times for tasks with offsets," in Real-time and Embedded Computing Systems and Applications Conference (RTCSA). Springer-Verlag, August 2004.

[7]

Robert Bosch GmbH, "CAN Specification Version 2.0," postfach 30 02 40, D-70442 Stuttgart, 1991.

[8]

K. Tindell, H. Hansson, and A. Wellings, "Analysing real-time communications: controller area network (CAN)," in Real-Time Systems Symposium (RTSS) 1994, pp. 259--263.

[9]

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

Digital Library

[10]

R. I. Davis, S. Kollmann, V. Pollex, and F. Slomka, "Controller Area Network (CAN) Schedulability Analysis with FIFO queues," in 23rd Euromicro Conference on Real-Time Systems, July 2011.

Digital Library

[11]

S. Mubeen, J. Mäki-Turja, and M. Sjödin, "Extending schedulability analysis of controller area network (CAN) for mixed (periodic/sporadic) messages," in 16th IEEE Conference on Emerging Technologies and Factory Automation (ETFA), sept. 2011.

[12]

S. Mubeen, J. Mäki-Turja, and M. Sjödin, "Response-time analysis of mixed messages in controller area network with priority- and FIFO-queued nodes," in 9th IEEE International Workshop on Factory Communication Systems (WFCS), may 2012.

[13]

S. Mubeen, J. Mäki-Turja, and M. Sjödin, "Worst-case response-time analysis for mixed messages with offsets in controller area network," in 17th IEEE Conference on Emerging Technologies and Factory Automation (ETFA), sept. 2012.

[14]

K. Tindell and J. Clark, "Holistic schedulability analysis for distributed hard real-time systems," Microprocess. Microprogram., vol. 40, pp. 117--134, April 1994.

Digital Library

[15]

F. Stappert, J. Jonsson, J. Mottok, and R. Johansson, "A Design Framework for End-To-End Timing Constrained Automotive Applications," in Embedded Real-Time Software and Systems (ERTS), 2010.

[16]

N. Feiertag, K. Richter, J. Nordlander, and J. Jonsson, "A Compositional Framework for End-to-End Path Delay Calculation of Automotive Systems under Different Path Semantics," in Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS), dec. 2008.

[17]

A. C. Rajeev, S. Mohalik, M. G. Dixit, D. B. Chokshi, and S. Ramesh, "Schedulability and end-to-end latency in distributed ecu networks: formal modeling and precise estimation," in Proceedings of the tenth ACM international conference on Embedded software, ser. EMSOFT '10. ACM, 2010, pp. 129--138.

Digital Library

[18]

"Arcticus Systems," http://www.arcticus-systems.com.

[19]

K. Hänninen et. al., "The Rubus Component Model for Resource Constrained Real-Time Systems," in 3rd IEEE International Symposium on Industrial Embedded Systems, June 2008.

[20]

S. Mubeen, J. Mäki-Turja, M. Sjödin, and J. Carlson, "Analyzable modeling of legacy communication in component-based distributed embedded systems," in 37th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), Sep. 2011, pp. 229--238.

Digital Library

[21]

S. Mubeen, J. Mäki-Turja, and M. Sjödin, "Extraction of end-to-end timing model from component-based distributed real-time embedded systems," in Time Analysis and Model-Based Design, from Functional Models to Distributed Deployments (TiMoBD) workshop. Springer, October 2011, pp. 1--6.

[22]

S. Sentilles, A. Vulgarakis, T. Bures, J. Carlson, and I. Crnkovic, "A Component Model for Control-Intensive Distributed Embedded Systems," in Proceedings of the 11th International Symposium on Component Based Software Engineering (CBSE2008).

Digital Library

Cited By

Dürr MBrüggen GChen KChen J(2019)End-to-End Timing Analysis of Sporadic Cause-Effect Chains in Distributed SystemsACM Transactions on Embedded Computing Systems10.1145/335818118:5s(1-24)Online publication date: 7-Oct-2019
https://dl.acm.org/doi/10.1145/3358181
Wigand DWrede S(2019)Model-Driven Scheduling of Real-Time Tasks for Robotics Systems2019 Third IEEE International Conference on Robotic Computing (IRC)10.1109/IRC.2019.00016(46-53)Online publication date: Feb-2019
https://doi.org/10.1109/IRC.2019.00016
Wigand DMohammadi PHoffman ETsagarakis NSteil JWrede S(2018)An open-source architecture for simulation, execution and analysis of real-time robotics systems2018 IEEE International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR)10.1109/SIMPAR.2018.8376277(93-100)Online publication date: May-2018
https://doi.org/10.1109/SIMPAR.2018.8376277

Index Terms

Translating end-to-end timing requirements to timing analysis model in component-based distributed real-time systems

Recommendations

Towards Modeling and Holistic Timing Analysis of Industrial Component-Based DRE Systems
ECBS '12: Proceedings of the 2012 IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems

We propose a model- and component-based approach for communications-oriented development of Distributed Real-time Embedded (DRE) systems with a support for legacy communication protocols, legacy nodes and Holistic Response Time Analysis (HRTA). Because ...
Timing analysis of component-based embedded systems
CBSE '12: Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering

The recent trend towards applying component-based and model-driven approaches also to the development of safety-critical real-time embedded systems, opens new possibilities for model-level analysis of aspects that traditionally are analysed very late in ...
Supporting timing analysis of vehicular embedded systems through the refinement of timing constraints

The collective use of several models and tools at various abstraction levels and phases during the development of vehicular distributed embedded systems poses many challenges. Within this context, this paper targets the challenges that are concerned ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM SIGBED Review

ACM SIGBED Review Volume 9, Issue 4

Special Issue on the 24th Euromicro Conference on Real-Time Systems

November 2012

46 pages

EISSN:1551-3688

DOI:10.1145/2452537

Issue’s Table of Contents

Copyright © 2012 Authors.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 November 2012

Published in SIGBED Volume 9, Issue 4

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

Swedish Knowledge Foundation (KKS)

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
67
Total Downloads

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

Reflects downloads up to 28 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

Dürr MBrüggen GChen KChen J(2019)End-to-End Timing Analysis of Sporadic Cause-Effect Chains in Distributed SystemsACM Transactions on Embedded Computing Systems10.1145/335818118:5s(1-24)Online publication date: 7-Oct-2019
https://dl.acm.org/doi/10.1145/3358181
Wigand DWrede S(2019)Model-Driven Scheduling of Real-Time Tasks for Robotics Systems2019 Third IEEE International Conference on Robotic Computing (IRC)10.1109/IRC.2019.00016(46-53)Online publication date: Feb-2019
https://doi.org/10.1109/IRC.2019.00016
Wigand DMohammadi PHoffman ETsagarakis NSteil JWrede S(2018)An open-source architecture for simulation, execution and analysis of real-time robotics systems2018 IEEE International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR)10.1109/SIMPAR.2018.8376277(93-100)Online publication date: May-2018
https://doi.org/10.1109/SIMPAR.2018.8376277

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.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Issue’s Table of Contents