{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,9]],"date-time":"2026-07-09T15:25:08Z","timestamp":1783610708284,"version":"3.55.0"},"reference-count":41,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2021,1,20]],"date-time":"2021-01-20T00:00:00Z","timestamp":1611100800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["ER 168\/30-2"],"award-info":[{"award-number":["ER 168\/30-2"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002347","name":"Bundesministerium f\u00fcr Bildung und Forschung","doi-asserted-by":"crossref","award":["16EMO0285"],"award-info":[{"award-number":["16EMO0285"]}],"id":[{"id":"10.13039\/501100002347","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Cyber-Phys. Syst."],"published-print":{"date-parts":[[2021,4,30]]},"abstract":"<jats:p>Logical Execution Time (LET) is a timed programming abstraction, which features predictable and composable timing. It has recently gained considerable attention in the automotive industry, where it was successfully applied to master the distribution of software applications on multi-core electronic control units. However, the LET abstraction in its conventional form is only valid within the scope of a single component. With the recent introduction of System-level Logical Execution Time (SL LET), the concept could be transferred to a system-wide scope. This article improves over a first paper on SL LET, by providing matured definitions and an extensive discussion of the concept. It also features a comprehensive evaluation exploring the impacts of SL LET with regard to design, verification, performance, and implementability. The evaluation goes far beyond the contexts in which LET was originally applied. Indeed, SL LET allows us to address many open challenges in the design and verification of complex embedded hardware\/software systems addressing predictability, synchronization, composability, and extensibility. Furthermore, we investigate performance trade-offs, and we quantify implementation costs by providing an analysis of the additionally required buffers.<\/jats:p>","DOI":"10.1145\/3381847","type":"journal-article","created":{"date-parts":[[2020,7,7]],"date-time":"2020-07-07T12:37:24Z","timestamp":1594125444000},"page":"1-27","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":37,"title":["System-level Logical Execution Time"],"prefix":"10.1145","volume":"5","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6836-1748","authenticated-orcid":false,"given":"Kai-Bj\u00f6rn","family":"Gemlau","sequence":"first","affiliation":[{"name":"TU Braunschweig, Braunschweig, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7158-0650","authenticated-orcid":false,"given":"Leonie","family":"K\u00d6HLER","sequence":"additional","affiliation":[{"name":"TU Braunschweig, Braunschweig, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rolf","family":"Ernst","sequence":"additional","affiliation":[{"name":"TU Braunschweig, Braunschweig, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sophie","family":"Quinton","sequence":"additional","affiliation":[{"name":"Inria Grenoble Rh\u00f4ne-Alpes, Montbonnot, France"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2021,1,20]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2560033"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2017.09.004"},{"key":"e_1_2_1_3_1","volume-title":"Proceedings of the International Workshop on New Platforms for Future Cars (NPCar at DATE\u201918)","author":"Beckert Matthias","year":"2018","unstructured":"Matthias Beckert and Rolf Ernst . 2018 . The IDA LET machine\u2014An efficient and streamlined open source implementation of the logical execution time paradigm . In Proceedings of the International Workshop on New Platforms for Future Cars (NPCar at DATE\u201918) . Matthias Beckert and Rolf Ernst. 2018. The IDA LET machine\u2014An efficient and streamlined open source implementation of the logical execution time paradigm. In Proceedings of the International Workshop on New Platforms for Future Cars (NPCar at DATE\u201918)."},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/1870926.1870931"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/B978-155860702-6\/50013-2"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805826"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2018.00032"},{"key":"e_1_2_1_8_1","volume-title":"International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS'17)","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'17) . 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'17)."},{"key":"e_1_2_1_9_1","unstructured":"AUTOSAR consortium. 2018. AUTOSAR standards. Retrieved from https:\/\/www.autosar.org\/standards\/.  AUTOSAR consortium. 2018. AUTOSAR standards. Retrieved from https:\/\/www.autosar.org\/standards\/."},{"key":"e_1_2_1_10_1","unstructured":"AUTOSAR consortium. 2018. AUTOSAR_RS_TimingExtensions Specification of timing extensions. Retrieved from https:\/\/www.autosar.org\/fileadmin\/Releases_TEMP\/Classic_Platform_4.4.0\/MethodologyAndTemplates.zip.  AUTOSAR consortium. 2018. AUTOSAR_RS_TimingExtensions Specification of timing extensions. Retrieved from https:\/\/www.autosar.org\/fileadmin\/Releases_TEMP\/Classic_Platform_4.4.0\/MethodologyAndTemplates.zip."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2009.5196213"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2009.2039550"},{"key":"e_1_2_1_13_1","unstructured":"Adam Dunkels. Accessed: 2019-05-01. lwIP\u2014A Lightweight TCP\/IP stack. Retrieved from https:\/\/savannah.nongnu.org\/projects\/lwip\/.  Adam Dunkels. Accessed: 2019-05-01. lwIP\u2014A Lightweight TCP\/IP stack. Retrieved from https:\/\/savannah.nongnu.org\/projects\/lwip\/."},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2018.8591550"},{"key":"e_1_2_1_16_1","unstructured":"Rolf Ernst Stefan Kuntz Sophie Quinton and Martin Simons. 2018. Dagstuhl Seminar 18092\u2014The Logical Execution Time Paradigm: New Perspectives for Multicore Systems. Retrieved from http:\/\/drops.dagstuhl.de\/opus\/volltexte\/2018\/9293\/pdf\/dagrep_v008_i002_p122_18092.pdf.  Rolf Ernst Stefan Kuntz Sophie Quinton and Martin Simons. 2018. Dagstuhl Seminar 18092\u2014The Logical Execution Time Paradigm: New Perspectives for Multicore Systems. Retrieved from http:\/\/drops.dagstuhl.de\/opus\/volltexte\/2018\/9293\/pdf\/dagrep_v008_i002_p122_18092.pdf."},{"key":"e_1_2_1_17_1","volume-title":"Proceedings of the Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT\u201907)","author":"Farcas Claudiu","year":"2007","unstructured":"Claudiu Farcas and Wolfgang Pree . 2007 . A deterministic infrastructure for real-time distributed systems . In Proceedings of the Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT\u201907) . Claudiu Farcas and Wolfgang Pree. 2007. A deterministic infrastructure for real-time distributed systems. In Proceedings of the Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT\u201907)."},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065910.1065915"},{"key":"e_1_2_1_19_1","volume-title":"Proceedings of the IEEE Real-Time Systems Symposium. IEEE Communications Society.","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 Proceedings of the IEEE Real-Time Systems Symposium. IEEE Communications Society. 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 Proceedings of the IEEE Real-Time Systems Symposium. IEEE Communications Society."},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2014.28"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2016.7461355"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805825"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1286821.1286824"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2009.9"},{"key":"e_1_2_1_25_1","unstructured":"IDA. 2019. SL-LET implementation download. Retrieved from https:\/\/www.ida.ing.tu-bs.de\/\u223cartifacts.  IDA. 2019. SL-LET implementation download. Retrieved from https:\/\/www.ida.ing.tu-bs.de\/\u223cartifacts."},{"key":"e_1_2_1_26_1","unstructured":"IEEE. 2019. IEEE 1588-2008-IEEE Standard for a Precision Clock Synchronization Protocol for Networked Measurement and Control Systems. Retrieved from https:\/\/standards.ieee.org\/standard\/1588-2008.html.  IEEE. 2019. IEEE 1588-2008-IEEE Standard for a Precision Clock Synchronization Protocol for Networked Measurement and Control Systems. Retrieved from https:\/\/standards.ieee.org\/standard\/1588-2008.html."},{"key":"e_1_2_1_27_1","unstructured":"Infineon. 2019. 32-bit TriCore Aurix\u2014TC2xx. Retrieved from https:\/\/www.infineon.com\/cms\/de\/product\/microcontroller\/32-bit-tricore-microcontroller\/32-bit-tricore-aurix-tc2xx\/.  Infineon. 2019. 32-bit TriCore Aurix\u2014TC2xx. Retrieved from https:\/\/www.infineon.com\/cms\/de\/product\/microcontroller\/32-bit-tricore-microcontroller\/32-bit-tricore-aurix-tc2xx\/."},{"key":"e_1_2_1_28_1","volume-title":"Kirsch and Ana Sokolova","author":"Christoph","year":"2012","unstructured":"Christoph M. Kirsch and Ana Sokolova . 2012 . The logical execution time paradigm. In Advances in Real-Time Systems. Springer , 103--120. DOI:https:\/\/doi.org\/10.1007\/978-3-642-24349-3_5 10.1007\/978-3-642-24349-3_5 Christoph M. Kirsch and Ana Sokolova. 2012. The logical execution time paradigm. In Advances in Real-Time Systems. Springer, 103--120. DOI:https:\/\/doi.org\/10.1007\/978-3-642-24349-3_5"},{"key":"e_1_2_1_29_1","volume-title":"Proceedings of the 12th International Workshop Quantitative Aspects of Programming Languages and Systems (ETAPS\u201914)","author":"Kloda Tomasz","year":"2014","unstructured":"Tomasz Kloda , Bruno D\u2019Ausbourg , and Luca Santinelli . 2014 . Towards a more flexible timing definition language . In Proceedings of the 12th International Workshop Quantitative Aspects of Programming Languages and Systems (ETAPS\u201914) . Tomasz Kloda, Bruno D\u2019Ausbourg, and Luca Santinelli. 2014. Towards a more flexible timing definition language. In Proceedings of the 12th International Workshop Quantitative Aspects of Programming Languages and Systems (ETAPS\u201914)."},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1367-5788(03)00002-6"},{"key":"e_1_2_1_31_1","unstructured":"Stefan Kuntz. 2018. Multicore and logical execution time industry\u2019s perspective. Retrieved from http:\/\/materials.dagstuhl.de\/index.php?semnr=18092.  Stefan Kuntz. 2018. Multicore and logical execution time industry\u2019s perspective. Retrieved from http:\/\/materials.dagstuhl.de\/index.php?semnr=18092."},{"key":"e_1_2_1_32_1","unstructured":"Ralph Mader. 2018. Implementation of logical execution time\u2014In an AUTOSAR based embedded automotive multi-core application. Retrieved from http:\/\/materials.dagstuhl.de\/index.php?semnr=18092.  Ralph Mader. 2018. Implementation of logical execution time\u2014In an AUTOSAR based embedded automotive multi-core application. Retrieved from http:\/\/materials.dagstuhl.de\/index.php?semnr=18092."},{"key":"e_1_2_1_33_1","unstructured":"Micrium. Accessed: 2019-05-01. Real-Time Kernels: \u00b5C\/OS-II and \u00b5C\/OS-III. Retrieved from https:\/\/www.micrium.com\/rtos\/kernels\/.  Micrium. Accessed: 2019-05-01. Real-Time Kernels: \u00b5C\/OS-II and \u00b5C\/OS-III. Retrieved from https:\/\/www.micrium.com\/rtos\/kernels\/."},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAS.2007.8"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-011-0107-x"},{"key":"e_1_2_1_36_1","volume-title":"Proceedings of the 2nd Automotive Software Workshop on Model-Driven Development of Reliable Automotive Services (ASWSD\u201906)","author":"Pree Wolfgang","year":"2006","unstructured":"Wolfgang Pree and Josef Templ . 2006 . Modeling with the timing definition language (TDL) . In Proceedings of the 2nd Automotive Software Workshop on Model-Driven Development of Reliable Automotive Services (ASWSD\u201906) . 133--144. DOI:https:\/\/doi.org\/10.1007\/978-3-540-70930-5_9 10.1007\/978-3-540-70930-5_9 Wolfgang Pree and Josef Templ. 2006. Modeling with the timing definition language (TDL). In Proceedings of the 2nd Automotive Software Workshop on Model-Driven Development of Reliable Automotive Services (ASWSD\u201906). 133--144. DOI:https:\/\/doi.org\/10.1007\/978-3-540-70930-5_9"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2015.36"},{"key":"e_1_2_1_38_1","volume-title":"Embedded system design for automotive applications. Computer 40, 10","author":"Sangiovanni-Vincentelli Alberto","year":"2007","unstructured":"Alberto Sangiovanni-Vincentelli and Marco Di Natale . 2007. Embedded system design for automotive applications. Computer 40, 10 ( 2007 ). Alberto Sangiovanni-Vincentelli and Marco Di Natale. 2007. Embedded system design for automotive applications. Computer 40, 10 (2007)."},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2008.81"},{"key":"e_1_2_1_40_1","unstructured":"Franz Walkembach. 2016. Model-driven Development for Safety-critical Software Components. White paper. Retrieved from http:\/\/events.windriver.com\/wrcd01\/wrcm\/2016\/08\/WP-model-driven-development-for-safety-critical-software-components.pdf.  Franz Walkembach. 2016. Model-driven Development for Safety-critical Software Components. White paper. Retrieved from http:\/\/events.windriver.com\/wrcd01\/wrcm\/2016\/08\/WP-model-driven-development-for-safety-critical-software-components.pdf."},{"key":"e_1_2_1_41_1","unstructured":"Xilinx. 2019. Xilinx Zynq Ultrascale+ Device\u2014Technical Reference manual. Retrieved from https:\/\/www.xilinx.com\/support\/documentation\/user_guides\/ug1085-zynq-ultrascale-trm.pdf.  Xilinx. 2019. Xilinx Zynq Ultrascale+ Device\u2014Technical Reference manual. Retrieved from https:\/\/www.xilinx.com\/support\/documentation\/user_guides\/ug1085-zynq-ultrascale-trm.pdf."},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2747947"}],"container-title":["ACM Transactions on Cyber-Physical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3381847","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3381847","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:33:07Z","timestamp":1750199587000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3381847"}},"subtitle":["Augmenting the Logical Execution Time Paradigm for Distributed Real-time Automotive Software"],"short-title":[],"issued":{"date-parts":[[2021,1,20]]},"references-count":41,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2021,4,30]]}},"alternative-id":["10.1145\/3381847"],"URL":"https:\/\/doi.org\/10.1145\/3381847","relation":{},"ISSN":["2378-962X","2378-9638"],"issn-type":[{"value":"2378-962X","type":"print"},{"value":"2378-9638","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,1,20]]},"assertion":[{"value":"2019-05-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2020-02-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2021-01-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}