Kritikus beágyazott rendszerek - Segédanyagok

Félév: 2016. ősz
Cím Egyedi szöveg
Glossary of terminology
Tárgy követelmények
Safety Basics
Safety Requirement Specification

Safety Requirement Specification - An Overview of the Safety Requirement Specification Process in IEC 61508

Források, háttéranyagok:

Architecture Design
Hazard analysis
Formal modelling and verification

Források, háttéranyagok:

Safety case
DO-178B/C
Nuclear Safety Basics

Nuclear Safety Basics - Introduction to the goals and terminology of Nuclear Safety

  • Nukleáris energiatermelés alapjai, inherens biztonság, visszacsatolások
  • Funkcionális biztonság (61508) és nukleáris biztonság összevetése
  • Feltételezett kezdeti események, tervezési alap
  • Nukleáris üzemzavarok, balesetek - INES skála
  • Fontos reaktorbalesetek, üzemzavarok:
    • Three Mile Island
    • Chernobyl
    • Fukushima
    • Súlyos üzemzavar Pakson 2003-ban
  • Minden reaktorbalesettel kapcsolatban:
    • Milyen okok és események vezettel a baleset bekövetkezéséhez?
    • Hogyan folyt le a baleset és milyen következményekkel járt?
    • Mit és hogyan lehetett / kellett volna másképp tenni a baleset elkerüléséhez / a következmények csökkentéséhez?
    • Milyen tanulságokat vontak le a balesetből és hogyan változtatták meg a nukleáris biztonságot, különös tekintettel az irányítástechnikai rendszerekre?

Források, háttéranyagok:

Nuclear Power Plant Safety Basics

Nuclear Power Plant Safety Basics - Construction Principles and Safety Features on the Nuclear Power Plant Level

  • Nukleáris erőművek jellemzői
  • Biztonsági célok és alapvető védelmi stratégiák
  • Főbb védelmi rendszerek és feladatuk
  • Fontosabb Generation III+ reaktortípusok és főbb jellemzőik

Források, háttéranyagok:

Nuclear I&C Systems Basics

Nuclear I&C Systems Basics - The role of Instrumentation and Control Systems in Nuclear Power Plants, and their Characteristics

  • A nukleáris erőművek irányítástechnikai rendszereinek alapvető funkciói
  • A nukleáris irányítástechnikai rendszerek hierarchikus és funkcionális csoportosítása
  • Szabályozó rendszerek, határoló szabályozások, reteszelések, védelmek (mi a szerepük, hogyan avatkoznak be?)
  • Paksi védelmi rendszerek
  • Blokkteljesítmény szabályozás módjai, ezek jellemzői
    • teljesítmény eltérésről elsődleges beavatkozás az áramtermelő előtt (B2), majd a nyomáseltérésről másodlagos beavatkozás a gőztermelő előtt (B1)
    • teljesítmény eltérésről elsődleges beavatkozás gőztermelő előtt (B1), majd a nyomáseltérésről másodlagos beavatkozás az áramtermelő előtt (B2)
    • integrált
    • felépítése a paksi atomerőműben
  • Irányítástechnikai funkciók a reaktivitás-szabályozásban, zóna hőelvonásban és a radioaktív kibocsátás megakadályozásában
  • Nukleáris erőművek irányítástechnikai rendszereinek tipikus architektúrája

Források, háttéranyagok:

Nuclear I&C Systems Safety

Nuclear I&C Systems Safety - The Principles of Nuclear Safety for Instrumentation and Control Systems

  • Jogi és szabályozási háttér (atomtörvény, NBSZ, 190-es kormányrendelet)
  • OAH szerepe és feladatai
  • NAÜ (IAEA) szerepe és feladatai
    • NAÜ szabványok és útmutatók
  • Biztonsági kategorizálás, biztonsági osztályba sorolás (NAÜ, IEC és magyar)
  • Nukleáris irányítástechnikai rendszerek főbb tervezési elvei
  • Nukleáris irányítástechnikai rendszerek megbízhatóságra tervezésének legfontosabb összetevői:
    • Mélységben tagolt védelem elve, szintjei és azok célja, eszközei
    • Egyszeres hibatűrés fogalma és eszközei
    • Közös okú hiba fogalma, ellene való védekezés eszközei
      • Függetlenség
      • Szeparáció
      • Diverzitás
    • Hibabiztos tervezés, biztonsági orientáció fogalma
    • Safety case, verifikáció és validáció

Források, háttéranyagok:

Félév: 2015. ősz
Cím Egyedi szöveg
Glossary of terminology
Kritikus beágyazott rendszerek tárgy bevezető
EA01: Safety Basics
EA02: Dependable Architectures
EA03: Hazard Analysis
Megbízhatósági modellezés gyakorlat segédlet

A pénteki gyakorlaton a megbízhatósági modellezés témakörével ismerkedünk meg, az alábbi segédlet segíti a gyakorlatra való felkészülést.

Formális módszerek gyakorlat handout

A pénteki gyakorlatra a segédlet elolvasásával kell felkészülni, a feladatok akár otthon is elkezdhetőek.

EA05: Formal modelling and verification
EA06: Safety cases
EA7: DO-178B
EA04: Safety Requirement Specification
EA07: Nuclear Safety Basics
Tartalom átvétel