Dies ist eine alte Version des Dokuments!
Marc Förster, M.Sc.
Wissenschaftlicher Mitarbeiter
Kontakt
foerster[at]embedded[dot]rwth-aachen[dot]de
Tel. +49 241 80 21160
Fax +49 241 80 22150
Adresse: Ahornstr. 55, 52074 Aachen, Germany
Büro: Raum 2301 (Gebäude H)
Forschung
Ich interessiere mich für Methoden zur Unterstützung der Entwicklung von eingebetteter Software und Software für speicherprogrammierbare Steuerungen (SPS) in der Designphase:
- virtuelles, modellbasiertes Engineering
- komponentenbasierte semantische Modelle
- formale Spezifikation und Analyse (Markoffketten, Fehlerbäume, Model-Checking)
- quantitative Bewertung von Spezifikationen
- Visualisierung von Zuverlässigkeitseigenschaften und Qualitätsindikatoren
- Analyse mit unvollständiger Information
- Modellevolution und -wiederverwendung
Offene Abschlussarbeiten
- Auf Anfrage
Betreute Abschlussarbeiten
Lehre
| Semester | Titel | Art |
| Winter 14/15 | Ausgesuchte Themen zur Eingebetteten Software (Unterthema: Model-driven development of control software for distributed automation) | Seminar |
| Praktikum Systemprogrammierung (Versuch 5) | P | |
| Sommer 14 | Safety & reliability of software-controlled systems (SRES) | V/Ü |
| Winter 13/14 | State/event-based software specification & analysis | Seminar |
| Praktikum Systemprogrammierung (Versuch 5) | P | |
| Sommer 13 | Safety and dependability of software-controlled systems | V/Ü |
| Winter 12/13 | Praktikum Systemprogrammierung (Versuch 1) | P |
| Sommer 12 | Sicherheit und Zuverlässigkeit softwaregesteuerter Systeme | V/Ü |
| Winter 11/12 | Praktikum Systemprogrammierung (Versuch 1) | P |
| Sommer 11 | Sicherheit und Zuverlässigkeit softwaregesteuerter Systeme | V/Ü |
Sprechstunde
Nach Vereinbarung
Veröffentlichungen
Publikations-Export
RWTH Aachen - Lehrstuhl Informatik 11 - Ahornstr. 55 - 52074 Aachen - Deutschland