Skip to main content
SpringerLink
Log in

The Logical Execution Time Paradigm

  • Chapter
  • First Online:
Advances in Real-Time Systems

  • 1958 Accesses

Abstract

Since its introduction in 2000 in the time-triggered programming language Giotto, the Logical Execution Time (LET) paradigm has evolved from a highly controversial idea to a well-understood principle of real-time programming. This chapter provides an easy-to-read overview of LET programming languages and runtime systems as well as some LET-inspired models of computation. The presentation is intuitive, by example, citing the relevant literature including more formal treatment of the material for reference.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Auerbach J, Bacon DF, Iercan D, Kirsch CM, Rajan VT,  Röck 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

    Google Scholar 

  2. 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–11

    Article  Google Scholar 

  3. Auerbach J, Bacon DF, Iercan D, Kirsch CM, Rajan VT, Röck H, Trummer R (2009) Low-latency time-portable real-time programming with Exotasks. ACM Trans Embedded Comput Syst (TECS) 8(2):1–48

    Article  Google Scholar 

  4. 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–298

    Google Scholar 

  5. 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

    Google Scholar 

  6. 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

    Google Scholar 

  7. Buttazzo G (1997) Hard real-time computing systems: Predictable scheduling algorithms and applications. Kluwer, Dordrecht

    MATH  Google Scholar 

  8. Craciunas SS, Kirsch CM, Röck 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)

    Google Scholar 

  9. Craciunas SS, Kirsch CM, Payer H, Röck H, Sokolova A (2009) Programmable temporal isolation through variable-bandwidth servers. In: Proceedings of the symposium on industrial embedded systems (SIES). IEEE

    Google Scholar 

  10. Dabney J, Harmon T (2003) Mastering simulink. Prentice Hall, Englewood Cliffs, NJ

    Google Scholar 

  11. 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

    Google Scholar 

  12. Eker J, Janneck JW, Lee EA, Liu J, Liu X, Ludvig J, Neuendorffer S, Sachs S, Xiong Y (2003) Taming heterogeneity–the ptolemy approach. Proc IEEE 91(1):127–144

    Article  Google Scholar 

  13. 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

    Google Scholar 

  14. 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–485

    Google Scholar 

  15. 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

    Book  Google Scholar 

  16. 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–371

    Google Scholar 

  17. 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

    Article  Google Scholar 

  18. Halbwachs N (1993) Synchronous programming of reactive systems. Kluwer, Dordrecht

    Book  MATH  Google Scholar 

  19. Halbwachs N, Caspi P, Raymond P, Pilaud D (1991) The synchronous dataflow programming language Lustre. Proc IEEE 79(9) 1305–1320

    Article  Google Scholar 

  20. 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–326

    Google Scholar 

  21. 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–113

    Google Scholar 

  22. Henzinger TA, Kirsch CM (2007) The Embedded Machine: Predictable, portable real-time code. ACM Trans Program Languages Syst (TOPLAS) 29(6):33–61

    Article  Google Scholar 

  23. 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

    Google Scholar 

  24. 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–184

    Google Scholar 

  25. 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–92

    Google Scholar 

  26. 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–64

    Article  Google Scholar 

  27. Henzinger TA, Horowitz B, Kirsch CM (2003a) Giotto: A time-triggered language for embedded programming. Proc IEEE 91(1):84–99

    Article  MATH  Google Scholar 

  28. 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 241–256

    Google Scholar 

  29. 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

    Google Scholar 

  30. Henzinger TA, Kirsch CM, Marques ERB, Sokolova A (2009) Distributed, modular HTL. In: Proceedings of the real-time systems symposium (RTSS), IEEE

    Book  Google Scholar 

  31. 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–75

    Google Scholar 

  32. 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

    Google Scholar 

  33. 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)

    Google Scholar 

  34. Kopetz H (1997) Real-time systems design principles for distributed embedded applications. Kluwer, Dordrecht

    MATH  Google Scholar 

  35. 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

    MATH  Google Scholar 

  36. Liu CL, Layland JW (1973) Scheduling algorithms for multiprogramming in a hard real-time environment. J ACM 20(1):46–61

    Article  MathSciNet  MATH  Google Scholar 

  37. Liu J, Lee EA (2003) Timed multitasking for real-time embedded software. IEEE Contr Syst Mag (CSM) 23(1):65–75

    Article  Google Scholar 

  38. Wirth N (1977) Towards a discipline of real-time programming. Comm ACM 20:577–583

    Article  MATH  Google Scholar 

  39. 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–268

    Google Scholar 

Download references

Acknowledgements

The idea of logical execution time came up in 2000 in Thomas A. Henzinger’s research group at UC Berkeley and has since been advanced by the hands of many people. Our bibliography lists quite some, but probably not all for which we apologize. We thank Eduardo R.B. Marques for his ongoing work on HTL and discussions related to it. The writing of this chapter has been supported by the EU ArtistDesign Network of Excellence on Embedded Systems Design and the Austrian Science Funds P18913-N15 and V00125.

Author information

Authors and Affiliations

  1. Department of Computer Sciences, University of Salzburg, Salzburg, Austria

    Christoph M. Kirsch & Ana Sokolova

Authors
  1. Christoph M. Kirsch
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ana Sokolova
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Christoph M. Kirsch .

Editor information

Editors and Affiliations

  1. LS für Realzeit-Computersysteme, TU München, Arcisstraße 21, München, 80290, Germany

    Samarjit Chakraborty

  2. LS Kommunikationsnetze, TU München, Arcisstr. 21, München, 80290, Germany

    Jörg Eberspächer

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Kirsch, C.M., Sokolova, A. (2012). The Logical Execution Time Paradigm. In: Chakraborty, S., Eberspächer, J. (eds) Advances in Real-Time Systems. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24349-3_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-24349-3_5

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-24348-6

  • Online ISBN: 978-3-642-24349-3

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation