The Common 2oo2 Safety Model for Signalling and Interlocking Equipments
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F05%3A00109705" target="_blank" >RIV/68407700:21230/05:00109705 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
The Common 2oo2 Safety Model for Signalling and Interlocking Equipments
Popis výsledku v původním jazyce
This paper describes the common safety model of the control system based on 2oo2 principle of signalling and interlocking equipments. It is possible to use this model for verification and validation process of railway applications according to European standard EN 50126. The calculation of the safety model is based on Markov models. The safety model is able to calculate also with probability of dangerous behaviour of human operator in case of drop-out of the system functionality.
Název v anglickém jazyce
The Common 2oo2 Safety Model for Signalling and Interlocking Equipments
Popis výsledku anglicky
This paper describes the common safety model of the control system based on 2oo2 principle of signalling and interlocking equipments. It is possible to use this model for verification and validation process of railway applications according to European standard EN 50126. The calculation of the safety model is based on Markov models. The safety model is able to calculate also with probability of dangerous behaviour of human operator in case of drop-out of the system functionality.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
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)
Ostatní
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ů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Electronic Circuits and Systems Conference
ISBN
—
ISSN
—
e-ISSN
—
Počet stran výsledku
4
Strana od-do
—
Název nakladatele
FEI, Slovak University of Technology
Místo vydání
Bratislava
Místo konání akce
Bratislava
Datum konání akce
8. 9. 2005
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—