Safety Critical Computer Systems, 1st edition

  • Neil Storey

Unfortunately, this item is not available in your country.


Increasingly microcomputers are being used in applications where their correct operation is vital to ensure the safety of the public and the environment: from anti-lock braking systems in automobiles, to fly-by-wire aircraft, to shut-down systems at nuclear power plants. It is, therefore, vital that engineers be aware of the safety implications of the systems they develop.

This book is an introduction to the field of safety-critical computer systems written for any engineer who uses microcomputers within real-time embedded systems. It assumes no prior knowledge of safety, or of any specific computer hardware or programming language.

This text is intended for both engineering and computer science students, and for practising engineers within computer related industries. The approach taken is equally suited to engineers who consider computers from a hardware, software or systems viewpoint.

Table of contents

  1. Introduction
  2. Safety criteria
  3. Hazard analysis Risk analysis Developing safety critical systems
  4. Fault tolerance
  5. System reliability
  6. Safety critical hardware
  7. Safety critical software
  8. Programmable logic controllers (PLC) Formal methods
  9. Testing
  10. Verification and validation
  11. Quality management
  12. Certification
  13. Commercial integrity systems

For teachers

All the material you need to teach your courses.

Discover teaching material

Published by Pearson (July 18th 1996) - Copyright © 1996