Presentation and written report

Embedded systems have become a fundamental part of many technical systems
and are already integral part of everyday life, e.g. in mobile communications,
medical technology, consumer electronics, smart homes and autonomous vehicles
as well as in industrial automation and Internet of Things (IoT). The manifold
dependencies between software and the underlying hardware architecture
require a holistic approach in design, analysis, and verification of embedded systems.
This seminar examines modelling, analysis and verification approaches
for distributed embedded systems, highlights the latest research trends in computer
architecture and machine learning, and discusses their applicability in
future embedded systems. The students choose a seminar topic from the given
topic list, examine the topic in substance, and present the elaborated content
by an oral seminar presentation and a written report.

Students are able to read, reflect, and examine the topic in substance upon current
research papers in the area of embedded systems and can critically assess
the contributions of a paper. They can present current research results to other
students and researchers and can lead research discussions. They can summarize
and evaluate the results of research papers in form of a oral presentation
and a written report.

Will be announced in the pre-lecture meeting.