---
res:
  bibo_abstract:
  - |-
    <jats:p>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.</jats:p>
              <jats:p>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.</jats:p>
              <jats:p>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.</jats:p>@eng
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Mario
      foaf_name: Günzel, Mario
      foaf_surname: Günzel
  - foaf_Person:
      foaf_givenName: Niklas
      foaf_name: Ueter, Niklas
      foaf_surname: Ueter
  - foaf_Person:
      foaf_givenName: Kuan-Hsun
      foaf_name: Chen, Kuan-Hsun
      foaf_surname: Chen
  - foaf_Person:
      foaf_givenName: Georg
      foaf_name: von der Brüggen, Georg
      foaf_surname: von der Brüggen
  - foaf_Person:
      foaf_givenName: Jian-Jia
      foaf_name: Chen, Jian-Jia
      foaf_surname: Chen
  bibo_doi: 10.1145/3609390
  bibo_issue: 5s
  bibo_volume: 22
  dct_date: 2023^xs_gYear
  dct_isPartOf:
  - http://id.crossref.org/issn/1539-9087
  - http://id.crossref.org/issn/1558-3465
  dct_language: eng
  dct_publisher: Association for Computing Machinery (ACM)@
  dct_title: Probabilistic Reaction Time Analysis@
...