Dependability of computer control systems in power plants. Analytical and experimental evaluation

HAL Id: hal-01986887

https://hal.archives-ouvertes.fr/hal-01986887

Submitted on 19 Jan 2019

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci-entific research documents, whether they are pub-lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

Dependability of computer control systems in power

plants. 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 computer control systems in power plants. Analytical and experimental evaluation. F. Koornneff, M. Van der 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 MMI MMI

MD AR PR IP AR PR IP other systems

Node 1 Node 2 Node 3 Node 4

fa P end P Pend ri P P fa P Tr₁ tr₁₁ ok P Pok a = 6= tr₅ a tr tr r r tr7= 8= p tr₉= tr10= tr11= p Timed transition Immediate transition Tr₁ λp =Tr₅= δ Tr₂ d tr₁ tr2= tr4= d = = = = ρ σ =Tr₆= π Tr₃ Tr₄ Tr₇ Tr₈ λs = tr₃= propagation rs Tr₂ Tr₃ Tr₅ Tr₆ Tr Tr₇ sw P Tr₄ tr₁ tr₂ tr₁₀ tr₉ tr₃ tr₄ tr₅ tr tr₇ tr₈ 6 8 primary software error see Fig. 3 switch secondary software

tr₁₂ tr₁₃ tr₁₂ tr₁₃ = = c c = = switch failure switch success detected or perceived

error in primary hardware (from hardware GSPN) sw P tr₅ Tr₃ Tr_b= β

towards hardware & software GSPNs

tr₂or

Host node

WS2 WS1

Scripts Readouts Dedicated link tool Agents