A typed assembly language for real-time programs Conference Paper


Author(s): Henzinger, Thomas A; Kirsch, Christoph M
Title: A typed assembly language for real-time programs
Affiliation
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.
Conference Title: EMSOFT: Embedded Software
Conference Dates: September 27-29, 2004
Conference Location: Pisa , Italy
ISBN: 978-145034485-2
Publisher: ACM  
Location: New York, NY, USA
Date Published: 2004-09-01
Start Page: 104
End Page: 113
Sponsor: This research was supported in part by the AFOSR MURI grant F49620-00-1-0327 and by the NSF grants CCR- 0208875 and CCR-0225610.
DOI: 10.1145/1017753.1017774
Open access: no
IST Austria Authors
  1. Thomas A. Henzinger
    415 Henzinger
Related IST Austria Work