Formal Dependability Modeling and Analysis: A Survey

DOI10.1007/978-3-319-42547-4_10zbMath1344.68200arXiv1606.06877OpenAlexW2962996889MaRDI QIDQ2817299

Waqar Ahmed, Osman Hasan, Sofiène Tahar

Publication date: 30 August 2016

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1606.06877

zbMATH Keywords

theorem provingPetri netsMarkov chainhigher-order logicmodel checkingfault treereliability block diagrams

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Uses Software

• CPN/Tools
• MRMC
• NuSMV
• SNOOPY
• HOL
• Markov Models

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Formal reliability analysis of combinational circuits using theorem proving
• Formal reasoning about finite-state discrete-time Markov chains in HOL
• Dependability modeling and analysis of software systems specified with UML
• Probability and Statistics with Reliability, Queuing and Computer Science Applications
• Three Chapters of Measure Theory in Isabelle/HOL
• Towards Formal Fault Tree Analysis Using Theorem Proving
• A Brief Overview of HOL4
• Stochastic Petri net analysis of a replicated file system
• Formal Lifetime Reliability Analysis Using Continuous Random Variables
• Formal Reliability Analysis Using Theorem Proving
• Towards the Formal Reliability Analysis of Oil and Gas Pipelines
• On the Formalization of the Lebesgue Integration Theory in HOL