1. Improving the Accuracy of Scheduling Analysis Applied to Distributed Systems Computing Minimal Response Times and Reducing Jitter

   • William Henderson
   • David Kendall
   • Adrian Robson

   OriginalPaper Pages: 5 - 25

2. Extending the SCR Method for Real-Time Systems

   • Hyoung Seok Hong
   • Seung Mo Cho
   • Yong Rae Kwon

   OriginalPaper Pages: 27 - 49

3. Dynamic Scheduling and Fault-Tolerance: Specification and Verification

   • Tomasz Janowski
   • Mathai Joseph

   OriginalPaper Pages: 51 - 81

4. Analysis of Checkpointing for Real-Time Systems

   • Sasikumar Punnekkat
   • Alan Burns
   • Robert Davis

   OriginalPaper Pages: 83 - 102