Work-in-Progress: Programs with Ironclad Timing Guarantees

Marten Lohstroh, Edward Wang, Martin Schoeberl, Edward A. Lee, Mathieu Jan

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

28 Downloads (Pure)


We discuss ongoing work towards a meta-language, execution model, and compiler tool chain that promotes determinism and grants first-class citizenship to the timing aspects of computation
Original languageEnglish
Title of host publicationProceedings of the International Conference on Embedded Software Companion
Number of pages2
PublisherAssociation for Computing Machinery
Publication date2019
ISBN (Print)978-1-4503-6924-4
Publication statusPublished - 2019
Event2019 International Conference on Embedded Software - New York, United States
Duration: 13 Oct 201918 Oct 2019


Conference2019 International Conference on Embedded Software
CountryUnited States
CityNew York


  • Real-time systems
  • Discrete events
  • Scheduling
  • Concurrency
  • Determinism
  • Polyglot
  • Meta-language
  • Compiler
  • Runtime environment

Cite this