Dependable Computing and Fault-Tolerant Systems

Responsive Computer Systems

Editors: Kopetz, Hermann, Kakuda, Yoshiaki (Eds.)

Buy this book

eBook $74.99
price for USA (gross)
  • ISBN 978-3-7091-9288-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-7091-9290-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Table of contents (23 chapters)

  • Six Difficult Problems in the Design of Responsive Systems

    Kopetz, H.

    Pages 3-15

  • Issues in Responsive Protocols Design

    Kakuda, Y. (et al.)

    Pages 17-26

  • A Probabilistic Duration Calculus

    Liu, Z. (et al.)

    Pages 29-52

  • Timed Statecharts and Real Time Logic

    Barroca, L.

    Pages 53-70

  • Fault-Tolerant Distributed Sort Generated from a Verification Proof Outline

    Lutfiyya, H. (et al.)

    Pages 71-96

Buy this book

eBook $74.99
price for USA (gross)
  • ISBN 978-3-7091-9288-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-7091-9290-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Responsive Computer Systems
Editors
  • Hermann Kopetz
  • Yoshiaki Kakuda
Series Title
Dependable Computing and Fault-Tolerant Systems
Series Volume
7
Copyright
1993
Publisher
Springer-Verlag Wien
Copyright Holder
Springer-Verlag/Wien
eBook ISBN
978-3-7091-9288-7
DOI
10.1007/978-3-7091-9288-7
Softcover ISBN
978-3-7091-9290-0
Series ISSN
0932-5581
Edition Number
1
Number of Pages
XI, 377
Topics