*banner
 

A Hierarchical Coordination Language for Interacting Real-Time Tasks
Arkadeb Ghosal, Tom Henzinger, Daniel Iercan, Christoph Kirsch, Alberto Sangiovanni-Vincentelli

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

Citation formats  
  • 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.

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.

©2002-2018 Chess