Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences

COLLEGE OF ENGINEERING

UC Berkeley

   

2008 Research Summary

A Hierarchical Coordination Language for Interacting Real-Time Tasks

View Current Project Information

Arkadeb Ghosal, Christoph Kirsch1, Daniel Iercan2, Alberto L. Sangiovanni-Vincentelli and Thomas A. Henzinger

We designed and implemented a new programming language called Hierarchical Timing Language (HTL) for hard real-time systems. Critical timing constraints are specified within the language, and ensured by the compiler. Programs in HTL are extensible in two dimensions without changing their timing behavior: new program modules can be added, and individual program tasks can be refined. The mechanism supporting time invariance under parallel composition is that different program modules communicate at specified instances of time. Time invariance under refinement is achieved by conservative scheduling of the top level. HTL is a coordination language, in that individual tasks can be implemented in "foreign" languages. As a case study, we present a distributed HTL implementation of an automotive steer-by-wire controller.

[1]
A. Ghosal, T. A. Henzinger, D. Iercan, C. Kirsch, and A. Sangiovanni-Vincentelli, "A Hierarchical Coordination Language for Interacting Real-Time Tasks," EMSOFT, Seoul, Korea, 2006.
[2]
A. Ghosal, T. A. Henzinger, D. Iercan, C. Kirsch, and A. Sangiovanni-Vincentelli, Hierarchical Timing Language, UC Berkeley Technical Report EECS-2006-79, 2006.

1University of Salzburg
2"Politehnica" U. of Timisoara