Softcover reprint of the original 1st ed. 1993, XI, 377 pp. 96 figs.
Springer eBooks may be purchased by end-customers only and are sold without copy protection (DRM free). Instead, all eBooks include personalized watermarks. This means you can read the Springer eBooks across numerous devices such as Laptops, eReaders, and tablets.
You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal.
After the purchase you can directly download the eBook file or read it online in our Springer eBook Reader. Furthermore your eBook will be stored in your MySpringer account. So you can always re-download your eBooks.
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.
Content Level »Research
Keywords »communication - computer - control - control system - design - development - system
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.