PRISE

A Paksi Atomerőműben történő folyamatos biztonságnövelő intézkedések eredményeként kifejlesztésre került egy automatikus vészhelyzeti rendszer, amely megakadályozza a primerköri víz szabadba jutását PRISE esemény bekövetkezésekor (amikor szivárgás a primerköri víz átszivárog a szekunder körbe.) Egy idő vezérelt logikai terv alapján történik a PRISE detektálás, amely tervnek/ programnak szigorú biztonsági követelményeket kell teljesítenie. A munkánk során bizonyítottuk a terv helyességét, amelyben igazoltuk a logika szükséges és elégséges feltéteket állít a PRISE esemény bekövetkezésének a gyors detektálására, a téves riasztás minimális bekövetkezése mellett. A feladathoz MATLAB szimulációt készítettünk és hibafa analízist végeztünk.