Modeling and Analysis of Dependable Systems PDF Download

Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Modeling and Analysis of Dependable Systems PDF full book. Access full book title Modeling and Analysis of Dependable Systems by Luigi Portinale. Download full books in PDF and EPUB format.

Modeling and Analysis of Dependable Systems

Modeling and Analysis of Dependable Systems PDF Author: Luigi Portinale
Publisher: World Scientific
ISBN: 9814612057
Category : Mathematics
Languages : en
Pages : 272

Get Book

Book Description
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. Contents:Dependability and ReliabilityProbabilistic Graphical ModelsFrom Fault Trees to Bayesian NetworksFrom Dynamic Fault Tree to Dynamic Bayesian NetworksDecision Theoretic DependabilityThe RADyBaN Tool: Supporting DependabilityCase Study 1: Cascading FailuresCase Study 2: Autonomous Fault Detection, Identification and RecoveryCase Study 3: Security Assessment in Critical InfrastructuresCase Study 4: Dynamic Reliability Keywords:Dependability;Reliability;Probabilistic Graphical Models;Bayesian Networks;Fault Detection Identification and Recovery