Citation
Krishnendu Chatterjee, Tom Henzinger, Daniel Iercan, Christoph Kirsch, Claudio Pinello, Alberto Sangiovanni-Vincentelli. "Logical Reliability of Interacting Real-Time Tasks". Design, Automation and Test in Europe, 2008. DATE '08, 909-914, March, 2008.

Abstract
We propose the notion of logical reliability for real-time program tasks that interact through periodically updated program variables. We describe a reliability analysis that checks if the given short-term (e.g., single-period) reliability of a program variable update in an implementation is sufficient to meet the logical reliability requirement (of the program variable) in the long run. We then present a notion of design by refinement where a task can be refined by another task that writes to program variables with less logical reliability. The resulting analysis can be combined with an incremental schedulability analysis for interacting real-time tasks proposed earlier for the Hierarchical Timing Language (HTL), a coordination language for distributed real-time systems. We implemented a logical-reliability-enhanced prototype of the compiler and runtime infrastructure for HTL.

Electronic downloads

• http://dx.doi.org/10.1109/DATE.2008.4484790

• HTML

  Krishnendu Chatterjee, Tom Henzinger, Daniel Iercan,
  Christoph Kirsch, Claudio Pinello, Alberto
  Sangiovanni-Vincentelli. <a
  href="http://chess.eecs.berkeley.edu/pubs/464.html"
  >Logical Reliability of Interacting Real-Time
  Tasks</a>, Design, Automation and Test in Europe,
  2008. DATE '08, 909-914, March, 2008.

• Plain text

  Krishnendu Chatterjee, Tom Henzinger, Daniel Iercan,
  Christoph Kirsch, Claudio Pinello, Alberto
  Sangiovanni-Vincentelli. "Logical Reliability of
  Interacting Real-Time Tasks". Design, Automation and
  Test in Europe, 2008. DATE '08, 909-914, March, 2008.

• BibTeX

  @inproceedings{ChatterjeeHenzingerIercanKirschPinelloSangiovanniVincentelli08_LogicalReliabilityOfInteractingRealTimeTasks,
      author = {Krishnendu Chatterjee and Tom Henzinger and Daniel
                Iercan and Christoph Kirsch and Claudio Pinello
                and Alberto Sangiovanni-Vincentelli},
      title = {Logical Reliability of Interacting Real-Time Tasks},
      booktitle = {Design, Automation and Test in Europe, 2008. DATE
                '08},
      pages = {909-914},
      month = {March},
      year = {2008},
      abstract = {We propose the notion of logical reliability for
                real-time program tasks that interact through
                periodically updated program variables. We
                describe a reliability analysis that checks if the
                given short-term (e.g., single-period) reliability
                of a program variable update in an implementation
                is sufficient to meet the logical reliability
                requirement (of the program variable) in the long
                run. We then present a notion of design by
                refinement where a task can be refined by another
                task that writes to program variables with less
                logical reliability. The resulting analysis can be
                combined with an incremental schedulability
                analysis for interacting real-time tasks proposed
                earlier for the Hierarchical Timing Language
                (HTL), a coordination language for distributed
                real-time systems. We implemented a
                logical-reliability-enhanced prototype of the
                compiler and runtime infrastructure for HTL.},
      URL = {http://chess.eecs.berkeley.edu/pubs/464.html}
  }
  

Posted by Christopher Brooks on 24 Jun 2008.
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.