*banner
 

Hierarchical Timing Language
Arkadeb Ghosal, Tom Henzinger, Daniel Iercan, Christoph Kirsch, Alberto Sangiovanni-Vincentelli

Citation
Arkadeb Ghosal, Tom Henzinger, Daniel Iercan, Christoph Kirsch, Alberto Sangiovanni-Vincentelli. "Hierarchical Timing Language". Technical report, EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-20, May, 2006.

Abstract
We have designed and implemented a new programming language for hard real-time systems. Critical timing constraints are specified within the language, and ensured by the compiler. The main novel feature of the language is that programs are extensible in two dimensions without changing their timing behavior: new program modules can be added, and individual program task can be refined. The mechanism that supports 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. The language, which assembles real-time tasks within a hierarchical module structure with timing constraints, is called Hierarchical Timing Language (HTL). It is a coordination language, in that individual tasks can be implemented in other languages. We present a distributed HTL implementation of an automotive steer-by-wire controller as a case study.

Electronic downloads

Citation formats  
  • HTML
    Arkadeb Ghosal, Tom Henzinger, Daniel Iercan, Christoph
    Kirsch, Alberto Sangiovanni-Vincentelli. <a
    href="http://chess.eecs.berkeley.edu/pubs/136.html"
    ><i>Hierarchical Timing
    Language</i></a>, Technical report,  EECS
    Department, University of California, Berkeley, Technical
    Report No. UCB/EECS-20, May, 2006.
  • Plain text
    Arkadeb Ghosal, Tom Henzinger, Daniel Iercan, Christoph
    Kirsch, Alberto Sangiovanni-Vincentelli. "Hierarchical
    Timing Language". Technical report,  EECS Department,
    University of California, Berkeley, Technical Report No.
    UCB/EECS-20, May, 2006.
  • BibTeX
    @techreport{GhosalHenzingerIercanKirschSangiovanniVincentelli06_HierarchicalTimingLanguage,
        author = {Arkadeb Ghosal and Tom Henzinger and Daniel Iercan
                  and Christoph Kirsch and Alberto
                  Sangiovanni-Vincentelli},
        title = {Hierarchical Timing Language},
        institution = {EECS Department, University of California, Berkeley},
        number = {Technical Report No. UCB/EECS-20},
        month = {May},
        year = {2006},
        abstract = {We have designed and implemented a new programming
                  language for hard real-time systems. Critical
                  timing constraints are specified within the
                  language, and ensured by the compiler. The main
                  novel feature of the language is that programs are
                  extensible in two dimensions without changing
                  their timing behavior: new program modules can be
                  added, and individual program task can be refined.
                  The mechanism that supports 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. The
                  language, which assembles real-time tasks within a
                  hierarchical module structure with timing
                  constraints, is called Hierarchical Timing
                  Language (HTL). It is a coordination language, in
                  that individual tasks can be implemented in other
                  languages. We present a distributed HTL
                  implementation of an automotive steer-by-wire
                  controller as a case study.},
        URL = {http://chess.eecs.berkeley.edu/pubs/136.html}
    }
    

Posted by Arkadeb Ghosal on 24 May 2006.
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