Using Statistical Model Checking to Assess Reliability for Bathtub-Shaped Failure Rates
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F19%3APU132053" target="_blank" >RIV/00216305:26230/19:PU132053 - isvavai.cz</a>
Result on the web
<a href="https://ieeexplore.ieee.org/document/8714878" target="_blank" >https://ieeexplore.ieee.org/document/8714878</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.23919/DATE.2019.8714878" target="_blank" >10.23919/DATE.2019.8714878</a>
Alternative languages
Result language
angličtina
Original language name
Using Statistical Model Checking to Assess Reliability for Bathtub-Shaped Failure Rates
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
<a href="/en/project/LQ1602" target="_blank" >LQ1602: IT4Innovations excellence in science</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach
Others
Publication year
2019
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Design, Automation & Test in Europe Conference & Exhibition (DATE)
ISBN
978-3-9819263-2-3
ISSN
—
e-ISSN
—
Number of pages
4
Pages from-to
614-617
Publisher name
IEEE Computer Society
Place of publication
Florence
Event location
Florencie
Event date
Mar 25, 2019
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
000470666100113