Počítačové systémy ochran a regulace

Garant předmětu:

Martin Kropík

Přednášející:

Martin Kropík, Jan Rataj

Cvičící:

Martin Kropík, Jan Rataj

Předmět zajišťuje:

katedra jaderných reaktorů

Anotace:

Cíle předmětu:

Podrobně se seznámit s vlastnostmi počítačových systémů ochran a regulace jaderných zařízení, metodikou jejich návrh, vývoje a testování. Zvláštní pozornost je věnována problematice zajištění jakosti programového

Osnova:

1. Kategorizace součástí systémů ochran a regulace dle významu pro jadernou bezpečnost

2. Metodika stanovení požadavků pro počítačové systémy, jejich technické a programové vybavení

3. Požadavky na životní cyklus technického vybavení

4. Požadavky na životní cyklus programového vybavení

5. Metody návrhu a kódování programové

6. Požadavky na programovací jazyky pro systémy důležité z hlediska jaderné bezpečnosti

7. Postupy verifikace v životním cyklu programového vybavení

8. Validace počítačových systémů

Požadavky:

Znalosti klasických bezpečnostních a řídicích systémů jaderných zařízení

Osnova přednášek:

1. Kategorizace součástí systémů ochran a regulace dle významu pro jadernou bezpečnost

2. Metodika stanovení požadavků pro počítačové systémy, jejich technické a programové vybavení

3. Požadavky na životní cyklus technického vybavení

4. Požadavky na životní cyklus programového vybavení

5. Metody návrhu a kódování programové

6. Požadavky na programovací jazyky pro systémy důležité z hlediska jaderné bezpečnosti

7. Postupy verifikace v životním cyklu programového vybavení

8. Validace počítačových systémů

Osnova cvičení:

Cíle studia:

Podrobně se seznámit s vlastnostmi počítačových systémů ochran a regulace jaderných zařízení, metodikou jejich návrh, vývoje a testování. Zvláštní pozornost je věnována problematice zajištění jakosti programového

Studijní materiály:

Povinná literatura

[1] ČSN EN IEC 60987 ed. 2 Jaderné elektrárny – Systémy kontroly a řízení důležité pro bezpečnost – Požadavky na

návrh hardware počítačových systémů, Úřad pro technickou normalizaci, metrologii a státní zkušebnictví, 2009

[2] ČSN EN IEC 60880 ed. 2Jaderné elektrárny - Systémy kontroly a řízení důležité pro bezpečnost Softwarová

hlediska počítačových systémů vykonávajících funkce kategorie A, Úřad pro technickou normalizaci, metrologii a státní

zkušebnictví, 2008

Doporučená literatura

[3] ČSN IEC 62138 Jaderné elektrárny – Instrumentace a řízení důležité pro bezpečnost – softwarová hlediska pro

systémy využívající počítače vykonávající funkce kategorie B nebo C, Český normalizační institut 2005

[4] Review Guidelines on Software Languages for Use in Nuclear Power Plant Safety Systems, NUREG/CR-6463,

NRC, 1996

[5] Software for Computer Based Systems Important To Safety In Nuclear Power Plants, Safety Standards Series No.

NS-G-1.1, IAEA, 2000

Poznámka:

Rozvrh na zimní semestr 2024/2025:

Rozvrh není připraven

Rozvrh na letní semestr 2024/2025:

Rozvrh není připraven

Předmět je součástí následujících studijních plánů: