Není k dispozici

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F04%3A03102186" target="_blank" >RIV/68407700:21230/04:03102186 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Using Markov Models for Evaluation of Single Event Upset in TTP/C Systems

Popis výsledku v původním jazyce

This paper describes a general method of reliability evaluation for TTP/C based distributed systems. The method is based on Markov availability models that are designed and computed in a free visual tool called Sharpe. We assume transient single faults as required by the fault hypothesis of TTP/C but with exponential inter-arrival rate (necessary for Markov models), thus allowing occasionally for a rapid fault burst, i.e. a multiple fault. Multiple faults can cause system failure (crash) so the probability of failure increases in time. We evaluate this probability experimentally with different model parameters.

Název v anglickém jazyce

Using Markov Models for Evaluation of Single Event Upset in TTP/C Systems

Popis výsledku anglicky

This paper describes a general method of reliability evaluation for TTP/C based distributed systems. The method is based on Markov availability models that are designed and computed in a free visual tool called Sharpe. We assume transient single faults as required by the fault hypothesis of TTP/C but with exponential inter-arrival rate (necessary for Markov models), thus allowing occasionally for a rapid fault burst, i.e. a multiple fault. Multiple faults can cause system failure (crash) so the probability of failure increases in time. We evaluate this probability experimentally with different model parameters.

Druh

D - Stať ve sborníku

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

<a href="/cs/project/GA102%2F03%2F0672" target="_blank" >GA102/03/0672: Výzkum metod a nástrojů pro verifikaci odolnosti vestavěných počítačových systémů proti poruchám</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2004

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ů

Název statě ve sborníku

Proceedings of IFAC Workshop on Programmable Devices and Systems

ISBN

83-908409-8-7

ISSN

—

e-ISSN

—

Počet stran výsledku

5

Strana od-do

100-104

Název nakladatele

Silesian Technical University

Místo vydání

Gliwice

Místo konání akce

Krakow

Datum konání akce

18. 11. 2004

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—