Oral examination (written exam if there are a large number of participants)

This lecture discusses current topics and trends in embedded system research
with special focus on design, analysis and verification of embedded systems and
Systems-on-Chip (SoCs). The lecture starts with an introduction into embedded
systems architectures and electronic system level design. Then, the latest
developments in analysis of non-functional properties like timing, power dissipation,
and energy consumption are discussed. The lectures on verification
addresses cyber-physical systems, safety verification, and robustness optimization
of machine-learning based embedded systems. The lecture finally covers
advanced hardware architectures for low-power implementation of deep learning
approaches in hardware. Between the lectures, practical exercises in form
of programming assignments will take place. The lecturers will present the
relevant basics as well as recent research results in each topic.

Participants will acquire in-depth knowledge to different aspects in embedded
systems as well as the necessary skills to design, analyse, and verify embedded
systems under safety constraints. They will gain hands-on experience in
embedded system design in order to avoid common pitfalls. The students will
get a deeper practical understanding by working on topic-specific programming
assignments.

Will be announced during the first lecture.