Reliability has always been an important concern in the design of engineering systems. Recently proposed formal reliability analysis techniques have been able to overcome the accuracy limitations of traditional simulation based techniques but can only handle problems involving discrete random variables. In this paper, we extend the capabilities of existing theorem proving based reliability analysis by formalizing several important statistical properties of continuous random variables, for example, the second moment and the variance. We also formalize commonly used reliability theory concepts of survival function and hazard rate. With these extensions, it is now possible to formally reason about important reliability measures associated with the life of a system, for example, the probability of failure and the mean-time-to-failure of the system operating in an uncertain and harsh environment, which is usually continuous in nature. We illustrate the modeling and verification process with the help of an example involving the reliability analysis of electronic system components. © 2010 Springer-Verlag.
CITATION STYLE
Abbasi, N., Hasan, O., & Tahar, S. (2010). Formal lifetime reliability analysis using continuous random variables. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6188 LNAI, pp. 84–97). https://doi.org/10.1007/978-3-642-13824-9_8
Mendeley helps you to discover research relevant for your work.