Specification and Verification of Fault-Tolerance, Timing, and Scheduling

  title={Specification and Verification of Fault-Tolerance, Timing, and Scheduling},
  author={Zhiming Liu and Mathai Joseph},
  journal={ACM Trans. Program. Lang. Syst.},
Fault-tolerance and timing have often been considered to be implementation issues of a program, quite distinct from the functional safety and liveness properties. Recent work has shown how these non-functional and functional properties can be verified in a similar way. However, the more practical question of determining whether a real-time program will meet its deadlines, i.e., showing that there is a feasible schedule, is usually done using scheduling theory, quite separately from the… CONTINUE READING
35 Citations
18 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 35 extracted citations


Publications referenced by this paper.
Showing 1-10 of 18 references

Advanced fixed priority scheduling

  • A. Burns, A. Wellings
  • In Real-Time Systems: Specification, Verification…
  • 1996
Highly Influential
4 Excerpts

Parameterized semantics for fault-tolerant real-time systems

  • J. Coenen, J. Hooman
  • In Formal Techniques in Real-Time and Fault…
  • 1993
Highly Influential
4 Excerpts

Similar Papers

Loading similar papers…