This translation is older than the original page and might be outdated. See what has changed.
This translation is older than the original page and might be outdated. See what has changed.
Marc Förster, M.Sc.
Research Assistant
Contact
foerster[at]embedded[dot]rwth-aachen[dot]de
Phone +49 241 80 21160
Fax +49 241 80 22150
Address: Ahornstraße 55, 52074 Aachen, Germany
Office: room 2319 (building H)
Research
#;;
I am interested in the early, design-phase support of the development of reusable and dependable software-controlled systems and software for programmable logic controllers (PLC), covering the aspects
#;;
- virtual, model-based engineering,
- component-based semantic models,
- formal specification and analysis (Markov chains, fault trees, model checking),
- quantitative specification assessment,
- visualisation of dependability properties and quality indicators,
- analysis with incomplete information,
- model evolution and reuse.
Available topics for students' theses
- On request
Supervised theses
Teaching
| Term | Title | Type |
|---|---|---|
| Winter 14/15 | Ausgesuchte Themen zur Eingebetteten Software (Subtopic: Model-driven development of control software for distributed automation) | Seminar |
| Praktikum Systemprogrammierung (Assignment 5, Shared memory) | P | |
| Summer 14 | Safety & reliability of software-controlled systems (SRES) | V/Ü |
| Winter 13/14 | State/event-based software specification & analysis | Seminar |
| Praktikum Systemprogrammierung (Assignment 5, Shared memory) | P | |
| Summer 13 | Safety and dependability of software-controlled systems | V/Ü |
| Winter 12/13 | Praktikum Systemprogrammierung (Assignment 1, Introductory) | P |
| Summer 12 | Sicherheit und Zuverlässigkeit softwaregesteuerter Systeme | V/Ü |
| Winter 11/12 | Praktikum Systemprogrammierung (Assignment 1, Introductory) | P |
| Summer 11 | Sicherheit und Zuverlässigkeit softwaregesteuerter Systeme | V/Ü |
Consultation hours
On appointment
Publications
#;; <BIBTEX: file=publikationen style=I11 sort=year filter=förster> #;;
RWTH Aachen University - Chair of Computer Science 11 - Ahornstr. 55 - 52074 Aachen - Germany