Logical reliability of interacting real-time tasks

Authors:
Krishnendu Chatterjee;Arkadeb Ghosal;Thomas A. Henzinger;Daniel Iercan;Christoph M. Kirsch;Claudio Pinello;Alberto Sangiovanni-Vincentelli
Affiliations:
UC Berkeley;UC Berkeley;EPFL;"Politehnica" U. of Timisoara;University of Salzburg;Cadence Research Labs;UC Berkeley
Venue:
Proceedings of the conference on Design, automation and test in Europe
Year:
2008

Citing 11
Cited 6

Understanding fault-tolerant distributed systems

Communications of the ACM
Reliability engineering handbook (vol. 1)

Reliability engineering handbook (vol. 1)
Giotto: A Time-Triggered Language for Embedded Programming

EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Fault-tolerant platforms for automotive safety-critical applications

Proceedings of the 2003 international conference on Compilers, architecture and synthesis for embedded systems
Fault-Tolerant Deployment of Embedded Software for Cost-Sensitive Real-Time Feedback-Control Applications

Proceedings of the conference on Design, automation and test in Europe - Volume 2
Benefits and challenges for platform-based design

Proceedings of the 41st annual Design Automation Conference
A Bi-Criteria Scheduling Heuristic for Distributed Embedded Systems under Reliability and Real-Time Constraints

DSN '04 Proceedings of the 2004 International Conference on Dependable Systems and Networks
Design Optimization of Time-and Cost-Constrained Fault-Tolerant Distributed Embedded Systems

Proceedings of the conference on Design, Automation and Test in Europe - Volume 2
Synthesis of Fault-Tolerant Embedded Systems with Checkpointing and Replication

DELTA '06 Proceedings of the Third IEEE International Workshop on Electronic Design, Test and Applications
Synthesis of fault-tolerant schedules with transparency/performance trade-offs for distributed embedded systems

Proceedings of the conference on Design, automation and test in Europe: Proceedings
A hierarchical coordination language for interacting real-time tasks

EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software

Quantitative Languages

CSL '08 Proceedings of the 22nd international workshop on Computer Science Logic
Quantitative languages

ACM Transactions on Computational Logic (TOCL)
Mean-payoff automaton expressions

CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Robust embedded software design through early analysis of quality faults

Proceedings of the 4th India Software Engineering Conference
Separate compilation of hierarchical real-time programs into linear-bounded Embedded Machine code

Science of Computer Programming
The complexity of mean-payoff automaton expression

ICALP'12 Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part II

Quantified Score

Hi-index	0.00

Visualization

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.