Department of Computer Systems

Conference paper

STRNADEL Josef. On Dependability Assessment of Fault Tolerant Systems by Means of Statistical Model Checking. In: Proceedings of the 2017 20th Euromicro Conference on Digital System Design. Los Alamitos: IEEE Computer Society, 2017, pp. 352-355. ISBN 978-1-5386-2146-2.
Publication language:english
Original title:On Dependability Assessment of Fault Tolerant Systems by Means of Statistical Model Checking
Title (cs):Vyhodnocení spolehlivostních ukazatelů systémů odolných proti poruchám prostředky statistického ověřování modelů
Pages:352-355
Proceedings:Proceedings of the 2017 20th Euromicro Conference on Digital System Design
Conference:20th Euromicro Conference on Digital Systems Design
Place:Los Alamitos, US
Year:2017
ISBN:978-1-5386-2146-2
Publisher:IEEE Computer Society
Files: 
+Type Name Title Size Last modified
icon2146a352.pdf350 KB2017-09-01 09:33:23
^ Select all
With selected:
Keywords
fault tolerant system, dependability, assessment, reliability model, simulation, fault, failure, rate, fault tolerant, stochastic timed automaton, statistical model checking, triple modular redundancy, UPPAAL SMC
Annotation
The problem of dependability assessment can be solved analytically just under predefined conditions. If they do not hold, alternative approaches must apply. Widely, they rely on the Monte Carlo simulation, suffering by the high computational complexity. Some rest on further instruments such as probabilistic timed automata that have been shown to be efficient to solve problems in various areas. However, more general as well as precise and faster instruments such as stochastic timed automata (STA) and statistical model checking (SMC) are available for the same purpose the moment. In the paper, basic terms and principles behind the construction of reliability models and dependability assessment on the STA/SMC basis are summarized, followed by a demonstration of their practical applicability in the area of non-repairable systems. Our main goal is to show that, instruments of STA/SMC can facilitate the dependability assessment process even in adverse conditions such as presence of multiple faults of various parameters.
BibTeX:
@INPROCEEDINGS{
   author = {Josef Strnadel},
   title = {On Dependability Assessment of Fault Tolerant Systems by
	Means of Statistical Model Checking},
   pages = {352--355},
   booktitle = {Proceedings of the 2017 20th Euromicro Conference on Digital
	System Design},
   year = {2017},
   location = {Los Alamitos, US},
   publisher = {IEEE Computer Society},
   ISBN = {978-1-5386-2146-2},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.en.iso-8859-2?id=11365}
}

Your IPv4 address: 54.81.6.121
Switch to IPv6 connection

DNSSEC [dnssec]