Department of Computer Systems

Conference paper

STRNADEL Josef. On Creation and Analysis of Reliability Models by Means of Stochastic Timed Automata and Statistical Model Checking: Principle. In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. Cham: Springer International Publishing, 2016, pp. 166-181. ISBN 978-3-319-47166-2. ISSN 0302-9743. Available from: http://link.springer.com/chapter/10.1007/978-3-319-47166-2_11
Publication language:english
Original title:On Creation and Analysis of Reliability Models by Means of Stochastic Timed Automata and Statistical Model Checking: Principle
Title (cs):Tvorba a analýza spolehlivostních modelů prostředky stochastických časovaných automatů a statistického ověřování modelů: Princip
Pages:166-181
Proceedings:Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
Conference:7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016)
Series:Lecture Notes in Computer Science, Vol. 9952
Place:Cham, CH
Year:2016
URL:http://link.springer.com/chapter/10.1007/978-3-319-47166-2_11
ISBN:978-3-319-47166-2
Journal:Lecture Notes in Computer Science, No. 10, DE
ISSN:0302-9743
Publisher:Springer International Publishing
URL: [PDF]
Files: 
+Type Name Title Size Last modified
iconISoLA2016_036_v1.pdf855 KB2016-04-27 12:55:55
^ Select all
With selected:
Keywords
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
Annotation
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.
BibTeX:
@INPROCEEDINGS{
   author = {Josef Strnadel},
   title = {On Creation and Analysis of Reliability Models by Means of
	Stochastic Timed Automata and Statistical Model Checking:
	Principle},
   pages = {166--181},
   booktitle = {Leveraging Applications of Formal Methods, Verification and
	Validation: Foundational Techniques},
   series = {Lecture Notes in Computer Science, Vol. 9952},
   journal = {Lecture Notes in Computer Science},
   number = {10},
   year = {2016},
   location = {Cham, CH},
   publisher = {Springer International Publishing},
   ISBN = {978-3-319-47166-2},
   ISSN = {0302-9743},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.en.iso-8859-2?id=11168}
}

Your IPv4 address: 54.196.33.246
Switch to IPv6 connection

DNSSEC [dnssec]