An approach for lifetime reliability analysis using theorem proving

DOI10.1016/J.JCSS.2013.05.002MaRDI QIDQ386029zbMATH OpenOpenAlexFDO

Authors Naeem Abbasi, Osman Hasan, Sofiène Tahar

Publication date 13 December 2013

Published in Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jcss.2013.05.002

zbMATH Keywords

random variablesfailure rateformal methodsstatistical propertiestheorem provinghazard functionHOLreliability analysisfractile functionlifetime analysis

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Formal lifetime reliability analysis using continuous random variables
• Formal reliability analysis of combinational circuits using theorem proving
• Probabilistic analysis of dynamic fault trees using HOL theorem proving
• Formalization of normal random variables in HOL
• Formal reliability analysis of redundancy architectures

Cites work

• scientific article; zbMATH DE number 1259143 (Why is no real title available?)
• scientific article; zbMATH DE number 1330907 (Why is no real title available?)
• scientific article; zbMATH DE number 1495246 (Why is no real title available?)
• scientific article; zbMATH DE number 234014 (Why is no real title available?)
• A brief account of runtime verification
• A general procedure for deriving distributions
• Advanced Probability Theory, Second Edition,
• Formal Reliability Analysis Using Theorem Proving
• Formal lifetime reliability analysis using continuous random variables
• Formalization of Continuous Probability Distributions
• Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems
• On the formalization of the Lebesgue integration theory in HOL
• Probabilistic guarded commands mechanized in HOL

Cited in

(4)

• Formal reliability analysis of combinational circuits using theorem proving
• Formal lifetime reliability analysis using continuous random variables
• Towards Formal Fault Tree Analysis Using Theorem Proving
• Towards the formal reliability analysis of oil and gas pipelines

Describes a project that uses

Uses Software

• HOL
• ML
• Matlab

This page was built for publication: An approach for lifetime reliability analysis using theorem proving

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