Affiliation:
1. TU Dortmund University, Germany
2. University of Twente, The Netherlands
3. Lamarr Institute for Machine Learning and Artificial Intelligence and TU Dortmund University, Germany
Abstract
In many embedded systems, for instance, in the automotive, avionic, or robotics domain, critical functionalities are implemented via chains of communicating recurrent tasks. To ensure safety and correctness of such systems, guarantees on the reaction time, that is, the delay between a cause (e.g., an external activity or reading of a sensor) and the corresponding effect, must be provided.
Current approaches focus on the maximum reaction time, considering the worst-case system behavior. However, in many scenarios, probabilistic guarantees on the reaction time are sufficient. That is, it is sufficient to provide a guarantee that the reaction does not exceed a certain threshold with (at least) a certain probability.
This work provides such probabilistic guarantees on the reaction time, considering two types of randomness: response time randomness and failure probabilities. To the best of our knowledge, this is the first work that defines and analyzes probabilistic reaction time for cause-effect chains based on sporadic tasks.
Funder
German Federal Ministry of Education and Research
European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme
Publisher
Association for Computing Machinery (ACM)
Subject
Hardware and Architecture,Software
Reference41 articles.
1. An Empirical Survey-based Study into Industry Practice in Real-time Systems
2. Probabilistic end-to-end delay bounds for earliest deadline first scheduling
3. 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 Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS’16).
4. Synthesizing Job-Level Dependencies for Automotive Multi-rate Effect Chains
5. A Protocol for Loosely Time-Triggered Architectures
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献