Formal reliability and failure analysis of Ethernet based communication networks in a smart grid substation

DOI10.1007/s00165-019-00503-1zbMath1451.68057OpenAlexW3003857160MaRDI QIDQ782499

Osman Hasan, Waqar Ahmad, Sofiène Tahar

Publication date: 27 July 2020

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-019-00503-1

zbMATH Keywords

theorem provinghigher-order logicsmart gridfault treereliability block diagrams

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Reliability, testing and fault tolerance of networks and computer systems (68M15) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items

Formalization of functional block diagrams using HOL theorem proving

Uses Software

• ML
• HOL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Formalization of reliability block diagrams in higher-order logic
• A theory of type polymorphism in programming
• Verification of the Miller-Rabin probabilistic primality test.
• Formalization of fault trees in higher-order logic: a deep embedding approach
• Three Chapters of Measure Theory in Isabelle/HOL
• Towards Formal Fault Tree Analysis Using Theorem Proving
• Formalization of Continuous Probability Distributions
• Formal Fault Tree Analysis - Practical Experiences
• Towards the Formal Reliability Analysis of Oil and Gas Pipelines
• On the Formalization of the Lebesgue Integration Theory in HOL
• Model Checking Software