Kritikus beágyazott rendszerek - Segédanyagok
| Cím | 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:
|
| 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 | |
| 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 |


