A typed assembly language for real-time programs

13 years 9 months ago

Download mtc.epfl.ch

We present a type system for E code, which is an assembly language that manages the release, interaction, and termination of real-time tasks. E code speciﬁes a deadline for each task, and the type system ensures that the deadlines are path-insensitive. We show that typed E programs allow, for given worst-case execution times of tasks, a simple schedulability analysis. Moreover, the real-time programming language Giotto can be compiled into typed E code. This shows that typed E code identiﬁes an easily schedulable yet expressive class of real-time programs. We have extended the Giotto compiler to generate typed E code, and enabled the run-time system for E code to perform a type and schedulability check before executing the code. Categories and Subject Descriptors: D.3.2 [Programming Languages]: Language Constructs and Features General Terms: Languages

Thomas A. Henzinger, Christoph M. Kirsch

Real-time Traffic