Authors: Günzel, Mario
Ueter, Niklas
Chen, Kuan-Hsun
Brüggen, Georg von der
Chen, Jian-Jia
Title: Probabilistic reaction time analysis
Language (ISO): en
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.
Subject Headings: reaction time
probability
end-to-end
sporadic
URI: http://hdl.handle.net/2003/42513
http://dx.doi.org/10.17877/DE290R-24349
Issue Date: 2023-09-09
Rights link: https://creativecommons.org/licenses/by/4.0/
Appears in Collections:Entwurfsautomatisierung für Eingebettete Systeme

Files in This Item:
File Description SizeFormat 
3609390.pdfDNB762.35 kBAdobe PDFView/Open


This item is protected by original copyright



This item is licensed under a Creative Commons License Creative Commons