research-article

End-to-End Timing Analysis of Sporadic Cause-Effect Chains in Distributed Systems

Authors:

Georg Von Der Brüggen,

Kuan-Hsun Chen,

Jian-Jia ChenAuthors Info & Claims

ACM Transactions on Embedded Computing Systems (TECS), Volume 18, Issue 5s

Article No.: 58, Pages 1 - 24

https://doi.org/10.1145/3358181

Published: 07 October 2019 Publication History

Abstract

A cause-effect chain is used to define the logical order of data dependent tasks, which is independent from the execution order of the jobs of the (periodic/sporadic) tasks. Analyzing the worst-case End-to-End timing behavior, associated to a cause-effect chain, is an important problem in embedded control systems. For example, the detailed timing properties of modern automotive systems are specified in the AUTOSAR Timing Extensions.

In this paper, we present a formal End-to-End timing analysis for distributed systems. We consider the two most important End-to-End timing semantics, i.e., the button-to-action delay (termed as the maximum reaction time) and the worst-case data freshness (termed as the maximum data age). Our contribution is significant due to the consideration of the sporadic behavior of job activations, whilst the results in the literature have been mostly limited to periodic activations. The proof strategy shows the (previously unexplored) connection between the reaction time (data age, respectively) and immediate forward (backward, respectively) job chains. Our analytical results dominate the state of the art for sporadic task activations in distributed systems and the evaluations show a clear improvement for synthesized task systems as well as for a real world automotive benchmark setting.

References

[1]

AUTOSAR. 2017. Specification of Timing Extensions, Release 4.3.1. (Aug. 2017).

[2]

M. Becker, D. Dasari, S. Mubeen, M. Behnam, and T. Nolte. 2016. Mechaniser-a timing analysis and synthesis tool for multi-rate effect chains with job-level dependencies. In 7th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS).

[3]

M. Becker, D. Dasari, S. Mubeen, M. Behnam, and T. Nolte. 2016. Synthesizing job-level dependencies for automotive multi-rate effect chains. In 22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2016, Daegu, South Korea, August 17--19, 2016. 159--169.

[4]

M. Becker, S. Mubeen, D. Dasari, M. Behnam, and T. Nolte. 2017. A generic framework facilitating early analysis of data propagation delays in multi-rate systems (Invited paper). In IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA. 1--11.

[5]

A. Benveniste, P. Caspi, P. L. Guernic, H. Marchand, J.-P. Talpin, and S. Tripaki. 2002. A protocol for loosely time-triggered architectures. In Embedded Software, Second International Conference, EMSOFT. 252--265.

[6]

E. Bini and G. C. Buttazzo. 2005. Measuring the performance of schedulability tests. Real-Time Systems 30, 1--2 (2005), 129--154.

Digital Library

[7]

Bosch. 1991. Controller Area Network Specification 2.0.

[8]

A. Burns. 1994. Preemptive priority-based scheduling: An appropriate engineering approach. In Advances in Real-Time Systems, chapter 10. Prentice Hall, 225--248.

[9]

A. Davare, Q. Zhu, M. D. Natale, C. Pinello, S. Kanajan, and A. L. Sangiovanni-Vincentelli. 2007. Period optimization for hard real-time distributed automotive systems. In Design Automation Conference, DAC. 278--283.

[10]

P. Emberson, R. Stafford, and R. I. Davis. 2010. Techniques for the synthesis of multiprocessor tasksets. In International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS 2010). 6--11.

[11]

N. Feiertag, K. Richter, J. Nordlander, and J. Jonsson. 2009. 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.

[12]

J. Forget, F. Boniol, and C. Pagetti. 2017. Verifying end-to-end real-time constraints on multi-periodic models. In 22nd IEEE International Conference on Emerging Technologies and Factory Automation, ETFA. 1--8.

[13]

A. Hamann, D. Dasari, S. Kramer, M. Pressler, and F. Wurst. 2018. Improving and estimating the precision of bounds on the worst-case latency of task chains. IEEE Trans. on CAD of Integrated Circuits and Systems, (Special Issue for EMSOFT) 37, 11 (2018), 2578--2589.

[14]

A. Hamann, D. Dasari, S. Kramer, M. Pressler, and F. Wurst. 2017. Communication centric design in complex automotive embedded systems. In Euromicro Conference on Real-Time Systems, ECRTS. 10:1--10:20.

[15]

T. Klaus, F. Franzmann, M. Becker, and P. Ulbrich. 2018. Data propagation delay constraints in multi-rate systems: Deadlines vs. job-level dependencies. In Proceedings of the 26th International Conference on Real-Time Networks and Systems. ACM, 93--103.

[16]

T. Kloda, A. Bertout, and Y. Sorel. 2018. Latency analysis for data chains of real-time periodic tasks. In 23rd IEEE International Conference on Emerging Technologies and Factory Automation, ETFA. 360--367.

[17]

H. Kopetz. 2011. Real-Time Systems - Design Principles for Distributed Embedded Applications. Springer.

[18]

S. Kramer, D. Ziegenbein, and A. Hamann. 2015. Real world automotive benchmark for free. In 6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS).

[19]

J. P. Lehoczky, L. Sha, and Y. Ding. 1989. The rate monotonic scheduling algorithm: Exact characterization and average case behavior. In IEEE Real-Time Systems Symposium’89. 166--171.

[20]

C. L. Liu and J. W. Layland. 1973. Scheduling algorithms for multiprogramming in a hard-real-time environment. J. ACM 20, 1 (1973), 46--61.

Digital Library

[21]

A. K. Mok. 1983. Fundamental Design Problems of Distributed Systems for the Hard-Real-Time Environment. Technical Report. Massachusetts Institute of Technology, Cambridge, MA, USA.

[22]

S. Mubeen, J. Mäki-Turja, and M. Sjödin. 2012. Implementation of end-to-end latency analysis for component-based multi-rate real-time systems in Rubus-ICE. In Factory Communication Systems (WFCS), 2012 9th IEEE International Workshop on. IEEE, 165--168.

[23]

S. Mubeen, J. Mäki-Turja, and M. Sjödin. 2012. Translating end-to-end timing requirements to timing analysis model in component-based distributed real-time systems. SIGBED Review 9, 4 (2012), 17--20.

Digital Library

[24]

A. Rajeev, S. Mohalik, M. G. Dixit, D. B. Chokshi, and S. Ramesh. 2010. 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. ACM, 129--138.

[25]

J. Schlatow and R. Ernst. 2016. Response-time analysis for task chains in communicating threads. In IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS). 245--254.

[26]

Symtavision. [n.d.]. SymTA/S Toolbox. http://www.symtavision.com/symtas.html

[27]

K. Tindell and J. Clark. 1994. Holistic schedulability analysis for distributed hard real-time systems. Microprocessing and Microprogramming 40, 2--3 (1994), 117--134.

Digital Library

[28]

G. von der Bruggen, J.-J. Chen, and W.-H. Huang. 2015. Schedulability and optimization analysis for non-preemptive static priority scheduling based on task utilization and blocking factors. In Euromicro Conference on Real-Time Systems, ECRTS. 90--101.

Digital Library

[29]

G. von der Brüggen, N. Ueter, J. Chen, and M. Freier. 2017. Parametric utilization bounds for implicit-deadline periodic tasks in automotive systems. In Proceedings of the 25th International Conference on Real-Time Networks and Systems, RTNS. 108--117.

Cited By

Tziampazis SHirmer PWeyrich M(2024)A hybrid framework for latency compensation in remote testing of automotive electronic control unitsFrontiers in the Internet of Things10.3389/friot.2024.14339033Online publication date: 18-Sep-2024
https://doi.org/10.3389/friot.2024.1433903
Zhou QCai SLi JGao YQu ZJin T(2024)Deadline and Period Assignment for Guaranteeing Timely Response of the Cyber-Physical SystemACM Transactions on Design Automation of Electronic Systems10.1145/368904830:1(1-26)Online publication date: 24-Aug-2024
https://dl.acm.org/doi/10.1145/3689048
Teper HBetz TGünzel MEbner DVon Der Brüggen GBetz JChen J(2024)End-To-End Timing Analysis and Optimization of Multi-Executor ROS 2 Systems2024 IEEE 30th Real-Time and Embedded Technology and Applications Symposium (RTAS)10.1109/RTAS61025.2024.00025(212-224)Online publication date: 13-May-2024
https://doi.org/10.1109/RTAS61025.2024.00025
Show More Cited By

Index Terms

End-to-End Timing Analysis of Sporadic Cause-Effect Chains in Distributed Systems
1. Computer systems organization
  1. Real-time systems

Recommendations

Distributed pinwheel scheduling with end-to-end timing constraints
RTSS '95: Proceedings of the 16th IEEE Real-Time Systems Symposium

Algorithms for allocating resources and scheduling tasks are important to the success of many real-time systems with end-to-end performance requirements. In this paper, an end-to-end scheduling model based on the pinwheel scheduling algorithms is ...
A Distributed Real-Time Operating System with Prioritized Inter-Node System Calls for Distributed Embedded Control Systems
RCAE 2018: Proceedings of the 2018 International Conference on Robotics, Control and Automation Engineering

The paper presents a distributed real-time operating system (DRTOS) that provides prioritized inter-node system calls for location-transparent task management and inter-task synchronization. Embedded control software is usually designed as a set of ...
Fixed-Priority End-To-End Scheduling in Distributed Real-Time Systems

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Transactions on Embedded Computing Systems

ACM Transactions on Embedded Computing Systems Volume 18, Issue 5s

Special Issue ESWEEK 2019, CASES 2019, CODES+ISSS 2019 and EMSOFT 2019

October 2019

1423 pages

ISSN:1539-9087

EISSN:1558-3465

DOI:10.1145/3365919

Editor:
Sandeep K. Shukla
Indian Institute of Technology, India

Issue’s Table of Contents

Copyright © 2019 Owner/Author.

This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike International 4.0 License.

Publisher

Association for Computing Machinery

New York, NY, United States

Journal Family

ACM Journals for the Design of Smart and Connected Systems

Publication History

Published: 07 October 2019

Accepted: 01 July 2019

Revised: 01 June 2019

Received: 01 April 2019

Published in TECS Volume 18, Issue 5s

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article
Research
Refereed

Funding Sources

Deutsche Forschungsgemeinschaft

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

36
Total Citations
View Citations
495
Total Downloads

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

Reflects downloads up to 18 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Tziampazis SHirmer PWeyrich M(2024)A hybrid framework for latency compensation in remote testing of automotive electronic control unitsFrontiers in the Internet of Things10.3389/friot.2024.14339033Online publication date: 18-Sep-2024
https://doi.org/10.3389/friot.2024.1433903
Zhou QCai SLi JGao YQu ZJin T(2024)Deadline and Period Assignment for Guaranteeing Timely Response of the Cyber-Physical SystemACM Transactions on Design Automation of Electronic Systems10.1145/368904830:1(1-26)Online publication date: 24-Aug-2024
https://dl.acm.org/doi/10.1145/3689048
Teper HBetz TGünzel MEbner DVon Der Brüggen GBetz JChen J(2024)End-To-End Timing Analysis and Optimization of Multi-Executor ROS 2 Systems2024 IEEE 30th Real-Time and Embedded Technology and Applications Symposium (RTAS)10.1109/RTAS61025.2024.00025(212-224)Online publication date: 13-May-2024
https://doi.org/10.1109/RTAS61025.2024.00025
Wang SLi DSifat AHuang SDeng XJung CWilliams RZeng H(2024)Optimizing Logical Execution Time Model for Both Determinism and Low Latency2024 IEEE 30th Real-Time and Embedded Technology and Applications Symposium (RTAS)10.1109/RTAS61025.2024.00019(135-148)Online publication date: 13-May-2024
https://doi.org/10.1109/RTAS61025.2024.00019
Kuhse DHolscher NGunzel MTeper HVon Der Bruggen GChen JLin C(2024)Sync or Sink? The Robustness of Sensor Fusion Against Temporal Misalignment2024 IEEE 30th Real-Time and Embedded Technology and Applications Symposium (RTAS)10.1109/RTAS61025.2024.00018(122-134)Online publication date: 13-May-2024
https://doi.org/10.1109/RTAS61025.2024.00018
Mallareddy SKondooru PGangadharan D(2024)Checkpointing-Aware End-to-End Data Age Analysis of Task Chains under Transient Faults2024 IEEE 27th International Symposium on Real-Time Distributed Computing (ISORC)10.1109/ISORC61049.2024.10551359(1-10)Online publication date: 22-May-2024
https://doi.org/10.1109/ISORC61049.2024.10551359
Li XSun JWang JDuan KChen MGuan NGuo ZDeng QXie Y(2024)Connecting the physical space and cyber space of autonomous systems more closelyReal-Time Systems10.1007/s11241-024-09426-460:3(413-442)Online publication date: 1-Sep-2024
https://dl.acm.org/doi/10.1007/s11241-024-09426-4
Shi XZhu YLi L(2024)End-to-end probability analysis method for multi-core distributed systemsThe Journal of Supercomputing10.1007/s11227-024-06460-880:19(26751-26775)Online publication date: 1-Dec-2024
https://dl.acm.org/doi/10.1007/s11227-024-06460-8
Jiang XLuo XGuan NDong ZLiu SYi W(2023)Analysis and Optimization of Worst-Case Time Disparity in Cause-Effect Chains2023 Design, Automation & Test in Europe Conference & Exhibition (DATE)10.23919/DATE56975.2023.10137138(1-6)Online publication date: Apr-2023
https://doi.org/10.23919/DATE56975.2023.10137138
Lee JShin SBriand LNejati S(2023)Probabilistic Safe WCET Estimation for Weakly Hard Real-time Systems at Design StagesACM Transactions on Software Engineering and Methodology10.1145/361717633:2(1-34)Online publication date: 26-Aug-2023
https://dl.acm.org/doi/10.1145/3617176
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 Article

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

HTML Format

View this article in HTML Format.

Media

Figures

Other

Tables

View Issue’s Table of Contents