The Art Of Fault Tolerant System Reliability Modeling

The Art of Fault-tolerant System Reliability Modeling

The Art of Fault-Tolerant System Reliability Modeling

A step-by-step tutorial of the methods and tools used for the reliability analysis of fault-tolerant systems is presented. Emphasis is on the representation of architectural features in mathematical models. Details of the mathematical solution of complex reliability models are not presented. Instead the use of several recently developed computer programs--SURE, ASSIST, STEM, PAWS--which automate the generation and solution of these models is described. Butler, Ricky W. and Johnson, Sally C. Langley Research Center ARCHITECTURE (COMPUTERS); COMPUTER PROGRAMS; CONTROL SYSTEMS DESIGN; FAULT TOLERANCE; MATHEMATICAL MODELS; REDUNDANCY; RELIABILITY ANALYSIS; FAILURE ANALYSIS; FAULT TREES; MARKOV PROCESSES; SYNTAX...

System Software Reliability

Computer software reliability has never been so important. Computers are used in areas as diverse as air traffic control, nuclear reactors, real-time military, industrial process control, security system control, biometric scan-systems, automotive, mechanical and safety control, and hospital patient monitoring systems. Many of these applications require critical functionality as software applications increase in size and complexity. This book is an introduction to software reliability engineering and a survey of the state-of-the-art techniques, methodologies and tools used to assess the reliability of software and combined software-hardware systems. Current research results are reported and future directions are signposted. This text will interest: graduate students as a course textbook introducing reliability engineering software; reliability engineers as a broad, up-to-date survey of the field; and researchers and lecturers in universities and research institutions as a one-volume reference.