A typed assembly language for real-time programs

Authors:
Thomas A. Henzinger;Christoph M. Kirsch
Affiliations:
EPFL and UC Berkeley;University of Salzburg and UC Berkeley
Venue:
Proceedings of the 4th ACM international conference on Embedded software
Year:
2004

Citing 5
Cited 0

From system F to typed assembly language

ACM Transactions on Programming Languages and Systems (TOPLAS)
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment

Journal of the ACM (JACM)
The embedded machine: predictable, portable real-time code

PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
Reliable and Precise WCET Determination for a Real-Life Processor

EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Time-Safety Checking for Embedded Programs

EMSOFT '02 Proceedings of the Second International Conference on Embedded Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.