Sciweavers

Share
EMSOFT
2004
Springer

A typed assembly language for real-time programs

9 years 4 months ago
A typed assembly language for real-time programs
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 specifies 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 identifies 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
Added 01 Jul 2010
Updated 01 Jul 2010
Type Conference
Year 2004
Where EMSOFT
Authors Thomas A. Henzinger, Christoph M. Kirsch
Comments (0)
books