Citation
Arkadeb Ghosal, Tom Henzinger, Daniel Iercan, Christoph Kirsch, Alberto Sangiovanni-Vincentelli. "A Hierarchical Coordination Language for Interacting Real-Time Tasks". Proceedings of the Sixth ACM International Conference on Embedded Software (EMSOFT'06), Sang Lyul Min, Wang Yi (eds.), ACM, 132-141, October, 2006.

Abstract
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.

Electronic downloads

• http://doi.acm.org/10.1145/1176887.1176907

• HTML

  Arkadeb Ghosal, Tom Henzinger, Daniel Iercan, Christoph
  Kirsch, Alberto Sangiovanni-Vincentelli. <a
  href="http://chess.eecs.berkeley.edu/pubs/223.html"
  >A Hierarchical Coordination Language for Interacting
  Real-Time Tasks</a>, Proceedings of the Sixth ACM
  International Conference on Embedded Software (EMSOFT'06),
  Sang Lyul Min, Wang Yi (eds.), ACM, 132-141, October, 2006.

• Plain text

  Arkadeb Ghosal, Tom Henzinger, Daniel Iercan, Christoph
  Kirsch, Alberto Sangiovanni-Vincentelli. "A
  Hierarchical Coordination Language for Interacting Real-Time
  Tasks". Proceedings of the Sixth ACM International
  Conference on Embedded Software (EMSOFT'06), Sang Lyul Min,
  Wang Yi (eds.), ACM, 132-141, October, 2006.

• BibTeX

  @inproceedings{GhosalHenzingerIercanKirschSangiovanniVincentelli06_HierarchicalCoordinationLanguageForInteractingRealTime,
      author = {Arkadeb Ghosal and Tom Henzinger and Daniel Iercan
                and Christoph Kirsch and Alberto
                Sangiovanni-Vincentelli},
      title = {A Hierarchical Coordination Language for
                Interacting Real-Time Tasks},
      booktitle = {Proceedings of the Sixth ACM International
                Conference on Embedded Software (EMSOFT'06)},
      editor = {Sang Lyul Min, Wang Yi},
      organization = {ACM},
      pages = {132-141},
      month = {October},
      year = {2006},
      abstract = {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.},
      URL = {http://chess.eecs.berkeley.edu/pubs/223.html}
  }
  

Posted by Arkadeb Ghosal on 9 May 2007.
Groups: chess
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.