Provided by: edaa
Date Added: Feb 2008
The authors propose the notion of logical reliability for real-time program tasks that interact through periodically updated program variables. They 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. They 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.