Using Markov models for evaluation of single event upsets in TTP/C systems

Result code in IS VaVaI

RIV/49777513:23520/04:00000177 - isvavai.cz

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Using Markov models for evaluation of single event upsets in TTP/C systems

Original language description

This paper describes a general method of reliability evaluation for TTP/C based distributed systems. The method is based on a Markov reliability model of basic functional unit.

Czech name

Využití markovských modelů pro vyhodnocení jednoduchých poruch v TTP/C systémech

Czech description

Příspěvek popisuje obecnou metodu vyhodnocení spolehlivosti pro distribuované systémy založené na protokolu TTP/C. Metoda je založena na markovském spolehlivostním modelu.

Type

D - Article in proceedings

CEP classification

JC - Computer hardware and software

OECD FORD branch

—

Project

GA102/03/0672: Research of methods and tools for verification of embedded computer system fault tolerance

Continuities

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

Publication year

2004

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

Proceedings of IFAC workshop on programmable devices and systems

ISBN

83-908409-8-7

ISSN

—

e-ISSN

—

Number of pages

5

Pages from-to

100-104

Publisher name

IFAC

Place of publication

Gliwice

Event location

Cracow

Event date

Nov 18, 2004

Type of event by nationality

EUR - Evropská akce

UT code for WoS article

—