Critical Embedded Systems - Segédanyagok

Félév: 2017. ősz
Title Egyedi szöveg
OO_Glossary of terms (English-Hun)
01_Introduction to the course
02 Safety Basics
04_Safety requirement specification
Reliability modeling Lab
06 Formal verification
Formal verification Lab
07 DO-178B&C
Nuclear Safety Basics

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

  • Basics of nuclear power generation, inherent security, feedback
  • Comparison of Functional Safety (61508) and Nuclear Safety
  • Postulated initial events (PIE), design basis
  • Nuclear incidents, accidents - INES scale
  • Important reactor accidents and malfunctions:
    • Three Mile Island
    • Chernobyl
    • Fukushima
    • Serious incident at Paks in 2003
  • Regarding each nuclear accident:
    • What causes and events led to the accident?
    • How did the accident proceed and what were the consequences?
    • What and how could/should have been done differently to avoid the accident / reduce the consequences?
    • What lessons were learned from the accident and how did nuclear safety change, with particular regard to control systems?

Sources, background material:

Nuclear Power Plant Safety Basics

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

  • Characteristics of nuclear power plants
  • Security objectives and basic defense strategies
  • Major protection systems and their functions
  • Major Generation III + reactor types and their main characteristics

Sources, background material::

Nuclear I&C Systems Basics

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

  • Essential functions of the control systems of nuclear power plants
  • Hierarchical and functional grouping of nuclear control systems
  • (Normal operation) Control systems, Limiters (limiting controls), Interlocks, Protection systems
    • what role do fulfill, how do they influence the process?
  • Protection systems in the Paks NPP
  • Unit power control strategies, their characteristics
    • Power Control with Pre-Turbine Intervention
    • Power Control with Reactor-side Intervention
    • Integrated
  • I&C functions in reactivity control, heat removal from the core, and confinement of radioactive materials
  • Typical architecture of the I&C systems of nuclear power plants

Sources, background material:

Nuclear I&C Systems Safety

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

  • Legal and regulatory background (Atomic Act, NSC (Govt. Decree 118/2011), Govt. Decree 190/2011)
  • OAH's (Hungarian Atomic Energy Authority) role and responsibilities
  • IAEA's role and responsibilities
    • IAEA standards and guides
  • IEC (International Electrotechnical Commission)
    • IEC standards for nuclear I&C systems
  • Security categorization, security classification (IAEA, IEC and Hungarian)
  • Main principles of nuclear I&C design
  • Design for reliability of I&C systems important to safety:
    • The principle, the levels and the purpose of the defense in depth concept
    • The concept and tools of single failure tolerance
    • The concept of common cause failure, the means of avoiding it
      • independence
      • separation
      • diversity
    • Fail-safe design, safety orientation concept

Resources, background material:

Final Exam questions
Félév: 2014. ősz
Title Egyedi szöveg
Safety Basics
Introduction to Model Driven System Engineering
Requirement Modeling
Magic Draw and licence

For the first assignment and all the lab session about modeling we will use Magic Draw.

You can download a preinstalled win x64 from the following url. Based on the feedback from you it seems to be not working for everybody so please use the licence and download the appropriate version from the website.

If you prefer to install it to any other system (iOS or Linux) use the following licence and download the appropriate version (the basic MagicDraw and the SysML extension) from here.

All downloadable content is password protected you will receive your password through the Neptun system!

First assignment: SysML modeling

Read the document carefully and create the required model along with its documentation.

Deadline: the 2nd of November 2014 23:59.

The upload site will be announced later via news and on this webpage

Structure Modeling slides
Requirement modeling laboratory

The model created during the laboratory session for requirement modeling.

Can be used as the starting point for the first phase of the second assignment.

Unzip the downloaded file!

System structure laboratory

The final version of the laboratory with comments, however it is not fully completed.

Behavior Modeling
Syndicate content