Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Beide Seiten der vorigen Revision Vorhergehende Überarbeitung | Nächste Überarbeitung Beide Seiten der Revision | ||
|
lehrstuhl:mitarbeiter:foerster [2015/01/19 12:07] foerster [Lehre] |
lehrstuhl:mitarbeiter:foerster [2015/01/28 17:21] foerster [Forschung] |
||
|---|---|---|---|
| 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 ===== | ||