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

Result code in 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>
Result on the web
<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>

Result language
angličtina
Original language name
On Creation and Analysis of Reliability Models by Means of Stochastic Timed Automata and Statistical Model Checking: Principle
Original language description
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.
Czech name
—
Czech description
—

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)

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

Article name in the collection
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
ISBN
978-3-319-47166-2
ISSN
0302-9743
e-ISSN
—
Number of pages
16
Pages from-to
166-181
Publisher name
Springer International Publishing
Place of publication
Cham
Event location
Corfu
Event date
Oct 10, 2016
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
000389939100011

Similar results(10)