{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,23]],"date-time":"2026-07-23T20:10:57Z","timestamp":1784837457771,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":39,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642243486","type":"print"},{"value":"9783642243493","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,10,27]],"date-time":"2011-10-27T00:00:00Z","timestamp":1319673600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2011,10,27]],"date-time":"2011-10-27T00:00:00Z","timestamp":1319673600000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-24349-3_5","type":"book-chapter","created":{"date-parts":[[2012,2,7]],"date-time":"2012-02-07T07:42:19Z","timestamp":1328600539000},"page":"103-120","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":97,"title":["The Logical Execution Time Paradigm"],"prefix":"10.1007","author":[{"given":"Christoph M.","family":"Kirsch","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ana","family":"Sokolova","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2011,10,27]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Auerbach J, Bacon DF, Iercan D, Kirsch CM, Rajan VT, \u00a0R\u00f6ck H, Trummer R (2007) Java takes flight: Time-portable real-time programming with exotasks. In: Proceedings of the ACM SIGPLAN\/SIGBED conference on languages, compilers, and tools for embedded systems (LCTES). ACM, New York","DOI":"10.1145\/1254766.1254775"},{"key":"5_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1379023.1375659","volume":"43","author":"J Auerbach","year":"2008","unstructured":"Auerbach J, Bacon DF, Guerraoui R, Spring JH, Vitek J (2008) Flexible task graphs: A unified restricted thread programming model for java. SIGPLAN Not 43:1\u201311","journal-title":"SIGPLAN Not"},{"issue":"2","key":"5_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1457255.1457262","volume":"8","author":"J Auerbach","year":"2009","unstructured":"Auerbach J, Bacon DF, Iercan D, Kirsch CM, Rajan VT, R\u00f6ck H, Trummer R (2009) Low-latency time-portable real-time programming with Exotasks. ACM Trans Embedded Comput Syst (TECS) 8(2):1\u201348","journal-title":"ACM Trans Embedded Comput Syst (TECS)"},{"key":"5_CR4","first-page":"285","volume-title":"A real-time garbage collector with low overhead and consistent utilization","author":"DF Bacon","year":"2003","unstructured":"Bacon DF, Cheng P, Rajan VT (2003) A real-time garbage collector with low overhead and consistent utilization. In: Proceedings of the symposium on principles of programming languages (POPL), ACM, pp 285\u2013298"},{"key":"5_CR5","volume-title":"Proof, language and interaction: Essays in honour of Robin Milner","author":"G Berry","year":"2000","unstructured":"Berry G (2000) The foundations of Esterel. In: Stirling C, Plotkin G, Tofte M (eds) Proof, language and interaction: Essays in honour of Robin Milner. MIT, Cambridge, MA"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Buckl C, Sojer D, Knoll A (2010) Ftos: Model-driven development of fault-tolerant automation systems. In: Proceedings of the international conference on emerging techonologies and factory automation (ETFA). IEEE","DOI":"10.1109\/ETFA.2010.5641211"},{"key":"5_CR7","volume-title":"Hard real-time computing systems: Predictable scheduling algorithms and applications","author":"G Buttazzo","year":"1997","unstructured":"Buttazzo G (1997) Hard real-time computing systems: Predictable scheduling algorithms and applications. Kluwer, Dordrecht"},{"key":"5_CR8","unstructured":"Craciunas SS, Kirsch CM, R\u00f6ck H, Trummer R (2008) The JAviator: A high-payload quadrotor UAV with high-level programming capabilities. In: Proceedings of the AIAA guidance, navigation and control conference (GNC)"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Craciunas SS, Kirsch CM, Payer H, R\u00f6ck H, Sokolova A (2009) Programmable temporal isolation through variable-bandwidth servers. In: Proceedings of the symposium on industrial embedded systems (SIES). IEEE","DOI":"10.1109\/SIES.2009.5196213"},{"key":"5_CR10","volume-title":"Mastering simulink","author":"J Dabney","year":"2003","unstructured":"Dabney J, Harmon T (2003) Mastering simulink. Prentice Hall, Englewood Cliffs, NJ"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Derler P, Resmerita S (2010) Flexible static scheduling of software with logical execution time constraints. In: Proceedings of the international conference on embedded systems and software (ICESS). IEEE","DOI":"10.1109\/CIT.2010.301"},{"issue":"1","key":"5_CR12","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1109\/JPROC.2002.805829","volume":"91","author":"J Eker","year":"2003","unstructured":"Eker J, Janneck JW, Lee EA, Liu J, Liu X, Ludvig J, Neuendorffer S, Sachs S, Xiong Y (2003) Taming heterogeneity\u2013the ptolemy approach. Proc IEEE 91(1):127\u2013144","journal-title":"Proc IEEE"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Farcas E, Pree W (2007) Hyperperiod bus scheduling and optimizations for tdl components. In: Proceedings of the international conference on emerging technologies and factory automation (ETFA). IEEE","DOI":"10.1109\/EFTA.2007.4416926"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Ferdinand C, Heckmann R, Langenbach M, Martin F, Schmidt M, Theiling H, Thesing S, Wilhelm R (2001) Reliable and precise WCET determination for a real-life processor. In: Proceedings of the international workshop on embedded software, vol 2211 of LNCS, Springer, pp 469\u2013485","DOI":"10.1007\/3-540-45449-7_32"},{"key":"5_CR15","doi-asserted-by":"publisher","DOI":"10.1145\/1176887.1176907","volume-title":"A hierarchical coordination language for interacting real-time tasks","author":"A Ghosal","year":"2006","unstructured":"Ghosal A, Henzinger TA, Iercan D, Kirsch CM, Sangiovanni-Vincentelli AL (2006) A hierarchical coordination language for interacting real-time tasks. In: Proceedings of the international conference on embedded software (EMSOFT), ACM"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Ghosal A, Henzinger TA, Kirsch CM, Sanvido MAA (2004) Event-driven programming with logical execution times. In: Proceedings of the international workshop on hybrid systems: Computation and control (HSCC), vol 2993 of LNCS, Springer, pp 357\u2013371","DOI":"10.1007\/978-3-540-24743-2_24"},{"key":"5_CR17","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2010.06.004","author":"A Ghosal","year":"2010","unstructured":"Ghosal A, Iercan D, Kirsch CM, Henzinger TA, Sangiovanni-Vincentelli A (2010) Separate compilation of hierarchical real-time programs into linear-bounded embedded machine code. Sci Comp Program doi:10.1016\/j.scico.2010.06.004","journal-title":"Sci Comp Program"},{"key":"5_CR18","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2231-4","volume-title":"Synchronous programming of reactive systems","author":"N Halbwachs","year":"1993","unstructured":"Halbwachs N (1993) Synchronous programming of reactive systems. Kluwer, Dordrecht"},{"issue":"9","key":"5_CR19","doi-asserted-by":"publisher","first-page":"1305","DOI":"10.1109\/5.97300","volume":"79","author":"N Halbwachs","year":"1991","unstructured":"Halbwachs N, Caspi P, Raymond P, Pilaud D (1991) The synchronous dataflow programming language Lustre. Proc IEEE 79(9) 1305\u20131320","journal-title":"Proc IEEE"},{"key":"5_CR20","first-page":"315","volume-title":"The embedded machine: Predictable, portable real-time code","author":"TA Henzinger","year":"2002","unstructured":"Henzinger TA, Kirsch CM (2002) The embedded machine: Predictable, portable real-time code. In: Proceedings of the ACM SIGPLAN conference on programming language design and implementation (PLDI), ACM, pp 315\u2013326"},{"key":"5_CR21","first-page":"104","volume-title":"A typed assembly language for real-time programs","author":"TA Henzinger","year":"2004","unstructured":"Henzinger TA, Kirsch CM (2004) A typed assembly language for real-time programs. In: Proceedings of the international conference on embedded software (EMSOFT), ACM, pp 104\u2013113"},{"issue":"6","key":"5_CR22","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1145\/1286821.1286824","volume":"29","author":"TA Henzinger","year":"2007","unstructured":"Henzinger TA, Kirsch CM (2007) The Embedded Machine: Predictable, portable real-time code. ACM Trans Program Languages Syst (TOPLAS) 29(6):33\u201361","journal-title":"ACM Trans Program Languages Syst (TOPLAS)"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"Henzinger TA, Horowitz B, Kirsch CM (2001a) Embedded control systems development with Giotto. In: Proceedings of the ACM SIGPLAN workshop on languages, compilers, and tools for embedded systems (LCTES). ACM","DOI":"10.1145\/384197.384208"},{"key":"5_CR24","doi-asserted-by":"crossref","unstructured":"Henzinger TA, Horowitz B, Kirsch CM (2001b) Giotto: A time-triggered language for embedded programming. In: Proceedings of the international workshop on embedded software (EMSOFT), vol 2211 of LNCS, Springer, pp 166\u2013184","DOI":"10.1007\/3-540-45449-7_12"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"Henzinger TA, Kirsch CM, Majumdar R, Matic S (2002) Time safety checking for embedded programs. In: Proceedings of the international workshop on embedded software (EMSOFT), vol 2491 of LNCS, Springer, pp 76\u201392","DOI":"10.1007\/3-540-45828-X_7"},{"issue":"1","key":"5_CR26","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1109\/MCS.2003.1172829","volume":"23","author":"TA Henzinger","year":"2003","unstructured":"Henzinger TA, Kirsch CM, Sanvido MAA, Pree W (2003) From control models to real-time code using Giotto. IEEE Contr Syst Mag (CSM) 23(1):50\u201364","journal-title":"IEEE Contr Syst Mag (CSM)"},{"issue":"1","key":"5_CR27","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1109\/JPROC.2002.805825","volume":"91","author":"TA Henzinger","year":"2003","unstructured":"Henzinger TA, Horowitz B, Kirsch CM (2003a) Giotto: A time-triggered language for embedded programming. Proc IEEE 91(1):84\u201399","journal-title":"Proc IEEE"},{"key":"5_CR28","doi-asserted-by":"crossref","unstructured":"Henzinger TA, Kirsch CM, Matic S (2003b) Schedule-carrying code. In: Proceedings of the international conference on embedded software (EMSOFT), vol 2855 of LNCS, Springer, pp\u00a0241\u2013256","DOI":"10.1007\/978-3-540-45212-6_16"},{"key":"5_CR29","doi-asserted-by":"crossref","unstructured":"Henzinger TA, Kirsch CM, Matic S (2005) Composable code generation for distributed Giotto. In: Proceedings of the ACM SIGPLAN\/SIGBED conference on languages, compilers, and tools for embedded systems (LCTES), ACM","DOI":"10.1145\/1065910.1065914"},{"key":"5_CR30","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2009.9","volume-title":"Distributed, modular HTL","author":"TA Henzinger","year":"2009","unstructured":"Henzinger TA, Kirsch CM, Marques ERB, Sokolova A (2009) Distributed, modular HTL. In: Proceedings of the real-time systems symposium (RTSS), IEEE"},{"key":"5_CR31","doi-asserted-by":"crossref","unstructured":"Kirsch CM (2002) Principles of real-time programming. In: Proceedings of the international workshop on embedded software (EMSOFT), vol 2491 of LNCS, Springer, pp 61\u201375","DOI":"10.1007\/3-540-45828-X_6"},{"key":"5_CR32","volume-title":"A programmable microkernel for real-time systems","author":"CM Kirsch","year":"2005","unstructured":"Kirsch CM, Sanvido MAA, Henzinger TA (2005) A programmable microkernel for real-time systems. In: Proceedings of the ACM\/USENIX conference on virtual execution environments (VEE), ACM"},{"key":"5_CR33","volume-title":"Semantics-preserving and incremental runtime patching of real-time programs","author":"CM Kirsch","year":"2008","unstructured":"Kirsch CM, Lopes L, Marques ERB (2008) Semantics-preserving and incremental runtime patching of real-time programs. In: Proceedings of the workshop on adaptive and reconfigurable embedded systems (APRES)"},{"key":"5_CR34","volume-title":"Real-time systems design principles for distributed embedded applications","author":"H Kopetz","year":"1997","unstructured":"Kopetz H (1997) Real-time systems design principles for distributed embedded applications. Kluwer, Dordrecht"},{"key":"5_CR35","volume-title":"Handbook of real-time and embedded systems","year":"2007","unstructured":"Lee I, Leung J, Son SH (eds) 2007 Handbook of real-time and embedded systems, The evolution of real-time programming. CRC Press, Boca Raton, FL"},{"issue":"1","key":"5_CR36","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"CL Liu","year":"1973","unstructured":"Liu CL, Layland JW (1973) Scheduling algorithms for multiprogramming in a hard real-time environment. J ACM 20(1):46\u201361","journal-title":"J ACM"},{"issue":"1","key":"5_CR37","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1109\/MCS.2003.1172830","volume":"23","author":"J Liu","year":"2003","unstructured":"Liu J, Lee EA (2003) Timed multitasking for real-time embedded software. IEEE Contr Syst Mag (CSM) 23(1):65\u201375","journal-title":"IEEE Contr Syst Mag (CSM)"},{"key":"5_CR38","doi-asserted-by":"publisher","first-page":"577","DOI":"10.1145\/359763.359798","volume":"20","author":"N Wirth","year":"1977","unstructured":"Wirth N (1977) Towards a discipline of real-time programming. Comm ACM 20:577\u2013583","journal-title":"Comm ACM"},{"key":"5_CR39","first-page":"259","volume-title":"A programming model for time-synchronized distributed real-time systems","author":"Y Zhao","year":"2007","unstructured":"Zhao Y, Liu J, Lee E.A (2007) A programming model for time-synchronized distributed real-time systems. In: Proceedings of the real-time and embedded technology and applications symposium (RTAS), IEEE, pp 259\u2013268"}],"container-title":["Advances in Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24349-3_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,18]],"date-time":"2023-04-18T05:42:58Z","timestamp":1681796578000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-24349-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10,27]]},"ISBN":["9783642243486","9783642243493"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24349-3_5","relation":{},"subject":[],"published":{"date-parts":[[2011,10,27]]},"assertion":[{"value":"27 October 2011","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}