TY  - BOOK
AU  - Portinale,Luigi
AU  - Raiteri,Daniele Codetta
TI  - Modeling and analysis of dependable systems: a probabilistic graphical model perspective 
SN  - 9789814612036
U1  - 000SA.161 23
PY  - 2015///
CY  - Singapore
PB  - World Scientific
KW  - Bayesian statistical decision theory
KW  - Graphic methods
KW  - System analysis
KW  - Reliability (Engineering)
KW  - Simulation methods
KW  - Artificial intelligence
N1  - Includes bibliographical references and index; 1. Dependability and Reliability;
2. Probabilistic Graphical Models;
3. From Fault Trees to Bayesian Networks;
4. From Dynamic Fault Tree to Dynamic Bayesian Networks;
5. Decision Theoretic Dependability;
6. The RADyBaN Tool: Supporting Dependability Engineers to Exploit Probabilistic Graphical Models;
7. Case Study 1: Cascading Failures;
8. Case Study 2: Autonomous Fault Detection, Identification and Recovery;
9. Case Study 3: Security Assessment in Critical Infrastructures; 
10. Case Study 4: Dynamic Reliability;
Appendix
N2  - 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
ER  -