Ebook: 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 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:
Front Matter....Pages I-XI
Front Matter....Pages 1-1
Six Difficult Problems in the Design of Responsive Systems....Pages 3-15
Issues in Responsive Protocols Design....Pages 17-26
Front Matter....Pages 27-27
A Probabilistic Duration Calculus....Pages 29-52
Timed Statecharts and Real Time Logic....Pages 53-70
Fault-Tolerant Distributed Sort Generated from a Verification Proof Outline....Pages 71-96
Front Matter....Pages 97-97
Towards a Responsive Network Protocol....Pages 99-122
Fault-Tolerant Object by Group-to-Group Communications in Distributed Systems....Pages 123-145
Space-Time Tradeoff in Hierarchical Routing Schemes....Pages 147-163
Front Matter....Pages 165-165
Fault-Tolerance Support for Responsive Computer Systems....Pages 167-177
Position Paper: Responsive Airborne Radar Systems....Pages 179-188
Overview of an Integrated Toolset Under Development for the CSR Paradigm....Pages 189-195
A Distributed Snapshots Algorithm and its Application to Protocol Stabilization....Pages 197-206
Protocol Validation Tool and Its Applicability to Responsive Protocols....Pages 207-222
Front Matter....Pages 223-223
The Concepts and Technologies of Dependable and Real-time Computer Systems for Shinkansen Train Control....Pages 225-252
Front Matter....Pages 253-253
Exception Handling in Real-Time Software from Specification to Design....Pages 255-285
Realizing Changes of Operational Modes with a Pre Run-Time Scheduled Hard Real-Time System....Pages 287-300
Formal Specification and Simulation of a Real-Time Concurrency Control Protocol....Pages 301-318
Front Matter....Pages 319-319
What Are the Key Paradigms in the Integration of Timeliness and Availability ?....Pages 321-325
Contribution to the Panel: What are the Key Paradigms in the Integration of Timeliness and Availability ?....Pages 327-330
Complicated Paradigm of Responsive Systems....Pages 331-333
Front Matter....Pages 319-319
Toward Responsive Distributed Systems....Pages 335-336
Front Matter....Pages 337-337
A Reconfigurable Parallel Processor Based on a TDLCA Model....Pages 339-355
A Modeling Approach for Dynamically Reconfigurable Systems....Pages 357-376
Back Matter....Pages 377-380

---

Content:
Front Matter....Pages I-XI
Front Matter....Pages 1-1
Six Difficult Problems in the Design of Responsive Systems....Pages 3-15
Issues in Responsive Protocols Design....Pages 17-26
Front Matter....Pages 27-27
A Probabilistic Duration Calculus....Pages 29-52
Timed Statecharts and Real Time Logic....Pages 53-70
Fault-Tolerant Distributed Sort Generated from a Verification Proof Outline....Pages 71-96
Front Matter....Pages 97-97
Towards a Responsive Network Protocol....Pages 99-122
Fault-Tolerant Object by Group-to-Group Communications in Distributed Systems....Pages 123-145
Space-Time Tradeoff in Hierarchical Routing Schemes....Pages 147-163
Front Matter....Pages 165-165
Fault-Tolerance Support for Responsive Computer Systems....Pages 167-177
Position Paper: Responsive Airborne Radar Systems....Pages 179-188
Overview of an Integrated Toolset Under Development for the CSR Paradigm....Pages 189-195
A Distributed Snapshots Algorithm and its Application to Protocol Stabilization....Pages 197-206
Protocol Validation Tool and Its Applicability to Responsive Protocols....Pages 207-222
Front Matter....Pages 223-223
The Concepts and Technologies of Dependable and Real-time Computer Systems for Shinkansen Train Control....Pages 225-252
Front Matter....Pages 253-253
Exception Handling in Real-Time Software from Specification to Design....Pages 255-285
Realizing Changes of Operational Modes with a Pre Run-Time Scheduled Hard Real-Time System....Pages 287-300
Formal Specification and Simulation of a Real-Time Concurrency Control Protocol....Pages 301-318
Front Matter....Pages 319-319
What Are the Key Paradigms in the Integration of Timeliness and Availability ?....Pages 321-325
Contribution to the Panel: What are the Key Paradigms in the Integration of Timeliness and Availability ?....Pages 327-330
Complicated Paradigm of Responsive Systems....Pages 331-333
Front Matter....Pages 319-319
Toward Responsive Distributed Systems....Pages 335-336
Front Matter....Pages 337-337
A Reconfigurable Parallel Processor Based on a TDLCA Model....Pages 339-355
A Modeling Approach for Dynamically Reconfigurable Systems....Pages 357-376
Back Matter....Pages 377-380
....