Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Beide Seiten der vorigen Revision Vorhergehende Überarbeitung | Letzte Überarbeitung Beide Seiten der Revision | ||
|
lehrstuhl:mitarbeiter:obster [2017/12/01 08:47] obster [Mathias Obster, M.Sc. RWTH] Raum aktualisiert |
lehrstuhl:mitarbeiter:obster [2018/04/06 10:49] obster |
||
|---|---|---|---|
| Zeile 19: | Zeile 19: | ||
| * Analyse von SPS-Programmen während der Eingabe (Statische Analyse) | * Analyse von SPS-Programmen während der Eingabe (Statische Analyse) | ||
| + | * Inkrementelle statische Analyse | ||
| * Software-SPS | * Software-SPS | ||
| * IEC-61131 Sprachen | * IEC-61131 Sprachen | ||
| Zeile 24: | Zeile 25: | ||
| * Ausführung und Simulation von SPS-Programmen auf [[:forschung:projekte:rtandroid|RTAndroid]] | * Ausführung und Simulation von SPS-Programmen auf [[:forschung:projekte:rtandroid|RTAndroid]] | ||
| - | ===== Offene Abschlussarbeiten ===== | ||
| - | Die folgende Liste ist ggf. nicht vollständig. Weitere Themenvorschläge für Bachelor- und Masterarbeiten können Sie auch direkt bei mir erfragen. | ||
| - | \\ | ||
| - | \\ | ||
| - | |||
| - | * Master: {{:lehre:mo_inkrementelle_analyse.pdf|Inkrementelle Analyse für Steuerungscode}} | ||
| Zeile 54: | Zeile 49: | ||
| | ::: | [[lehre:sose17:formal]] | S | | | ::: | [[lehre:sose17:formal]] | S | | ||
| | ::: | [[lehre:sose17:mbt]] | S | | | ::: | [[lehre:sose17:mbt]] | S | | ||
| + | | Wintersemester 17/18 | [[lehre:wise1718:cyber_medizin_emobilitaet]] | S | | ||
| + | | ::: | [[lehre:wise1718:formal]] | S | | ||
| + | | ::: | [[lehre:wise1718:mbt]] | S | | ||
| ===== Sommerfest 2014 ===== | ===== Sommerfest 2014 ===== | ||