Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
Beide Seiten der vorigen Revision Vorhergehende Überarbeitung Nächste Überarbeitung | Vorhergehende Überarbeitung Nächste Überarbeitung Beide Seiten der Revision | ||
lehrstuhl:mitarbeiter:foerster [2015/01/19 12:07] foerster [Lehre] |
lehrstuhl:mitarbeiter:foerster [2017/11/08 16:15] foerster [Lehre] |
||
---|---|---|---|
Zeile 16: | Zeile 16: | ||
===== Forschung ===== | ===== Forschung ===== | ||
#;; | #;; | ||
- | Ich interessiere mich für Methoden zur Unterstützung der Entwicklung eingebetteter Software und Software für speicherprogrammierbare Steuerungen (SPS) in der Designphase:\\ | + | Ich interessiere mich für Methoden zur Unterstützung der Entwicklung eingebetteter Software und Software für speicherprogrammierbare Steuerungen (SPS) in der Designphase, z.B.\\ |
#;; | #;; | ||
\\ | \\ | ||
- | * virtuelles, modellbasiertes Engineering | + | * virtuelles, modellbasiertes Engineering, |
- | * komponentenbasierte semantische Modelle | + | * komponentenbasierte semantische Modelle, |
- | * formale Spezifikation und Analyse (Markoffketten, Fehlerbäume, Model-Checking) | + | * formale Spezifikation und Analyse (Markoffketten, Fehlerbäume, Model-Checking), |
- | * quantitative Bewertung von Spezifikationen | + | * quantitative Bewertung von Spezifikationen, |
- | * Visualisierung von Zuverlässigkeitseigenschaften und Qualitätsindikatoren | + | * Visualisierung von Zuverlässigkeitseigenschaften und Qualitätsindikatoren, |
- | * Analyse mit unvollständiger Information | + | * Analyse mit unvollständiger Information, |
- | * Modellevolution und -wiederverwendung | + | * Modellevolution und -wiederverwendung. |
\\ | \\ | ||
===== Offene Abschlussarbeiten ===== | ===== Offene Abschlussarbeiten ===== | ||
Zeile 38: | Zeile 38: | ||
\\ | \\ | ||
^ Semester ^ Titel ^ Art ^ | ^ Semester ^ Titel ^ Art ^ | ||
+ | | Winter 17/18 | | | | ||
+ | | Sommer 17 | [[lehre:sose17:safetyreliability]] | | | ||
+ | | Winter 16/17 | | | | ||
+ | | Sommer 16 | [[lehre:sose16:safetyreliability]] | | | ||
+ | | Winter 15/16 | | | | ||
+ | | Sommer 15 | [[lehre:sose15:safetyreliability]] | | | ||
| Winter 14/15 | [[lehre:wise1415:seminar]] (Unterthema: Model-driven development of control software for distributed automation) | Seminar | | | Winter 14/15 | [[lehre:wise1415:seminar]] (Unterthema: Model-driven development of control software for distributed automation) | Seminar | | ||
| ::: | [[lehre:wise1415:psp]] (Versuch 5, Gemeinsamer Speicher) | P | | | ::: | [[lehre:wise1415:psp]] (Versuch 5, Gemeinsamer Speicher) | P | |