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

Seminar: Safe Autonomous Systems

 

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

Topic
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

Material
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.