عنوان

Responsive Computer Systems

(Number (ISBN

3211824588

(Number (ISBN

3709192889

(Number (ISBN

9783211824580

(Number (ISBN

9783709192887

Number

b587760

Title Proper

Responsive Computer Systems

General Material Designation

[Book]

First Statement of Responsibility

edited by Hermann Kopetz, Yoshiaki Kakuda.

Place of Publication, Distribution, etc.

Vienna

Name of Publisher, Distributor, etc.

Springer Vienna

Date of Publication, Distribution, etc.

1993

Specific Material Designation and Extent of Item

(xi, 377 pages 96 illustrations)

Series Title

Dependable computing and fault-tolerant systems, 7.

Text of Note

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.

Text of Note

This book contains the revised papers presented at the Second International Workshop on Responsive Systems held at KDD Research and Development Laboratories at Saitama, Japan, on October 1 and 2, 1992. Recognized international experts from the fields of real-time computer systems, fault-tolerant computer systems, and distributed computer systems discuss novel approaches about how these emerging fields can be integrated to support the increasing demand for responsive computer applications. The written record of the fascinating keynote address on "The Concepts and Technologies of Dependable and Real-Time Computer Systems for Shinkansen Train Control" covers the architecture and operational experience of the control system behind a highly dependable public transportation service, the Shinkansen Train System. More than twenty other contributions treat relevant issues about Responsive Systems Theory, Communication Protocol Design, Real-Time System Design, and Experimental Responsive Systems.

Computer hardware.

Computer network architectures.

Computer science.

Class number

Book number

edited by Hermann Kopetz, Yoshiaki Kakuda.

Hermann Kopetz

Y Kakuda

Electronic name

[Book]

Y