On Dependability Assessment of Fault Tolerant Systems by Means of Statistical Model Checking
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F17%3APU126394" target="_blank" >RIV/00216305:26230/17:PU126394 - isvavai.cz</a>
Výsledek na webu
<a href="https://www.fit.vut.cz/research/publication/11365/" target="_blank" >https://www.fit.vut.cz/research/publication/11365/</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1109/DSD.2017.12" target="_blank" >10.1109/DSD.2017.12</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
On Dependability Assessment of Fault Tolerant Systems by Means of Statistical Model Checking
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
On Dependability Assessment of Fault Tolerant Systems by Means of Statistical Model Checking
Popis výsledku anglicky
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.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
—
OECD FORD obor
20206 - Computer hardware and architecture
Návaznosti výsledku
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)<br>S - Specificky vyzkum na vysokych skolach
Ostatní
Rok uplatnění
2017
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ů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Proceedings of the 2017 20th Euromicro Conference on Digital System Design
ISBN
978-1-5386-2146-2
ISSN
—
e-ISSN
—
Počet stran výsledku
4
Strana od-do
352-355
Název nakladatele
IEEE Computer Society
Místo vydání
Los Alamitos
Místo konání akce
Vídeň
Datum konání akce
30. 8. 2017
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
000427097100049