Modeling And Analysis Of Dependable Systems: A Probabilistic Graphical Model Perspective

by Luigi Portinale, Daniele Codetta Raiteri

Overview

The monographic volume addresses, in a systematic and comprehensive way, the state-of-the-art dependability (reliability, availability, risk and safety, security) of systems, using the Artificial Intelligence framework of Probabilistic Graphical Models (PGM). After a survey about the main concepts and methodologies adopted in dependability analysis, the book discusses the main features of PGM formalisms (like Bayesian and Decision Networks) and the advantages, both in terms of modeling and analysis, with respect to classical formalisms and model languages.Methodologies for deriving PGMs from standard dependability formalisms will be introduced, by pointing out tools able to support such a process. Several case studies will be presented and analyzed to support the suitability of the use of PGMs in the study of dependable systems.

Product Details

ISBN-13:	9789814612036
Publisher:	World Scientific Publishing Company, Incorporated
Publication date:	07/24/2015
Pages:	272
Product dimensions:	6.10(w) x 9.10(h) x 0.80(d)

Table of Contents

Basics Notions of Dependability; Combinatorial Models: Fault Trees and Dynamic Fault Trees; State-Space Models; Bayesian Networks; Influence Diagrams; Dynamic Bayesian Networks; From (Dynamic) Faut Trees to (Dynamic) Bayesian Networks; Decision-Theoretic Dependability; Case Studies