1. Kirish The muhim raqamli texnologiya yilda atom elektr stantsiyalari ning joriy etilishi xavfsizlik dasturi [1], bu dasturiy ta'minot qismidir raqamli boshqaruv tizimi bajaradigan yadro xavfsizligi funktsiyalari

Xulosa
Yilda atom elektr stantsiyasi (AES), raqamli boshqaruv tizimi joriy etildi yadro xavfsizligi dasturiy ta'minot, uning xatolarga chidamliligi va ishonchliligi atom elektr stantsiyalari ob'ektlarining xavfsizligiga bevosita ta'sir qiladi. Amaldagi qo'llanma, simulyatsiya va sinov strategiyalarining barchasi cheklovlarga ega. Tizimni dasturiy ta'minot bilan sinab ko'rishning samarali usuli AESning xavfsiz ishlashini ta'minlash uchun muhim rol o'ynaydi. Ushbu maqolada haqiqiy platformaga asoslangan raqamli boshqaruv tizimining dasturiy ta'minot sinov strategiyasi taklif qilingan. RPS tizimini misol qilib olib, ushbu strategiya tizim funktsiyasi va dasturiy ta'minotning mantiqiy yo'l xususiyatlarini tahlil qiladi, so'ngra chegara chegaralarini tahlil qilish orqali tizim holatini aniqlaydi va mantiqiy kombinatsiya yo'llari va parametr qiymatlari intervallarining tasodifiy birikmasiga asoslangan sinov usulini ishlab chiqadi va haqiqiy platforma sinov muhitini yaratadi. Bu qog'oz bosimli suv reaktori (PVC) himoya qilish tizimi xos vazifalarni sinov qildi. Sinov natijalari shuni ko'rsatadiki, test strategiyasi yo'llar va parametrlarni qamrab olishni sezilarli darajada yaxshilagan. Qo'lda sinov bilan solishtirganda, test samarali bu sinov platformasi aniq ishlab chiqildi. Hozirgi vaqtda ushbu strategiya qo'lda sinovdan o'tkazishda past samaradorlik, simulyatsiya sinovlarida past real daraja va oddiy avtomatlashtirilgan sinov strategiyasida etarli darajada qamrab olinmaslik muammosini hal qiladi. Ushbu strategiya, shuningdek, boshqaruv tizimini sinovdan o'tkazish uchun yaxshi amaliyotni ta'minlaydi va tizim va dasturiy ta'minotning ishonchliligini baholash uchun asos yaratadi.

1. Kirish

The muhim raqamli texnologiya yilda atom elektr stantsiyalari ning joriy etilishi xavfsizlik dasturi [1], bu dasturiy ta'minot qismidir raqamli boshqaruv tizimi bajaradigan yadro xavfsizligi funktsiyalari. Raqamli boshqaruv tizimidan keng foydalanilganda, dasturiy ta'minotning funktsional to'g'riligi AES ob'ektlarining xavfsizligi va tejamkorligiga bevosita ta'sir qiladi, dasturiy ta'minotdagi nuqsonlar tizimning ishdan chiqishiga olib kelishi va jiddiy oqibatlarga olib kelishi mumkin. Shuning uchun dasturiy ta'minotni sinovdan o'tkazishda ko'proq e'tibor qaratish lozim, dasturiy ta'minotning nuqsonlarini oldini olish strategiyasi raqamli boshqaruv tizimi uchun muhimdir.

Dasturiy mahsulotlar sifatini ta'minlash uchun dasturiy ta'minot V&V [2] va sinov dasturiy ta'minotning hayotiy tsiklining muhim qismidir, bu dasturiy ta'minotning mumkin bo'lgan nuqsonlarini aniqlash uchun ishlab chiqish jarayoni bilan birga sifat nazoratiga erishadi [3]. Birlik sinovlari, integratsiya sinovlari, tizim sinovlari va boshqalar kabi an'anaviy dasturiy ta'minot sinovlari dasturiy ta'minotdagi nuqsonlarni aniqlash uchun mo'ljallangan, ammo avtomatlashtirishning zaifligi va Real muhitning past darajasida erishiladi. Shuning uchun tizimni dasturiy ta'minot bilan sinab ko'rishning samarali usuli funktsional tuzatish, ishonchlilikni baholash uchun muhim rol o'ynaydi [4] va bundan keyin AESning xavfsiz ishlashini ta'minlash.

Ushbu maqolada sinov jarayonini haqiqiy ish holatiga yaqinlashtirish uchun atom elektr stantsiyasining raqamli reaktorni himoya qilish tizimida qo'llaniladigan va ishonchlilik sinovi uchun texnik yordam ko'rsatadigan haqiqiy platformaga asoslangan avtomatlashtirish dasturiy ta'minot sinov usuli taklif qilingan.atom elektr stantsiyasi.

2. Tegishli ishlar

2.1. Boshqarish tizimining xususiyatlari
Ushbu tadqiqotda biz misol sifatida RPS dan foydalanamiz. RPS-bu reaktorning belgilangan xavfsizlik chegarasidan oshib ketishining oldini olish yoki reaktorni haydash orqali zararni kamaytirish uchun operatsion parametrlarning o'zgarishiga qarab uskunalar uchun himoya signallarini ishlab chiqaradigan atom elektr stantsiyasidagi eng muhim boshqaruv tizimi.favqulodda sayohat (RT) va muhandislik xavfsizligi xususiyatlari (ESF) [5]. Shuning uchun, raqamli RPS uchun dasturiy ta'minot atom elektr stantsiyasining xavfsiz ishlashini ta'minlash uchun etarli sinov talab qilinadi.

RPS boshqaruv mexanizmi quyidagi xususiyatlarga ega:

•
bir nechta harakat turlari: shu jumladan Normal, RT, ESF;

•
bir nechta himoya: bir yoki bir nechta himoya harakatlari yoki himoya choralari yo'q;

•
bir nechta tetiklash shartlari: bitta himoya harakati bir nechta tetik sharoitlari bilan olib kelishi mumkin, bitta shart esa bir nechta himoyani keltirib chiqarishi mumkin. masalan, past bosimli bosim RTB va xavfsizlik in'ektsiyasini mustaqil ravishda qo'zg'atishi mumkin va sovutish suvi harorati past bo'lgan sovutish suvi nasosining past tezligi besleme suvi izolyatsiyasini keltirib chiqaradi va hokazo.;

•
bir nechta kirish: turli xil diapazonda o'zgarib turadigan bir qator operatsion parametrlar.

•
Eshik hukmi: boshqaruv mantig'ining yadrosi chegara hukmidir, ya'ni belgilangan chegaraga ko'ra, kirish signali yoki kirish signalining hisoblash natijasi chegaradan yuqori yoki pastroq ekanligiga qarab, turli xil boshqaruv signallari chiqariladi.

2.2. Joriy sinov usuli

Tizimni ishlab chiqish muddati davomida tizim sinovi ko'pincha FT (zavod sinovi) va FAT (zavodni qabul qilish sinovi) bosqichida amalga oshiriladi. Raqamli reaktorni himoya qilish tizimining mavjud sinov usuli quyidagi cheklovlarga ega:

(1) qo'lda sinov:

Qo'lda sinov disk raskadrovka va xatolar nuqtai nazaridan mos keladi, ammo sinov samaradorligi, avtomatlashtirish va simulyatsiya qilishda kamchiliklar mavjud va bu tizimni keng ko'lamli uzluksiz sinovdan o'tkazish uchun mos emas.

•
Kam sinov ishi ishlab chiqarish samaradorligi: qo'lda bajariladi;

•
Avtomatlashtirishning past darajasi: qo'lda bajariladi;

•
Simulyatsiyaning past darajasi: atom elektr stantsiyasining uzluksiz ishlash xususiyatlarini simulyatsiya qila olmaydi.

(2) simulyatsiya sinovi:

Simulyatsiya sinov muhiti tizim dasturiy ta'minotini sinash uchun ishlatilgan [6], kabi TXS, u yuqori sinov ishini ishlab chiqarish samaradorligiga erishadi. Biroq, dasturiy ta'minot oxir-oqibat ishlash uchun tizimga birlashtirilishi kerak. Dasturiy ta'minot va tizim funktsiyalari va ishlashining haqiqiyligini aks ettirish nuqtai nazaridan simulyatsiya muhiti va haqiqiy platforma o'rtasida hali ham bo'shliq mavjud va simulyatsiya muhitining sinov natijalari haqiqiy platforma kabi ishonchli emas.

(3) oddiy haqiqiy platforma sinovi:

Haqiqiy platforma tomonidan tizim sinovi FT va FAT-da ham qo'llaniladi, maqsadli tizim odatda bir xil kirish sharoitida uzoq vaqt davomida sinovdan o'tkaziladi. Qo'lda sinov bilan solishtirganda, sinov samaradorligi yaxshilanadi va simulyatsiya sinovi bilan solishtirganda haqiqat yaxshilanadi. Biroq, strategiya juda oddiy, hali ham quyidagi muammolar mavjud:

•
Parametrlarini past qiymati qamrov: parametrlari cheklangan miqdordagi ostida sharoitlar umumiy tanlash, to'liq sahna davlat dinamik o'zgarishlar ma'lum bir qator atom stansiya parametrlarini taqlid qila olmaydi;

•
Yagona sinov yo'li: testdan himoya qilish shartlari va himoya harakati bitta yo'lda birlashtirilgan, u boshqaruv tizimining dasturiy ta'minot mantig'i va dastur stsenariylarining murakkabligini aks ettirmaydi.

Reaktorni himoya qilish tizimining ishlash xususiyatlarini to'liq simulyatsiya qilish va dasturiy ta'minotning ishonchliligi muammosini samarali o'rganish uchun sinov quyidagi talablarga ega bo'lishi kerak:

•
Sinov dizayni haqiqiy muhitni kiritishi kerak;

•
To'liq mantiqiy yo'llar va parametrlar qiymati qator qoplash uchun test hollarda bir qator foydalanish.

Ushbu maqolada ushbu cheklovlarni hal qilish uchun haqiqiy platformaga asoslangan strategiya keltirilgan.

3. Sinov strategiyasi
3.1. Sinov ishi dizayni
Ushbu test nazorat funktsiyalariga asoslangan. Birinchidan, maqsadli tizimning boshqaruv funktsiyalarini tasniflash uchun tizim tahlili amalga oshiriladi, so'ngra asosiy mantiqiy xarakteristikasi boshqaruv tizimining chegara taqqoslashidir va har bir boshqaruv funktsiyasining chegara chegarasi tahlil qilinadi. Chegara chegarasi va qiymat oralig'iga ko'ra, ushbu himoya funktsiyasi uchun sinov holatlari to'plami.

•
Maqsadli funktsiyalarni tahlil qilish: kirishlar guruhi maqsad funktsiyasini aniqlash uchun chiqishlar guruhini ishga tushiradi;

•
Chegara chegarasini tahlil qilish: maqsadni himoya qilish funktsiyasi tomonidan qo'zg'atilgan chegarani toping va parametr qiymati oralig'ini normal holatga (himoya harakatlari qo'zg'atilmagan) va himoya holatiga (himoya harakatlari qo'zg'atilgan)bo'ling.;

3.2. Amalga oshirish uchun asosiy fikrlar

3.2.1. Har bir testning mustaqilligi

Sinov holatlarining har bir to'plami o'rtasidagi mustaqillikni ta'minlash va oxirgi himoya funktsiyalari to'plamining sinoviga ta'sir qilmaslik uchun tizimni har bir sinov holatlari to'plamidan keyin tiklash kerak. Dizaynni tiklash:

•
Standart qiymatlarni tiklash: barcha parametrlarning standart qiymatlari himoya harakatini qo'zg'atmaydigan interval ichida

•
Parametr qiymatini tiklash: oldingi himoya funktsiyasi sinovi tugagandan so'ng barcha parametrlarni standart qiymatlariga qaytaring

•
Mantiqni tiklash: sinov holatlarida qo'lda ishlash qiymatlarini loyihalash orqali RS flip-flop kabi ba'zi mantiqlarni tiklang.