Affiliation:
1. TU Dortmund University
2. University of Twente
Abstract
Real-time systems require the formal guarantee of timing constraints, not only for the individual tasks but also for the end-to-end latency of data flows. The data flow among multiple tasks, e.g., from sensors to actuators, is described by a cause-effect chain, independent from the priority order of the tasks. In this article, we provide an end-to-end timing-analysis for cause-effect chains on asynchronized distributed systems with periodic task activations, considering the maximum reaction time (MRT) (i.e., the duration of data processing) and the maximum data age (MDA) (i.e., the worst-case data freshness). We first provide an analysis of the end-to-end latency on one local electronic control unit (ECU) that has to consider only the jobs in a bounded time interval. We extend our analysis to globally asynchronized systems by exploiting a compositional property to combine the local results. Throughout synthesized data based on an automotive benchmark as well as on randomized parameters, we show that our analytical results improve the state-of-the-art.
Funder
European Research Council
Deutsche Forschungsgemeinschaft
Publisher
Association for Computing Machinery (ACM)
Subject
Hardware and Architecture,Software
Reference30 articles.
1. AUTOSAR. 2022. Specification of Timing Extensions Release R22-11. (November 2022). https://www.autosar.org/fileadmin/standards/R22-11/CP/AUTOSAR_TPS_TimingExtensions.pdf. Access Date 2 May 2023.
2. Matthias Becker, Dakshina Dasari, Saad Mubeen, Moris Behnam, and Thomas Nolte. 2016. Mechaniser-a timing analysis and synthesis tool for multi-rate effect chains with job-level dependencies. In Proceedings of the Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems.
3. Synthesizing Job-Level Dependencies for Automotive Multi-rate Effect Chains
4. End-to-end timing analysis of cause-effect chains in automotive embedded systems
5. A generic framework facilitating early analysis of data propagation delays in multi-rate systems (Invited paper)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Probabilistic Reaction Time Analysis;ACM Transactions on Embedded Computing Systems;2023-09-09
2. Property-Based Timing Analysis and Optimization for Complex Cyber-Physical Real-Time Systems;2023 60th ACM/IEEE Design Automation Conference (DAC);2023-07-09