Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

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