dependability of computer control systems in power plants
Post on 18-Dec-2021
0 Views
Preview:
TRANSCRIPT
HAL Id: hal-01986887https://hal.archives-ouvertes.fr/hal-01986887
Submitted on 19 Jan 2019
HAL is a multi-disciplinary open accessarchive for the deposit and dissemination of sci-entific research documents, whether they are pub-lished or not. The documents may come fromteaching and research institutions in France orabroad, or from public or private research centers.
L’archive ouverte pluridisciplinaire HAL, estdestinée au dépôt et à la diffusion de documentsscientifiques de niveau recherche, publiés ou non,émanant des établissements d’enseignement et derecherche français ou étrangers, des laboratoirespublics ou privés.
Dependability of computer control systems in powerplants. Analytical and experimental evaluation
Claudia Betous-Almeida, Alberto Arazo, Yves Crouzet, Karama Kanoun
To cite this version:Claudia Betous-Almeida, Alberto Arazo, Yves Crouzet, Karama Kanoun. Dependability of computercontrol systems in power plants. Analytical and experimental evaluation. F. Koornneff, M. Vander Meulen,. Lecture Notes in Computer Science 1943, Computer Safety, Reliability and Security,Springer, pp.165-175, 2000, 3-540-41186-0. �hal-01986887�
faP
endP endP
riP
P
faP
Tr1
tr11
okP okP
a= =6tr5 a trtrr rtr7 = =8
ptr9 = tr10= tr11= p
Timed transitionImmediate transition
Tr1 λp= = δTr5Tr2
dtr1tr2 = tr4 = d
=
===ρ
σ
= = πTr6Tr3Tr4Tr7Tr8
λs
= tr3 =
propagation
rs
Tr2
Tr3
Tr5
Tr6
Tr
Tr7
swP
Tr4
tr1 tr2
tr10
tr9
tr3 tr4
tr5
tr
tr7tr8
6
8
primary software
error
see Fig. 3
switch
secondary software
tr12 tr13
tr12tr13
== c
c ==
switch failure
switch success
detected or perceivederror in primary hardware(from hardware GSPN)
swPtr5Tr3
Trb = β
towards hardware & software GSPNs
tr2 or, (from Fig. 2)
top related