Critical Embedded Systems
Senior Lecturer:
Ákos Horváth
Instructors:
Tamás Bartha
Instructors:
Rebeka Farkas
Instructors:
István Majzik
Instructors:
András Vörös
Former Instructors:
Zoltán Micskei
Former Instructors:
Tamás Tóth
Course description page:
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
