Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
Beide Seiten der vorigen Revision Vorhergehende Überarbeitung Nächste Überarbeitung | Vorhergehende Überarbeitung Letzte Überarbeitung Beide Seiten der Revision | ||
lehrstuhl:mitarbeiter:obster [2015/09/07 10:55] obster |
lehrstuhl:mitarbeiter:obster [2018/04/06 10:49] obster |
||
---|---|---|---|
Zeile 12: | Zeile 12: | ||
\\ | \\ | ||
Adresse: Ahornstr. 55, 52074 Aachen \\ | Adresse: Ahornstr. 55, 52074 Aachen \\ | ||
- | Büro: Raum 2313 (Gebäude H) | + | Büro: Raum 2302 (Gebäude H/Hauptbau) |
| | {{:lehrstuhl:mitarbeiter:obster.jpg?nolink&150|}} | | | {{:lehrstuhl:mitarbeiter:obster.jpg?nolink&150|}} | ||
|} | |} | ||
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 45: | Zeile 40: | ||
| ::: | [[lehre:wise1516:formal]] | S | | | ::: | [[lehre:wise1516:formal]] | S | | ||
| ::: | [[lehre:wise1516:mbt]] | S | | | ::: | [[lehre:wise1516:mbt]] | S | | ||
+ | | Sommersemester 16 | [[lehre:sose16:medizin_emobilitaet]] | S | | ||
+ | | ::: | [[lehre:sose16:formal]] | S | | ||
+ | | ::: | [[lehre:sose16:mbt]] | S | | ||
+ | | Wintersemester 16/17 | [[lehre:wise1617:medizin_emobilitaet]] | S | | ||
+ | | ::: | [[lehre:wise1617:formal]] | S | | ||
+ | | ::: | [[lehre:wise1617:mbt]] | S | | ||
+ | | Sommersemester 17 | [[lehre:sose17:medizin_emobilitaet]] | S | | ||
+ | | ::: | [[lehre:sose17:formal]] | 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 ===== |