Safety Critical Computer Systems
Author | : | |
Rating | : | 4.42 (931 Votes) |
Asin | : | 0201427877 |
Format Type | : | paperback |
Number of Pages | : | 472 Pages |
Publish Date | : | 2013-11-19 |
Language | : | English |
DESCRIPTION:
Should Be Required Reading in CS curriculum A Customer This is an excellent text on the topic of safety critical computer systems. I found the chapters on Hazard Analysis, Risk Analysis, Developing Safety Critical Computer Systems, Foult Tolerance and Safety-Critical Software to be particularly enlighteni
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.. Increasingly microcomputers are being used in applications where their correct operation is vital to ensure the safety of the public and the environment: fro
Dr Neil Storey is a member of the Department of Engineering at the University of Warwick, where he has many years¡ experience in teaching electronics to a wide range of undergraduate, postgraduate and professional engineers.
Examples and case studies will draw on real-world, well-known, safety-critical application areas, such as transportation and nuclear-power generation.FeaturesCovers all phases of the life of a safety-critical system from its conception and specification, through to its certification, installation, service and decommissioning Provides information on how to assess the safety implications of projects, and determine the measures necessary 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 stud