{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T16:23:21Z","timestamp":1762273401957,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":64,"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:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"Luxembourg National Research Fund (FNR)","award":["C19\/IS\/13691843\/-ByzRT"],"award-info":[{"award-number":["C19\/IS\/13691843\/-ByzRT"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,11,6]]},"DOI":"10.1145\/3696355.3699704","type":"proceedings-article","created":{"date-parts":[[2025,1,3]],"date-time":"2025-01-03T11:55:46Z","timestamp":1735905346000},"page":"12-24","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Total Execution Order in Fault-Tolerant Real-Time Systems"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3588-1795","authenticated-orcid":false,"given":"Amin","family":"Naghavi","sequence":"first","affiliation":[{"name":"Interdisciplinary Centre for Security, Reliability and Trust, University of Luxembourg, Esch-Sur-Alzette, Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6417-358X","authenticated-orcid":false,"given":"Nicolas","family":"Navet","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Luxembourg, Esch-Sur-Alzette, Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,1,3]]},"reference":[{"key":"e_1_3_3_1_2_2","doi-asserted-by":"publisher","unstructured":"Hakan\u00a0Aydin Abhishek\u00a0Roy and Dakai Zhu. 2021. Energy-aware primary\/backup scheduling of periodic real-time tasks on heterogeneous multicore systems. Sustainable Computing: Informatics and Systems 29 (2021) 100474. 10.1016\/j.suscom.2020.100474","DOI":"10.1016\/j.suscom.2020.100474"},{"key":"e_1_3_3_1_3_2","doi-asserted-by":"publisher","unstructured":"Mani Amoozadeh Arun Raghuramu Chen-nee Chuah Dipak Ghosal H.\u00a0Michael Zhang Jeff Rowe and Karl Levitt. 2015. Security vulnerabilities of connected vehicle streams and their impact on cooperative driving. IEEE Communications Magazine 53 6 (2015) 126\u2013132. 10.1109\/MCOM.2015.7120028 https:\/\/dl.acm.org\/doi\/10.1109\/MCOM.2015.7120028","DOI":"10.1109\/MCOM.2015.7120028"},{"key":"e_1_3_3_1_4_2","doi-asserted-by":"crossref","unstructured":"Tom\u00a0Roeder an Fred B.\u00a0Schneider. 2010. Proactive Obfuscation. ACM Transactions on Computer Systems (TOCS) 28 2 (July 2010).","DOI":"10.1145\/1813654.1813655"},{"key":"e_1_3_3_1_5_2","unstructured":"Alaa Askkar. 2011. PA Telecommunications minister: Palestinian Internet Under Hacking Attacks. IMENC avail at. http:\/\/www.imemc.org\/article\/62409."},{"key":"e_1_3_3_1_6_2","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.2001.990600"},{"key":"e_1_3_3_1_7_2","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2005.32"},{"key":"e_1_3_3_1_8_2","first-page":"479","volume-title":"PDPTA","author":"Bernat Guillem","year":"1997","unstructured":"Guillem Bernat, Jose Miro-Julia, Julian Proenza, et\u00a0al. 1997. Fixed Priority Schedulability Analysis of a Distributed Real-Time Fault Tolerant Architecture.. In PDPTA. Citeseer, 479\u2013487."},{"key":"e_1_3_3_1_9_2","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2010.9"},{"key":"e_1_3_3_1_10_2","doi-asserted-by":"publisher","DOI":"10.1109\/PACT.2005.35"},{"key":"e_1_3_3_1_11_2","doi-asserted-by":"publisher","unstructured":"Giorgio\u00a0C. Buttazzo Marko Bertogna and Gang Yao. 2013. Limited Preemptive Scheduling for Real-Time Systems. A Survey. IEEE Transactions on Industrial Informatics 9 1 (2013) 3\u201315. 10.1109\/TII.2012.2188805","DOI":"10.1109\/TII.2012.2188805"},{"key":"e_1_3_3_1_12_2","doi-asserted-by":"publisher","unstructured":"Miguel Castro and Barbara Liskov. 2002. Practical Byzantine Fault Tolerance and Proactive Recovery. ACM Trans. Comput. Syst. 20 4 (nov 2002) 398\u2013461. 10.1145\/571637.571640https:\/\/dl.acm.org\/doi\/10.1145\/571637.571640","DOI":"10.1145\/571637.571640"},{"key":"e_1_3_3_1_13_2","volume-title":"USENIX Security Symposium","author":"Checkoway Stephen","year":"2011","unstructured":"Stephen Checkoway, Damon McCoy, Brian Kantor, Danny Anderson, Hovav Shacham, Stefan Savage, Karl Koscher, Alexei Czeskis, Franziska Roesner, Tadayoshi Kohno, et\u00a0al. 2011. Comprehensive Experimental Analyses of Automotive Attack Surfaces.. In USENIX Security Symposium. San Francisco."},{"key":"e_1_3_3_1_14_2","unstructured":"US\u00a0Federal Energy\u00a0Regulatory Commission. 2016. Reliability Standards for Physical Security Measures. RD14-6-000."},{"key":"e_1_3_3_1_15_2","doi-asserted-by":"publisher","unstructured":"Miguel Correia Nuno\u00a0Ferreira Neves and Paulo Verissimo. 2013. BFT-TO: Intrusion Tolerance with Less Replicas. Comput. J. 56 6 (2013) 693\u2013715. 10.1093\/comjnl\/bxs148 https:\/\/dl.acm.org\/doi\/10.1093\/comjnl\/bxs148","DOI":"10.1093\/comjnl\/bxs148"},{"key":"e_1_3_3_1_16_2","doi-asserted-by":"publisher","unstructured":"Marco D\u00fcrr Georg Von\u00a0Der Br\u00fcggen Kuan-Hsun Chen and Jian-Jia Chen. 2019. End-to-End Timing Analysis of Sporadic Cause-Effect Chains in Distributed Systems. ACM Trans. Embed. Comput. Syst. 18 5s Article 58 (oct 2019) 24\u00a0pages. 10.1145\/3358181https:\/\/dl.acm.org\/doi\/10.1145\/3358181","DOI":"10.1145\/3358181"},{"key":"e_1_3_3_1_17_2","doi-asserted-by":"publisher","unstructured":"Reinhard Exel Thomas Bigler and Thilo Sauter. 2014. Asymmetry Mitigation in IEEE 802.3 Ethernet for High-Accuracy Clock Synchronization. IEEE Transactions on Instrumentation and Measurement 63 3 (2014) 729\u2013736. 10.1109\/TIM.2013.2280489","DOI":"10.1109\/TIM.2013.2280489"},{"key":"e_1_3_3_1_18_2","doi-asserted-by":"publisher","DOI":"10.4230\/OASIcs.WCET.2016.2"},{"key":"e_1_3_3_1_19_2","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECRTS.2021.13"},{"key":"e_1_3_3_1_20_2","volume-title":"IEEE Real-Time Systems Symposium: 30\/11\/2009-03\/12\/2009","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 IEEE Real-Time Systems Symposium: 30\/11\/2009-03\/12\/2009. IEEE Communications Society."},{"key":"e_1_3_3_1_21_2","doi-asserted-by":"publisher","unstructured":"Joachim Fellmuth Paula Herber Tobias Pfeffer and Sabine Glesner. 2017. Securing Real-Time Cyber-Physical Systems Using WCET-Aware Artificial Diversity. 454\u2013461. 10.1109\/DASC-PICom-DataCom-CyberSciTec.2017.88","DOI":"10.1109\/DASC-PICom-DataCom-CyberSciTec.2017.88"},{"key":"e_1_3_3_1_22_2","volume-title":"Preemptive and Non-Preemptive Real-Time UniProcessor Scheduling","author":"George Laurent","year":"1996","unstructured":"Laurent George, Nicolas Rivierre, and Marco Spuri. 1996. Preemptive and Non-Preemptive Real-Time UniProcessor Scheduling. Research Report RR-2966. INRIA. https:\/\/hal.inria.fr\/inria-00073732 Projet REFLECS."},{"key":"e_1_3_3_1_23_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS49844.2020.00018"},{"key":"e_1_3_3_1_24_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS48715.2020.00012"},{"key":"e_1_3_3_1_25_2","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECRTS.2023.10"},{"key":"e_1_3_3_1_26_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS59052.2023.00014"},{"key":"e_1_3_3_1_27_2","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2018.8342007"},{"key":"e_1_3_3_1_28_2","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1991.160366"},{"key":"e_1_3_3_1_29_2","unstructured":"Gregg Keizer. 2010. Is Stuxnet the \u2019best\u2019 malware ever? avail at. http:\/\/www.infoworld.com\/article\/2626009\/malware\/is-stuxnet-the\u2013best\u2013malware-ever-.html."},{"key":"e_1_3_3_1_30_2","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2010.5640984"},{"key":"e_1_3_3_1_31_2","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7799183"},{"key":"e_1_3_3_1_32_2","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2010.45"},{"key":"e_1_3_3_1_33_2","doi-asserted-by":"publisher","unstructured":"Leonie K\u00f6hler Phil Hertha Matthias Beckert Alex Bendrick and Rolf Ernst. 2023. Robust Cause-Effect Chains with Bounded Execution Time and System-Level Logical Execution Time. ACM Trans. Embed. Comput. Syst. 22 3 Article 50 (apr 2023) 28\u00a0pages. 10.1145\/3573388https:\/\/dl.acm.org\/doi\/10.1145\/3573388","DOI":"10.1145\/3573388"},{"key":"e_1_3_3_1_34_2","doi-asserted-by":"publisher","unstructured":"H. Kopetz and G. Bauer. 2003. The time-triggered architecture. Proc. IEEE 91 1 (2003) 112\u2013126. 10.1109\/JPROC.2002.805821","DOI":"10.1109\/JPROC.2002.805821"},{"key":"e_1_3_3_1_35_2","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1993.627355"},{"key":"e_1_3_3_1_36_2","doi-asserted-by":"publisher","unstructured":"D. Kozhaya J. Decouchant and P. Esteves-Verissimo. 2019. RT-ByzCast: Byzantine-Resilient Real-Time Reliable Broadcast. IEEE Trans. Comput. 68 03 (mar 2019) 440\u2013454. 10.1109\/TC.2018.2871443 https:\/\/dl.acm.org\/doi\/10.1109\/TC.2018.2871443","DOI":"10.1109\/TC.2018.2871443"},{"key":"e_1_3_3_1_37_2","doi-asserted-by":"publisher","unstructured":"David Kozhaya J\u00e9r\u00e9mie Decouchant Vincent Rahli and Paulo Esteves-Verissimo. 2021. PISTIS: An Event-Triggered Real-Time Byzantine-Resilient Protocol Suite. IEEE Transactions on Parallel and Distributed Systems 32 9 (2021) 2277\u20132290. 10.1109\/TPDS.2021.3056718","DOI":"10.1109\/TPDS.2021.3056718"},{"key":"e_1_3_3_1_38_2","doi-asserted-by":"publisher","unstructured":"Kristin Kr\u00fcger Nils Vreman Richard Pates Martina Maggio Marcus V\u00f6lp and Gerhard Fohler. 2021. Randomization as Mitigation of Directed Timing Inference Based Attacks on Time-Triggered Real-Time Systems with Task Replication. 7 (Aug. 2021) 01:1\u201301:29. 10.4230\/LITES.7.1.1","DOI":"10.4230\/LITES.7.1.1"},{"key":"e_1_3_3_1_39_2","unstructured":"Robert\u00a0M. Lee Michael\u00a0J. Assante and Tim Conway. 2016. Analysis of the Cyber Attack on the Ukrainian Power Grid. E-ISAC avail at. https:\/\/ics.sans.org\/media\/E-ISAC_SANS_Ukraine_DUC_5.pdf."},{"key":"e_1_3_3_1_40_2","doi-asserted-by":"publisher","unstructured":"Haoran Li Chenyang Lu and Christopher\u00a0D. Gill. 2021. RT-ZooKeeper: Taming the Recovery Latency of a Coordination Service. ACM Trans. Embed. Comput. Syst. 20 5s Article 103 (Sept. 2021) 22\u00a0pages. 10.1145\/3477034https:\/\/dl.acm.org\/doi\/10.1145\/3477034","DOI":"10.1145\/3477034"},{"key":"e_1_3_3_1_41_2","doi-asserted-by":"publisher","unstructured":"C.\u00a0L. Liu and James\u00a0W. Layland. 1973. Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment. J. ACM 20 1 (jan 1973) 46\u201361. 10.1145\/321738.321743https:\/\/dl.acm.org\/doi\/10.1145\/321738.321743","DOI":"10.1145\/321738.321743"},{"key":"e_1_3_3_1_42_2","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECRTS.2020.5"},{"key":"e_1_3_3_1_43_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2017.193"},{"key":"e_1_3_3_1_44_2","unstructured":"Jeanne Meserve. 2007. Mouse click could plunge city into darkness experts say. http:\/\/edition.cnn.com\/2007\/US\/09\/27\/power.at.risk\/index.html. Accessed: 2017-03-12."},{"key":"e_1_3_3_1_45_2","doi-asserted-by":"publisher","unstructured":"Amin Naghavi Sepideh Safari and Shaahin Hessabi. 2021. Tolerating Permanent Faults with Low-Energy Overhead in Multicore Mixed-Criticality Systems. IEEE Transactions on Emerging Topics in Computing (2021) 1\u20131. 10.1109\/TETC.2021.3059724","DOI":"10.1109\/TETC.2021.3059724"},{"key":"e_1_3_3_1_46_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2019.00017"},{"key":"e_1_3_3_1_47_2","doi-asserted-by":"publisher","unstructured":"Risat\u00a0Mahmud Pathan. 2014. Fault-tolerant and real-time scheduling for mixed-criticality systems. Real-Time Syst. 50 (2014) 509\u2013547. 10.1016\/j.suscom.2020.100474","DOI":"10.1016\/j.suscom.2020.100474"},{"key":"e_1_3_3_1_48_2","doi-asserted-by":"publisher","unstructured":"Ver\u00edssimo P.E. Neves N.F. and Correia M.P.2003. Intrusion-Tolerant Architectures: Concepts and Design. Architecting Dependable Systems. Lecture Notes in Computer Science 2677 (2003). 10.1007\/3-540-45177-3_1","DOI":"10.1007\/3-540-45177-3_1"},{"key":"e_1_3_3_1_49_2","doi-asserted-by":"publisher","unstructured":"M. Pease R. Shostak and L. Lamport. 1980. Reaching Agreement in the Presence of Faults. J. ACM 27 2 (April 1980) 228\u2013234. 10.1145\/322186.322188https:\/\/dl.acm.org\/doi\/10.1145\/322186.322188","DOI":"10.1145\/322186.322188"},{"key":"e_1_3_3_1_50_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2013.6531096"},{"key":"e_1_3_3_1_51_2","doi-asserted-by":"publisher","unstructured":"S. Poledna A. Burns A. Wellings and P. Barrett. 2000. Replica determinism and flexible scheduling in hard real-time dependable systems. IEEE Trans. Comput. 49 2 (2000) 100\u2013111. 10.1109\/12.833107 https:\/\/dl.acm.org\/doi\/10.1109\/12.833107","DOI":"10.1109\/12.833107"},{"key":"e_1_3_3_1_52_2","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2006.15"},{"key":"e_1_3_3_1_53_2","doi-asserted-by":"publisher","DOI":"10.1016\/S1474-6670(17)47252-1"},{"key":"e_1_3_3_1_54_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS52030.2021.00037"},{"key":"e_1_3_3_1_55_2","unstructured":"F Schneider. 2005. Replication management using the statemachine approach. Mullender [7] (2005)."},{"key":"e_1_3_3_1_56_2","unstructured":"Brad Spengler. 2003. PaX: The Guaranteed End of Arbitrary Code Execution. grsecurity.net avail at. https:\/\/grsecurity.net\/PaX-presentation.pdf."},{"key":"e_1_3_3_1_57_2","doi-asserted-by":"publisher","unstructured":"Giuliana\u00a0Santos Veronese Miguel Correia Alysson\u00a0Neves Bessani Lau\u00a0Cheuk Lung and Paulo Verissimo. 2013. Efficient Byzantine Fault-Tolerance. IEEE Trans. Comput. 62 1 (2013) 16\u201330. 10.1109\/TC.2011.221 https:\/\/dl.acm.org\/doi\/10.1109\/TC.2011.221","DOI":"10.1109\/TC.2011.221"},{"key":"e_1_3_3_1_58_2","doi-asserted-by":"publisher","unstructured":"Yun Wang E. Anceaume F. Brasileiro F. Greve and M. Hurfin. 2002. Solving the group priority inversion problem in a timed asynchronous system. IEEE Trans. Comput. 51 8 (2002) 900\u2013915. 10.1109\/TC.2002.1024738 https:\/\/dl.acm.org\/doi\/10.1109\/TC.2002.1024738","DOI":"10.1109\/TC.2002.1024738"},{"key":"e_1_3_3_1_59_2","doi-asserted-by":"publisher","unstructured":"Yi wen Zhang and Rui feng Guo. 2013. Power-aware scheduling algorithms for sporadic tasks in real-time systems. Journal of Systems and Software 86 10 (2013) 2611\u20132619. 10.1016\/j.jss.2013.04.075","DOI":"10.1016\/j.jss.2013.04.075"},{"key":"e_1_3_3_1_60_2","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2019.8715111"},{"key":"e_1_3_3_1_61_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2009.44"},{"key":"e_1_3_3_1_62_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2016.7461362"},{"key":"e_1_3_3_1_63_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS58335.2023.00024"},{"key":"e_1_3_3_1_64_2","first-page":"633","volume-title":"14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20)","author":"Zhang Yunhao","year":"2020","unstructured":"Yunhao Zhang, Srinath Setty, Qi Chen, Lidong Zhou, and Lorenzo Alvisi. 2020. Byzantine Ordered Consensus without Byzantine Oligarchy. In 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). USENIX Association, 633\u2013649. https:\/\/www.usenix.org\/conference\/osdi20\/presentation\/zhang-yunhao"},{"key":"e_1_3_3_1_65_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.1998.679486"}],"event":{"name":"RTNS 2024: The 32nd International Conference on Real-Time Networks and Systems","acronym":"RTNS 2024","location":"Porto Portugal"},"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.3699704","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3696355.3699704","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.3699704"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,6]]},"references-count":64,"alternative-id":["10.1145\/3696355.3699704","10.1145\/3696355"],"URL":"https:\/\/doi.org\/10.1145\/3696355.3699704","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"}}]}}