Machine Learning and Knowledge Discovery for Engineering Systems Health Management

CHAPTER 9

Model-Based Tools and Techniques for Real-Time System and Software Health Management

Sherif AbdelwahedAbhishek DubeyGabor KarsaiNagabhushan Mahadevan

CONTENTS

9.1    Introduction

9.2    Related Work

9.2.1    Failure Propagation Models

9.2.2    Fault Recovery

9.2.3    Fault Detection and Health Management of Software

9.3    Fault Diagnostics using Timed Failure Propagation Graphs

9.3.1    The Timed Failure Propagation Graph Model

9.3.2    Reasoning Algorithm

9.3.2.1    Hypothesis Ranking

9.3.2.2    Reasoner Performance

9.3.3    TFPG Examples

9.3.4    Distributed Reasoning

9.3.4.1    Overview

9.3.4.2    Extensions to the TFPG Model

9.3.4.3    Extensions to the Reasoner

9.3.4.4    Synchronous Event Processing

9.3.4.5    Asynchronous ...