|
" Responsive Computer Systems "
edited by Hermann Kopetz, Yoshiaki Kakuda.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
767775
|
| Doc. No
|
:
|
b587760
|
| Main Entry
|
:
|
edited by Hermann Kopetz, Yoshiaki Kakuda.
|
| Title & Author
|
:
|
Responsive Computer Systems\ edited by Hermann Kopetz, Yoshiaki Kakuda.
|
| Publication Statement
|
:
|
Vienna : Springer Vienna, 1993
|
| Series Statement
|
:
|
Dependable computing and fault-tolerant systems, 7.
|
| Page. NO
|
:
|
(xi, 377 pages 96 illustrations)
|
| ISBN
|
:
|
3211824588
|
|
|
:
|
: 3709192889
|
|
|
:
|
: 9783211824580
|
|
|
:
|
: 9783709192887
|
| 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.
|
| Abstract
|
:
|
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.
|
| Subject
|
:
|
Computer hardware.
|
| Subject
|
:
|
Computer network architectures.
|
| Subject
|
:
|
Computer science.
|
| LC Classification
|
:
|
QA76.9.S88E358 1993
|
| Added Entry
|
:
|
Hermann Kopetz
|
|
|
:
|
Y Kakuda
|
| |