Citation
Arkadeb Ghosal, Tom Henzinger, Claudio Pinello, Alberto Sangiovanni-Vincentelli, Krishnendu Chatterjee, Daniel Iercan, Christoph Kirsch. "Logical Reliability of Interacting Real-Time Tasks". DATE, April, 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

• date08-final.pdf · application/pdf · 199 kbytes

Citation formats

• HTML

  Arkadeb Ghosal, Tom Henzinger, Claudio Pinello, Alberto
  Sangiovanni-Vincentelli, Krishnendu Chatterjee, Daniel
  Iercan, Christoph Kirsch. <a
  href="http://www.gigascale.org/pubs/1291.html">Logical
  Reliability of Interacting Real-Time Tasks</a>, DATE,
  April, 2008.

• Plain text

  Arkadeb Ghosal, Tom Henzinger, Claudio Pinello, Alberto
  Sangiovanni-Vincentelli, Krishnendu Chatterjee, Daniel
  Iercan, Christoph Kirsch. "Logical Reliability of
  Interacting Real-Time Tasks". DATE, April, 2008.

• BibTeX

  @inproceedings{GhosalHenzingerPinelloSangiovanni-VincentelliChatterjeeIercanKirsch2008,
      author = {Arkadeb Ghosal and Tom Henzinger and Claudio
                Pinello and Alberto Sangiovanni-Vincentelli and
                Krishnendu Chatterjee and Daniel Iercan and
                Christoph Kirsch},
      title = {Logical Reliability of Interacting Real-Time Tasks},
      booktitle = {DATE},
      month = {April},
      year = {2008},
      URL = {http://www.gigascale.org/pubs/1291.html}
  }
  

Posted by Arkadeb Ghosal on 24 Apr 2008..

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.