Table of Contents

Series Introduction.

Preface.

Introduction.

System Requirements and Design.

Foundations of Probability Theory.

Basic Reliability Concepts.

Basic Reliability Models.

Markov Process Fundamentals.

Hardware Reliability Modeling.

Software Reliability Modeling.

Combined Hardware-Software Reliability Modeling.

Modeling of Large and Complex Systems.

Maintainability Modeling.

Availability Modeling.

Safety Modeling.

Markov Model Evaluation.

Effectiveness Modeling.

Support Analyses.

Application Examples.

Practical Design of Fault-Tolerant Systems.

CARMS User's Guide.

CARMS Model Library.

CARMS Reference.

Definitions and Acronyms.

References.

Index.

About the Authors.

About the Author

About the Authors...
Jan Pukite has been actively involved in military and commercial system design for over 30 years. His experience includes process and flight control system analysis and design, fault-tolerant system design, analysis and simulation of complex electronic systems, software development, and microcomputer applications. He served as the principal investigator on the following SBIR contracts: Logistics Software Implementation (Office of Naval Research); Fail-Safe, Fault-Tolerant Electronics, Phases I and II (Air Force Avionics Laboratory), and Intelligent Built-In Test Module (Naval Air Systems Command). In 1984, he founded DAINA to engage in advanced technology research and development.
Paul Pukite has co-authored 30 refereed papers in various basic and applied research topics dealing with advanced electronics system design and software engineering. His projects have included developing new yield analysis techniques for semiconductor manufacturing, using digital signal processors (DSP) to perform a wide range of computationally intensive statistical analysis tasks that have normally been relegated to supercomputers, and building the Ada expert system and support software that formed the basis of the Redundancy and Reconfiguration Manager (RRM) developed for the Air Force Pave Pillar Integrated Test Bed at Wright-Patterson Air Force Base.