Skip to main content
SpringerLink
Log in
Book cover

Responsive Computer Systems

  • Conference proceedings
  • © 1993

Overview

Editors:
  1. Hermann Kopetz

    1. Technische Universität Wien, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Yoshiaki Kakuda

    1. Osaka University, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Dependable Computing and Fault-Tolerant Systems (DEPENDABLECOMP, volume 7)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (23 papers)

  1. Front Matter

    Pages I-XI
    Download chapter PDF

  2. Opening Session

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Six Difficult Problems in the Design of Responsive Systems

      • H. Kopetz
      Pages 3-15

    3. Issues in Responsive Protocols Design

      • Y. Kakuda, T. Kikuno
      Pages 17-26

  3. Responsive Systems Theory

    1. Front Matter

      Pages 27-27
      Download chapter PDF

    2. A Probabilistic Duration Calculus

      • Z. Liu, A. P. Ravn, E. V. Sørensen, C. Zhou
      Pages 29-52

    3. Timed Statecharts and Real Time Logic

      • L. Barroca
      Pages 53-70

    4. Fault-Tolerant Distributed Sort Generated from a Verification Proof Outline

      • H. Lutfiyya, M. Schollmeyer, B. McMillin
      Pages 71-96

  4. Responsive Protocols

    1. Front Matter

      Pages 97-97
      Download chapter PDF

    2. Towards a Responsive Network Protocol

      • A. Shionozaki, M. Tokoro
      Pages 99-122

    3. Fault-Tolerant Object by Group-to-Group Communications in Distributed Systems

      • H. Higaki, T. Soneoka
      Pages 123-145

    4. Space-Time Tradeoff in Hierarchical Routing Schemes

      • K. Ishida
      Pages 147-163

  5. Work in Progress

    1. Front Matter

      Pages 165-165
      Download chapter PDF

    2. Fault-Tolerance Support for Responsive Computer Systems

      • R. D. Schlichting
      Pages 167-177

    3. Position Paper: Responsive Airborne Radar Systems

      • L. Sha, J. Lehoczky, M. Bodson, P. Krupp, C. Nowacki
      Pages 179-188

    4. Overview of an Integrated Toolset Under Development for the CSR Paradigm

      • I. Lee, S. Davidson
      Pages 189-195

    5. A Distributed Snapshots Algorithm and its Application to Protocol Stabilization

      • K. Saleh, H. Ural, A. Agarwal
      Pages 197-206

    6. Protocol Validation Tool and Its Applicability to Responsive Protocols

      • H. Saito, T. Hasegawa
      Pages 207-222
Back to top

Keywords

About this book

For the second time the International Workshop on Responsive Com­ puter Systems has brought together a group of international experts from the fields of real-time computing, distributed computing, and fault­ tolerant systems. The two day workshop met at the splendid facilities at the KDD Research and Development Laboratories at Kamifukuoka, Saitama, in Japan on October 1 and 2, 1992. The program included a keynote address, a panel discussion and, in addition to the opening and closing session, six sessions of submitted presentations. The keynote address "The Concepts and Technologies of Depend­ able and Real-time Computer Systems for Shinkansen Train Control" covered the architecture of the computer control system behind a very responsive, i. e. , timely and reliable, transport system-the Shinkansen Train. It has been fascinating to listen to the operational experience with a large fault-tolerant computer application. "What are the Key Paradigms in the Integration of Timeliness and Reliability?" was the topic of the lively panel discussion. Once again the pro's and con's of the time-triggered versus the event-triggered paradigm in the design of a real-time systems were discussed. The eighteen submitted presentations covered diverse topics about important issues in the design of responsive systems and a session on progress reports about leading edge research projects. Lively discussions characterized both days of the meeting. This volume contains the revised presentations that incorporate some of the discussions that occurred during the meeting.

Editors and Affiliations

  • Technische Universität Wien, Austria

    Hermann Kopetz

  • Osaka University, Japan

    Yoshiaki Kakuda

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation