Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail publikace
STRNADEL, J.
Originální název
On Creation and Analysis of Reliability Models by Means of Stochastic Timed Automata and Statistical Model Checking: Principle
Typ
článek ve sborníku ve WoS nebo Scopus
Jazyk
angličtina
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.
Klíčová slova
reliability, model, analysis, fault tolerant, FT, stochastic timed automata, STA, statistical model checking, SMC, UPPAAL SMC, probability, distribution, bathtub, fault, transient, permanent, intermittent, rate, scenario, tripple modular redundancy, TMR
Autoři
Vydáno
5. 10. 2016
Nakladatel
Springer International Publishing
Místo
Cham
ISBN
978-3-319-47166-2
Kniha
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
Edice
Lecture Notes in Computer Science, Vol. 9952
ISSN
0302-9743
Periodikum
Lecture Notes in Computer Science
Číslo
10
Stát
Spolková republika Německo
Strany od
166
Strany do
181
Strany počet
16
URL
http://link.springer.com/chapter/10.1007/978-3-319-47166-2_11
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", booktitle="Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques", year="2016", series="Lecture Notes in Computer Science, Vol. 9952", journal="Lecture Notes in Computer Science", number="10", pages="166--181", publisher="Springer International Publishing", address="Cham", doi="10.1007/978-3-319-47166-2\{_}11", isbn="978-3-319-47166-2", issn="0302-9743", url="http://link.springer.com/chapter/10.1007/978-3-319-47166-2_11" }