{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,17]],"date-time":"2026-06-17T16:24:58Z","timestamp":1781713498417,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,11,6]],"date-time":"2024-11-06T00:00:00Z","timestamp":1730851200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"US National Science Foundation","award":["CNS-1750158, CNS-1955670, CNS-2111688 and CCF-2326606."],"award-info":[{"award-number":["CNS-1750158, CNS-1955670, CNS-2111688 and CCF-2326606."]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,11,6]]},"DOI":"10.1145\/3696355.3696365","type":"proceedings-article","created":{"date-parts":[[2025,1,3]],"date-time":"2025-01-03T11:55:46Z","timestamp":1735905346000},"page":"278-289","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Analysis of Long-term Average Behaviors of Probabilistic Task Systems"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0003-8125-1054","authenticated-orcid":false,"given":"Yifan","family":"Cai","sequence":"first","affiliation":[{"name":"University of Pennsylvania, Philadelphia, Pennsylvania, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3458-7511","authenticated-orcid":false,"given":"Linh Thi Xuan","family":"Phan","sequence":"additional","affiliation":[{"name":"University of Pennsylvania \/ Roblox, Philadelphia, Pennsylvania, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5225-3056","authenticated-orcid":false,"given":"P.S.","family":"Thiagarajan","sequence":"additional","affiliation":[{"name":"University of North Carolina at Chapel Hill, Chapel Hill, North Carolina, USA and Chennai Mathematical Institute, Chennai, India"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2025,1,3]]},"reference":[{"key":"e_1_3_3_1_2_2","doi-asserted-by":"publisher","DOI":"10.1109\/IWCMC.2019.8766667"},{"key":"e_1_3_3_1_3_2","unstructured":"ArduPilot. 2023. ArduPilot - versatile trusted open. https:\/\/ardupilot.org\/."},{"key":"e_1_3_3_1_4_2","doi-asserted-by":"publisher","DOI":"10.1145\/2463209.2488946"},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"publisher","DOI":"10.1145\/3242102.3242118"},{"key":"e_1_3_3_1_6_2","doi-asserted-by":"crossref","unstructured":"Simone Baldi Danping Sun Xin Xia Guopeng Zhou and Di Liu. 2022. ArduPilot-based adaptive autopilot: architecture and software-in-the-loop experiments. IEEE Trans. Aerospace Electron. Systems 58 5 (2022) 4473\u20134485.","DOI":"10.1109\/TAES.2022.3162179"},{"key":"e_1_3_3_1_7_2","doi-asserted-by":"crossref","unstructured":"Guillem Bernat Alan Burns and Albert Liamosi. 2001. Weakly hard real-time systems. IEEE transactions on Computers 50 4 (2001) 308\u2013321.","DOI":"10.1109\/12.919277"},{"key":"e_1_3_3_1_8_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS52674.2021.00039"},{"key":"e_1_3_3_1_9_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS55097.2022.00022"},{"key":"e_1_3_3_1_10_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2018.00040"},{"key":"e_1_3_3_1_11_2","unstructured":"Robert\u00a0I. Davis and Liliana Cucu-Grosjean. 2019. A Survey of Probabilistic Timing Analysis Techniques for Real-Time Systems. Leibniz Trans. Embed. Syst. 6 1 (2019) 03:1\u201303:60."},{"key":"e_1_3_3_1_12_2","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.2002.1181583"},{"key":"e_1_3_3_1_13_2","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.2004.41"},{"key":"e_1_3_3_1_14_2","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.2001.990614"},{"key":"e_1_3_3_1_15_2","series-title":"(RTAS \u201917)","volume-title":"Proc. IEEE Real-Time and Embedded Technology and Applications Symposium","author":"Frias Bernardo\u00a0Villalba","year":"2017","unstructured":"Bernardo\u00a0Villalba Frias, Luigi Palopoli, Luca Abeni, and Daniele Fontanelli. 2017. Probabilistic real-time guarantees: There is life beyond the iid assumption. In Proc. IEEE Real-Time and Embedded Technology and Applications Symposium(RTAS \u201917)."},{"key":"e_1_3_3_1_16_2","doi-asserted-by":"crossref","unstructured":"Andrew Gelman and Donald\u00a0B Rubin. 1992. Inference from iterative simulation using multiple sequences. Statistical science (1992) 457\u2013472.","DOI":"10.1214\/ss\/1177011136"},{"key":"e_1_3_3_1_17_2","doi-asserted-by":"publisher","unstructured":"David Griffin Iain Bate and Robert\u00a0I. Davis. 2020. dgdguk\/drs. 10.5281\/zenodo.4118058","DOI":"10.5281\/zenodo.4118058"},{"key":"e_1_3_3_1_18_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS49844.2020.00018"},{"key":"e_1_3_3_1_19_2","doi-asserted-by":"crossref","unstructured":"Moncef Hamdaoui and Parameswaran Ramanathan. 1995. A dynamic priority assignment technique for streams with (m k)-firm deadlines. IEEE transactions on Computers 44 12 (1995) 1443\u20131451.","DOI":"10.1109\/12.477249"},{"key":"e_1_3_3_1_20_2","doi-asserted-by":"crossref","unstructured":"Michael Hertneck Steffen Linsenmayer and Frank Allg\u00f6wer. 2021. Efficient stability analysis approaches for nonlinear weakly-hard real-time control systems. Automatica 133 (2021) 109868.","DOI":"10.1016\/j.automatica.2021.109868"},{"key":"e_1_3_3_1_21_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-98938-9_14"},{"key":"e_1_3_3_1_22_2","doi-asserted-by":"publisher","DOI":"10.1145\/2933575.2934574"},{"key":"e_1_3_3_1_23_2","doi-asserted-by":"crossref","unstructured":"Kanghee Kim Jose\u00a0Luis Diaz Lucia\u00a0Lo Bello Jos\u00e9\u00a0Mar\u00eda L\u00f3pez Chang-Gun Lee and Sang\u00a0Lyul Min. 2005. An exact stochastic analysis of priority-driven periodic real-time systems and its approximations. IEEE Trans. Comput. 54 11 (2005) 1460\u20131466.","DOI":"10.1109\/TC.2005.174"},{"key":"e_1_3_3_1_24_2","doi-asserted-by":"crossref","unstructured":"Ravin Kumar Colin Carroll Ari Hartikainen and Osvaldo\u00a0Antonio Mart\u00edn. 2019. ArviZ a unified library for exploratory analysis of Bayesian models in Python. Journal of Open Source Software (2019).","DOI":"10.21105\/joss.01143"},{"key":"e_1_3_3_1_25_2","series-title":"(RTAS \u201923)","volume-title":"Proc. IEEE Real-Time and Embedded Technology and Applications Symposium","author":"Lin Ching-Chi","year":"2023","unstructured":"Ching-Chi Lin, Mario G\u00fcnzel, Junjie Shi, Tristan\u00a0Taylan Seidl, Kuan-Hsun Chen, and Jian-Jia Chen. 2023. Average task execution time minimization under (m, k) soft error constraint. In Proc. IEEE Real-Time and Embedded Technology and Applications Symposium(RTAS \u201923)."},{"key":"e_1_3_3_1_26_2","doi-asserted-by":"crossref","unstructured":"Jos\u00e9\u00a0Mar\u00eda L\u00f3pez Jos\u00e9\u00a0Luis D\u00edaz Joaqu\u00edn Entrialgo and Daniel Garc\u00eda. 2008. Stochastic analysis of real-time systems under preemptive priority-driven scheduling. Real-Time Systems 40 2 (2008) 180\u2013207.","DOI":"10.1007\/s11241-008-9053-6"},{"key":"e_1_3_3_1_27_2","series-title":"(RTNS \u201911)","volume-title":"Proc. International Conference on Real-Time and Network Systems","author":"Maxim Dorin","year":"2011","unstructured":"Dorin Maxim, Olivier Buffet, Luca Santinelli, Liliana Cucu-Grosjean, and Robert\u00a0I Davis. 2011. Optimal Priority Assignment Algorithms for Probabilistic Real-Time Systems. In Proc. International Conference on Real-Time and Network Systems(RTNS \u201911)."},{"key":"e_1_3_3_1_28_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2013.30"},{"key":"e_1_3_3_1_29_2","volume-title":"Markov Chains","author":"Norris JR","year":"1998","unstructured":"JR Norris. 1998. Markov Chains. Vol.\u00a02. Cambridge University Press."},{"key":"e_1_3_3_1_30_2","unstructured":"SciPy. 2024. SciPy: Fundamental algorithms for scientific computing in Python. https:\/\/scipy.org\/."},{"key":"e_1_3_3_1_31_2","doi-asserted-by":"publisher","DOI":"10.1145\/2502524.2502542"},{"key":"e_1_3_3_1_32_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTTAS.1995.516213"},{"key":"e_1_3_3_1_33_2","doi-asserted-by":"crossref","unstructured":"Aki Vehtari Andrew Gelman Daniel Simpson Bob Carpenter and Paul-Christian B\u00fcrkner. 2021. Rank-normalization folding and localization: An improved R-hat for assessing convergence of MCMC (with discussion). Bayesian analysis 16 2 (2021) 667\u2013718.","DOI":"10.1214\/20-BA1221"},{"key":"e_1_3_3_1_34_2","series-title":"(ECRTS \u201918)","volume-title":"Proc. Euromicro Conference on Real-Time Systems","author":"Br\u00fcggen Georg von\u00a0der","year":"2018","unstructured":"Georg von\u00a0der Br\u00fcggen, Nico Piatkowski, Kuan-Hsun Chen, Jian-Jia Chen, and Katharina Morik. 2018. Efficiently approximating the probability of deadline misses in real-time systems. In Proc. Euromicro Conference on Real-Time Systems(ECRTS \u201918)."},{"key":"e_1_3_3_1_35_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS54340.2022.00026"},{"key":"e_1_3_3_1_36_2","doi-asserted-by":"crossref","unstructured":"Nils Vreman Paolo Pazzaglia Victor Magron Jie Wang and Martina Maggio. 2022. Stability of Linear Systems Under Extended Weakly-Hard Constraints. IEEE Control Systems Letters 6 (2022) 2900\u20132905.","DOI":"10.1109\/LCSYS.2022.3179960"},{"key":"e_1_3_3_1_37_2","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1988.51117"}],"event":{"name":"RTNS 2024: The 32nd International Conference on Real-Time Networks and Systems","location":"Porto Portugal","acronym":"RTNS 2024"},"container-title":["Proceedings of the 32nd International Conference on Real-Time Networks and Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3696355.3696365","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3696355.3696365","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3696355.3696365","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:10:11Z","timestamp":1750295411000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3696355.3696365"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,6]]},"references-count":36,"alternative-id":["10.1145\/3696355.3696365","10.1145\/3696355"],"URL":"https:\/\/doi.org\/10.1145\/3696355.3696365","relation":{},"subject":[],"published":{"date-parts":[[2024,11,6]]},"assertion":[{"value":"2025-01-03","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}