Kritikus beágyazott rendszerek - Segédanyagok
Cím | Egyedi szöveg |
---|---|
Bevezetés |
Témakörök, a félév időbeosztása, tárgykövetelmények, áttekinté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. |
Megbízhatósági modellezés |
Az első gyakorlat anyaga |
Formális ellenőrzés házi feladat | |
A nukleáris biztonság alapfogalmai |
Nuclear Safety Basics - Introduction to the goals and terminology of Nuclear Safety
Források, háttéranyagok:
|
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
Források, háttéranyagok:
|
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
Források, háttéranyagok:
|
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
Források, háttéranyagok:
|
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. |
Reliability modeling |
Az első gyakorlat anyaga. |
Formal methods and DO-178B/C | |
A nukleáris biztonság alapfogalmai |
Nuclear Safety Basics - Introduction to the goals and terminology of Nuclear Safety
Források, háttéranyagok:
|
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
Források, háttéranyagok:
|
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
Források, háttéranyagok:
|
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
Források, háttéranyagok:
|
Formális módszerek |
Formális módszerek segédanyagok és házi feladat |
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 |