Probabilistic Reaction Time Analysis

Author:

Günzel Mario1ORCID,Ueter Niklas1ORCID,Chen Kuan-Hsun2ORCID,von der Brüggen Georg1ORCID,Chen Jian-Jia3ORCID

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 2 articles. 订阅此论文施引文献 订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献

同舟云学术

1.学者识别学者识别

2.学术分析学术分析

3.人才评估人才评估

"同舟云学术"是以全球学者为主线,采集、加工和组织学术论文而形成的新型学术文献查询和分析系统,可以对全球学者进行文献检索和人才价值评估。用户可以通过关注某些学科领域的顶尖人物而持续追踪该领域的学科进展和研究前沿。经过近期的数据扩容,当前同舟云学术共收录了国内外主流学术期刊6万余种,收集的期刊论文及会议论文总量共计约1.5亿篇,并以每天添加12000余篇中外论文的速度递增。我们也可以为用户提供个性化、定制化的学者数据。欢迎来电咨询!咨询电话:010-8811{复制后删除}0370

www.globalauthorid.com

TOP

Copyright © 2019-2024 北京同舟云网络信息技术有限公司
京公网安备11010802033243号  京ICP备18003416号-3