*banner
 

Logical Reliability of Interacting Real-Time Tasks
Krishnendu Chatterjee, Tom Henzinger, Daniel Iercan, Christoph Kirsch, Claudio Pinello, Alberto Sangiovanni-Vincentelli

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

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

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