Binary Decision Diagrams and Extensions for System Reliability Analysis
By Liudong Xing and Suprasad V. Amari
()
About this ebook
The book provides both small-scale illustrative examples and large-scale benchmark examples to demonstrate broad applications and advantages of different decision diagrams based methods for complex system reliability analysis. Other measures including component importance and failure frequency are also covered. A rich set of references is cited in the book, providing helpful resources for readers to pursue further research and study of the topics. The target audience of the book is reliability and safety engineers or researchers.
The book can serve as a textbook on system reliability analysis. It can also serve as a tutorial and reference book on decision diagrams, multi-state systems, phased-mission systems, and imperfect fault coverage models.
Liudong Xing
Liudong Xing is currently a professor at the Department of Electrical and Computer Engineering, University of Massachusetts, Dartmouth, United States. Her research interests include reliability and resilience modeling, analysis, and optimization of complex systems and networks (e.g., IoT and wireless sensor networks). Prof. Xing has received multiple teaching and scholar awards and was corecipient of the Best (Student) Paper Award at several international conferences and journals. She has published over 290 journal articles, and 2 books titled Binary Decision Diagrams and Extensions for System Reliability Analysis and Dynamic System Reliability: Modeling and Analysis of Dynamic and Dependent Behaviors. She has served as an associate editor or editorial board member of multiple journals, including Reliability Engineering & System Safety, IEEE Internet of Things Journal, IEEE Access, and International Journal of Mathematical, Engineering and Management Sciences. She is a fellow of the International Society of Engineering Asset Management and a senior member of IEEE.
Related to Binary Decision Diagrams and Extensions for System Reliability Analysis
Related ebooks
Fundamentals of Reliability Engineering: Applications in Multistage Interconnection Networks Rating: 0 out of 5 stars0 ratingsBuilding Dependable Distributed Systems Rating: 0 out of 5 stars0 ratingsMachine Tool Reliability Rating: 0 out of 5 stars0 ratingsQuantitative Assessments of Distributed Systems: Methodologies and Techniques Rating: 0 out of 5 stars0 ratingsArchitecting High Performing, Scalable and Available Enterprise Web Applications Rating: 5 out of 5 stars5/5Guidelines for the Management of Change for Process Safety Rating: 0 out of 5 stars0 ratingsNetwork Reliability: Measures and Evaluation Rating: 0 out of 5 stars0 ratingsConduct of Operations and Operational Discipline: For Improving Process Safety in Industry Rating: 5 out of 5 stars5/5Guidelines for Process Safety Acquisition Evaluation and Post Merger Integration Rating: 0 out of 5 stars0 ratingsModern Web Performance Optimization: Methods, Tools, and Patterns to Speed Up Digital Platforms Rating: 0 out of 5 stars0 ratingsSystem Design Interview: 300 Questions And Answers: Prepare And Pass Rating: 0 out of 5 stars0 ratingsGuidelines for Integrating Management Systems and Metrics to Improve Process Safety Performance Rating: 0 out of 5 stars0 ratingsSoftware Testing Interview Questions You'll Most Likely Be Asked Rating: 0 out of 5 stars0 ratingsThe Standard for Earned Value Management Rating: 5 out of 5 stars5/5Fundamentals of Adopting the NIST Cybersecurity Framework Rating: 0 out of 5 stars0 ratingsSoftware Performance and Scalability: A Quantitative Approach Rating: 0 out of 5 stars0 ratings(ISC)2 CCSP Certified Cloud Security Professional Official Study Guide Rating: 0 out of 5 stars0 ratingsGuidelines for Defining Process Safety Competency Requirements Rating: 3 out of 5 stars3/5Professional Microsoft SQL Server 2008 Administration Rating: 0 out of 5 stars0 ratingsGuidelines for Engineering Design for Process Safety Rating: 0 out of 5 stars0 ratingsAeration Control System Design: A Practical Guide to Energy and Process Optimization Rating: 0 out of 5 stars0 ratingsCost Estimation: Methods and Tools Rating: 5 out of 5 stars5/5Schaum's Outline of Software Engineering Rating: 0 out of 5 stars0 ratingsRoot Cause Analysis Handbook: A Guide to Efficient and Effective Incident Investigation Rating: 0 out of 5 stars0 ratingsConfiguration Management for Senior Managers: Essential Product Configuration and Lifecycle Management for Manufacturing Rating: 0 out of 5 stars0 ratingsSupply Chain Cyber Security A Complete Guide - 2019 Edition Rating: 0 out of 5 stars0 ratingsSOA Made Simple Rating: 0 out of 5 stars0 ratingsSupply Chain Cyber Security A Complete Guide - 2020 Edition Rating: 0 out of 5 stars0 ratingsSystem Area Network A Complete Guide - 2020 Edition Rating: 0 out of 5 stars0 ratings
Electrical Engineering & Electronics For You
Schaum's Outline of Basic Electricity, Second Edition Rating: 5 out of 5 stars5/5Electrical Engineering 101: Everything You Should Have Learned in School...but Probably Didn't Rating: 5 out of 5 stars5/5Understanding Automotive Electronics: An Engineering Perspective Rating: 4 out of 5 stars4/5Electrical Engineering Rating: 4 out of 5 stars4/5Electrician's Pocket Manual Rating: 0 out of 5 stars0 ratingsHow to Diagnose and Fix Everything Electronic, Second Edition Rating: 4 out of 5 stars4/5Programming the Raspberry Pi, Third Edition: Getting Started with Python Rating: 5 out of 5 stars5/5Beginner's Guide to Reading Schematics, Third Edition Rating: 0 out of 5 stars0 ratingsBeginner's Guide to Reading Schematics, Fourth Edition Rating: 4 out of 5 stars4/5Electricity for Beginners Rating: 5 out of 5 stars5/5Practical Electrical Wiring: Residential, Farm, Commercial, and Industrial Rating: 4 out of 5 stars4/5The Homeowner's DIY Guide to Electrical Wiring Rating: 5 out of 5 stars5/5Basic Electricity Rating: 4 out of 5 stars4/5Upcycled Technology: Clever Projects You Can Do With Your Discarded Tech (Tech gift) Rating: 5 out of 5 stars5/5DIY Lithium Battery Rating: 3 out of 5 stars3/5Understanding Electricity Rating: 4 out of 5 stars4/5Starting Electronics Rating: 4 out of 5 stars4/5Electrical Engineering: Know It All Rating: 4 out of 5 stars4/5Electronics Engineering Rating: 0 out of 5 stars0 ratingsSolar & 12 Volt Power For Beginners Rating: 4 out of 5 stars4/5Electric Circuits Essentials Rating: 5 out of 5 stars5/5Off-Grid Projects: Step-by-Step Guide to Building Your Own Off-Grid System Rating: 0 out of 5 stars0 ratingsRaspberry Pi Electronics Projects for the Evil Genius Rating: 3 out of 5 stars3/5Electronics Explained: Fundamentals for Engineers, Technicians, and Makers Rating: 5 out of 5 stars5/5C++ Programming Language: Simple, Short, and Straightforward Way of Learning C++ Programming Rating: 4 out of 5 stars4/5Raspberry Pi Projects for the Evil Genius Rating: 0 out of 5 stars0 ratingsForrest Mims Engineer's Notebook Rating: 4 out of 5 stars4/5Very Truly Yours, Nikola Tesla Rating: 5 out of 5 stars5/5
Reviews for Binary Decision Diagrams and Extensions for System Reliability Analysis
0 ratings0 reviews
Book preview
Binary Decision Diagrams and Extensions for System Reliability Analysis - Liudong Xing
Contents
Cover
Half Title page
Title page
Copyright page
Dedication
Preface
Nomenclature
Chapter 1: Introduction
1.1 Historical Developments
1.2 Reliability and Safety Applications
Chapter 2: Basic Reliability Theory and Models
2.1 Probabiltiy Concepts
2.2 Reliability Measures
2.3 Fault Tree Analysis
Chapter 3: Fundamentals of Binary Decision Diagrams
3.1 Preliminaries
3.2 Basic Concepts
3.3 BDD Construction
3.4 BDD Evaluation
3.5 BDD-Based Software Package
Chapter 4: Application of BDD to Binary-State Systems
4.1 Network Reliability Analysis
4.2 Event Tree Analysis
4.3 Failure Frequency Analysis
4.4 Importance Measures and Analysis
4.5 Modularization Methods
4.6 Non-Coherent Systems
4.7 Disjoint Failures
4.8 Dependent Failures
Chapter 5: Phased-Mission Systems
5.1 System Description
5.2 Rules of Phase Algebra
5.3 BDD-Based Method for PMS Analysis
5.4 Mission Performance Analysis
Chapter 6: Multi-State Systems
6.1 Assumptions
6.2 An Illustrative Example
6.3 MSS Representation
6.4 Multi-State BDD (MBDD)
6.5 Logarithmically-Encoded BDD (LBDD)
6.6 Multi-State Multi-Valued Decision Diagrams (MMDD)
6.7 Performance Evaluation and Benchmarks
6.8 Summary
Chapter 7: Fault Tolerant Systems and Coverage Models
7.1 Basic Types
7.2 Imperfect Coverage Model
7.3 Applications to Binary-State Systems
7.4 Applications to Multi-State Systems
7.5 Applications to Phased-Mission Systems
7.6 Summary
Chapter 8: Shared Decision Diagrams
8.1 Multi-Rooted Decision Diagrams
8.2 Multi-Terminal Decision Diagrams
8.3 Performance Study on Multi-State Systems
8.4 Application to Phased-Mission Systems
8.5 Application to Multi-State k-out-of-n Systems
8.6 Importance Measures
8.7 Failure Frequency Based Measures
8.8 Summary
Conclusions
References
Index
Binary Decision Diagrams and Extensions for System Reliability Analysis
Scrivener Publishing
100 Cummings Center, Suite 541J
Beverly, MA 01915-6106
Performability Engineering Series
Series Editors: Krishna B. Misra (kbmisra@gmail.com)
and John Andrews (John.Andrews@nottingham.ac.uk)
Scope: A true performance of a product, or system, or service must be judged over the entire life cycle activities connected with design, manufacture, use and disposal in relation to the economics of maximization of dependability, and minimizing its impact on the environment. The concept of performability allows us to take a holistic assessment of performance and provides an aggregate attribute that reflects an entire engineering effort of a product, system, or service designer in achieving dependability and sustainability. Performance should not just be indicative of achieving quality, reliability, maintainability and safety for a product, system, or service, but achieving sustainability as well. The conventional perspective of dependability ignores the environmental impact considerations that accompany the development of products, systems, and services. However, any industrial activity in creating a product, system, or service is always associated with certain environmental impacts that follow at each phase of development. These considerations have become all the more necessary in the 21st century as the world resources continue to become scarce and the cost of materials and energy keep rising. It is not difficult to visualize that by employing the strategy of dematerialization, minimum energy and minimum waste, while maximizing the yield and developing economically viable and safe processes (clean production and clean technologies), we will create minimal adverse effect on the environment during production and disposal at the end of the life. This is basically the goal of performability engineering.
It may be observed that the above-mentioned performance attributes are interrelated and should not be considered in isolation for optimization of performance. Each book in the series should endeavor to include most, if not all, of the attributes of this web of interrelationship and have the objective to help create optimal and sustainable products, systems, and services.
Publishers at Scrivener
Martin Scrivener(martin@scrivenerpublishing.com)
Phillip Carmical (pcarmical@scrivenerpublishing.com)
Title PageCopyright © 2015 by Scrivener Publishing LLC. All rights reserved.
Co-published by John Wiley & Sons, Inc. Hoboken, New Jersey, and Scrivener Publishing LLC, Salem, Massachusetts.
Published simultaneously in Canada.
No part of this publication may be reproduced, stored in a retrieval system, or transmitted in any form or by any means, electronic, mechanical, photocopying, recording, scanning, or otherwise, except as permitted under Section 107 or 108 of the 1976 United States Copyright Act, without either the prior written permission of the Publisher, or authorization through payment of the appropriate per-copy fee to the Copyright Clearance Center, Inc., 222 Rosewood Drive, Danvers, MA 01923, (978) 750-8400, fax (978) 750-4470, or on the web at www.copyright.com. Requests to the Publisher for permission should be addressed to the Permissions Department, John Wiley & Sons, Inc., 111 River Street, Hoboken, NJ 07030, (201) 748-6011, fax (201) 748-6008, or online at http://www.wiley.com/go/permission.
Limit of Liability/Disclaimer of Warranty: While the publisher and author have used their best efforts in preparing this book, they make no representations or warranties with respect to the accuracy or completeness of the contents of this book and specifically disclaim any implied warranties of merchantability or fitness for a particular purpose. No warranty may be created or extended by sales representatives or written sales materials. The advice and strategies contained herein may not be suitable for your situation. You should consult with a professional where appropriate. Neither the publisher nor author shall be liable for any loss of profit or any other commercial damages, including but not limited to special, incidental, consequential, or other damages.
For general information on our other products and services or for technical support, please contact our Customer Care Department within the United States at (800) 762-2974, outside the United States at (317) 572-3993 or fax (317) 572-4002.
Wiley also publishes its books in a variety of electronic formats. Some content that appears in print may not be available in electronic formats. For more information about Wiley products, visit our web site at www.wiley.com.
For more information about Scrivener products please visit www.scrivenerpublishing.com.
Library of Congress Cataloging-in-Publication Data:
ISBN 978-1-118-54937-7
To Kevin X. Zhang
and
Joseph Amari
Preface
Recent advances in science and technology have made modern engineering systems more powerful and sophisticated than ever. This decade particularly has witnessed several disruptive technological innovations in distributed and cloud computing, wireless sensor networks, internet of things, big data analytics, autonomous vehicles, space exploration that has pushed the limits of internet and mobile computing technologies beyond our imagination. The increasing level of sophistication and automation in engineering systems not only increases the complexity of these systems, but also increases the dependencies among components within these systems, and as a result, reliability analysis of these systems becomes more challenging than ever. At the same time, an accurate reliability modeling and analysis is crucial to verify whether a system has met desired reliability and availability requirements, as well as to determine optimal cost-effective design policies that maximize system reliability and/or performance.
Reliability of a system depends on reliabilities of its components and the system design configuration that includes the assembly of its components. In general, both the system and its components can have multiple failure modes and performance levels, and they can operate at different environments, stress and demand levels at different phases during their entire mission or life time. As a result, the component failure behavior and system configuration can vary with phases. In most applications, the relationship between a system and its components can be represented using combinatorial models where the system state can be represented using a logic function of its components states. This function that maps the set of component states to the system state is known as a system structure function, which is dependent on the system configuration. Once the system structure function and reliabilities of the system components are determined, traditionally the system reliability was determined using truth-tables, pathsets/cut-sets based on inclusion-exclusion expansion or sum-of-disjoint products representation of the structure function. However, all these traditional reliability evaluation methods are computationally inefficient and are limited to small scale models or problems. To solve large models, bounding and approximating methods have been used. However, finding good bounds and approximations were still considered as a challenging problem for several decades. This situation has changed after the seminal work by Bryant on binary decision diagrams (BDD) in 1986.
BDD is the state-of-the-art data structure, which is primarily based on Shannon’s decomposition theorem, used to encode and manipulate Boolean functions. The full potential for efficient algorithms based on the data structure of BDD is realized by Bryant’s seminal work in 1986. Since then, BDD and its extended formats have been extensively applied in several fields including formal circuit verification and symbolic model checking. The success of BDD in these areas and the important applications of Boolean functions in system reliability analysis have stimulated considerable efforts to adapt BDD and its extended formats to reliability analysis of complex systems since 1993. These efforts have been firstly expended in reliability analysis of binary-state single-phase systems in which both the system and components exhibit only two states: operational or failed and their behaviors do not change throughout the mission. Many studies showed that in most cases, the BDD-based method requires less memory and computational time than other reliability analysis methods. Subsequently, various forms of decision diagrams have become the state-of-the-art combinatorial models for efficient reliability analysis of a wide range of complex systems, such as phased-mission systems, multi-state systems, fault-tolerant systems with imperfect fault coverage, systems with common-cause failures, and systems with functional dependent failures. These types of systems abound in safety-critical or mission-critical applications such as aerospace, circuits, power systems, medical systems, telecommunication systems, transmission systems, traffic light systems, data storage systems, and etc.
The topic of the book Binary Decision Diagrams and Extensions for System Reliability Analysis
has gained much attention in the reliability and safety community. Several commercial reliability software vendors and research groups have started implementing these methods. Several tutorials on this topic have been presented at various international reliability and system safety conferences. The importance of this topic is also mentioned in the latest handbooks on fault tree analysis, safety and reliability analysis, and performability analysis. Research articles on this subject are continuously being published in peer-reviewed scholarly journals and conference proceedings. With the increased and sustained interest in this subject, it is a right time to bring the first book on this topic.
The purpose of this book is to provide a comprehensive coverage of binary decision diagrams and their extensions in solving complex reliability problems. In the Introduction, the book briefly describes the historical developments of BDD and its extended formats and discusses how they are related to reliability and safety applications. Chapter 2 introduces basic probability concepts that are relevant to the study of reliability, various reliability measures, and fault tree analysis. Chapter 3 discusses fundamentals of BDD including preliminaries, basic concepts, BDD construction, BDD evaluation, and existing software packages. Different strategies for variable orderings and their impact on BDD sizes are also discussed. Chapter 4 discusses the BDD-based binary-state reliability models and analysis with an emphasis on network reliability analysis, event tree analysis, failure frequency analysis, and important measures and analysis. The chapter also presents methods for modularization, non-coherent systems, and systems consisting of disjoint or dependent failures.
Chapter 5 introduces the application of BDD to the reliability analysis of phased-mission systems (PMS), in which multiple non-overlapping phases must be accomplished in sequence. During each phase, a PMS has to accomplish a specified task and may be subject to different stresses and environmental conditions as well as different reliability requirements. Thus, system structure function and component failure behavior may change from phase to phase. This dynamic behavior usually requires a distinct model for each phase of the mission in the reliability analysis. Further complicating the analysis are s-dependencies across the phases for a given component. For example, the state of a component at the beginning of a new phase is identical to its state at the end of the previous phase in a non-repairable PMS. This chapter explains a phase algebra-based BDD method to consider all these dynamics and dependencies in the reliability analysis of PMS.
As another application of decision diagrams in system reliability analysis, Chapter 6 explains multi-state systems (MSS), and their analysis using decision diagrams. MSSs are systems in which both the system and its components may exhibit multiple performance levels (or states) varying from perfect operation to complete failure. As compared to the analysis of binary-state systems, the unique challenge of analyzing MSSs arises from dependencies among different states of the same component, i.e., intra-component state dependencies. This chapter explains three different forms of decision diagrams to address the state dependencies in the MSS analysis: multi-state BDD (MBDD), logarithmically-encoded BDD (LBDD), and multi-state multi-valued decision diagrams (MMDD). Performances of these three methods are also discussed and compared in this chapter.
Chapter 7 presents basic concepts and types of imperfect fault coverage models and fault tolerant systems. Decision diagrams based methods are discussed for considering imperfect fault coverage in reliability analysis of binary-state systems, multi-state systems, and phased-mission systems.
Chapter 8 discusses shared decision diagrams and their advantages in storage requirement, model construction, and model evaluation. Both multi-rooted decision diagrams and multi-terminal decision diagrams are discussed. Applications of these models in solving multi-state systems, phased-mission systems and multi-state k-out-of-n systems with non-identical components are presented. This chapter also presents methods for evaluating multi-state component importance measures as well as failure frequency-based measures of multi-state systems.
Finally, Chapter 9 provides summary and conclusions on binary decision diagrams and their extensions for system reliability analysis.
The book has the following distinct features:
It is the first book on the topic of reliability analysis using binary decision diagrams and their extensions.
It provides basic concepts as well as detailed algorithms for reliability analysis of different types of systems using binary decision diagrams and their extended formats.
It provides a comprehensive treatment on phased-mission systems, multi-state systems, and imperfect fault coverage models.
It covers several system performance measures including system reliability, failure frequency, and component importance measures.
It includes both small-scale illustrative examples and large-scale benchmark examples to demonstrate broad applications and advantages of different decision diagrams based methods for complex system reliability analysis.
It covers recent advances in binary decision diagrams and their extensions for system reliability analysis, which lays a solid theoretical foundation for researchers to make new and further developments.
It has more than 250 references, providing helpful and rich resources for readers to pursue further research and study of the topics.
This book provides several variable ordering schemes, variables encoding schemes, and BDD extensions for reliability and system performance evaluation. Based on the comparisons of storage requirement, model construction, and model evaluation presented in this book, users can determine the type of decision diagrams and algorithms that can be most efficiently applied to their own problems.
The target audience of the book is reliability and safety engineers or researchers. The book can serve as a textbook on system reliability analysis. It can also serve as a tutorial and reference book on decision diagrams, multi-state systems, phased-mission systems, and imperfect fault coverage models. The book can also cover some parts of graduate level courses on data structures and algorithms.
We