{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:32:13Z","timestamp":1750221133716,"version":"3.41.0"},"reference-count":51,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T00:00:00Z","timestamp":1559260800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100004739","name":"Youth Innovation Promotion Association CAS","doi-asserted-by":"crossref","award":["2017497"],"award-info":[{"award-number":["2017497"]}],"id":[{"id":"10.13039\/501100004739","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100003995","name":"Anhui Provincial Natural Science Foundation","doi-asserted-by":"crossref","award":["1608085QF12"],"award-info":[{"award-number":["1608085QF12"]}],"id":[{"id":"10.13039\/501100003995","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100004608","name":"Jiangsu Provincial Natural Science Foundation","doi-asserted-by":"crossref","award":["BK20181193"],"award-info":[{"award-number":["BK20181193"]}],"id":[{"id":"10.13039\/501100004608","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100001809","name":"National Science Foundation of China","doi-asserted-by":"crossref","award":["61772482"],"award-info":[{"award-number":["61772482"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100012226","name":"Fundamental Research Funds for the Central Universities","doi-asserted-by":"crossref","award":["WK2150110003"],"award-info":[{"award-number":["WK2150110003"]}],"id":[{"id":"10.13039\/501100012226","id-type":"DOI","asserted-by":"crossref"}]},{"name":"National Key Research and Development Program of China","award":["2017YFA0700900"],"award-info":[{"award-number":["2017YFA0700900"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Des. Autom. Electron. Syst."],"published-print":{"date-parts":[[2019,5,31]]},"abstract":"<jats:p>Real-time systems continuously interact with the physical environment and often have to satisfy stringent timing constraints imposed by their interactions. Those systems involve two main properties: reactivity and predictability. Reactivity allows the system to continuously react to a non-deterministic external environment, while predictability guarantees the deterministic execution of safety-critical parts of applications. However, with the increase in software complexity, traditional approaches to develop real-time systems make temporal behaviors difficult to infer, especially when the system is required to address non-deterministic aperiodic events from the physical environment.<\/jats:p>\n          <jats:p>In this article, we propose a reactive and predictable programming framework, Distributed Clockwerk (DCW), for distributed real-time systems. DCW introduces the Servant, which is a non-preemptible execution entity, to implement periodic tasks based on the Logical Execution Time (LET) model. Furthermore, a joint schedule policy, based on the slack stealing algorithm, is proposed to efficiently address aperiodic events with no violated hard-time constraints. To further support predictable communication among distributed nodes, DCW implements the Time-Triggered Controller Area Network (TTCAN) to avoid collisions while accessing the shared communication medium. Moreover, a programming framework implements to provide a set of programming APIs for defining timing and functional behaviors of concurrent tasks. An example is further implemented to illustrate the DCW design flow. The evaluation results demonstrate that our proposal can improve both periodic and aperiodic reactivity compared with existing work, and the implemented DCW can also ensure the system predictability by achieving extremely low overheads.<\/jats:p>","DOI":"10.1145\/3317574","type":"journal-article","created":{"date-parts":[[2019,6,3]],"date-time":"2019-06-03T12:23:16Z","timestamp":1559564596000},"page":"1-35","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["DCW"],"prefix":"10.1145","volume":"24","author":[{"given":"Bo","family":"Wan","sequence":"first","affiliation":[{"name":"School of Computer Science and Technology, USTC, Hefei, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xi","family":"Li","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, USTC, Hefei, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bo","family":"Zhang","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, USTC, Hefei, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Caixu","family":"Zhao","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, USTC, Hefei, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xianglan","family":"Chen","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, USTC, Hefei, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chao","family":"Wang","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, USTC, Hefei, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xuehai","family":"Zhou","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, USTC, Hefei, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,5,31]]},"reference":[{"volume-title":"From Model-Driven Design to Resource Management for Distributed Embedded Systems","author":"Angelov Christo","key":"e_1_2_1_1_1","unstructured":"Christo Angelov and Jesper Berthing . 2006. Distributed timed multitasking\u2013a model of computation for hard real-time distributed systems . In From Model-Driven Design to Resource Management for Distributed Embedded Systems . Springer , 145--154. Christo Angelov and Jesper Berthing. 2006. Distributed timed multitasking\u2013a model of computation for hard real-time distributed systems. In From Model-Driven Design to Resource Management for Distributed Embedded Systems. Springer, 145--154."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2007.4297323"},{"key":"e_1_2_1_3_1","volume-title":"State-of-the-art survey on in-vehicle network communication (CAN-Bus) security and vulnerabilities. arXiv preprint arXiv:1802.01725","author":"Avatefipour Omid","year":"2018","unstructured":"Omid Avatefipour and Hafiz Malik . 2018. State-of-the-art survey on in-vehicle network communication (CAN-Bus) security and vulnerabilities. arXiv preprint arXiv:1802.01725 ( 2018 ). Omid Avatefipour and Hafiz Malik. 2018. State-of-the-art survey on in-vehicle network communication (CAN-Bus) security and vulnerabilities. arXiv preprint arXiv:1802.01725 (2018)."},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/MECO.2014.6862662"},{"key":"e_1_2_1_5_1","unstructured":"Richard Barry. 2010. Using the FreeRTOS Real Time Kernel: A Practical Guide. Real Time Engineers.  Richard Barry. 2010. Using the FreeRTOS Real Time Kernel: A Practical Guide. Real Time Engineers."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2017.09.004"},{"key":"e_1_2_1_8_1","volume-title":"International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS)","author":"Biondi Alessandro","year":"2017","unstructured":"Alessandro Biondi , Paolo Pazzaglia , Alessio Balsini , and Marco Di Natale . 2017 . Logical execution time implementation and memory optimization issues in AUTOSAR applications for multicores . In International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS) , Dubrovnik, Croatia. Alessandro Biondi, Paolo Pazzaglia, Alessio Balsini, and Marco Di Natale. 2017. Logical execution time implementation and memory optimization issues in AUTOSAR applications for multicores. In International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS), Dubrovnik, Croatia."},{"key":"e_1_2_1_9_1","first-page":"3","article-title":"This car runs on code","volume":"46","author":"Charette Robert N.","year":"2009","unstructured":"Robert N. Charette . 2009 . This car runs on code . IEEE Spectrum 46 , 3 (2009), 3 . Robert N. Charette. 2009. This car runs on code. IEEE Spectrum 46, 3 (2009), 3.","journal-title":"IEEE Spectrum"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1993.393496"},{"key":"e_1_2_1_11_1","volume-title":"Proceedings of the Workshop on Time-Triggered and Real-Time Communication Systems.","author":"Elmenreich Wilfried","year":"2003","unstructured":"Wilfried Elmenreich and Richard Ipp . 2003 . Introduction to TTP\/C and TTP\/A . In Proceedings of the Workshop on Time-Triggered and Real-Time Communication Systems. Wilfried Elmenreich and Richard Ipp. 2003. Introduction to TTP\/C and TTP\/A. In Proceedings of the Workshop on Time-Triggered and Real-Time Communication Systems."},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1070891.1065915"},{"key":"e_1_2_1_13_1","volume-title":"Sanvido","author":"Ghosal Arkadeb","year":"2004","unstructured":"Arkadeb Ghosal , Thomas A. Henzinger , Christoph M. Kirsch , and Marco A. A . Sanvido . 2004 . Event-driven programming with logical execution times. In International Workshop on Hybrid Systems : Computation and Control. Springer , 357--371. Arkadeb Ghosal, Thomas A. Henzinger, Christoph M. Kirsch, and Marco A. A. Sanvido. 2004. Event-driven programming with logical execution times. In International Workshop on Hybrid Systems: Computation and Control. Springer, 357--371."},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1176887.1176907"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1201\/b17224"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/795671.796873"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2016.7461355"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/646787.703890"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1286821.1286824"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/646788.703910"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1070891.1065914"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1564"},{"key":"e_1_2_1_23_1","volume-title":"Jorge Luis Martinez Garcia, and Ignacio Sanudo","author":"Burgio Paolo","year":"2017","unstructured":"Paolo Burgio , Marko Bertogna , Jorge Luis Martinez Garcia, and Ignacio Sanudo . 2017 . End-to-end latency characterization of implicit and LET communication models. In WATERS Industrial Challenge 2017. Paolo Burgio, Marko Bertogna, Jorge Luis Martinez Garcia, and Ignacio Sanudo. 2017. End-to-end latency characterization of implicit and LET communication models. In WATERS Industrial Challenge 2017."},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2009.8"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/1927882.1927890"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1064979.1064986"},{"key":"e_1_2_1_27_1","volume-title":"Kirsch and Raja Sengupta","author":"Christoph","year":"2006","unstructured":"Christoph M. Kirsch and Raja Sengupta . 2006 . The evolution of real-time programming. Handbook of Real-Time and Embedded Systems ( 2006), 11--1. Christoph M. Kirsch and Raja Sengupta. 2006. The evolution of real-time programming. Handbook of Real-Time and Embedded Systems (2006), 11--1."},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3015037.3015047"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805821"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.180"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1506409.1506426"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0141-9331(01)00148-X"},{"key":"e_1_2_1_33_1","volume-title":"Real-Time Systems Symposium\u201987","author":"Lehoczky John P.","year":"1987","unstructured":"John P. Lehoczky . 1987 . Enhanced aperiodic responsiveness in hard real-time environment . In Real-Time Systems Symposium\u201987 . IEEE, 261--270. John P. Lehoczky. 1987. Enhanced aperiodic responsiveness in hard real-time environment. In Real-Time Systems Symposium\u201987. IEEE, 261--270."},{"volume-title":"Real-Time Systems Symposium. IEEE, 110--123","author":"John","key":"e_1_2_1_34_1","unstructured":"John P. Lehoczky and Sandra Ramos-Thuel. 1992. An optimal algorithm for scheduling soft-aperiodic tasks in fixed-priority preemptive systems . In Real-Time Systems Symposium. IEEE, 110--123 . John P. Lehoczky and Sandra Ramos-Thuel. 1992. An optimal algorithm for scheduling soft-aperiodic tasks in fixed-priority preemptive systems. In Real-Time Systems Symposium. IEEE, 110--123."},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCS.2003.1172830"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2011.38"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/WFCS.2006.1704153"},{"volume-title":"Professional Linux Kernel Architecture","author":"Mauerer Wolfgang","key":"e_1_2_1_38_1","unstructured":"Wolfgang Mauerer . 2010. Professional Linux Kernel Architecture . John Wiley 8 Sons. Wolfgang Mauerer. 2010. Professional Linux Kernel Architecture. John Wiley 8 Sons."},{"volume-title":"Computer Network Time Synchronization: The Network Time Protocol on Earth and in Space","author":"Mills David L.","key":"e_1_2_1_39_1","unstructured":"David L. Mills . 2016. Computer Network Time Synchronization: The Network Time Protocol on Earth and in Space . CRC Press . David L. Mills. 2016. Computer Network Time Synchronization: The Network Time Protocol on Earth and in Space. CRC Press."},{"key":"e_1_2_1_40_1","volume-title":"Robert De Simone, and Jean-Pierre Talpin","author":"Potop-Butucaru Dumitru","year":"2005","unstructured":"Dumitru Potop-Butucaru , Robert De Simone, and Jean-Pierre Talpin . 2005 . The synchronous hypothesis and synchronous languages. The Embedded Systems Handbook ( 2005), 1--21. Dumitru Potop-Butucaru, Robert De Simone, and Jean-Pierre Talpin. 2005. The synchronous hypothesis and synchronous languages. The Embedded Systems Handbook (2005), 1--21."},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.micpro.2004.02.001"},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02341920"},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01995673"},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00287-010-0506-7"},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/NCA.2009.28"},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.368008"},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2016.01.007"},{"key":"e_1_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629335.1629366"},{"key":"e_1_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISPA\/IUCC.2017.00094"},{"key":"e_1_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCC-SmartCity-DSS.2017.75"},{"key":"e_1_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2013.08.016"},{"key":"e_1_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2017.2701828"}],"container-title":["ACM Transactions on Design Automation of Electronic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3317574","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3317574","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:02:27Z","timestamp":1750208547000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3317574"}},"subtitle":["A Reactive and Predictable Programming Framework for LET-Based Distributed Real-Time Systems"],"short-title":[],"issued":{"date-parts":[[2019,5,31]]},"references-count":51,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2019,5,31]]}},"alternative-id":["10.1145\/3317574"],"URL":"https:\/\/doi.org\/10.1145\/3317574","relation":{},"ISSN":["1084-4309","1557-7309"],"issn-type":[{"type":"print","value":"1084-4309"},{"type":"electronic","value":"1557-7309"}],"subject":[],"published":{"date-parts":[[2019,5,31]]},"assertion":[{"value":"2018-08-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2019-03-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2019-05-31","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}