Detail publikace

On Creation and Analysis of Reliability Models by Means of Stochastic Timed Automata and Statistical Model Checking: Principle

STRNADEL, J.

Originální název

On Creation and Analysis of Reliability Models by Means of Stochastic Timed Automata and Statistical Model Checking: Principle

Anglický název

On Creation and Analysis of Reliability Models by Means of Stochastic Timed Automata and Statistical Model Checking: Principle

Jazyk

en

Originální abstrakt

The paper presents a method of creation and analysis of reliability models by means of stochastic timed automata (STA) and statistical model checking (SMC) approach available in the UPPAAL SMC tool; a special attention is paid there to reliabilty of electronic systems. The method can be seen as an alternative to classical analytic approaches based on instruments such as fault-tree or Markov reliability models. Main goal of the paper is to show that - taking the advantage of the statistical model checking - the reliability analysis of systems can be facilitated even for adverse conditions such as inconstant failure (hazard) rate of inner system components. In the paper, basic terms and principles related to modeling and analysis of dynamic systems by means of the UPPAAL SMC tool are summarized, followed by a short demonstration of its practical applicability and summary of results achieved in the dependability area.

Anglický abstrakt

The paper presents a method of creation and analysis of reliability models by means of stochastic timed automata (STA) and statistical model checking (SMC) approach available in the UPPAAL SMC tool; a special attention is paid there to reliabilty of electronic systems. The method can be seen as an alternative to classical analytic approaches based on instruments such as fault-tree or Markov reliability models. Main goal of the paper is to show that - taking the advantage of the statistical model checking - the reliability analysis of systems can be facilitated even for adverse conditions such as inconstant failure (hazard) rate of inner system components. In the paper, basic terms and principles related to modeling and analysis of dynamic systems by means of the UPPAAL SMC tool are summarized, followed by a short demonstration of its practical applicability and summary of results achieved in the dependability area.

Dokumenty

BibTex


@inproceedings{BUT130975,
  author="Josef {Strnadel}",
  title="On Creation and Analysis of Reliability Models by Means of Stochastic Timed Automata and Statistical Model Checking: Principle",
  annote="The paper presents a method of creation and analysis of reliability models by
means of stochastic timed automata (STA) and statistical model checking (SMC)
approach available in the UPPAAL SMC tool; a special attention is paid there to
reliabilty of electronic systems. The method can be seen as an alternative to
classical analytic approaches based on instruments such as fault-tree or Markov
reliability models. Main goal of the paper is to show that - taking the advantage
of the statistical model checking - the reliability analysis of systems can be
facilitated even for adverse conditions such as inconstant failure (hazard) rate
of inner system components. In the paper, basic terms and principles related to
modeling and analysis of dynamic systems by means of the UPPAAL SMC tool are
summarized, followed by a short demonstration of its practical applicability and
summary of results achieved in the dependability area.",
  address="Springer International Publishing",
  booktitle="Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques",
  chapter="130975",
  doi="10.1007/978-3-319-47166-2_11",
  edition="Lecture Notes in Computer Science, Vol. 9952",
  howpublished="online",
  institution="Springer International Publishing",
  number="10",
  year="2016",
  month="october",
  pages="166--181",
  publisher="Springer International Publishing",
  type="conference paper"
}