Responsive Computer Systems

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 an...

Full description

Bibliographic Details
Other Authors: Kopetz, Hermann (Editor), Kakuda, Yoshiaki (Editor)
Format: eBook
Language:English
Published: Vienna Springer Vienna 1993, 1993
Edition:1st ed. 1993
Series:Dependable Computing and Fault-Tolerant Systems
Subjects:
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
Table of Contents:
  • Opening Session
  • Six Difficult Problems in the Design of Responsive Systems
  • Issues in Responsive Protocols Design
  • Responsive Systems Theory
  • A Probabilistic Duration Calculus
  • Timed Statecharts and Real Time Logic
  • Fault-Tolerant Distributed Sort Generated from a Verification Proof Outline
  • Responsive Protocols
  • Towards a Responsive Network Protocol
  • Fault-Tolerant Object by Group-to-Group Communications in Distributed Systems
  • Space-Time Tradeoff in Hierarchical Routing Schemes
  • Work in Progress
  • Fault-Tolerance Support for Responsive Computer Systems
  • Position Paper: Responsive Airborne Radar Systems
  • Overview of an Integrated Toolset Under Development for the CSR Paradigm
  • A Distributed Snapshots Algorithm and its Application to Protocol Stabilization
  • Protocol Validation Tool and Its Applicability to Responsive Protocols
  • Keynote Address
  • The Concepts and Technologies of Dependable and Real-time Computer Systems for Shinkansen Train Control
  • Real-Time Systems
  • Exception Handling in Real-Time Software from Specification to Design
  • Realizing Changes of Operational Modes with a Pre Run-Time Scheduled Hard Real-Time System
  • Formal Specification and Simulation of a Real-Time Concurrency Control Protocol
  • Panel Discussion
  • What Are the Key Paradigms in the Integration of Timeliness and Availability ?
  • Contribution to the Panel: What are the Key Paradigms in the Integration of Timeliness and Availability
  • Complicatied Paradigm of Responsive Systems
  • Toward Responsive Distributed Systems
  • Resposive System Design
  • A Reconfigurable Parallel Processor Based on a TDLCA Model
  • A Modeling Approach for Dynamically Reconfigurable Systems
  • Author Index