FirstCity
Welcome to First City University College Library iPortal | library@firstcity.edu.my | +603-7735 2088 (Ext. 519)
Amazon cover image
Image from Amazon.com

Safety Critical Computer Systems .

By: Material type: TextTextPublication details: Harlow, England ; Reading, Mass. : Addison-Wesley, c1996.Description: xviii, 453 p. : ill. ; 24 cmISBN:
  • 0201427877
Subject(s): DDC classification:
  • 620.8 STO 1996
LOC classification:
  • T55 .S76 1996
Contents:
1. Introduction 2. Safety Criteria 3. Hazard Analysis 4. Risk Analysis 5. Developing Safety-Critical Systems 6. Fault Tolerance 7. System Reliability 8. Safety-Critical Hardware 9. Safety-Critical Software 10. Programmable Logic Controllers 11. Formal Methods 12. Verification, Validation and Testing 13. Quality Management 14. Certification 15. Commercial High-Integrity Systems
Summary: 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 are aware of the safety implications of the systems they develop. This book is an introduction to the field of safety-critical computer systems, and is 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 book covers 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 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; and uses case studies and worked examples from a wide range of industrial sectors including the nuclear, aircraft, automotive and consumer products industries. 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.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Home library Collection Shelving location Call number Status Date due Barcode Item holds
Open Collection Open Collection FIRST CITY UNIVERSITY COLLEGE FIRST CITY UNIVERSITY COLLEGE Open Collection FCUC Library 620.8 STO 1996 (Browse shelf(Opens below)) Available 00009794
Total holds: 0

Includes bibliographical references and index.

1. Introduction 2. Safety Criteria 3. Hazard Analysis 4. Risk Analysis 5. Developing Safety-Critical Systems 6. Fault Tolerance 7. System Reliability 8. Safety-Critical Hardware 9. Safety-Critical Software 10. Programmable Logic Controllers 11. Formal Methods 12. Verification, Validation and Testing 13. Quality Management 14. Certification 15. Commercial High-Integrity Systems

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 are aware of the safety implications of the systems they develop. This book is an introduction to the field of safety-critical computer systems, and is 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 book covers 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 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; and uses case studies and worked examples from a wide range of industrial sectors including the nuclear, aircraft, automotive and consumer products industries. 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.