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

26 Downloads (Pure)

Abstract

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
DOIs
Publication statusPublished - 2019
Event2019 International Conference on Embedded Software - New York, United States
Duration: 13 Oct 201918 Oct 2019

Conference

Conference2019 International Conference on Embedded Software
CountryUnited States
CityNew York
Period13/10/201918/10/2019

Keywords

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

Cite this

Lohstroh, M., Wang, E., Schoeberl, M., Lee, E. A., & Jan, M. (2019). Work-in-Progress: Programs with Ironclad Timing Guarantees. In Proceedings of the International Conference on Embedded Software Companion Association for Computing Machinery. https://doi.org/10.1145/3349568.3351553