Safety Critical Computer SystemsDescription |
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.  |
|
Features |
- Discusses the use and requirements of safety critical systems and their general design principles.
- Presents a number of real-life safety critical systems for discussion.
- Covers all phases of the life of a safety-critical system from its conceptions and specification, through to its certification, installation, service and decommissioning.
- Provides information on how to assess the safety implications of projects and to determine the measures necessary to develop systems to meet safety needs.
- Gives a thorough grounding in the techniques available to investigate the safety aspects of computer-based systems and the methods that may be used to enhance their dependability.
- Uses case studies and worked examples from a wide range of industrial sectors including the nuclear, aircraft, automotive and consumer products industries to illustrate the material.
|
|
|
Table of Contents |
- Introduction
- Safety criteria
- Hazard analysis Risk analysis Developing safety critical systems
- Fault tolerance
- System reliability
- Safety critical hardware
- Safety critical software
- Programmable logic controllers (PLC) Formal methods
- Testing
- Verification and validation
- Quality management
- Certification
- Commercial integrity systems
|
|
|