Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen angezeigt.

--- lehrstuhl:mitarbeiter:foerster [2013/07/11 15:12]
foerster
+++ lehrstuhl:mitarbeiter:foerster [2015/01/06 13:49]
foerster
@@ Zeile 12: / Zeile 12: @@
 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>