Critical Embedded Systems

Tárgyfelelős: 
Horváth Ákos
Oktatók: 
Bartha Tamás
Oktatók: 
Farkas Rebeka
Oktatók: 
Majzik István
Oktatók: 
Vörös András
Korábbi oktatók: 
Micskei Zoltán Imre
Korábbi oktatók: 
Tóth Tamás

Course Objective

Dependability and safety are crutial aspects for the design of critical embedded systems (used in avionics, automotive, medical, etc. domains) where a system failure may result in severe losses or casualties. The course aims to overview the main development, verification and validation principles and technologies of critical embedded systems.

Obtained skills and expertise

Principles and basic expertise in designing critical embedded systems and software.

Synopsis

The course will cover the following topics:

  • Basics of safety-critical systems: Main concepts, safety criteria and related certification standards, safety integrity level, requirements, architecture design, safety analysis, development process (V-model) and traceability.
  • Development and analysis techniques for critical systems: Formal modeling, quantitative and qualitative analysis techniques
  • Introduction to nuclear safety and its specific applied techniques
  • Case studies: Avionics and automotive.

Schedule