Верификация и валидация программируемых управляющих систем атомных станций
Рассматриваются вопросы, связанные с подтверждением технологии разработки программируемых управляющих систем (верификация ПУС) и их соответствия требованиям технического задания на систему при передаче в промышленную эксплуатацию (валидация ПУС) на АС. Отмечены преимущества и недостатки ПУС, рол...
Saved in:
| Date: | 2010 |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | Russian |
| Published: |
Державне підприємство "Державний науково-технічний центр з ядерної та радіаційної безпеки" Держатомрегулювання України та НАН України
2010
|
| Series: | Ядерна та радіаційна безпека |
| Online Access: | http://dspace.nbuv.gov.ua/handle/123456789/97413 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Верификация и валидация программируемых управляющих систем атомных станций / А.С. Алпеев // Ядерна та радіаційна безпека. — 2010. — № 3. — С. 22-24. — Бібліогр.: 3 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-97413 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-974132016-03-29T03:03:08Z Верификация и валидация программируемых управляющих систем атомных станций Алпеев, А.С. Рассматриваются вопросы, связанные с подтверждением технологии разработки программируемых управляющих систем (верификация ПУС) и их соответствия требованиям технического задания на систему при передаче в промышленную эксплуатацию (валидация ПУС) на АС. Отмечены преимущества и недостатки ПУС, роль нормативных документов в разработке управляющих систем, важных для безопасности, и ограничения применения ПУС для реализации функций, важных для безопасности АС. Розглядаються питання, пов’язані з підтвердженням технології розробки програмованих керуючих систем (верифікация ПКС) та їх відповідності вимогам технічного завдання на систему в процесі передавання в промислову експлуатацію (валі-дація ПКС) на АС. Зазначено переваги й недоліки ПКС, роль нормативних документів у розроблянні керуючих систем, важ-ливих для безпеки, та обмеження застосування ПКС для реалі-зації функцій, важливих для безпеки АС The article is devoted to aspects connected with acknowledgement of the development technology of programmable instrumentation and control systems (verification of I&C) and their conformity to requirements of the statement of work on I&C in transfer to commercial operation (validation of I&C) at nuclear power plants. Advantages and drawbacks of I&C, the role of regulatory documents in the development of I&C, and restrictions on application of I&C for functions important for safety of nuclear power plants are noted 2010 Article Верификация и валидация программируемых управляющих систем атомных станций / А.С. Алпеев // Ядерна та радіаційна безпека. — 2010. — № 3. — С. 22-24. — Бібліогр.: 3 назв. — рос. 2073-6231 http://dspace.nbuv.gov.ua/handle/123456789/97413 621.039.562–564 ru Ядерна та радіаційна безпека Державне підприємство "Державний науково-технічний центр з ядерної та радіаційної безпеки" Держатомрегулювання України та НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Russian |
| description |
Рассматриваются вопросы, связанные с подтверждением технологии разработки
программируемых управляющих систем (верификация ПУС) и их соответствия
требованиям технического задания на систему при передаче в промышленную
эксплуатацию (валидация ПУС) на АС. Отмечены преимущества и недостатки ПУС,
роль нормативных документов в разработке управляющих систем, важных для
безопасности, и ограничения применения ПУС для реализации функций, важных для
безопасности АС. |
| format |
Article |
| author |
Алпеев, А.С. |
| spellingShingle |
Алпеев, А.С. Верификация и валидация программируемых управляющих систем атомных станций Ядерна та радіаційна безпека |
| author_facet |
Алпеев, А.С. |
| author_sort |
Алпеев, А.С. |
| title |
Верификация и валидация программируемых управляющих систем атомных станций |
| title_short |
Верификация и валидация программируемых управляющих систем атомных станций |
| title_full |
Верификация и валидация программируемых управляющих систем атомных станций |
| title_fullStr |
Верификация и валидация программируемых управляющих систем атомных станций |
| title_full_unstemmed |
Верификация и валидация программируемых управляющих систем атомных станций |
| title_sort |
верификация и валидация программируемых управляющих систем атомных станций |
| publisher |
Державне підприємство "Державний науково-технічний центр з ядерної та радіаційної безпеки" Держатомрегулювання України та НАН України |
| publishDate |
2010 |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/97413 |
| citation_txt |
Верификация и валидация программируемых управляющих систем атомных станций / А.С. Алпеев // Ядерна та радіаційна безпека. — 2010. — № 3. — С. 22-24. — Бібліогр.: 3 назв. — рос. |
| series |
Ядерна та радіаційна безпека |
| work_keys_str_mv |
AT alpeevas verifikaciâivalidaciâprogrammiruemyhupravlâûŝihsistematomnyhstancij |
| first_indexed |
2025-07-07T04:54:36Z |
| last_indexed |
2025-07-07T04:54:36Z |
| _version_ |
1836962627434053632 |
| fulltext |
22 ßäåðíà òà ðàä³àö³éíà áåçïåêà 3 (47).2010
Â
àæíîñòü ïðîãðàììèðóåìûõ óïðàâëÿþùèõ ñèñòåì
(ÏÓÑ), ñîçäàâàåìûõ íà îñíîâå êîìïüþòåðíîé
òåõíèêè, äëÿ áåçîïàñíîñòè àòîìíûõ ñòàíöèé (ÀÑ)
â íàñòîÿùåå âðåìÿ âîçðàñòàåò, ïîñêîëüêó áûñòðî
óâåëè÷èâàåòñÿ èõ ïðèìåíåíèå íà âíîâü ñîçäàâà-
åìûõ è äåéñòâóþùèõ ýíåðãîáëîêàõ àòîìíûõ ñòàíöèé. Îíè
óæå èñïîëüçóþòñÿ â ñèñòåìàõ, ñâÿçàííûõ ñ áåçîïàñíîñòüþ,
âûïîëíÿÿ ôóíêöèè óïðàâëåíèÿ è èíôîðìàöèîííûå ôóíê-
öèè, âàæíûå äëÿ áåçîïàñíîñòè, à òàêæå ôóíêöèè, êðèòè-
÷åñêèå äëÿ áåçîïàñíîñòè, â òîì ÷èñëå ôóíêöèè àâàðèéíîé
çàùèòû.
Âîçðàñòàþùåå ïðèìåíåíèå ÏÓÑ îïðåäåëÿåòñÿ ðÿäîì
ïðåèìóùåñòâ, êîòîðûìè îíè îáëàäàþò.  ÷àñòíîñòè, ýòî
ñâÿçàíî ñ òåì, ÷òî â ýòèõ ñèñòåìàõ îáåñïå÷èâàþòñÿ:
óëó÷øåííûé êîíòðîëü ïàðàìåòðîâ ÀÑ, â òîì ÷èñëå ïà-
ðàìåòðîâ, âàæíûõ äëÿ áåçîïàñíîñòè;
óëó÷øåííûé èíòåðôåéñ îïåðàòîð — îáúåêò;
îïåðàòèâíûå èñïûòàíèÿ;
ñàìîêîíòðîëü ñðåäñòâ àâòîìàòèçàöèè è ôóíêöèîíàëü-
íûõ ãðóïï;
óëó÷øåííàÿ äèàãíîñòèêà;
ïîâûøåííàÿ òî÷íîñòü èçìåðåíèÿ;
ïîâûøåííàÿ óñòîé÷èâîñòü;
óìåíüøåíèå ïîòðåáíîñòè â êàáåëüíûõ ñîåäèíåíèÿõ
áëàãîäàðÿ ïðèìåíåíèþ ìóëüòèïëåêñíûõ ñòðóêòóð (îáùèõ
èíôîðìàöèîííûõ øèí);
îáëåã÷åíèå ìîäèôèêàöèè óïðàâëÿþùèõ ñèñòåì ïîä
ðàçâèâàþùèåñÿ çàäà÷è ýêñïëóàòàöèè.
Óêàçàííûå ïðåèìóùåñòâà ÏÓÑ íå èñêëþ÷àþò íàëè÷èÿ
íåäîñòàòêîâ òàêèõ ñèñòåì. Íåäîñòàòêè îáóñëîâëåíû ñëîæ-
íîñòüþ ïðîöåññà ðàçðàáîòêè è ñîçäàíèÿ ïðîãðàììíîãî
îáåñïå÷åíèÿ, â ðåçóëüòàòå ÷åãî ñóùåñòâóåò áîëüøàÿ âåðî-
ÿòíîñòü ôîðìèðîâàíèÿ îøèáîê, âûÿâëåíèå êîòîðûõ ïðåä-
ñòàâëÿåò ñîáîé äîñòàòî÷íî ñëîæíóþ çàäà÷ó. Ê íåäîñòàòêàì
îòíîñèòñÿ è òðóäíîñòü äåìîíñòðàöèè õàðàêòåðèñòèêè áåç-
îòêàçíîñòè; êðîìå òîãî, ðåàëèçàöèÿ ïðîãðàììíîãî îáåñ-
ïå÷åíèÿ, êàê ïðàâèëî, ïðåäñòàâëÿåò ñîáîé äèñêðåòíûå
ëîãè÷åñêèå ìîäåëè ðåàëüíîãî ìèðà, ÷òî èìååò äâà òèïà ïî-
ñëåäñòâèé: 1) ïðîãðàììíîå îáåñïå÷åíèå áîëåå ÷óâñòâèòåëü-
íî (ò. å. ìåíåå òåðïèìî) ê «ìàëåíüêèì» îøèáêàì; 2) ìåòîäû
èíòåðïîëÿöèè è ýêñòðàïîëÿöèè ïîëíîñòüþ íåïðèãîäíû,
ïîñêîëüêó ïðèâîäÿò ê íåäîñòîâåðíûì ðåçóëüòàòàì.
Îäíèì èç ôàêòîðîâ, âëèÿþùèì íà ïðèìåíåíèå ÏÓÑ,
âàæíûõ äëÿ áåçîïàñíîñòè ÀÑ, ÿâëÿåòñÿ íàëè÷èå íîðìà-
òèâíî-òåõíè÷åñêèõ äîêóìåíòîâ, ðåãëàìåíòèðóþùèõ óñëî-
âèÿ è îãðàíè÷åíèÿ ïðèìåíèìîñòè ÏÓÑ. Ñëåäóåò îòìåòèòü,
÷òî ñïåöèôèêå ïðèìåíåíèÿ ÏÓÑ íà àòîìíûõ ñòàíöèÿõ
â îòå÷åñòâåííûõ íîðìàòèâíûõ äîêóìåíòàõ íå óäåëÿåòñÿ
äîëæíîãî âíèìàíèÿ, õîòÿ ïðàêòèêà ïðèìåíåíèÿ òàêèõ
ñèñòåì óæå ñóùåñòâóåò íåñêîëüêî ëåò. Ýòà ïðàêòèêà áà-
çèðóåòñÿ íà òðåáîâàíèÿõ ìåæäóíàðîäíûõ íîðìàòèâíûõ
äîêóìåíòîâ. Ê îñíîâíûì èç íèõ, ñîäåðæàùèì òðåáîâàíèÿ
ê öèôðîâûì óïðàâëÿþùèì ñèñòåìàì, îòíîñÿòñÿ:
ÌÀÃÀÒÝ NS-G-1.1. Ïðîãðàììíîå îáåñïå÷åíèå óïðàâëÿ-
þùèõ ñèñòåì, âàæíûõ äëÿ áåçîïàñíîñòè, âûïîëíåííûõ íà
îñíîâå êîìïüþòåðíîé òåõíèêè;
ÌÝÊ 61513. Àòîìíûå ýëåêòðè÷åñêèå ñòàíöèè.
Óïðàâëÿþùèå ñèñòåìû, âàæíûå äëÿ áåçîïàñíîñòè. Îáùèå
òðåáîâàíèÿ;
ÌÝÊ 60880. Ïðîãðàììíîå îáåñïå÷åíèå êîìïüþòåðîâ
â ñèñòåìàõ áåçîïàñíîñòè àòîìíûõ ñòàíöèé;
ÌÝÊ 60880–1. Ïðîãðàììíîå îáåñïå÷åíèå êîìïüþòåðîâ
â ñèñòåìàõ áåçîïàñíîñòè àòîìíûõ ñòàíöèé. ×. 1: Îáùèå
õàðàêòåðèñòèêè;
УДК.621.039.562–564
А. С. Алпеев
Федеральное государственное учреждение
«Научно-технический центр по ядерной и радиационной
безопасности» (НТЦ ЯРБ), Российская Федерация
Верификация
и валидация
программируемых
управляющих систем
атомных станций
Рассматриваются вопросы, связанные с подтверждени-
ем технологии разработки программируемых управляющих
систем (верификация ПУС) и их соответствия требованиям
технического задания на систему при передаче в промыш-
ленную эксплуатацию (валидация ПУС) на АС. Отмечены пре-
имущества и недостатки ПУС, роль нормативных документов
в разработке управляющих систем, важных для безопасности,
и огра ничения применения ПУС для реализации функций, важ-
ных для безопасности АС.
К л ю ч е в ы е с л о в а: атомная станция, безопасность, уп-
равляющие системы, функции, верификация, валидация.
А. С. Алпєєв
Верифікація та валідація програмованих керуючих сис-
тем АЕС
Розглядаються питання, пов’язані з підтвердженням техно-
логії розробки програмованих керуючих систем (верифікация
ПКС) та їх відповідності вимогам технічного завдання на сис-
тему в процесі передавання в промислову експлуатацію (валі-
дація ПКС) на АС. Зазначено переваги й недоліки ПКС, роль
нормативних документів у розроблянні керуючих систем, важ-
ливих для безпеки, та обмеження застосування ПКС для реалі-
зації функцій, важливих для безпеки АС
.
К л ю ч о в і с л о в а: атомна станція, безпека, керуючі сис-
теми, функції, верифікація, валідація.
© А. С. Алпеев, 2010
ßäåðíà òà ðàä³àö³éíà áåçïåêà 3 (47).2010 23
Âåðèôèêàöèÿ è âàëèäàöèÿ ïðîãðàììèðóåìûõ óïðàâëÿþùèõ ñèñòåì àòîìíûõ ñòàíöèé
ÌÝÊ 60880–2. Ïðîãðàììíîå îáåñïå÷åíèå êîìïüþ-
òåðîâ â ñèñòåìàõ áåçîïàñíîñòè àòîìíûõ ñòàíöèé. ×. 2:
Ïðîãðàììíûå àñïåêòû çàùèòû îò îòêàçîâ ïî îáùåé ïðè-
÷èíå, èñïîëüçîâàíèå íîâûõ ïðîãðàììíûõ ñðåäñòâ è ðàíåå
ðàçðàáîòàííîãî ïðîãðàììíîãî îáåñïå÷åíèÿ;
ÌÝÊ 60987. ÀÝÑ. Óïðàâëÿþùèå ñèñòåìû. Ïðî-
ãðàììèðóåìûå öèôðîâûå êîìïüþòåðû, èñïîëüçóåìûå â óï-
ðàâëÿþùèõ ñèñòåìàõ, âàæíûõ äëÿ áåçîïàñíîñòè àòîìíûõ
ñòàíöèé.
Îñòàíîâèìñÿ íà ïï. 1.6 è 2.9, äîêóìåíòà [1], êîòîðûå
äàþò îñíîâàíèÿ äëÿ î÷åíü âàæíûõ âûâîäîâ.  [1, ï. 1.6]
ñêàçàíî:
«Òàê êàê â íàñòîÿùåå âðåìÿ áåçîòêàçíîñòü êîìïüþòåðíîé
ñèñòåìû íå ìîæåò áûòü ïðåäñêàçàíà íà åäèíîé îñíîâå èëè
îáîñíîâàíà â ïðîöåññå ïðîåêòèðîâàíèÿ, òî òðóäíî îïðåäå-
ëèòü è ñîãëàñèòüñÿ ñ ñèñòåìàòè÷åñêè ïîÿâëÿþùèìèñÿ ïîñ-
ëàáëåíèÿìè â ðóêîâîäñòâàõ ïî ïðèìåíåíèþ ïðîãðàììíîãî
îáåñïå÷åíèÿ ñèñòåì, ñâÿçàííûõ ñ áåçîïàñíîñòüþ».
 ï. 2.9 ýòîãî æå äîêóìåíòà ãîâîðèòñÿ:
«Êîëè÷åñòâåííàÿ îöåíêà áåçîòêàçíîñòè öèôðîâûõ ïðî-
ãðàììèðóåìûõ ñèñòåì èç-çà ðÿäà íåäîñòàòêîâ áîëåå òðóäíà,
÷åì äëÿ íåïðîãðàììèðóåìûõ ñèñòåì. Ýòî ìîæåò âûçûâàòü
îïðåäåëåííûå òðóäíîñòè â äåìîíñòðàöèè îæèäàåìîé áåç-
îïàñíîñòè ñèñòåìû, âûïîëíåííîé íà îñíîâå êîìïüþòåð-
íîé òåõíèêè. Â íàñòîÿùåå âðåìÿ òðåáîâàíèÿ âûñîêîé
ïðîãðàììíîé áåçîòêàçíîñòè íå äîêàçóåìû. Ñëåäîâàòåëüíî,
ïðîåêòû, áàçèðóþùèåñÿ íà åäèíñòâåííîé ñèñòåìå, âûïîë-
íåííîé íà îñíîâå êîìïüþòåðíîé òåõíèêè è äîñòèãàþùåé
âåðîÿòíîñòè îòêàçà íà òðåáîâàíèå áîëåå íèçêîé, ÷åì 10–4
äëÿ ïðîãðàììíîãî îáåñïå÷åíèÿ, äîëæíû ðåàëèçîâûâàòüñÿ
ñ ïðåäîñòîðîæíîñòüþ».
Äâà ýòèõ ïîëîæåíèÿ ñîäåðæàò ñëåäóþùèå áàçîâûå àð-
ãóìåíòû:
áåçîòêàçíîñòü êîìïüþòåðíîé ñèñòåìû íå ìîæåò áûòü
ïðåäñêàçàíà èëè îáîñíîâàíà â ïðîöåññå ïðîåêòèðîâàíèÿ;
â íàñòîÿùåå âðåìÿ òðåáîâàíèÿ âûñîêîé ïðîãðàììíîé
áåçîòêàçíîñòè íå äîêàçóåìû.
Òàêèì îáðàçîì, ïðèìåíåíèå òîëüêî ÏÓÑ äëÿ âûïîëíå-
íèÿ ôóíêöèé, âàæíûõ äëÿ áåçîïàñíîñòè ÀÑ, ïðåäñòàâëÿ-
åòñÿ íåâîçìîæíûì èç-çà îòñóòñòâèÿ äîêàçàòåëüñòâ òðåáóå-
ìîé áåçîòêàçíîñòè èõ âûïîëíåíèÿ.
Õîòÿ âîçìîæíîñòÿì ïðèìåíåíèÿ ÏÓÑ íà ÀÑ ïîñâÿùå-
íû âñå ïîëîæåíèÿ óêàçàííûõ íîðìàòèâíûõ äîêóìåíòîâ,
ýòè áàçîâûå àðãóìåíòû îñòàþòñÿ â ñèëå è ðåøåíèå îá èñ-
ïîëüçîâàíèè ÏÓÑ â ÓÑÂÁ îñòàåòñÿ â êîìïåòåíöèè ðàçðà-
áîò÷èêà, ïîëüçîâàòåëÿ è ðåãóëèðóþùåãî îðãàíà.
Íàèáîëåå ïåðñïåêòèâíî ïðèìåíåíèå ÏÓÑ è íåïðîãðàì-
ìèðóåìûõ óïðàâëÿþùèõ ñèñòåì (ÍÏÓÑ) â êà÷åñòâå äóáëè-
ðóþùèõ ïîäñèñòåì ïðè ðåàëèçàöèè ôóíêöèé áåçîïàñíîñòè,
÷òî õîðîøî âïèñûâàåòñÿ â êîíöåïöèþ îáÿçàòåëüíîñòè
ðåàëèçàöèè ñòðóêòóðû ñèñòåìû ñ çàùèòîé îò îòêàçîâ ïî
îáùåé ïðè÷èíå. Ïðè ýòîì äëÿ óïðàâëåíèÿ ýíåðãîáëîêîì
â ðåæèìàõ íîðìàëüíîé ýêñïëóàòàöèè ìîæíî ïîëüçîâàòüñÿ
óñëóãàìè ÏÓÑ, à â ñëó÷àå îòêàçà ÏÓÑ è â àâàðèéíûõ ñè-
òóàöèÿõ âîçìîæíî óïðàâëåíèå îò ÍÏÓÑ.
Ýòîò âîïðîñ òåñíî ñâÿçàí ñ ïðîáëåìîé âûáîðà òåõíîëî-
ãèè ðàçðàáîòêè ÓÑÂÁ.
Ñîâðåìåííûå óñëîâèÿ ñîçäàíèÿ è ìîäåðíèçàöèè óïðàâ-
ëÿþùèõ ñèñòåì ÀÑ õàðàêòåðèçóþòñÿ:
ðàçëè÷íûìè òåõíîëîãèÿìè ðàçðàáîòêè óïðàâëÿþùèõ
ñèñòåì;
ðàçâèòûìè ñòðóêòóðàìè íàöèîíàëüíûõ è ìåæäóíàðîä-
íûõ íîðìàòèâíûõ äîêóìåíòîâ;
øèðîêèì ðûíêîì ñðåäñòâ àâòîìàòèçàöèè;
áîëüøèì îïûòîì ðàçðàáîòêè, èñïûòàíèé, ýêñïëóàòà-
öèè è ìîäåðíèçàöèè.
 îòå÷åñòâåííîé ïðàêòèêå õîðîøî èçâåñòíû äâå òåõíî-
ëîãèè ðàçðàáîòêè óïðàâëÿþùèõ ñèñòåì ÀÑ, êîòîðûå çà-
êðåïëåíû íîðìàòèâíûìè äîêóìåíòàìè: «Åäèíîé ñèñòåìîé
ñòàíäàðòîâ àâòîìàòèçèðîâàííûõ óïðàâëÿþùèõ ñèñòåì»
(ñîâîêóïíîñòü ÃÎÑÒîâ 24.---, ãîäû âûïóñêà 1980—1985),
à òàêæå «Êîìïëåêñîì ñòàíäàðòîâ è ðóêîâîäÿùèõ äîêóìåí-
òîâ íà àâòîìàòèçèðîâàííûå ñèñòåìû» (ÃÎÑÒû 34.--- ïîä
íàèìåíîâàíèåì «Èíôîðìàöèîííàÿ òåõíîëîãèÿ», ãîäû âû-
ïóñêà 1989–1990).
Òåõíîëîãèÿ ðàçðàáîòêè óïðàâëÿþùèõ ñèñòåì, êàê ïðà-
âèëî, ñîäåðæèò ïåðå÷åíü ýòàïîâ ðàçðàáîòêè è òðåáîâàíèÿ
ê êàæäîìó ýòàïó ðàçðàáîòêè. Òàêèì îáðàçîì, ðåçóëüòàò
êàæäîãî ýòàïà ðàçðàáîòêè äîëæåí ñîîòâåòñòâîâàòü òðåáî-
âàíèÿì, ïðåäúÿâëÿåìûì ê ýòîìó ýòàïó.
Âíåäðåíèå â ïîñëåäíèå ãîäû äëÿ óïðàâëÿþùèõ ñèñòåì
ïðîöåäóð âåðèôèêàöèè è âàëèäàöèè íàèáîëåå îñòðî ñòàâèò
ïðîáëåìó, ñâÿçàííóþ ñ íåîáõîäèìîñòüþ ïðèìåíåíèÿ äîñòà-
òî÷íî îáîñíîâàííîé òåõíîëîãèè èõ ñîçäàíèÿ. Ðàçðàáîò÷èê
óïðàâëÿþùèõ ñèñòåì, ÷àñòåé ÀÑÓÒÏ è ÀÑÓÒÏ â öåëîì
äîëæåí óæå ïðè ôîðìèðîâàíèè òåíäåðíûõ ïðåäëîæåíèé
äåêëàðèðîâàòü ïðèìåíÿåìóþ òåõíîëîãèþ ðàçðàáîòêè èëè
ìîäåðíèçàöèè.
Âåðèôèêàöèÿ óïðàâëÿþùåé ñèñòåìû, âàæíîé äëÿ áåç-
îïàñíîñòè (ÓÑÂÁ), ïðåäñòàâëÿåò ñîáîé ðåøåíèå çàäà÷è
îïðåäåëåíèÿ ñîîòâåòñòâèÿ ïðîöåññà ðàçðàáîòêè ÓÑÂÁ
ïðåäâàðèòåëüíî çàÿâëåííîé ðàçðàáîò÷èêîì òåõíîëîãèè
ðàçðàáîòêè, ïðåäñòàâëÿþùåé ñîáîé ñîâîêóïíîñòü òðåáîâà-
íèé ê ýòàïàì ñîçäàíèÿ ÓÑÂÁ îò ôîðìèðîâàíèÿ òåíäåðíûõ
ïðåäëîæåíèé äî ðàçðàáîòêè ïðîåêòà è âíåäðåíèÿ ñîçäàí-
íîé íà åãî îñíîâå ÓÑÂÁ â ýêñïëóàòàöèþ.
Ðåçóëüòàòîì âåðèôèêàöèè ÓÑÂÁ ÿâëÿåòñÿ âûïóñê îò÷å-
òà, ñîäåðæàùåãî ðåçóëüòàòû, ïîäòâåðæäàþùèå ñîîòâåòñòâèå
ÓÑÂÁ êàæäîìó òðåáîâàíèþ ïî êàæäîìó ýòàïó åå ðàçðà-
áîòêè. Èíûìè ñëîâàìè, âåðèôèêàöèÿ ÓÑÂÁ ïðåäñòàâëÿåò
ñîáîé ñîâîêóïíîñòü ðåçóëüòàòîâ âàëèäàöèè êàæäîãî ýòàïà
ðàçðàáîòêè ÓÑÂÁ.
Âàëèäàöèÿ ÓÑÂÁ ïðåäñòàâëÿåò ñîáîé ðåøåíèå çàäà÷è,
ñâÿçàííîé ñ ïîäòâåðæäåíèåì ñîîòâåòñòâèÿ õàðàêòåðèñòèê
ÓÑÂÁ òðåáîâàíèÿì òåõíè÷åñêîãî çàäàíèÿ, ðåàëèçóåìîãî
ïðîâåäåíèåì èñïûòàíèé, ðàñ÷åòàìè èëè îïûòîì ïðèìåíå-
íèÿ àíàëîãè÷íûõ ñèñòåì.
Ðåçóëüòàòîì âàëèäàöèè óïðàâëÿþùåé ñèñòåìû ÿâëÿåòñÿ
îò÷åò, ñîäåðæàùèé ïåðå÷åíü òðåáîâàíèÿ ê óïðàâëÿþùåé
ñèñòåìå è ïåðå÷åíü ïðîòîêîëîâ èñïûòàíèé èëè ðåçóëüòà-
òîâ ðàñ÷åòîâ, êîòîðûå ïîäòâåðæäàþò ñîîòâåòñòâèå ïðåäú-
ÿâëåííûì òðåáîâàíèÿì.
 îòå÷åñòâåííîé ïðàêòèêå äëÿ âàëèäàöèè ïðèíÿòî
ïðîâåäåíèå èñïûòàíèé óïðàâëÿþùåé ñèñòåìû: 1) íà çà-
âîäå-èçãîòîâèòåëå (çàâîäñêèå èñïûòàíèÿ); 2) ïðè ïîñòàâêå
íà îáúåêò (ïðèåìî÷íûå èñïûòàíèÿ); 3) èñïûòàíèÿ óïðàâ-
ëÿþùåé ñèñòåìû, èíòåãðèðîâàííîé ñ òåõíîëîãè÷åñêèì
îáîðóäîâàíèåì ÀÑ è ñìåæíûìè ñèñòåìàìè (èñïûòàíèÿ íà
îáúåêòå).
Îò÷åòû ïî âàëèäàöèè óïðàâëÿþùèõ ñèñòåì, êàê ïðà-
âèëî, ôîðìèðóþòñÿ ñîãëàñíî ðåçóëüòàòàì óêàçàííûõ èñ-
ïûòàíèé. Ïðè ýòîì âàëèäàöèÿ óïðàâëÿþùåé ñèñòåìû
ñ÷èòàåòñÿ âûïîëíåííîé, åñëè âûïîëíåíà âàëèäàöèÿ âñåõ
ôóíêöèîíàëüíûõ ãðóïï [2] ýòîé ñèñòåìû.
Äëÿ îáåñïå÷åíèÿ è äåìîíñòðàöèè ñîîòâåòñòâèÿ óïðàâ-
ëÿþùèõ ñèñòåì (íàïðèìåð, óïðàâëÿþùèõ ñèñòåì áåçîïàñ-
íîñòè) ïðèíöèïó îòêàçà ïî îáùåé ïðè÷èíå òðåáóåòñÿ íå-
êîòîðîå ðàçíîîáðàçèå ëèáî ñðåäñòâ àâòîìàòèçàöèè, ëèáî
24 ßäåðíà òà ðàä³àö³éíà áåçïåêà 3 (47).2010
À. Ñ. Àëïååâ
ïðèìåíÿåìûõ ìåòîäîâ ðåàëèçàöèè ôóíêöèé, ëèáî è òî
è äðóãîå âìåñòå [3].
Ïðèìåíåíèå ïðîãðàììèðóåìûõ ñðåäñòâ àâòîìàòèçàöèè
âîçìîæíî òîëüêî ïðè óñëîâèè ââåäåíèÿ íåêîòîðûõ îãðà-
íè÷åíèé. Ïðè ýòîì âîçìîæíî èñïîëüçîâàíèå ðàçëè÷íûõ
ìåòîäîâ, ñíèæàþùèõ, êàê ïîêàçûâàåò ïðàêòèêà, âåðîÿò-
íîñòü èõ îòêàçà.
Ìåòîä «æåñòêîãî ïðîãðàììèðîâàíèÿ» ïðèâîäèò, ïðàê-
òè÷åñêè, ê ñîîòâåòñòâèþ ïðîãðàììèðóåìûõ ñðåäñòâ àâòî-
ìàòèçàöèè íåïðîãðàììèðóåìûì ñðåäñòâàì àâòîìàòèçàöèè,
äëÿ êîòîðûõ ñïðàâåäëèâû ìåòîäû ñòàòèñòè÷åñêîé îöåíêè
îòêàçîâ, ñâîäÿ íà íåò ìíîãèå ïðåèìóùåñòâà ïðîãðàììèðó-
åìûõ ñðåäñòâ àâòîìàòèçàöèè.
Ìåòîä «ìÿãêîãî ïðîãðàììèðîâàíèÿ» íàêëàäûâàåò ðÿä
óñëîâèé äëÿ åãî ïðèìåíåíèÿ:
îòñóòñòâèå ïðåðûâàíèé;
èñïîëüçîâàíèå â äóáëèðóþùèõ êàíàëàõ ðàçíûõ îïåðà-
öèîííûõ ñèñòåì;
èñïîëüçîâàíèå «âûðîæäåííûõ» îïåðàöèîííûõ ñèñòåì,
ò. å. îïåðàöèîííûõ ñèñòåì, íåîáõîäèìûõ òîëüêî äëÿ ðåøå-
íèÿ îäíîé çàäà÷è;
ïðèìåíåíèå â äóáëèðóþùèõ êàíàëàõ íåïðîãðàììèðóå-
ìûõ ñðåäñòâ àâòîìàòèçàöèè.
Ýòè ìåòîäû ðåêîìåíäóþòñÿ äëÿ ïðèìåíåíèÿ ïðè ðàç-
ðàáîòêå ÏÓÑ.
×òî êàñàåòñÿ ñîîòâåòñòâèÿ ÓÑÂÁ êðèòåðèþ ðàçíîîáðà-
çèÿ, íóæíî îòìåòèòü, ÷òî â ïðîåêòå óïðàâëÿþùåé ñèñòåìû
ñëåäóåò ðàññìàòðèâàòü òàêèå îáùèå ïðè÷èíû âîçíèêíîâå-
íèÿ îòêàçà ôóíêöèîíàëüíûõ ãðóïï ÓÑÂÁ, êàê:
íàëè÷èå åäèíñòâåííîãî èçãîòîâèòåëÿ ñðåäñòâ àâòîìà-
òèçàöèè;
èäåíòè÷íîñòü äóáëèðóþùèõ êàíàëîâ, âûïîëíÿþùèõ
îäíó ôóíêöèþ;
ïðèìåíåíèå îäèíàêîâûõ îïåðàöèîííûõ ñèñòåì â äóá-
ëèðóþùèõ êàíàëàõ (â ñëó÷àå ïðèìåíåíèÿ ïðîãðàììèðóå-
ìûõ ñðåäñòâ àâòîìàòèçàöèè);
îøèáêà îïåðàòîðà;
ýëåêòðîìàãíèòíîå âîçäåéñòâèå;
ñåéñìè÷åñêîå âîçäåéñòâèå;
ïîæàð;
íàâîäíåíèå è ò. ä.
Äëÿ êàæäîé èç îáùèõ ïðè÷èí îòêàçà â ïðîåêòå ÓÑÂÁ
ñëåäóåò âûïîëíÿòü àíàëèç ïîñëåäñòâèé, êîòîðûå ìîãóò
áûòü âûçâàíû âîçíèêíîâåíèåì òàêîé ïðè÷èíû, è ïðåä-
óñìàòðèâàòü ìåðû ïî èõ ïðåäîòâðàùåíèþ èëè óìåíüøå-
íèþ óùåðáà îò íèõ.
Выводы
Ïî ïðåäñòàâëåííûì â ñòàòüå ñîîáðàæåíèÿì ìîæíî
ïðåäëîæèòü ñëåäóþùèå âûâîäû:
óïðàâëÿþùèå ñèñòåìû áåçîïàñíîñòè àòîìíûõ ñòàíöèé
ñëåäóåò âûïîëíÿòü, êàê ìèíèìóì, èç äâóõ íåçàâèñèìûõ
ïîäñèñòåì íà îñíîâå ïðîãðàììèðóåìûõ è íåïðîãðàììèðó-
åìûõ ñðåäñòâ àâòîìàòèçàöèè, ÷òî ïîçâîëèò ñîâìåñòèòü äî-
ñòîèíñòâà ïðîãðàììèðóåìûõ ñèñòåì äëÿ ðåàëèçàöèè ôóí-
êöèé áåçîïàñíîñòè àòîìíîé ñòàíöèè è ïîçâîëèò óñïåøíî
äåìîíñòðèðîâàòü ïîêàçàòåëè áåçîòêàçíîñòè ýòèõ ñèñòåì
ðåãóëèðóþùèì îðãàíàì;
íåîáõîäèìà ãàðìîíèçàöèÿ íîðìàòèâíûõ äîêóìåíòîâ,
ðåãëàìåíòèðóþùèõ àñïåêòû âåðèôèêàöèè è âàëèäàöèè
óïðàâëÿþùèõ ñèñòåì, êîòîðûå â íàñòîÿùåå âðåìÿ äîïóñ-
êàþò äîâîëüíî ðàçíûå òðàêòîâêè.
Список литературы
1. ÌÀÃÀÒÝ NS-G-1.1. Ïðîãðàììíîå îáåñïå÷åíèå óïðàâëÿþ-
ùèõ ñèñòåì, âàæíûõ äëÿ áåçîïàñíîñòè, âûïîëíåííûõ íà îñíîâå
êîìïüþòåðíîé òåõíèêè. — 2000.
2. ÍÏ-026–04. Òðåáîâàíèÿ ê óïðàâëÿþùèì ñèñòåìàì, âàæ-
íûì äëÿ áåçîïàñíîñòè àòîìíûõ ñòàíöèé. — Ì.:ÍÒÖ ßÐÁ, 2004.
3. ÍÏ-082–07. Ïðàâèëà ÿäåðíîé áåçîïàñíîñòè ðåàêòîðíûõ
óñòàíîâîê àòîìíûõ ñòàíöèé. — Ì.: ÍÒÖ ßÐÁ, 1997.
Íàä³éøëà äî ðåäàêö³¿ 08.06.2010.
|