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�

LAN

MMI MMI MMIMMI

MD

ARPRIP

ARPRIP other systems

Node 1 Node 2 Node 4Node 3Node 5

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)

Host nodeWS2WS1

Scripts Readouts Dedicated link tool

Agents

Target node (e.g. Node 5)