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

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F16%3APU121631" target="_blank" >RIV/00216305:26230/16:PU121631 - isvavai.cz</a>

Výsledek na webu

<a href="http://link.springer.com/chapter/10.1007/978-3-319-47166-2_11" target="_blank" >http://link.springer.com/chapter/10.1007/978-3-319-47166-2_11</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-319-47166-2_11" target="_blank" >10.1007/978-3-319-47166-2_11</a>

Jazyk výsledku

angličtina

Název v původním jazyce

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

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

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

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

20206 - Computer hardware and architecture

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)

Rok uplatnění

2016

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

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

ISBN

978-3-319-47166-2

ISSN

0302-9743

e-ISSN

—

Počet stran výsledku

16

Strana od-do

166-181

Název nakladatele

Springer International Publishing

Místo vydání

Cham

Místo konání akce

Corfu

Datum konání akce

10. 10. 2016

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

WRD - Celosvětová akce

Kód UT WoS článku

000389939100011