skip to main content
10.1145/1017753.1017774acmconferencesArticle/Chapter ViewAbstractPublication PagesesweekConference Proceedingsconference-collections
Article

A typed assembly language for real-time programs

Published: 27 September 2004 Publication History

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.

References

[1]
C. Ferdinand, R. Heckmann, M. Langenbach, F. Martin, M. Schmidt, H. Theiling, S. Thesing, R. Wilhelm. Reliable and precise WCET determination for a real-life processor. In Proc. EMSOFT, LNCS 2211, pp. 469--485. Springer, 2001.
[2]
T.A. Henzinger, B. Horowitz, C.M. Kirsch. Giotto: A time-triggered language for embedded programming. In Proc. IEEE 91(1):84--99, 2003.
[3]
T.A. Henzinger and C.M. Kirsch. The embedded machine: Predictable, portable real-time code. In Proc. PLDI, pp. 315--326. ACM, 2002.
[4]
T.A. Henzinger, C.M. Kirsch, R. Majumdar, S. Matic. Time-safety checking for embedded programs. In Proc. EMSOFT, LNCS 2491, pp. 76--92. Springer, 2002.
[5]
T.A. Henzinger, C.M. Kirsch, S. Matic. Schedule-carrying code. In Proc. EMSOFT, LNCS 2855, pp. 241--256. Springer, 2003.
[6]
C. Liu and J. Layland. Scheduling algorithms for multiprogramming in a hard-real-time environment. J. ACM 20(1):46--61, 1973.
[7]
S. Mork, K. Larsen, H.R. Andersen, P. Sestoft. PMC: A programming language for embedded systems. In Proc. Int. Workshop Formal Methods for Industrial Critical Systems, July 1999.
[8]
G. Morrisett, D. Walker, K. Crary, N. Glew. From System F to typed assembly language. In ACM TOPLAS, 21(3):528--569, 1999.

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
EMSOFT '04: Proceedings of the 4th ACM international conference on Embedded software
September 2004
316 pages
ISBN:1581138601
DOI:10.1145/1017753
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 27 September 2004

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. real time
  2. typed assembly language
  3. virtual machine

Qualifiers

  • Article

Conference

EMSOFT04
Sponsor:

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • 0
    Total Citations
  • 342
    Total Downloads
  • Downloads (Last 12 months)1
  • Downloads (Last 6 weeks)0
Reflects downloads up to 20 Feb 2025

Other Metrics

Citations

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media