Critical Embedded Systems

Senior Lecturer: 
Ákos Horváth
Instructors: 
Csaba Debreceni
Instructors: 
Zoltán Imre Micskei
Instructors: 
Tamás Tóth
Instructors: 
András Vörös
Former Instructors: 
Tamás Bartha
Former Instructors: 
István Majzik

Course Objective

Dependability is a critical aspect for the design of safety critical embedded systems (avionics,
automotive, medical, etc.) 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 basics expertise in designing critical embedded systems and software

Synopsis

The course will cover the following topics:

  • Basics of safety-critical systems and the design. Main concepts, Safety criteria and related certification standards, safety integrity level, requirements, archotecture design, safety analysis, V development process and traceability
  • Development techniques for critical systems: Formal modeling, requirement modeling, structural modeling, behaviour modeling.
  • Case studies: Resource allocation, safety in the vionics and nuclear domain

Schedule

 

Pairs for assignements

  • MN3KHT- GUB0LE
  • SFQ3ZS - RXW7N6
  • DTZJOZ - JHWR5Q
  • FJKRHH - BRQLZN
  • JG6XA0 - E4BSMF
  • ONM78A - CWS124
  • F77INQ - ZH3V4F
  • XNPNCT - MXOIBR
  • DXUD59 - IP1W3M
  • B7J99V - M4SULN
  • D0ZUU1 - BU4YBL
  • ZEBPXU - EKC45N
  • JCSU5X - LYCJWW
  • A8UWO6 -R06HSO
  • H8C1NT - GC9JTJ
  • L20DK2 - B78KYU
  • K3VFPW - OCR36T
  • WO6R9O - P2FYSW
  • DD9LPX - AAS22B
  • L41AX0 - A9W515
  • LS9S2V - UGNC4F

Home work submission web page: https://hf.mit.bme.hu/