Faculty of Information Technology, BUT

Publication Details

Using Statistical Model Checking to Assess Reliability for Bathtub-Shaped Failure Rates

STRNADEL Josef. Using Statistical Model Checking to Assess Reliability for Bathtub-Shaped Failure Rates. In: Design, Automation & Test in Europe Conference & Exhibition (DATE). Florence: IEEE Computer Society, 2019, pp. 614-617. ISBN 978-3-9819263-2-3. Available from: https://ieeexplore.ieee.org/document/8714878
Czech title
Využití statistického ověřování modelů k ohodnocení bezporuchovosti pro intenzity poruch ve tvaru vanové křivky
Type
conference paper
Language
english
Authors
URL
Keywords
reliability, assessment, reliability model, fault, failure, stochastic automaton, timed automaton, simulation, statistical model checking
Abstract
Ideally, the reliability can be assessed analytically, provided that an analytical solution exists and its presumptions are met. Otherwise, alternative approaches to the assessment must apply. This paper proposes a novel, simulation based approach that relies on stochastic timed automata. Based on the automata, our paper explains principles of creating reliability models for various scenarios. Our approach expects that a reliability model is then processed by a statistical model checking method, used to assess the reliability by statistical processing of simulation results over the model. Main goal of this paper is to show that instruments of stochastic timed automata and statistical model checking are capable of facilitating the assessment process even for adverse conditions such as bathtub shaped hazard failure rates.
Published
2019
Pages
614-617
Proceedings
Design, Automation & Test in Europe Conference & Exhibition (DATE)
Conference
Design, Automation and Test in Europe Conference, Florencie, IT
ISBN
978-3-9819263-2-3
Publisher
IEEE Computer Society
Place
Florence, IT
DOI
BibTeX
@INPROCEEDINGS{FITPUB11776,
   author = "Josef Strnadel",
   title = "Using Statistical Model Checking to Assess Reliability for Bathtub-Shaped Failure Rates",
   pages = "614--617",
   booktitle = "Design, Automation \& Test in Europe Conference \& Exhibition (DATE)",
   year = 2019,
   location = "Florence, IT",
   publisher = "IEEE Computer Society",
   ISBN = "978-3-9819263-2-3",
   doi = "10.23919/DATE.2019.8714878",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11776"
}
Files
Back to top