ESPRIT Basic Research Series

Predictably Dependable Computing Systems

Editors: Randell, B., Laprie, J.-C., Kopetz, H., Littlewood, B. (Eds.)

Buy this book

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

Systems engineers are increasingly having to deal with the problem of how to make the process of designing and constructing dependable computing systems much more predictable and cost-effective. The great challenge about dependability is that it is a systems issue, since virtually all aspects of a computing system, and of the means by which it was specified, designed and constructed, can affect the system's overall dependability. This book explores links, and gaps, between topics that are often investigated separately, but whose interactions can be of considerable relevance to issues of overall system dependability.
It contains material on all four of the main topics that are crucial to the successful production of dependable computing systems namely: fault prevention, fault tolerance, fault removal, and fault forecasting. Particular emphasis is placed on the problems of real-time and distributed computing systems. This book provides up to date information about the latest research on these topics from a team made up of many of Europe's leading researchers - it is based on the work of two successive major ESPRIT Basic Research Projects on Predictably Dependable Computing Systems. These projects lasted over six years in total, and each involved approximately forty researchers at any one time.
The book contains a carefully edited selection from among the over two hundred published papers produced by the PDCS projects and provides a good general overview of the work of the two projects, as well as coverage of most of the projects' major research achievements.

Table of contents (31 chapters)

  • Dependability — Its Attributes, Impairments and Means

    Laprie, Jean-Claude

    Pages 3-18

  • Analysis of Safety Requirements for Process Control Systems

    Anderson, Tom (et al.)

    Pages 27-40

  • Real-Time System Scheduling

    Audsley, Neil (et al.)

    Pages 41-52

  • The Time-Triggered Approach to Real-Time System Design

    Kopetz, Hermann

    Pages 53-66

  • Software Measurement: A Necessary Scientific Basis

    Fenton, Norman Elliott

    Pages 67-78

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-3-642-79789-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $149.00
price for USA
  • ISBN 978-3-642-79791-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
Predictably Dependable Computing Systems
Editors
  • Brian Randell
  • Jean-Claude Laprie
  • Hermann Kopetz
  • Bev Littlewood
Series Title
ESPRIT Basic Research Series
Copyright
1995
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
ECSC — EC — EAEC, Brussels — Luxembourg
eBook ISBN
978-3-642-79789-7
DOI
10.1007/978-3-642-79789-7
Softcover ISBN
978-3-642-79791-0
Edition Number
1
Number of Pages
XIX, 588
Topics