Kritikus beágyazott rendszerek - Segédanyagok
Title | Egyedi szöveg |
---|---|
Nuclear Safety Basics |
Nuclear Safety Basics - Introduction to the goals and terminology of Nuclear Safety
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
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
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
Források, háttéranyagok:
|
Title | 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 | |
EA08: Nuclear Plants Safety Basics | |
EA09: Nuclear I&C Systems Basics | |
EA10: Nuclear I&C Systems Safety | |
EA11: Nuclear I&C Design | |
EA12: Computer Security at Nuclear Facilities |