Escolar Documentos
Profissional Documentos
Cultura Documentos
Biztonsgi
integritsi
szintek
SIL
Az irnyt rendszer
veszlyes
meghibsodsnak
valsznsge [h-1]
10-9 10-8
10-5 10-4
10-8 10-7
10-4 10-3
10-7 10-6
10-3 10-2
10-6 10-5
10-2 10-1
---
--PLDA!
FELTTELEZS
PLDA
a biztonsgi
integritsi
szintek
mennyisgi
meghatrozsra
10-4
vente
1
veszlyes
mszaki
meghibsodsbl add nagyobb Az egsz eurpai vasti rendszer mszaki
ltestmnyei vonatkozsban
vasti baleset Eurpa egszre
10-3
10 veszlyes mszaki meghibsods Az egsz eurpai vasti rendszer mszaki
ltestmnyei vonatkozsban
kzl egy vezet nagyobb balesethez
10-4
10 veszlyes mszaki meghibsods Az egsz eurpai vasti rendszer
kzl egy a biztostberendezsi hiba biztostberendezsi ltestmnyeire
Bizonytalansgok
s
figyelembe
vtele
10:1
biztonsgi rhagyssal
-5
10
trsek
arny Az egsz eurpai vasti rendszer
biztostberendezsi ltestmnyeire
10-8
Eurpa egszben 1000 komplett Komplett biztostberendezsi
biztostberendezsi rendszer van
rendszerenknt (pl. egy vastvonal)
10-9
Biztostberendezsi rendszerenknt Biztostberendezsi alrendszerenknt (pl.
10-10 alrendszer
nagyobb biztostberendezs)
Az egyes alrendszerek
rendszerelembl llnak
10-11
100-100 Rendszerelemenknt (foglaltsgrzkels,
vltvezrls vagy jelzvezrls)
Norml mkds
Kockzat
osztlyozs
Veszlyelemzs
Irnyt
funkcik
Slyossg
Kockzatcskkents
Bels kockzat
IRNYTAND FOLYAMAT
Biztonsgi
integrits
Sajt (bels)
biztonsg
IRNYT
RENDSZER
Vletlenszer hibk
(hardver meghibsodsok)
Kvetelmnyspecifikcis hibk
Tervezsi/megvalstsi meg nem
felelsgek
Gyrtsi hibk
Szoftver fejlesztsi, javtsi hibk
Szerelsi/zembehelyezsi meg nem
felelsgek
Kezelsi/karbantartsi elrsok hibi
Egyb emberi eredet hibk
zemmd
Krnyezeti hatsok
Alulterhels
Tlterhels
Elhasznlds
Egyebek
Fellpsi gyakorisg megadhat!
Eltr HW s/vagy SW
szinkron problmk
kltsges fejleszts
SIL
Sajt (bels)
biztonsg
Szisztematikus integr.
Szoftver
integrits
Kockzatcskkents
Kls
biztonsg
Vletlen hardver hibk elleni vdelem
A biztonsgi szintnek megfelel
megbzhatsg elrse, biztonsgi stratgik
Hardver
integrits
Hibadetektls
Hibatrs
Biztonsgi llapot
Szisztematikus integr.
A hibk
elkerlse
eltvoltsa
Diverz kialakts
SIL
Sajt (bels)
biztonsg
Szoftver
integrits
Vdelem
a vletlenszer egyedi hibk
fellpse, illetve veszlyeztet
hatsa ellen
Megbzhatsg
Biztonsgi stratgik
H
H/t
Ri=HRDa
M
S=1|P(Riunzul)=0
HR
A RAMSkomponensek
kapcsolata
Ri
Da
D
Danger (veszlyforrs)
H
Hazard (veszlyeztets)
HR Hazard Rate (veszlyeztetsi rta)
Da Damage (srls krmrtk)
Ri
Risk (kockzat)
S
Safety (biztonsg)
R
Reliability (megbzhatsg)
A
Availability (rendelkezsrells)
M
Maintainability (karbantarthatsg)
javtsi rta
meghibsodsi rta
t
id
P
Probability (valsznsg)
Megbzhatsg
Megbzhatsg
a rendszernek az a tulajdonsga,
amely lehetv teszi a rendszer szolgltatsa irnti bizalmat
MEGBZHATSG
Dependability
TLLSI
VALSZNSG
Reliability
RENDELKEZSRE
LLS
Availability
KARBANTARTHATSG
Maintainability
BIZTONSG
Safety
R - A - M - S (1)
Tllsi valsznsg
(Reliability)
Rendelkezsrells
(Availability)
R(t)
R(t ) = e t
0,5
1/
A(t)
0,5
A(t ) =
Tllsi valsznsg
annak a valsznsge, hogy egy rendszer meghibsodsa csak az adott
idpont utn kvetkezik be
Rendelkezsre lls
annak a valsznsge, hogy egy rendszer az adott idpontban
mkdkpes
e ( + )t
R - A - M - S (2)
Karbantarthatsg
(Maintainability)
M(t)
Biztonsg
(Safety)
PB (t ) = 1 PV (t )
1/
B
0,5
M (t ) = 1 e t
Biztonsgos llapot
a [h-1]
V
Veszlyeztet llapot
PB (t + t ) = PB (t ) PB (t ) a t
Karbantarthatsg
annak a valsznsge, hogy egy meghibsodott rendszert az adott idpontra
ismt zembe helyeznek
Biztonsg
annak a valsznsge, hogy egy rendszer az adott idpontban krnyezett nem
veszlyezteti
SIL 1
SIL 2
SIL 3
SIL 4
R
R
R
R
R
R
R
R
HR
--HR
HR
--HR
R
R
R
HR
R
R
R
HR
HR
HR
HR
HR
HR
HR
HR
HR
AZ
AZIRNYT
IRNYTRENDSZER
RENDSZERVLETLENSZER
VLETLENSZERMEGHIBSODSAI
MEGHIBSODSAI
ELLENI
ELLENIVDELEM
VDELEMESZKZEI
ESZKZEI
BIZTONSGI
BIZTONSGISTRATGIK
STRATGIK
MDSZEREK
MDSZEREK
ELJRSOK
ELJRSOK
VESZLYFORRSOK
KIKSZBLSE
HATS KIKSZBLSE
HATS MRSKLSE
IRNYT
IRNYTRENDSZER
RENDSZER
KIALAKTSA
KIALAKTSA
ZEMELTETSE
ZEMELTETSE
(Karbantarts,
(Karbantarts,javts)
javts)
SIL 1
SIL 2
SIL 3
SIL 4
R
R
R
R
R
R
R
R
HR
--HR
HR
--HR
R
R
R
HR
R
R
R
HR
HR
HR
HR
HR
HR
HR
HR
HR
E/PE
1
1
2
Hibtlan llapot
saX 1
sa0
2
saX
sa1
sa1
TKLETESSG, HIBAKIZRS
IDELIS
=0
VALSGOS
P0(t) = PB(t)
KORLTOZOTT
KORLTOZOTTALKALMAZS
ALKALMAZS
EGYSZER
EGYSZERELEMEK,
ELEMEK,
RENDSZEREK
RENDSZEREK
RVID
RVIDBIZTONSGOS
BIZTONSGOS
LETTARTAM
LETTARTAM
MEGELZ
MEGELZKARBANTARTS
KARBANTARTS
PB(t)
P1(t) = PV(t)
PB1
PBmin
P0(t)
a v
P1(t)
AKADLYOZ LLAPOT
hibafelismers, lekapcsols
hibakatalgus hibaszitucik
P2(t)
PB (t ) = P0 (t ) + P1 (t )
PV (t ) = P2 (t )
v << a
v << a
VESZLYEZTET LLAPOT
tudatos kockzatvllals - hibakizrs
kockzat-trs!!!
nem tudatos kockzatvllals
ismeretlen alkatrszek, szoftverek
Intzkedsek
a nem tudatos kockzatvllals mrsklsre
VALDI
VALDIFAIL-SAFE
FAIL-SAFERENDSZEREK
RENDSZEREK
nellenrz
nellenrztulajdonsg:
tulajdonsg:
kapcsolelemek
kapcsolelemek++
kapcsolstechnika
kapcsolstechnika
Egycsatorns
Egycsatornskialakts
kialakts
ASZIMMETRIKUS
ASZIMMETRIKUS
MEGHIBSODSI
MEGHIBSODSI
TULAJDONSG
TULAJDONSG
parcilis meghibsodsi rtk
0
Valdi FS
Kapcsolelemek
biztonsgi jelfogk
specilis elektronika
= e + h
h << e
v << a
A
PLDA
B
Biztonsgi jelfogknl konstrukcis alapon kizrhat,
hogy a jelfog llapotval ellenttes rintkez zrjon
X
ZB
Y
PB
ZA
ZA
X
ZA
Y
PA
ZB
ZB
Reset
Y
PB
X
ZA
Y
PA
X
ZB
E
E
1
Ta =
,
1000a
ahol
a = 1 + 2
+UT
sa0
1
UBe
UKi
Stuck at 1 sa1
Stuck at 0 sa0
sa1
2
sa0 sa1
Szimmetrikus meghibsodsi tulajdonsg
Nincs veszlytelen hiballapot
Megolds:
specilis,valdi FS elektronika
tbbcsatorns kialakts
Szoksos
Specilis
Egycsatorns
valdi FS
feldolgozs
Korltozott alkalmazhatsg
0
1
0
Reaktv hibabiztossg
VALDI
VALDIFAIL-SAFE
FAIL-SAFERENDSZEREK
RENDSZEREK
Ennl a techniknl megengedjk, hogy egy biztonsgrelevns funkcit
egyetlen egysg lsson el, feltve, hogy annak biztonsgos mkdse
brmely veszlyes hiba behatrolsval s hatlytalantsval biztosthat
(pldul kdolssal, tbbszrs szmtssal vagy sszehasonltssal,
illetve folyamatos ellenrzssel).
Br a tnyleges biztonsgrelevns funkcit csak egyetlen egysg ltja el,
az ellenrz/tesztel/hibadetektl funkcit msik egysgknt kell
tekinteni, amely fggetlen a kzs eredet hibk elkerlse vgett.
Reaktv hibabiztossg
VALDI
VALDIFAIL-SAFE
FAIL-SAFERENDSZEREK
RENDSZEREK
A FUNKCI
HIBADETEKTLS
BIZT. LL.-BA VAL KNYSZERTS
A FUNKCI
OUTPUT
A FUNKCI
HIBJA
DETEKTLS
OUTPUT
BIZTONSGI
LLAPOT
E/PE
1
1
2
Hibtlan llapot
saX 1
sa0
2
saX
sa1
sa1
TBBCSATORNS
TBBCSATORNSKIALAKTS
KIALAKTS
Informcifeldolgozs:
Informcifeldolgozs:
nem
nemfail-safe
fail-safe
22v2
v2
2-bl
2-bl22rendszer
rendszer
Szmtgpek
saX 1
1
2
sa0
2
saX
sa1
sa1
Valdi FS kapcsol k.
KVZI
KVZIFAIL-SAFE
FAIL-SAFERENDSZEREK
RENDSZEREK
Informcifeldolgozs:
Informcifeldolgozs:
nem
nemfail-safe
fail-safe
Tbbcsatorns
Tbbcsatornskialakts
kialakts
Valdi
ValdiFS
FSsszehasonlt
sszehasonlt
a = 2+H
H<<
H+K
Reset
Szmtgpek
H
H
Valdi FS
Idablak!
A FUNKCI
&
B FUNKCI
OUTPUT
B FUNKCI
HIBADETEKTLS
A FUNKCI
HIBJA
DETEKTLS
B FUNKCI
HIBJA
OUTPUT
T
BIZTONSGI
LLAPOT
TBBSZINT
TBBSZINTSSZEHASONLTS
SSZEHASONLTS
2
A feldolgozott adatok cserje s
sszehasonltsa
H+K
FS sszehasonlt s kapcsol
SSZEHASONLTS
SSZEHASONLTS
KZVETLEN
KZVETLENVEZRLSSEL
VEZRLSSELS
SVISSZAOLVASSSAL
VISSZAOLVASSSAL
Totem-pole kapcsols
+UT
3 llapot kimenetek
Tristate
UKi
BE1
BE2
KI1 V1
V2 KI2
--
SIL 1 SIL 2
R
R
R
R
R
R
R
HR
R
R
R
R
R
R
R
HR
SIL 3 SIL 4
HR
--HR
HR
HR
HR
HR
HR
--HR
HR
HR
HR
HR
>> v esetn
Ember-gp rendszer
Az irnyt rendszer akadlyoz llapota esetn
a forgalom fenntartsa rdekben
a
az ember beavatkozik.
P0(t)
a v
P1(t) 1
v
2
P2(t)
e
3
e>> a
a
TKLETESSG, HIBAKIZRS
IDELIS
=0
VALSGOS
P0(t) = PB(t)
KORLTOZOTT
KORLTOZOTTALKALMAZS
ALKALMAZS
EGYSZER
EGYSZERELEMEK,
ELEMEK,
RENDSZEREK
RENDSZEREK
RVID
RVIDBIZTONSGOS
BIZTONSGOS
LETTARTAM
LETTARTAM
MEGELZ
MEGELZKARBANTARTS
KARBANTARTS
PB(t)
P1(t) = PV(t)
PB1
PBmin
>>
P0(t)
P1(t)
PB (t ) = Pi (t )
i =0
PV (t ) = P2 (t )
P2(t)
2x(2v2)
2x(2v2)RENDSZER
RENDSZER
1
B
2
A
1
B
2
B
A
B
Reset
2
1
Bekapcsolsi sorrend
TBBSGI
TBBSGILOGIKA
LOGIKA(SZAVAZ)
(SZAVAZ)ALKALMAZSA
ALKALMAZSA
3-bl 2
3
1 saX
3
1
2
3
sa0
21
sa0
sa0
22
sa1
sa1
23
sa1
sa0 31
sa0
sa0
32 sa1
sa1
sa1
Diverz kialakts???
Reset
Reset
1/2
1/2
1/2
1
1/3
1
2/3
2
Reset
1/3
1/3
2/3
2/3
M <<
1
2
3
2
esetn
SAFE-LIFE
MKDKPESSG
Tkletessg, hibakizrs
FENNTARTSA
Megbzhatsgnvel mdszerek FAULT-TOLERANT
BIZTONSGI LLAPOT
ELRSE
FAIL-SAFE
Hibabiztos, akadlyoz llapot
Azonnali vagy szablyozott lells
AZ
AZIRNYTOTT
IRNYTOTTFOLYAMAT
FOLYAMATJELLEGTL
JELLEGTLFGG
FGGVLASZTS
VLASZTS
BIZTONSG
BIZTONSG==MKDKPESSG
MKDKPESSG
Pl.
Pl.repls
repls
BIZTONSGOS
BIZTONSGOSHIBALLAPOT
HIBALLAPOT
Pl.
Pl.energiaminimum
energiaminimum(szrazfldi)
(szrazfldi)
SAFE-LIFE
FAULT-TOLERANT
FAIL-SAFE