Detail publikace

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

STRNADEL, J.

Originální název

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

Anglický název

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

Jazyk

en

Originální abstrakt

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.

Anglický abstrakt

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.

Dokumenty

BibTex


@inproceedings{BUT156842,
  author="Josef {Strnadel}",
  title="Using Statistical Model Checking to Assess Reliability for Bathtub-Shaped Failure Rates",
  annote="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.",
  address="IEEE Computer Society",
  booktitle="Design, Automation & Test in Europe Conference & Exhibition (DATE)",
  chapter="156842",
  doi="10.23919/DATE.2019.8714878",
  edition="NEUVEDEN",
  howpublished="online",
  institution="IEEE Computer Society",
  year="2019",
  month="january",
  pages="614--617",
  publisher="IEEE Computer Society",
  type="conference paper"
}