{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,8]],"date-time":"2026-01-08T01:44:44Z","timestamp":1767836684417,"version":"3.49.0"},"reference-count":41,"publisher":"Association for Computing Machinery (ACM)","issue":"5s","license":[{"start":{"date-parts":[[2023,9,9]],"date-time":"2023-09-09T00:00:00Z","timestamp":1694217600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"German Federal Ministry of Education and Research","award":["16KISK038"],"award-info":[{"award-number":["16KISK038"]}]},{"name":"European Research Council (ERC) under the European Union\u2019s Horizon 2020 research and innovation programme","award":["865170"],"award-info":[{"award-number":["865170"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2023,10,31]]},"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>\n          <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>\n          <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>","DOI":"10.1145\/3609390","type":"journal-article","created":{"date-parts":[[2023,9,9]],"date-time":"2023-09-09T13:33:18Z","timestamp":1694266398000},"page":"1-22","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Probabilistic Reaction Time Analysis"],"prefix":"10.1145","volume":"22","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7575-7014","authenticated-orcid":false,"given":"Mario","family":"G\u00fcnzel","sequence":"first","affiliation":[{"name":"TU Dortmund University, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6722-4805","authenticated-orcid":false,"given":"Niklas","family":"Ueter","sequence":"additional","affiliation":[{"name":"TU Dortmund University, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7110-921X","authenticated-orcid":false,"given":"Kuan-Hsun","family":"Chen","sequence":"additional","affiliation":[{"name":"University of Twente, The Netherlands"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8137-3612","authenticated-orcid":false,"given":"Georg","family":"von der Br\u00fcggen","sequence":"additional","affiliation":[{"name":"TU Dortmund University, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8114-9760","authenticated-orcid":false,"given":"Jian-Jia","family":"Chen","sequence":"additional","affiliation":[{"name":"Lamarr Institute for Machine Learning and Artificial Intelligence and TU Dortmund University, Germany"}]}],"member":"320","published-online":{"date-parts":[[2023,9,9]]},"reference":[{"key":"e_1_3_5_2_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS49844.2020.00012"},{"key":"e_1_3_5_3_2","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2000.832234"},{"key":"e_1_3_5_4_2","volume-title":"Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS\u201916)","author":"Becker Matthias","year":"2016","unstructured":"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\u201916)."},{"key":"e_1_3_5_5_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2016.41"},{"key":"e_1_3_5_6_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45828-X_19"},{"key":"e_1_3_5_7_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS52674.2021.00039"},{"key":"e_1_3_5_8_2","first-page":"896","volume-title":"DATE","author":"Chen Kuan-Hsun","year":"2019","unstructured":"Kuan-Hsun Chen, Niklas Ueter, Georg von der Br\u00fcggen, and Jian-Jia Chen. 2019. Efficient computation of deadline-miss probability and potential pitfalls. In DATE. IEEE, 896\u2013901."},{"key":"e_1_3_5_9_2","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2017.7993392"},{"key":"e_1_3_5_10_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS55097.2022.00022"},{"key":"e_1_3_5_11_2","first-page":"29","article-title":"Independence-a misunderstood property of and for probabilistic real-time systems","author":"Cucu-Grosjean Liliana","year":"2013","unstructured":"Liliana Cucu-Grosjean. 2013. Independence-a misunderstood property of and for probabilistic real-time systems. In Real-Time Systems: The Past, the Present and the Future (2013), 29\u201337.","journal-title":"In Real-Time Systems: The Past, the Present and the Future"},{"key":"e_1_3_5_12_2","doi-asserted-by":"publisher","DOI":"10.1145\/1278480.1278553"},{"issue":"1","key":"e_1_3_5_13_2","first-page":"04:1\u201304:53","article-title":"A survey of probabilistic schedulability analysis techniques for real-time systems","volume":"6","author":"Davis Robert I.","year":"2019","unstructured":"Robert I. Davis and Liliana Cucu-Grosjean. 2019. A survey of probabilistic schedulability analysis techniques for real-time systems. Leibniz Transactions on Embedded Systems 6, 1 (2019), 04:1\u201304:53.","journal-title":"Leibniz Transactions on Embedded Systems"},{"key":"e_1_3_5_14_2","volume-title":"23rd IEEE Real-Time Systems Symposium (RTSS\u201902)","author":"Diaz J. L.","year":"2002","unstructured":"J. L. Diaz, D. F. Garcia, Kanghee Kim, Chang-Gun Lee, L. Lo Bello, J. M. Lopez, Sang Lyul Min, and O. Mirabella. 2002. Stochastic analysis of periodic real-time systems. In 23rd IEEE Real-Time Systems Symposium (RTSS\u201902)."},{"key":"e_1_3_5_15_2","doi-asserted-by":"publisher","DOI":"10.1145\/3358181"},{"key":"e_1_3_5_16_2","volume-title":"Workshop on Compositional Theory and Technology for Real-Time Embedded Systems","author":"Feiertag Nico","year":"2009","unstructured":"Nico Feiertag, Kai Richter, Johan Nordlander, and Jan Jonsson. 2009. A compositional framework for end-to-end path delay calculation of automotive systems under different path semantics. In Workshop on Compositional Theory and Technology for Real-Time Embedded Systems."},{"key":"e_1_3_5_17_2","doi-asserted-by":"publisher","DOI":"10.1109\/IWQOS.2006.250477"},{"key":"e_1_3_5_18_2","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2017.8247612"},{"key":"e_1_3_5_19_2","doi-asserted-by":"publisher","DOI":"10.5555\/646483.691612"},{"key":"e_1_3_5_20_2","doi-asserted-by":"publisher","DOI":"10.1145\/3534879.3534893"},{"key":"e_1_3_5_21_2","doi-asserted-by":"publisher","DOI":"10.1145\/3587036"},{"key":"e_1_3_5_22_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS52030.2021.00012"},{"key":"e_1_3_5_23_2","first-page":"10:1\u201310:20","volume-title":"Euromicro Conference on Real-Time Systems, ECRTS","author":"Hamann Arne","year":"2017","unstructured":"Arne Hamann, Dakshina Dasari, Simon Kramer, Michael Pressler, and Falk Wurst. 2017. Communication centric design in complex automotive embedded systems. In Euromicro Conference on Real-Time Systems, ECRTS. 10:1\u201310:20."},{"key":"e_1_3_5_24_2","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18072.2020.9218564"},{"key":"e_1_3_5_25_2","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2022.3198905"},{"key":"e_1_3_5_26_2","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.1985.294683"},{"key":"e_1_3_5_27_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24349-3_5"},{"key":"e_1_3_5_28_2","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2018.8502498"},{"key":"e_1_3_5_29_2","volume-title":"International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS\u201915)","author":"Kramer Simon","year":"2015","unstructured":"Simon Kramer, Dirk Ziegenbein, and Arne Hamann. 2015. Real world automotive benchmarks for free. In International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS\u201915)."},{"key":"e_1_3_5_30_2","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2022.3152105"},{"key":"e_1_3_5_31_2","doi-asserted-by":"publisher","DOI":"10.1109\/ITST.2011.6060086"},{"key":"e_1_3_5_32_2","volume-title":"2007 USENIX Annual Technical Conference on Proceedings of the USENIX Annual Technical Conference (ATC\u201907)","author":"Li Xin","year":"2007","unstructured":"Xin Li, Kai Shen, Michael C. Huang, and Lingkun Chu. 2007. A memory soft error measurement on production systems. In 2007 USENIX Annual Technical Conference on Proceedings of the USENIX Annual Technical Conference (ATC\u201907). USENIX Association, USA, Article 21, 6 pages."},{"key":"e_1_3_5_33_2","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"key":"e_1_3_5_34_2","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECRTS.2021.16"},{"key":"e_1_3_5_35_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2013.30"},{"key":"e_1_3_5_36_2","first-page":"129","volume-title":"International Conference on Embedded Software","author":"Rajeev A. C.","year":"2010","unstructured":"A. C. Rajeev, Swarup Mohalik, Manoj G. Dixit, Devesh B. Chokshi, and S. Ramesh. 2010. Schedulability and end-to-end latency in distributed ecu networks: Formal modeling and precise estimation. In International Conference on Embedded Software. 129\u2013138."},{"key":"e_1_3_5_37_2","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2009.2016085"},{"key":"e_1_3_5_38_2","first-page":"1","volume-title":"IEEE International Symposium on Industrial Embedded Systems (SIES\u201918)","author":"Schlatow Johannes","year":"2018","unstructured":"Johannes Schlatow, Mischa M\u00f6stl, Sebastian Tobuschat, Tasuku Ishigooka, and Rolf Ernst. 2018. Data-age analysis and optimisation for cause-effect chains in automotive control systems. In IEEE International Symposium on Industrial Embedded Systems (SIES\u201918). 1\u20139."},{"key":"e_1_3_5_39_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTTAS.1995.516213"},{"key":"e_1_3_5_40_2","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECRTS.2018.6"},{"key":"e_1_3_5_41_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS52674.2021.00029"},{"key":"e_1_3_5_42_2","doi-asserted-by":"publisher","DOI":"10.1109\/VLSI.2008.28"}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3609390","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3609390","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:46:23Z","timestamp":1750178783000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3609390"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,9,9]]},"references-count":41,"journal-issue":{"issue":"5s","published-print":{"date-parts":[[2023,10,31]]}},"alternative-id":["10.1145\/3609390"],"URL":"https:\/\/doi.org\/10.1145\/3609390","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"value":"1539-9087","type":"print"},{"value":"1558-3465","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,9,9]]},"assertion":[{"value":"2023-03-23","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-07-13","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-09-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}