{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,3]],"date-time":"2026-10-03T16:49:08Z","timestamp":1791046148753,"version":"4.1.0"},"reference-count":82,"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:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"NSF Graduate Research Fellowship","award":["DGE 1256260"],"award-info":[{"award-number":["DGE 1256260"]}]},{"name":"NSF","award":["CNS-2111688, CNS-1750158, CNS-1955670 and CNS-1703936"],"award-info":[{"award-number":["CNS-2111688, CNS-1750158, CNS-1955670 and CNS-1703936"]}]}],"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>\n            Real-time embedded systems perform many important functions in the modern world. A standard way to tolerate faults in these systems is with Byzantine fault-tolerant (BFT) state machine replication (SMR), in which multiple replicas execute the same software and their outputs are compared by the actuators. Unfortunately, traditional BFT SMR protocols are\n            <jats:italic>slow<\/jats:italic>\n            , requiring replicas to exchange sensor data back and forth over multiple rounds in order to reach agreement before each execution. The state of the art in reducing the latency of BFT SMR is\n            <jats:italic>eager execution<\/jats:italic>\n            , in which replicas execute on data from different sensors simultaneously on different processor cores. However, this technique results in 3\u20135\u00d7 higher computation overheads compared to traditional BFT SMR systems, significantly limiting schedulability.\n          <\/jats:p>\n          <jats:p>\n            We present\n            <jats:sc>CrossTalk<\/jats:sc>\n            , a new BFT SMR protocol that leverages the prevalence of redundant switched networks in embedded systems to reduce latency without added computation. The key idea is to use specific algorithms to move messages between redundant network planes (which many systems already possess) as the messages travel from the sensors to the replicas. As a result,\n            <jats:sc>CrossTalk<\/jats:sc>\n            can ensure agreement\n            <jats:italic>automatically<\/jats:italic>\n            in the network, avoiding the need for any communication between replicas. Our evaluation shows that\n            <jats:sc>CrossTalk<\/jats:sc>\n            improves schedulability by 2.13\u20134.24\u00d7 over the state of the art. Moreover, in a NASA simulation of a real spaceflight mission,\n            <jats:sc>CrossTalk<\/jats:sc>\n            tolerates more faults than the state of the art while using nearly 3\u00d7 less processor time.\n          <\/jats:p>","DOI":"10.1145\/3609436","type":"journal-article","created":{"date-parts":[[2023,9,9]],"date-time":"2023-09-09T13:33:18Z","timestamp":1694266398000},"page":"1-25","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["<scp>CrossTalk<\/scp>\n            : Making Low-Latency Fault Tolerance Cheap by Exploiting Redundant Networks"],"prefix":"10.1145","volume":"22","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0627-5702","authenticated-orcid":false,"given":"Andrew","family":"Loveless","sequence":"first","affiliation":[{"name":"NASA Johnson Space Center, 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 &amp; Roblox, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9898-6220","authenticated-orcid":false,"given":"Lisa","family":"Erickson","sequence":"additional","affiliation":[{"name":"Georgia Institute of Technology, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4188-4650","authenticated-orcid":false,"given":"Ronald","family":"Dreslinski","sequence":"additional","affiliation":[{"name":"University of Michigan, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6122-8998","authenticated-orcid":false,"given":"Baris","family":"Kasikci","sequence":"additional","affiliation":[{"name":"University of Washington, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2023,9,9]]},"reference":[{"key":"e_1_3_2_2_2","volume-title":"Survivability of Systems","year":"2008","unstructured":"2008. Survivability of Systems. Technical Report AC 25.795-7. Federal Aviation Administration."},{"key":"e_1_3_2_3_2","unstructured":"2009. ARINC 664 P7: Aircraft data network part 7 avionics full-duplex switched ethernet network. ARINC."},{"key":"e_1_3_2_4_2","unstructured":"2010. Aitech\u2019s New Customizable 3U CPCI Enclosure Combines Flexible Electronic Configurations with Rugged Reliable Operation. https:\/\/picmg.mil-embedded.com\/news\/aitechs-configurations-rugged-reliable-operation\/"},{"key":"e_1_3_2_5_2","unstructured":"2015. TTEthernet Product Overview. http:\/\/konaka.com.tr\/pdf\/AS6802_TTEthernet.pdf"},{"key":"e_1_3_2_6_2","unstructured":"2015. TTTech to Provide ARINC 664 p7 Products for Mission System on UK AW101 Merlin Mk4\/4a Helicopters. https:\/\/www.tttech.com\/press\/tttech-to-provide-arinc-664-p7-products-for-mission-system-on-uk-aw101-merlin-mk4-4a-helicopters\/"},{"key":"e_1_3_2_7_2","unstructured":"2016. IEEE 802.1Qbv-2015: IEEE standard for local and metropolitan area networks \u2013 bridges and bridged networks \u2013 amendment 25: Enhancements for scheduled traffic. IEEE."},{"key":"e_1_3_2_8_2","unstructured":"2016. SAE AS6802: Time-triggered ethernet. SAE International."},{"key":"e_1_3_2_9_2","volume-title":"IEEE 1588 Precise Time Protocol: The New Standard in Time Synchronization","year":"2017","unstructured":"2017. IEEE 1588 Precise Time Protocol: The New Standard in Time Synchronization. Technical Report. Microsemi."},{"key":"e_1_3_2_10_2","unstructured":"2017. IEEE 802.1CB-2017: IEEE standard for local and metropolitan area networks \u2013 frame replication and elimination for reliability. Institute of Electrical and Electronics Engineers."},{"key":"e_1_3_2_11_2","unstructured":"2017. IEEE 802.3-2018: IEEE standard for ethernet. Institute of Electrical and Electronics Engineers."},{"key":"e_1_3_2_12_2","unstructured":"2019. Safe4RAIL-2 Newsletter. https:\/\/safe4rail.eu\/downloads\/Safe4RAIL-2-Newsletter-Issue-1-April-2019.pdf"},{"key":"e_1_3_2_13_2","unstructured":"2022. Orion reference guide. https:\/\/www.nasa.gov\/sites\/default\/files\/atoms\/files\/orion_reference_guide_090622.pdf. NASA Johnson Space Center."},{"key":"e_1_3_2_14_2","unstructured":"2022. TSN Is Set to Become a Must for Industry. https:\/\/iebmedia.com\/technology\/tsn\/tsn-is-set-to-become-a-must-for-industry\/"},{"key":"e_1_3_2_15_2","unstructured":"2023. ADLINK Technology MVP-5001. https:\/\/www.mouser.com\/ProductDetail\/ADLINK-Technology\/MVP-5001?qs=pCidNA4Lr1nu0o3cwPnhIw%3D%3D"},{"key":"e_1_3_2_16_2","unstructured":"2023. Auto\/TSN for In-Vehicle Networking. https:\/\/www.missinglinkelectronics.com\/www\/index.php\/menu-solutions\/menu-autotsn"},{"key":"e_1_3_2_17_2","unstructured":"2023. Cost of Space Launches to LEO. https:\/\/ourworldindata.org\/grapher\/cost-space-launches-low-earth-orbit"},{"key":"e_1_3_2_18_2","unstructured":"2023. IEEE P802.1DP: TSN for aerospace onboard ethernet communications. IEEE \/ SAE International (joint standard)."},{"key":"e_1_3_2_19_2","unstructured":"2023. Monoprice Cat6 1000ft Blue CMR Bulk Cable Shielded. https:\/\/www.monoprice.com\/product?p_id=18608"},{"key":"e_1_3_2_20_2","unstructured":"2023. SpaceWire Cable GNSSW10028MS. https:\/\/www.wiremasters.com\/suppliers\/W-L-Gore-And-Associates\/catalog\/products\/wire-and-cable\/w-l-gore-and-associates-inc-\/"},{"key":"e_1_3_2_21_2","unstructured":"2023. Time Sensitive Networking (TSN). https:\/\/us.profinet.com\/digital\/tsn\/"},{"key":"e_1_3_2_22_2","unstructured":"2023. TSN-6325-8T4S4X Industrial L3 8-Port Switch. https:\/\/planetechusa.com\/product\/tsn-6325-8t4s4x-industrial-l3-8-port-10-100-1000t-4-port-1g-2-5g-sfp-4-port-10gbase-x-sfp-managed-tsn-ethernet-switch\/"},{"key":"e_1_3_2_23_2","volume-title":"Proc. PODC","author":"al. Ittai Abraham et","year":"2021","unstructured":"Ittai Abraham et al.2021. Good-case latency of byzantine broadcast: A complete categorization. In Proc. PODC."},{"key":"e_1_3_2_24_2","unstructured":"Vedant Agarwal. 2016. Photo Essay: Inside the airbus A380 test aircraft F-WWDD MSN4. https:\/\/www.bangaloreaviation.com\/2016\/10\/photo-essay-inside-airbus-a380-test-aircraft-f-wwdd-msn4.html. (2016)."},{"key":"e_1_3_2_25_2","volume-title":"Proc. DASC","author":"Annighoefer Bjoern","year":"2014","unstructured":"Bjoern Annighoefer. 2014. Network topology optimization for distributed integrated modular avionics. In Proc. DASC."},{"key":"e_1_3_2_26_2","volume-title":"Proc. ETFA","author":"al. G\u00fcnther Bauer et","year":"2001","unstructured":"G\u00fcnther Bauer et al.2001. Assumption coverage under different failure modes in the time-triggered architecture. In Proc. ETFA."},{"key":"e_1_3_2_27_2","unstructured":"G\u00fcnther Bauer et al.2020. Method and Computer System for Establishing an Interactive Consistency Property."},{"key":"e_1_3_2_28_2","article-title":"TTEthernet avionics backbone a technology breakthrough for S-97 raider","author":"Bellamy Woodrow","year":"2015","unstructured":"Woodrow Bellamy. 2015. TTEthernet avionics backbone a technology breakthrough for S-97 raider. https:\/\/www.aviationtoday.com\/2015\/07\/20\/ttethernet-avionics-backbone-a-technology-breakthrough-for-s-97-raider\/. Aviation Today (2015).","journal-title":"Aviation Today"},{"key":"e_1_3_2_29_2","volume-title":"Proc. DASC","author":"al. Fr\u00e9d\u00e9ric Boulanger et","year":"2018","unstructured":"Fr\u00e9d\u00e9ric Boulanger et al.2018. A time synchronization protocol for A664 P7. In Proc. DASC."},{"key":"e_1_3_2_30_2","volume-title":"Proc. ERTS","author":"al. Marc Boyer et","year":"2016","unstructured":"Marc Boyer et al.2016. Performance impact of the interactions between time-triggered and rate-constrained transmissions in TTEthernet. In Proc. ERTS."},{"key":"e_1_3_2_31_2","volume-title":"A Primer on Architectural Level Fault Tolerance","author":"Butler Ricky","year":"2008","unstructured":"Ricky Butler. 2008. A Primer on Architectural Level Fault Tolerance. Technical Report NASA\/TM-2008-215108."},{"key":"e_1_3_2_32_2","volume-title":"Proc. AST","author":"Butz Henning","year":"2007","unstructured":"Henning Butz. 2007. The airbus approach to open integrated modular avionics (IMA): Technology, methods, processes, and future roadmap. In Proc. AST."},{"key":"e_1_3_2_33_2","volume-title":"Proc. SOSR","author":"al. Huynh Tu Dang et","year":"2015","unstructured":"Huynh Tu Dang et al.2015. NetPaxos: Consensus at network speed. In Proc. SOSR."},{"issue":"4","key":"e_1_3_2_34_2","article-title":"P4xos: Consensus as a network service","volume":"28","author":"al. Huynh Tu Dang et","year":"2020","unstructured":"Huynh Tu Dang et al.2020. P4xos: Consensus as a network service. IEEE\/ACM Trans. Netw. 28, 4 (2020).","journal-title":"IEEE\/ACM Trans. Netw."},{"key":"e_1_3_2_35_2","volume-title":"Proc. DSN","author":"Dobre Dan.","year":"2006","unstructured":"Dan. Dobre and Neeraj Suri. 2006. One-step consensus with zero-degradation. In Proc. DSN."},{"key":"e_1_3_2_36_2","doi-asserted-by":"publisher","DOI":"10.1016\/0196-6774(82)90004-9"},{"key":"e_1_3_2_37_2","volume-title":"Proc. SAFECOMP","author":"al. Kevin Driscoll et","year":"2003","unstructured":"Kevin Driscoll et al.2003. Byzantine fault tolerance, from theory to reality. In Proc. SAFECOMP."},{"key":"e_1_3_2_38_2","volume-title":"Application Agreement and Integration Services","author":"al. Kevin Driscoll et","year":"2013","unstructured":"Kevin Driscoll et al.2013. Application Agreement and Integration Services. Technical Report NASA\/CR\u20132013-217963."},{"issue":"2","key":"e_1_3_2_39_2","article-title":"Consensus in the presence of partial synchrony","volume":"35","author":"al. Cynthia Dwork et","year":"1988","unstructured":"Cynthia Dwork et al.1988. Consensus in the presence of partial synchrony. J. ACM 35, 2 (1988).","journal-title":"J. ACM"},{"issue":"9","key":"e_1_3_2_40_2","article-title":"Fault-tolerant routing in DeBruijn communication networks","volume":"34","author":"Esfahanian Abdol-Hossein","year":"1985","unstructured":"Abdol-Hossein Esfahanian and Seifollah Hakimi. 1985. Fault-tolerant routing in DeBruijn communication networks. IEEE Trans. Compu. C-34, 9 (1985).","journal-title":"IEEE Trans. Compu."},{"key":"e_1_3_2_41_2","volume-title":"Proc. ERTS","author":"al. Christian Fidi et","year":"2018","unstructured":"Christian Fidi et al.2018. Radiation-tolerant system-on-chip (SOC) with deterministic ethernet switching for scalable modular launcher avionics. In Proc. ERTS."},{"issue":"4","key":"e_1_3_2_42_2","article-title":"A lower bound for the time to assure interactive consistency","volume":"14","author":"Fischer Michael","year":"1982","unstructured":"Michael Fischer and Nancy Lynch. 1982. A lower bound for the time to assure interactive consistency. Inf.Process.Lett. 14, 4 (1982).","journal-title":"Inf.Process.Lett."},{"issue":"2","key":"e_1_3_2_43_2","article-title":"Impossibility of distributed consensus with one faulty process","volume":"32","author":"al. Michael Fischer et","year":"1985","unstructured":"Michael Fischer et al.1985. Impossibility of distributed consensus with one faulty process. J. ACM 32, 2 (1985).","journal-title":"J. ACM"},{"key":"e_1_3_2_44_2","volume-title":"Comparison of Communication Architectures for Spacecraft Modular Avionics Systems","author":"Gwaltney David","year":"2006","unstructured":"David Gwaltney and J.M. Briscoe. 2006. Comparison of Communication Architectures for Spacecraft Modular Avionics Systems. Technical Report NASA\/TM-2006-214431."},{"key":"e_1_3_2_45_2","doi-asserted-by":"publisher","DOI":"10.5555\/866693"},{"key":"e_1_3_2_46_2","volume-title":"Proc. SciPy","author":"al. Aric Hagberg et","year":"2008","unstructured":"Aric Hagberg et al.2008. Exploring network structure, dynamics, and function using networkx. In Proc. SciPy."},{"key":"e_1_3_2_47_2","volume-title":"Proc. DSN","author":"al. Brendan Hall et","year":"2005","unstructured":"Brendan Hall et al.2005. Ringing out fault tolerance. A new ring network for superior low-cost dependability. In Proc. DSN."},{"key":"e_1_3_2_48_2","volume-title":"Space Shuttle Avionics System","author":"Hanaway John","year":"1989","unstructured":"John Hanaway and Robert Moorehead. 1989. Space Shuttle Avionics System. Technical Report NASA SP-504."},{"key":"e_1_3_2_49_2","volume-title":"Digital Avionics: A Computing Perspective","author":"al. John Knight et","year":"2006","unstructured":"John Knight et al.2006. Dependability in avionics systems. In Digital Avionics: A Computing Perspective."},{"key":"e_1_3_2_50_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-8237-7"},{"key":"e_1_3_2_51_2","volume-title":"Proc. SOSP","author":"al. Ramakrishna Kotla et","year":"2007","unstructured":"Ramakrishna Kotla et al.2007. Zyzzyva: Speculative byzantine fault tolerance. In Proc. SOSP."},{"key":"e_1_3_2_52_2","unstructured":"Jacek Krywko. 2019. Space-grade CPUs: How Do You Send More Computing Power Into Space?https:\/\/arstechnica.com\/science\/2019\/11\/space-grade-cpus-how-do-you-send-more-computing-power-into-space\/"},{"key":"e_1_3_2_53_2","volume-title":"Proc. FTCS","author":"Lala Jaynarayan","year":"1986","unstructured":"Jaynarayan Lala. 1986. A byzantine resilient fault tolerant computer for nuclear power plant applications. In Proc. FTCS."},{"issue":"1","key":"e_1_3_2_54_2","article-title":"Architectural principles for safety-critical real-time applications","volume":"82","author":"Lala Jaynarayan","year":"1994","unstructured":"Jaynarayan Lala and Richard Harper. 1994. Architectural principles for safety-critical real-time applications. Proc. IEEE 82, 1 (1994).","journal-title":"Proc. IEEE"},{"issue":"3","key":"e_1_3_2_55_2","article-title":"The byzantine generals problem","volume":"4","author":"al. Leslie Lamport et","year":"1982","unstructured":"Leslie Lamport et al.1982. The byzantine generals problem. TOPLAS 4, 3 (1982).","journal-title":"TOPLAS"},{"issue":"3","key":"e_1_3_2_56_2","article-title":"End-to-end latency and temporal consistency analysis in networked real-time systems","volume":"5","author":"al. Micha\u00ebl Lauer et","year":"2014","unstructured":"Micha\u00ebl Lauer et al.2014. End-to-end latency and temporal consistency analysis in networked real-time systems. Int. J. Crit. Comput.-Based Syst. 5, 3\/4 (2014).","journal-title":"Int. J. Crit. Comput.-Based Syst."},{"key":"e_1_3_2_57_2","volume-title":"Proc. OSDI","author":"al. Jialin Li et","year":"2016","unstructured":"Jialin Li et al.2016. Just say NO to paxos overhead: Replacing consensus with network ordering. In Proc. OSDI."},{"key":"e_1_3_2_58_2","volume-title":"Proc. AIAA","author":"Loveless Andrew","year":"2015","unstructured":"Andrew Loveless. 2015. On TTEthernet for integrated fault-tolerant spacecraft networks. In Proc. AIAA."},{"key":"e_1_3_2_59_2","unstructured":"Andrew Loveless. 2016. Notional 1FT Voting Architecture with Time-Triggered Ethernet. https:\/\/ntrs.nasa.gov\/citations\/20170001652"},{"key":"e_1_3_2_60_2","unstructured":"Andrew Loveless. 2020. On Time-Triggered Ethernet in NASA\u2019s Lunar Gateway. https:\/\/ntrs.nasa.gov\/citations\/20205005104"},{"key":"e_1_3_2_61_2","unstructured":"Andrew Loveless. 2022. Impact of Switch Plane Redundancy on Network Availability. https:\/\/ntrs.nasa.gov\/citations\/20220003523"},{"key":"e_1_3_2_62_2","volume-title":"Proc. RTAS","author":"al. Andrew Loveless et","year":"2021","unstructured":"Andrew Loveless et al.2021. IGOR: Accelerating byzantine fault tolerance for real-time systems with eager execution. In Proc. RTAS."},{"issue":"3","key":"e_1_3_2_63_2","article-title":"Comparative analysis of present and future space-grade processors with device metrics","volume":"14","author":"Lovelly Tyler","year":"2017","unstructured":"Tyler Lovelly and Alan George. 2017. Comparative analysis of present and future space-grade processors with device metrics. J. Aerosp. Inf. Syst. 14, 3 (2017).","journal-title":"J. Aerosp. Inf. Syst."},{"key":"e_1_3_2_64_2","volume-title":"Proc. DASC","author":"al. Brendan Luksik et","year":"2021","unstructured":"Brendan Luksik et al.2021. Gatekeeper: A reliable reconfiguration protocol for real-time ethernet systems. In Proc. DASC."},{"issue":"2","key":"e_1_3_2_65_2","article-title":"An upper and lower bound for clock synchronization","volume":"62","author":"Lundelius Jennifer","year":"1984","unstructured":"Jennifer Lundelius and Nancy Lynch. 1984. An upper and lower bound for clock synchronization. Inf. Control. 62, 2 (1984).","journal-title":"Inf. Control."},{"key":"e_1_3_2_66_2","volume-title":"Proc. NASA\/ARMY Software and Systems Forum","author":"Marchant Christopher","year":"2009","unstructured":"Christopher Marchant. 2009. Ares I avionics introduction. In Proc. NASA\/ARMY Software and Systems Forum."},{"issue":"3","key":"e_1_3_2_67_2","article-title":"Fast byzantine consensus","volume":"3","author":"Martin Jean-Philippe","year":"2006","unstructured":"Jean-Philippe Martin and Lorenzo Alvisi. 2006. Fast byzantine consensus. TDSC 3, 3 (2006).","journal-title":"TDSC"},{"key":"e_1_3_2_68_2","unstructured":"David McComas. 2012. NASA\/GSFC\u2019s Flight Software Core Flight System. https:\/\/ntrs.nasa.gov\/citations\/20130013412"},{"issue":"4","key":"e_1_3_2_69_2","doi-asserted-by":"crossref","DOI":"10.1109\/12.2194","article-title":"Flip-trees: Fault-tolerant graphs with wide containers","volume":"37","author":"Meyer F.J.","year":"1988","unstructured":"F.J. Meyer. 1988. Flip-trees: Fault-tolerant graphs with wide containers. IEEE Trans. Compu. 37, 4 (1988).","journal-title":"IEEE Trans. Compu."},{"key":"e_1_3_2_70_2","unstructured":"Klaus Neuenhueskes. 2022. The role of ethernet in zonal architectures and automotive telematics. https:\/\/www.redeweb.com\/en\/Articles\/el-papel-de-ethernet-en-las-arquitecturas-zonales-y-la-telematica-del-automovil\/. (2022)."},{"key":"e_1_3_2_71_2","doi-asserted-by":"publisher","DOI":"10.5555\/2132523"},{"key":"e_1_3_2_72_2","volume-title":"Proc. International SpaceWire Conference","author":"al. Steve Parkes et","year":"2016","unstructured":"Steve Parkes et al.2016. SpaceFibre networks: SpaceFibre, long paper. In Proc. International SpaceWire Conference."},{"key":"e_1_3_2_73_2","unstructured":"Markus Plankensteiner. 2011. TTTech Company Overview. https:\/\/www.slideshare.net\/TTTech\/tttech-2011companyoverview"},{"key":"e_1_3_2_74_2","volume-title":"Proc. RTAS","author":"Roth Edo","year":"2021","unstructured":"Edo Roth and Andreas Haeberlen. 2021. Do not overpay for fault tolerance!. In Proc. RTAS."},{"key":"e_1_3_2_75_2","volume-title":"Formal Verification of Transmission Window Timing for the Time-Triggered Architecture","author":"Rushby John","year":"2001","unstructured":"John Rushby. 2001. Formal Verification of Transmission Window Timing for the Time-Triggered Architecture. Technical Report. SRI International."},{"key":"e_1_3_2_76_2","volume-title":"Industrial Communication Technology Handbook","author":"Scharbarg Jean-Luc","year":"2014","unstructured":"Jean-Luc Scharbarg and Christian Fraboul. 2014. Dimensioning of civilian avionics networks. In Industrial Communication Technology Handbook."},{"key":"e_1_3_2_77_2","unstructured":"Daniel Siewiorek and Priya Narasimhan. 2005. Fault-Tolerant Architectures for Space and Avionics Applications."},{"key":"e_1_3_2_78_2","volume-title":"Proc. FTCS","author":"Sims J. T.","year":"1997","unstructured":"J. T. Sims. 1997. Redundancy management software services for seawolf ship control system. In Proc. FTCS."},{"key":"e_1_3_2_79_2","volume-title":"Proc. NSDI","author":"al. Atul Singh et","year":"2009","unstructured":"Atul Singh et al.2009. Zeno: Eventually consistent byzantine-fault tolerance. In Proc. NSDI."},{"key":"e_1_3_2_80_2","volume-title":"Proc. DISC","author":"Song Yee Jiun","year":"2008","unstructured":"Yee Jiun Song and Robbert Renesse. 2008. Bosco: One-step byzantine asynchronous consensus. In Proc. DISC."},{"key":"e_1_3_2_81_2","volume-title":"Proc. PODC","author":"Tseng Lewis","year":"2015","unstructured":"Lewis Tseng and Nitin Vaidya. 2015. Fault-tolerant consensus in directed graphs. In Proc. PODC."},{"key":"e_1_3_2_82_2","volume-title":"Proc. EDCC","author":"al. Anis Youssef et","year":"2006","unstructured":"Anis Youssef et al.2006. Communication integrity in networks for critical control systems. In Proc. EDCC."},{"key":"e_1_3_2_83_2","volume-title":"Proc. DASC","author":"Zammali Amira","year":"2015","unstructured":"Amira Zammali et al. 2015. Communication integrity for future helicopter flight control systems. In Proc. DASC."}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3609436","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3609436","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:46:24Z","timestamp":1750178784000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3609436"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,9,9]]},"references-count":82,"journal-issue":{"issue":"5s","published-print":{"date-parts":[[2023,10,31]]}},"alternative-id":["10.1145\/3609436"],"URL":"https:\/\/doi.org\/10.1145\/3609436","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"}}]}}