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

• http://www.eecs.berkeley.edu/Pubs/TechRpts/2006/EECS-2006-79.html

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