Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen angezeigt.

Link zu dieser Vergleichsansicht

Beide Seiten der vorigen Revision Vorhergehende Überarbeitung
Nächste Überarbeitung
Vorhergehende Überarbeitung
Nächste Überarbeitung Beide Seiten der Revision
lehrstuhl:mitarbeiter:foerster [2013/07/11 15:12]
foerster
lehrstuhl:mitarbeiter:foerster [2015/01/06 13:51]
foerster
Zeile 1: Zeile 1:
 +~~NOTOC~~
 ====== Marc Förster, M.Sc. ====== ====== Marc Förster, M.Sc. ======
 \\ \\
 +Wissenschaftlicher Mitarbeiter\\
 === Kontakt === === Kontakt ===
 \\ \\
-Wissenschaftlicher Mitarbeiter\\ 
 foerster[at]embedded[dot]rwth-aachen[dot]de\\ foerster[at]embedded[dot]rwth-aachen[dot]de\\
 \\ \\
Zeile 10: Zeile 11:
 \\ \\
 Adresse: Ahornstr. 55, 52074 Aachen, Germany\\ Adresse: Ahornstr. 55, 52074 Aachen, Germany\\
-Büro: Raum 2301 (Gebäude H) +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:​abschlussarbeiten:​poster_mf_iso-26262_a4.pdf|A conceptual framework and tool for ISO 26262 compliance}} 
 + 
 +===== Lehre ===== 
 +| **Semester** ​        | **Titel** ​                               | **Art** | 
 +| Wintersemester 14/15 | [[lehre:​wise1415:​seminar]] (Unterthema:​ Model-driven development of control software for distributed automation) ​            ​| ​ Seminar | 
 +| :::                  | [[lehre:​wise1415:​psp]] (Versuch 5)       ​| ​ P       | 
 +| Sommersemester 14    | [[lehre:​sose14:​safetyreliability]] ​      ​| ​ V/Ü     | 
 +| Wintersemester 13/14 | [[lehre:​wise1314:​sespec]] ​               |  Seminar | 
 +| :::                  | [[lehre:​wise1314:​psp]] (Versuch 5)       ​| ​ P       | 
 +| Sommersemester 13    | [[lehre:​sose13:​safetyreliability]] ​      ​| ​ V/Ü     | 
 +| Wintersemester 12/13 | [[lehre:​wise1213:​psp]] (Versuch 1)       ​| ​ P       | 
 +| Sommersemester 12    | [[lehre:​sose12:​safetyreliability]] ​      ​| ​ V/Ü     | 
 +| Wintersemester 11/12 | [[lehre:​wise1112:​psp]] (Versuch 1)       ​| ​ P       | 
 +| Sommersemester 11    | [[lehre:​sose11:​safetyreliability]] ​      ​| ​ V/Ü     | 
 +===== Sprechstunde ===== 
 + 
 +Nach Vereinbarung 
 + 
 +===== Veröffentlichungen =====
  
 +~~NOCACHE~~
 +<BIBTEX: file=publikationen style=I11 sort=year filter=kalkov>​