Work-in-Progress: Programs with Ironclad Timing Guarantees

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

doi:10.1145/3349568.3351553

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 proceeding › Article in proceedings › Research › peer-review

96 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 language	English
Title of host publication	Proceedings of the International Conference on Embedded Software Companion
Number of pages	2
Publisher	Association for Computing Machinery
Publication date	2019
ISBN (Print)	978-1-4503-6924-4
DOIs	https://doi.org/10.1145/3349568.3351553
Publication status	Published - 2019
Event	2019 International Conference on Embedded Software - New York, United States Duration: 13 Oct 2019 → 18 Oct 2019

Conference

Conference	2019 International Conference on Embedded Software
Country/Territory	United States
City	New York
Period	13/10/2019 → 18/10/2019

Keywords

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

Access to Document

10.1145/3349568.3351553

FulltextAccepted author manuscript, 412 KB

OpenUrl availability

Full text

Cite this

@inproceedings{ce9305c940b34280a9f784e35506826d,

title = "Work-in-Progress: Programs with Ironclad Timing Guarantees",

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",

keywords = "Real-time systems, Discrete events, Scheduling, Concurrency, Determinism, Polyglot, Meta-language, Compiler, Runtime environment",

author = "Marten Lohstroh and Edward Wang and Martin Schoeberl and Lee, {Edward A.} and Mathieu Jan",

year = "2019",

doi = "10.1145/3349568.3351553",

language = "English",

isbn = "978-1-4503-6924-4",

booktitle = "Proceedings of the International Conference on Embedded Software Companion",

publisher = "Association for Computing Machinery",

address = "United States",

note = "2019 International Conference on Embedded Software, EMSOFT '19 ; Conference date: 13-10-2019 Through 18-10-2019",

}

Lohstroh, M, Wang, E, Schoeberl, M, Lee, EA & 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, 2019 International Conference on Embedded Software, New York, New York, United States, 13/10/2019. https://doi.org/10.1145/3349568.3351553

TY - GEN

T1 - Work-in-Progress: Programs with Ironclad Timing Guarantees

AU - Lohstroh, Marten

AU - Wang, Edward

AU - Schoeberl, Martin

AU - Lee, Edward A.

AU - Jan, Mathieu

PY - 2019

Y1 - 2019

N2 - 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

AB - 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

KW - Real-time systems

KW - Discrete events

KW - Scheduling

KW - Concurrency

KW - Determinism

KW - Polyglot

KW - Meta-language

KW - Compiler

KW - Runtime environment

U2 - 10.1145/3349568.3351553

DO - 10.1145/3349568.3351553

M3 - Article in proceedings

SN - 978-1-4503-6924-4

BT - Proceedings of the International Conference on Embedded Software Companion

PB - Association for Computing Machinery

T2 - 2019 International Conference on Embedded Software

Y2 - 13 October 2019 through 18 October 2019

ER -

Work-in-Progress: Programs with Ironclad Timing Guarantees

Abstract

Conference

Keywords

Access to Document

OpenUrl availability

Fingerprint

Cite this