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

DOI10.1007/S00165-019-00503-1MaRDI QIDQ782499zbMATH OpenOpenAlexWikidataFDO

Authors Waqar Ahmad, Osman Hasan, 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

fault treehigher-order logicreliability block diagramssmart gridtheorem proving

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)

Recommendations

• Reliability analysis in interdependent smart grid systems
• Reliability analysis of communication networks
• Assessing reliability of multistage interconnection networks
• scientific article; zbMATH DE number 5896038
• Reliability and Fail-Softness Analysis of Multistage Interconnection Networks
• An approach to the assessment of reliability of networks

Cites work

• A theory of type polymorphism in programming
• Automated reasoning in higher-order logic. Set comprehension and extensionality in Church's type theory
• Formal fault tree analysis -- practical experiences
• Formalization of Continuous Probability Distributions
• Formalization of fault trees in higher-order logic: a deep embedding approach
• Formalization of reliability block diagrams in higher-order logic
• scientific article; zbMATH DE number 5539366 (Why is no real title available?)
• scientific article; zbMATH DE number 1028827 (Why is no real title available?)
• scientific article; zbMATH DE number 837700 (Why is no real title available?)
• scientific article; zbMATH DE number 847313 (Why is no real title available?)
• scientific article; zbMATH DE number 234014 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• scientific article; zbMATH DE number 958048 (Why is no real title available?)
• Model Checking Software
• On the formalization of the Lebesgue integration theory in HOL
• Three chapters of measure theory in Isabelle/HOL
• Towards Formal Fault Tree Analysis Using Theorem Proving
• Towards the formal reliability analysis of oil and gas pipelines
• Verification of the Miller-Rabin probabilistic primality test.

Cited in

(1)

• Formalization of functional block diagrams using HOL theorem proving

Describes a project that uses

Uses Software

• ML
• HOL

This page was built for publication: Formal reliability and failure analysis of Ethernet based communication networks in a smart grid substation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q782499)