Critical Embedded Systems
Tárgyfelelős:
Horváth Ákos
Korábbi oktatók:
Micskei Zoltán
Korábbi oktatók:
Tóth Tamás
Tárgy adatlap:
https://portal.vik.bme.hu/kepzes/targyak/vimima16/en Course Objective
Dependability and safety are crucial 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 in nuclear intrumentation and control (I&C) systems
- Case studies: Avionics and automotive.
Schedule
