@inproceedings{4450edd29b7c46caab142b0df2d08479,
title = "Towards the automated verification of weibull distributions for system failure rates",
abstract = "Weibull distributions can be used to accurately model failure behaviours of a wide range of critical systems such as on-orbit satellite subsystems. Markov chains have been used extensively to model reliability and performance of engineering systems or applications. However, the exponentially distributed sojourn time of Continuous-Time Markov Chains (CTMCs) can sometimes be unrealistic for satellite systems that exhibit Weibull failures. In this paper, we develop novel semi-Markov models that characterise failure behaviours, based on Weibull failure modes inferred from realistic data sources. We approximate and encode these new models with CTMCs and use the PRISM probabilistic model checker. The key benefit of this integration is that CTMC-based model checking tools allow us to automatically and efficiently verify reliability properties relevant to industrial critical systems.",
keywords = "Continuous-time markov chains, Probabilistic model checking, Satellite systems, Semi-markov chains, Weibull distribution",
author = "Yu Lu and Miller, {Alice A.} and Ruth Hoffmann and Johnson, {Christopher W.}",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing AG 2016.; 21st International Workshop on Formal Methods for Industrial Critical Systems, FMICS-AVoCS 2016 and 16th International Workshop on Automated Verification of Critical Systems, AVoCS 2016 ; Conference date: 26-09-2016 Through 28-09-2016",
year = "2016",
doi = "10.1007/978-3-319-45943-1_6",
language = "English",
isbn = "9783319459424",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "81--96",
editor = "{ter Beek}, {Maurice H.} and Stefania Gnesi and Alexander Knapp",
booktitle = "Critical Systems",
address = "Germany",
}