To content
Fakultät für Informatik
Master's module

Seminar: Safe Autonomous Systems


Module INF-MSc-102
Type Seminar
Credits 4 Credits (Seminar)

The seminar covers current topics in the field of safety of autonomous systems . Examples are: 

  • Modern architectures for embedded systems
  • Model-based development approaches
  • Design and development of autonomous systems
  • Safety of autonomous systems
  • Formal analysis of embedded software

The material (slides, literature, exercises) is provided in the TU Dortmund Moodle. Registration in LSF is mandatory and automatically perfoms enrolment in the Moodle.

Note on the language
The literature for the seminar will be mainly in English. Presentations and papers may be in German or English.