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.