Návrh systémů bezpečných při poruše

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F05%3A03109954" target="_blank" >RIV/68407700:21230/05:03109954 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
Fail-Safe System Design
Popis výsledku v původním jazyce
This report is focused on a design of fail-safe interlocking and signalling systems and prediction of their dependability parameters. The architecture of the interlocking equipment is presented. The differences between fail-safe systems with inherent safety and fail-safe systems with redundant safety are described. The hypotheses for safety modelling are discussed. Different models are used for dependability characteristics computation.
Název v anglickém jazyce
Fail-Safe System Design
Popis výsledku anglicky
This report is focused on a design of fail-safe interlocking and signalling systems and prediction of their dependability parameters. The architecture of the interlocking equipment is presented. The differences between fail-safe systems with inherent safety and fail-safe systems with redundant safety are described. The hypotheses for safety modelling are discussed. Different models are used for dependability characteristics computation.

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
Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění
2005
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ů

Podobné výsledky(10)