{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,29]],"date-time":"2026-09-29T10:45:49Z","timestamp":1790678749013,"version":"4.1.0"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031223365","type":"print"},{"value":"9783031223372","type":"electronic"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-22337-2_8","type":"book-chapter","created":{"date-parts":[[2022,12,28]],"date-time":"2022-12-28T10:08:41Z","timestamp":1672222121000},"page":"160-181","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Generalizing Logical Execution Time"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5663-0584","authenticated-orcid":false,"given":"Edward A.","family":"Lee","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8833-4117","authenticated-orcid":false,"given":"Marten","family":"Lohstroh","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2022,12,29]]},"reference":[{"issue":"9","key":"8_CR1","doi-asserted-by":"publisher","first-page":"1270","DOI":"10.1109\/5.97297","volume":"79","author":"A Benveniste","year":"1991","unstructured":"Benveniste, A., Berry, G.: The synchronous approach to reactive and real-time systems. Proc. IEEE 79(9), 1270\u20131282 (1991)","journal-title":"Proc. IEEE"},{"key":"8_CR2","unstructured":"Benveniste, A., et al.: Contracts for system design. Research Report RR-8147, INRIA, November 2012. https:\/\/hal.inria.fr\/hal-00757488"},{"key":"8_CR3","doi-asserted-by":"publisher","unstructured":"Biondi, A., Natale, M.D.: Achieving predictable multicore execution of automotive applications using the LET paradigm. In: IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), April 2018. https:\/\/doi.org\/10.1109\/RTAS.2018.00032","DOI":"10.1109\/RTAS.2018.00032"},{"key":"8_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/978-3-319-30695-7_13","volume-title":"Architecture of Computing Systems \u2013 ARCS 2016","author":"C Bradatsch","year":"2016","unstructured":"Bradatsch, C., Kluge, F., Ungerer, T.: Data age diminution in the logical execution time model. In: Hannig, F., Cardoso, J.M.P., Pionteck, T., Fey, D., Schr\u00f6der-Preikschat, W., Teich, J. (eds.) ARCS 2016. LNCS, vol. 9637, pp. 173\u2013184. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-30695-7_13"},{"key":"8_CR5","unstructured":"Cataldo, A., Lee, E.A., Liu, X., Matsikoudis, E., Zheng, H.: A constructive fixed-point theorem and the feedback semantics of timed systems. In: Workshop on Discrete Event Systems (WODES) (2006)"},{"key":"8_CR6","doi-asserted-by":"publisher","unstructured":"Corbett, J.C., et al.: Spanner: Google\u2019s globally-distributed database. In: OSDI (2012). https:\/\/doi.org\/10.1145\/2491245","DOI":"10.1145\/2491245"},{"issue":"3","key":"8_CR7","doi-asserted-by":"publisher","first-page":"1655","DOI":"10.1007\/s10270-017-0633-6","volume":"18","author":"F Cremona","year":"2017","unstructured":"Cremona, F., Lohstroh, M., Broman, D., Lee, E.A., Masin, M., Tripakis, S.: Hybrid co-simulation: it\u2019s about time. Softw. Syst. Model. 18(3), 1655\u20131679 (2017). https:\/\/doi.org\/10.1007\/s10270-017-0633-6","journal-title":"Softw. Syst. Model."},{"key":"8_CR8","doi-asserted-by":"publisher","unstructured":"Ernst, R., Kuntz, S., Quinton, S., Simons, M.: The logical execution time paradigm: new perspectives for multicore systems (Dagstuhl Seminar 18092). Dagstuhl Rep. 8, 122\u2013149 (2018). https:\/\/doi.org\/10.4230\/DagRep.8.2.122. https:\/\/hal.inria.fr\/hal-01956964","DOI":"10.4230\/DagRep.8.2.122"},{"issue":"2","key":"8_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3381847","volume":"5","author":"KB Gemlau","year":"2021","unstructured":"Gemlau, K.B., K\u00f6hler, L., Ernst, R., Quinton, S.: System-level logical execution time: augmenting the logical execution time paradigm for distributed real-time automotive software. ACM Trans. Cyber-Phys. Syst. 5(2), 1\u201327 (2021). https:\/\/doi.org\/10.1145\/3381847","journal-title":"ACM Trans. Cyber-Phys. Syst."},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/978-3-540-24743-2_24","volume-title":"Hybrid Systems: Computation and Control","author":"A Ghosal","year":"2004","unstructured":"Ghosal, A., Henzinger, T.A., Kirsch, C.M., Sanvido, M.A.A.: Event-driven programming with logical execution times. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol. 2993, pp. 357\u2013371. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-24743-2_24"},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/3-540-45449-7_12","volume-title":"Embedded Software","author":"TA Henzinger","year":"2001","unstructured":"Henzinger, T.A., Horowitz, B., Kirsch, C.M.: Giotto: a time-triggered language for embedded programming. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol. 2211, pp. 166\u2013184. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/3-540-45449-7_12"},{"issue":"1","key":"8_CR12","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1109\/JPROC.2002.805825","volume":"91","author":"TA Henzinger","year":"2003","unstructured":"Henzinger, T.A., Horowitz, B., Kirsch, C.M.: Giotto: a time-triggered language for embedded programming. Proc. IEEE 91(1), 84\u201399 (2003). https:\/\/doi.org\/10.1109\/JPROC.2002.805825","journal-title":"Proc. IEEE"},{"issue":"1","key":"8_CR13","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1109\/MCS.2003.1172829","volume":"23","author":"TA Henzinger","year":"2003","unstructured":"Henzinger, T.A., Kirsch, C.M., Sanvido, M.A.A., Pree, W.: From control models to real-time code using Giotto. IEEE Control Syst. Mag. 23(1), 50\u201364 (2003). https:\/\/doi.org\/10.1109\/MCS.2003.1172829","journal-title":"IEEE Control Syst. Mag."},{"key":"8_CR14","doi-asserted-by":"publisher","unstructured":"Hladik, P.E.: A brute-force schedulability analysis for formal model under logical execution time assumption. In: ACM Symposium on Applied Computing (SAC), pp. 609\u2013615 (2018). https:\/\/doi.org\/10.1145\/3167132.3167199","DOI":"10.1145\/3167132.3167199"},{"issue":"4","key":"8_CR15","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1145\/3015037.3015047","volume":"13","author":"F Kluge","year":"2016","unstructured":"Kluge, F., Schoeberl, M., Ungerer, T.: Support for the logical execution time model on a time-predictable multicore processor. ACM SIGBED Rev. 13(4), 61\u201366 (2016). https:\/\/doi.org\/10.1145\/3015037.3015047","journal-title":"ACM SIGBED Rev."},{"key":"8_CR16","unstructured":"Koopman, P.: A case study of Toyota unintended acceleration and software safety (2014). http:\/\/betterembsw.blogspot.com\/2014\/09\/a-case-study-of-toyota-unintended.html"},{"issue":"5","key":"8_CR17","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1109\/MC.2006.180","volume":"39","author":"EA Lee","year":"2006","unstructured":"Lee, E.A.: The problem with threads. Computer 39(5), 33\u201342 (2006)","journal-title":"Computer"},{"issue":"5","key":"8_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3453652","volume":"20","author":"EA Lee","year":"2021","unstructured":"Lee, E.A.: Determinism. ACM Trans. Embed. Comput. Syst. (TECS) 20(5), 1\u201334 (2021). https:\/\/doi.org\/10.1145\/3453652","journal-title":"ACM Trans. Embed. Comput. Syst. (TECS)"},{"key":"8_CR19","unstructured":"Lee, E.A., Bateni, S., Lin, S., Lohstroh, M., Menard, C.: Quantifying and generalizing the CAP theorem. arXiv:2109.07771 [cs.DC], 16 September 2021"},{"key":"8_CR20","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/11180.001.0001","volume-title":"Plato and the Nerd - The Creative Partnership of Humans and Technology","author":"EA Lee","year":"2017","unstructured":"Lee, E.A.: Plato and the Nerd - The Creative Partnership of Humans and Technology. MIT Press, Cambridge (2017)"},{"key":"8_CR21","unstructured":"Lohstroh, M.: Reactors: a deterministic model of concurrent computation for reactive systems. Ph.D. thesis, EECS Department, University of California, Berkeley, December 2020. http:\/\/www2.eecs.berkeley.edu\/Pubs\/TechRpts\/2020\/EECS-2020-235.html"},{"key":"8_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/978-3-030-41131-2_4","volume-title":"Cyber Physical Systems. Model-Based Design","author":"M Lohstroh","year":"2020","unstructured":"Lohstroh, M., et al.: Reactors: a deterministic model for composable reactive systems. In: Chamberlain, R., Edin Grimheden, M., Taha, W. (eds.) CyPhy\/WESE 2019. LNCS, vol. 11971, pp. 59\u201385. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-41131-2_4"},{"key":"8_CR23","doi-asserted-by":"crossref","unstructured":"Lohstroh, M., Lee, E.A.: A language for deterministic coordination across multiple timelines. In: 2020 Forum for Specification and Design Languages, FDL 2020, Kiel, Germany, pp. 1\u20138. IEEE, 15\u201317 September 2020","DOI":"10.1109\/FDL50818.2020.9232939"},{"key":"8_CR24","doi-asserted-by":"publisher","unstructured":"Lohstroh, M., Menard, C., Bateni, S., Lee, E.A.: Toward a Lingua Franca for deterministic concurrent systems. ACM Trans. Embed. Comput. Syst. (TECS) 20(4), Article 36 (2021). https:\/\/doi.org\/10.1145\/3448128","DOI":"10.1145\/3448128"},{"key":"8_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/BFb0032003","volume-title":"Real-Time: Theory in Practice","author":"O Maler","year":"1992","unstructured":"Maler, O., Manna, Z., Pnueli, A.: From timed to hybrid systems. In: de Bakker, J.W., Huizing, C., de Roever, W.P., Rozenberg, G. (eds.) REX 1991. LNCS, vol. 600, pp. 447\u2013484. Springer, Heidelberg (1992). https:\/\/doi.org\/10.1007\/BFb0032003"},{"key":"8_CR26","doi-asserted-by":"publisher","unstructured":"Martinez, J., Sa\u00f1udo, I., Bertogna, M.: Analytical characterization of end-to-end communication delays with logical execution time. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(11), 2244\u20132254 (2018). https:\/\/doi.org\/10.1109\/TCAD.2018.2857398","DOI":"10.1109\/TCAD.2018.2857398"},{"key":"8_CR27","unstructured":"NASA Engineering and Safety Center: National highway traffic safety administration Toyota unintended acceleration investigation. Technical assessment report, NASA, 18 January 2011"},{"key":"8_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/978-3-540-70930-5_9","volume-title":"Model-Driven Development of Reliable Automotive Services","author":"W Pree","year":"2008","unstructured":"Pree, W., Templ, J.: Modeling with the timing definition language (TDL). In: Broy, M., Kr\u00fcger, I.H., Meisinger, M. (eds.) ASWSD 2006. LNCS, vol. 4922, pp. 133\u2013144. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-70930-5_9"},{"key":"8_CR29","doi-asserted-by":"publisher","unstructured":"Resmerita, S., Naderlinger, A., Lukesch, S.: Efficient realization of logical execution times in legacy embedded software. In: ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), pp. 36\u201345, September 2017. https:\/\/doi.org\/10.1145\/3127041.3127054","DOI":"10.1145\/3127041.3127054"},{"key":"8_CR30","doi-asserted-by":"crossref","unstructured":"Schneider, C., Sp\u00f6nemann, M., von Hanxleden, R.: Just model! - putting automatic synthesis of node-link-diagrams into practice. In: Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC 2013), San Jose, CA, USA, pp. 75\u201382, September 2013","DOI":"10.1109\/VLHCC.2013.6645246"},{"issue":"3","key":"8_CR31","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1347375.1347389","volume":"7","author":"R Wilhelm","year":"2008","unstructured":"Wilhelm, R., et al.: The worst-case execution-time problem-overview of methods and survey of tools. ACM Trans. Embed. Comput. Syst.(TECS) 7(3), 1\u201353 (2008)","journal-title":"ACM Trans. Embed. Comput. Syst.(TECS)"},{"key":"8_CR32","doi-asserted-by":"crossref","unstructured":"Zhao, Y., Lee, E.A., Liu, J.: A programming model for time-synchronized distributed real-time systems. In: Real-Time and Embedded Technology and Applications Symposium (RTAS), pp. 259\u2013268. IEEE (2007)","DOI":"10.1109\/RTAS.2007.5"}],"container-title":["Lecture Notes in Computer Science","Principles of Systems Design"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-22337-2_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,30]],"date-time":"2022-12-30T00:06:45Z","timestamp":1672358805000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-22337-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031223365","9783031223372"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-22337-2_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"29 December 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}