Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
About this product
Product Identifiers
PublisherAddison-Wesley Longman, Incorporated
ISBN-100201427877
ISBN-139780201427875
eBay Product ID (ePID)1130412
Product Key Features
Number of Pages472 Pages
LanguageEnglish
Publication NameSafety Critical Computer Systems
SubjectNetworking / Vendor Specific, Data Processing
Publication Year1996
TypeTextbook
Subject AreaComputers
AuthorNeil Storey
FormatHardcover
Dimensions
Item Height1.3 in
Item Weight33.5 Oz
Item Length9.4 in
Item Width7 in
Additional Product Features
Intended AudienceCollege Audience
LCCN97-111117
Dewey Edition21
IllustratedYes
Dewey Decimal620.8/6/0285
Table Of ContentIntroduction 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
SynopsisIncreasingly 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.