The Reliability and Safety Computation for the Fault-tolerant and Fail-safe Systems

Result code in IS VaVaI

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

Result on the web

—

DOI - Digital Object Identifier

—

Result language

čeština

Original language name

Stanovení spolehlivosti a bezpečnosti pro systémy odolné a bezpečné proti poruše

Original language description

Tento článek se zabývá modelováním spolehlivostních parametrů u systémů odolných proti poruše a systémů bezpečných při poruše. Jsou ukázány modely pro výpočet střední doby bezporuchového provozu u několika typů a částí železničních zabezpečovacích zařízení určených pro signalizaci výstrahy na železničních přejezdech. Jsou použity blokové a markovské modely pro trvalé i dočasné poruchy. Je ukázán spolehlivostní model zařízení pracující na architektuře FPGA. Dále je stanoven markovský model pro výpočet pravděpodobnosti bezpečného chování obecného systému na principu 2 ze 2 bezpečného při poruše

Czech name

Stanovení spolehlivosti a bezpečnosti pro systémy odolné a bezpečné proti poruše

Czech description

Tento článek se zabývá modelováním spolehlivostních parametrů u systémů odolných proti poruše a systémů bezpečných při poruše. Jsou ukázány modely pro výpočet střední doby bezporuchového provozu u několika typů a částí železničních zabezpečovacích zařízení určených pro signalizaci výstrahy na železničních přejezdech. Jsou použity blokové a markovské modely pro trvalé i dočasné poruchy. Je ukázán spolehlivostní model zařízení pracující na architektuře FPGA. Dále je stanoven markovský model pro výpočet pravděpodobnosti bezpečného chování obecného systému na principu 2 ze 2 bezpečného při poruše

Type

D - Article in proceedings

CEP classification

JC - Computer hardware and software

OECD FORD branch

—

Project

<a href="/en/project/GA102%2F03%2F0672" target="_blank" >GA102/03/0672: Research of methods and tools for verification of embedded computer system fault tolerance</a><br>

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

Počítačové architektúry a diagnostika

ISBN

80-969202-0-0

ISSN

—

e-ISSN

—

Number of pages

6

Pages from-to

16-21

Publisher name

Ústav informatiky SAV

Place of publication

Bratislava

Event location

Moravany nad Vahom

Event date

Sep 15, 2004

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

—