Responsive Computing

A Special Issue of REAL-TIME SYSTEMS The International Journal of Time-Critical Computing Systems Vol. 7, No.3 (1994)

  • Miroslaw Malek
Book

Table of contents

  1. Front Matter
    Pages i-iv
    PDF
  2. Guest Editor’s Introduction
    Miroslaw Malek
    Pages 1-2
  3. Scheduling Algorithms for Fault-Tolerance in Hard-Real-Time Systems
    Alan A. Bertossi, Luigi V. Mancini
    Pages 3-19
  4. Runtime Monitoring of Timing Constraints in Distributed Real-Time Systems
    Farnam Jahanian, Ragunathan Rajkumar, Sitaram C. V. Raju
    Pages 21-47
  5. Automated Verification of Responsive Protocols Modeled by Extended Finite State Machines
    Yoshiaki Kakuda, Tohru Kikuno, Kenichi Kawashima
    Pages 49-63
  6. Compositional Reasoning about Responsive Systems with Limited Resources
    Henk Schepers
    Pages 65-87
  7. Enhancing Fault-Tolerance in Rate-Monotonic Scheduling
    Yingfeng Oh, Sang H. Son
    Pages 89-103

About this book

Introduction

Responsive Computing brings together in one place important contributions and state-of-the-art research results in this rapidly advancing area.
Responsive Computing serves as an excellent reference, providing insight into some of the most important issues in the field.

Keywords

Area Excel Finite algorithms computing system constraint field monitor monitoring real-time real-time system scheduling verification

Authors and affiliations

  • Miroslaw Malek
    • 1
  1. 1.University of TexasAustin

Bibliographic information

  • DOI https://doi.org/10.1007/978-1-4615-2786-2
  • Copyright Information Kluwer Academic Publishers 1994
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4613-6204-3
  • Online ISBN 978-1-4615-2786-2
  • About this book