Responsive Computer Systems

1. Front Matter

   Pages I-XI

   PDF

2. Opening Session

   1. Front Matter

      Pages 1-1

      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

      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

      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

      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

6. Keynote Address

   1. Front Matter

      Pages 223-223

      PDF

   2. The Concepts and Technologies of Dependable and Real-time Computer Systems for Shinkansen Train Control

      • A. Hachiga

      Pages 225-252

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.

• communication
• computer
• control
• control system
• design
• development
• system
• complexity

• Technische Universität Wien, Austria

  Hermann Kopetz

• Osaka University, Japan

  Yoshiaki Kakuda

Policies and ethics