Towards the automated verification of Weibull distributions for system failure rates

Simple item page
dc.contributor.authorLu, Yu
dc.contributor.authorMiller, A. A.
dc.contributor.authorHoffmann, R
dc.contributor.authorJohnson, C. W.
dc.date.accessioned2016-11-23T14:55:37Z
dc.date.available2016-11-23T14:55:37Z
dc.date.issued2016-09-13
dc.description.abstractWeibull 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 bene t of this integration is that CTMC-based model checking tools allow us to automatically and e ciently verify reliability properties relevant to industrial critical systems.en_UK
dc.identifier.citationLu Y, Miller AA, Hoffmann R, Johnson CW. (2016) Towards the automated verification of Weibull distributions for system failure rates. Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, pp. 81-96en_UK
dc.identifier.isbn978-3-319-45942-4
dc.identifier.issn0302-9743
dc.identifier.urihttps://dspace.lib.cranfield.ac.uk/handle/1826/11020
dc.identifier.urihttp://dx.doi.org/10.1007/978-3-319-45943-1_6
dc.language.isoenen_UK
dc.publisherSpringer Verlag (Germany)en_UK
dc.rights©2016 Springer. This is the Author Accepted Manuscript. Please refer to any applicable publisher terms of use.
dc.subjectSatellite systemsen_UK
dc.subjectWeibull distributionen_UK
dc.subjectContinuous-time markov chainsen_UK
dc.subjectSemi-markov chainsen_UK
dc.subjectProbabilistic model checkingen_UK
dc.titleTowards the automated verification of Weibull distributions for system failure ratesen_UK
dc.typeConference paperen_UK

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Towards_the_automated_verification_of_Weibull-2016.pdf
Size:
651.46 KB
Format:
Adobe Portable Document Format
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.79 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Staff publications (SATM)