Zdroj: www.cni.cz

ČESKOSLOVENSKÁ STÁTNÍ NORMA

MDT 621.311.25:621.039.58:681.3.06

Listopad 1993

PROGRAMOVÉ PROSTŘEDKY POČÍTAČŮ
BEZPEČNOSTNÍCH SYSTÉMŮ
JADERNÝCH ELEKTRÁREN

ČSN
IEC 880

35 6587

 

 

 

Software for computers in the safety systems of nuclear power stations

Logiciel pour les calculateurs utilisés dans les systèmes de sûreté des centrales nucléaires  Software für Rechner im Sicherheitssystem von Kernkraftwerken

 

Tato norma obsahuje IEC 880:1986.

 

Národní předmluva

 

Citované normy

IEC 557:1982 zavedena v ČSN 35 6580 Systémy pro kontrolu, řízení a ochranu jaderných reaktorů

IEC 639:1979 dosud nezavedena

IEC 643:1979 dosud nezavedena

IEC 671:1980 dosud nezavedena

ISO 2382/1:1984 zavedena v ČSN 36 9001 Počítače a systémy zpracování údajů. Názvosloví. Základní  názvy

 

Obdobné mezinárodní, regionální a zahraniční normy

IEC 880 Software for computers in the safety systems of nuclear power stations (Programové prostředky  počítačů bezpečnostních systémů jaderných elektráren)

DIN IEC 880 Software für Rechner im Sicherheitssystem von Kernkraftwerken (Programové prostředky  počítačů bezpečnostních systémů jaderných elektráren)

NEN 10880 Programmatuur voor computers in de veiligheidssystemen van kerncentrales (Programové  prostředky počítačů bezpečnostních systémů jaderných elektráren)

SNV R413639 Logiciel pour les calculateurs utilisés dans les systèmes de sûreté des centrales nucléaires  (Programové prostředky počítačů bezpečnostních systémů jaderných elektráren)

 

Deskriptory podle Tezauru ISO ROOT

kód deskriptoru/znění deskriptoru: MX/počítačové programy, MN/počítače, MCG.P/počítačové řízení,  KDN.G/jaderné elektrárny, GMC/bezpečnost, GV/bezpečnostní zařízení

 

Vypracování normy

Zpracovatel: TESLA Výzkumný ústav přístrojů jaderné techniky, s. p., Přemyšlení, IČO 009 903, Ing. Petr Leszkow, Bohumil Hájek

Technická normalizační komise: TNK 56 Elektrické měřicí přístroje

Pracovník Institutu pro technickou normalizaci: Ing. Jaromír Petřík

 

Ó Federální úřad pro normalizaci a měření, 1993




15035


Strana 2

PROGRAMOVÉ PROSTŘEDKY POČÍTAČŮ

IEC 880

BEZPEČNOSTNÍHO SYSTÉMU

První vydání

JADERNÝCH ELEKTRÁREN

1986


 

Obsah

 

strana

 

 

 

Předmluva

2

Úvodní údaje

2

Úvod

3

1

Rozsah platnosti a předmět normy

3

2

Termíny a definice

4

3

Struktura projektu

5

4

Požadavky na programové prostředky

6

5

Vývoj (návrh a programování) programových prostředků bezpečnostního systému

7

6

Ověření (verifikace)

10

7

Integrace technických a programových prostředků

11

8

Kontrola platnosti (validace) počítačového systému

13

9

Údržba a změny

14

10

Provoz

16

Příloha A - Cyklus vývoje systému a podrobné požadavky pro programové prostředky

18

Příloha B - Podrobná doporučení pro vývoj (návrh a tvorba programu) programových prostředků souvisejících s bezpečností

23

Příloha C - Směrnice pro specifikaci vlastností programových prostředků

43

Příloha D - Jazyk, překladač, spojovací program, atd

45

Příloha E - Zkoušení programových prostředků

47

Příloha F Seznam potřebné dokumentace

54

Abecední seznam

58

 

Předmluva

 

1. Oficiální rozhodnutí nebo dohody IEC týkající se technických otázek zpracovaných technickými komisemi,  v nichž jsou zastoupeny všechny zainteresované národní komitéty, vyjadřují v největší možné míře  mezinárodní shodu v názoru na předmět, kterého se týkají.

 

2. Mají formu doporučení pro mezinárodní použití a v tomto smyslu jsou přijímána národními komitéty.

 

3. Na podporu mezinárodního sjednocení vyjadřuje IEC přání, aby všechny národní komitéty převzaly  text doporučení IEC do svých národních předpisů v rozsahu, který národní podmínky dovolují. Jakýkoliv  rozdíl mezi doporučeními IEC a odpovídajícím národním předpisem by měl být pokud možno v národním  předpise jasně vyznačen.

 



-- Vynechaný text --

Zdroj: www.cni.cz