Kritikus beágyazott rendszerek - Segédanyagok

Félév: 2020. ősz
Cím	Egyedi szöveg
Bevezetés	Témakörök, a félév időbeosztása, tárgykövetelmények, áttekintés. Bevezetés
Safety Basics, Architectures and Hazard Analysis	Az első 3 anyaghoz tartozó előadások és az ígért szótár az angol kifejezésekhez. 00_Glossary of Terms.pdf 02_SafetyBasics.pdf 03_Architecture.pdf 04_Hazard_Analysis_new.pdf
Megbízhatósági modellezés	Az első gyakorlat anyaga CES_Reliability_modeling_handout.pdf
Formális ellenőrzés házi feladat	Feladatkiírás Uppaal segédlet Formális verifikáció labor útmutató
A nukleáris biztonság alapfogalmai	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: World Nuclear Association: Physics of Uranium and Nuclear Energy Nuclear Fundamentals: Reactivity Coefficients Summary World Nuclear Association: Nuclear Power Reactors World Nuclear Association: Safety of Nuclear Power Reactors World Nuclear Association: Three Mile Island accident World Nuclear Association: Chernobyl Accident World Nuclear Association: Fukushima Accident Szatmáry Zoltán: Súlyos üzemzavar a paksi atomerőműben, Fizikai Szemle 2003/8. 266.o. 07_Nuclear_Safety_Basics.pdf
A nukleáris energiatermelés biztonságának alapjai	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: World Nuclear Association: Safety of Nuclear Power Reactors World Nuclear Association: Advanced Nuclear Power Reactors 08_Nuclear_Plants_Safety_Basics.pdf
A nukleáris irányítástechnikai rendszerek alapfogalmai	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: IAEA Nuclear Energy Series No. NP-T-3.12: Core Knowledge on Instrumentation and Control Systems in Nuclear Power Plants 09_Nuclear_IandC_Systems_Basics.pdf
A nukleáris irányítástechnikai rendszerek biztonságának alapjai	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: IAEA Specific Safety Guides No. SSG-39: Design of Instrumentation and Control Systems for Nuclear Power Plants IAEA Safety Standards Series No. SSG-30: Safety Classification of Structures, Systems and Components in Nuclear Power Plants (Specific Safety Guide) IAEA Nuclear Energy Series NP-T-2.11: Approaches for Overall Instrumentation and Control Architectures of Nuclear Power Plants CORDEL Digital Instrumentation & Control Task Force (WNA): Safety Classification for I&C Systems in Nuclear Power Plants - Current Status & Difficulties CORDEL Digital Instrumentation & Control Task Force (WNA): Safety Classification for I&C Systems in Nuclear Power Plants: Comparison of Definitions of Key Concepts CORDEL Digital Instrumentation & Control Task Force (WNA): Defence-in-Depth and Diversity: Challenges Related to I&C Architecture 10_Nuclear_IandC_Systems_Safety.pdf

Félév: 2019. ősz
Cím	Egyedi szöveg
Safety Basics, Architectures and Hazard Analysis	Az első 3 anyaghoz tartozó előadások és az ígért szótár az angol kifejezésekhez. 00_Glossary of Terms.pdf 02_SafetyBasics.pdf 03_Architecture.pdf 04_Hazard_Analysis_new.pdf
Reliability modeling	Az első gyakorlat anyaga. CES_Reliability_modeling_handout.pdf
Formal methods and DO-178B/C	05_Formal_verification.pdf 06_DO-178BandC.pdf
A nukleáris biztonság alapfogalmai	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: World Nuclear Association: Physics of Uranium and Nuclear Energy Nuclear Fundamentals: Reactivity Coefficients Summary World Nuclear Association: Nuclear Power Reactors World Nuclear Association: Safety of Nuclear Power Reactors World Nuclear Association: Three Mile Island accident World Nuclear Association: Chernobyl Accident World Nuclear Association: Fukushima Accident Szatmáry Zoltán: Súlyos üzemzavar a paksi atomerőműben, Fizikai Szemle 2003/8. 266.o. Előadásfóliák: Nuclear Safety Basics
A nukleáris energiatermelés biztonságának alapjai	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: World Nuclear Association: Safety of Nuclear Power Reactors World Nuclear Association: Advanced Nuclear Power Reactors Előadásfóliák: Nuclear Power Plant Safety Basics
A nukleáris irányítástechnikai rendszerek alapfogalmai	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: IAEA Nuclear Energy Series No. NP-T-3.12: Core Knowledge on Instrumentation and Control Systems in Nuclear Power Plants Előadásfóliák: Nuclear I&C Systems Basics
A nukleáris irányítástechnikai rendszerek biztonságának alapjai	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: IAEA Specific Safety Guides No. SSG-39: Design of Instrumentation and Control Systems for Nuclear Power Plants IAEA Safety Standards Series No. SSG-30: Safety Classification of Structures, Systems and Components in Nuclear Power Plants (Specific Safety Guide) IAEA Nuclear Energy Series NP-T-2.11: Approaches for Overall Instrumentation and Control Architectures of Nuclear Power Plants CORDEL Digital Instrumentation & Control Task Force (WNA): Safety Classification for I&C Systems in Nuclear Power Plants - Current Status & Difficulties CORDEL Digital Instrumentation & Control Task Force (WNA): Safety Classification for I&C Systems in Nuclear Power Plants: Comparison of Definitions of Key Concepts CORDEL Digital Instrumentation & Control Task Force (WNA): Defence-in-Depth and Diversity: Challenges Related to I&C Architecture Előadásfóliák: Nuclear I&C Systems Safety
Formális módszerek	Formális módszerek segédanyagok és házi feladat UPPAAL segédanyag Verifikáció laborútmutató Házi feladat

Félév: 2016. ősz
Cím	Egyedi szöveg
Glossary of terminology	00_Glossary of Terms.pdf
Tárgy követelmények	01_Intro.pdf
Safety Basics	02_SafetyBasics.pdf
Safety Requirement Specification	Safety Requirement Specification - An Overview of the Safety Requirement Specification Process in IEC 61508 Források, háttéranyagok: Peter B. Ladkin: An Overview of IEC 61508 on E/E/PE Functional Safety Peter B. Ladkin: The Concepts of IEC 61508 - An Overview and Analysis 03_Safety_Requirement_Specification.pdf
Architecture Design	04_Architecture.pdf
Hazard analysis	05_Hazard_analysis.pdf
Formal modelling and verification	Források, háttéranyagok: Gerd Behrmann, Alexandre David, and Kim G. Larsen: A Tutorial on UPPAAL 4.0 06_Formal_verification.pdf CES_uppaal_handout.pdf CES_verification_laboratory.pdf
Safety case	07_Safety_case.pdf
DO-178B/C	10_DO-178BandC.pdf