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

Kód výsledku v 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>

Výsledek na webu

<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>

Jazyk výsledku

angličtina

Název v původním jazyce

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

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

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

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

<a href="/cs/project/LQ1602" target="_blank" >LQ1602: IT4Innovations excellence in science</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2019

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Design, Automation & Test in Europe Conference & Exhibition (DATE)

ISBN

978-3-9819263-2-3

ISSN

—

e-ISSN

—

Počet stran výsledku

4

Strana od-do

614-617

Název nakladatele

IEEE Computer Society

Místo vydání

Florence

Místo konání akce

Florencie

Datum konání akce

25. 3. 2019

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

000470666100113