Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
Beide Seiten der vorigen Revision Vorhergehende Überarbeitung Nächste Überarbeitung | Vorhergehende Überarbeitung | ||
lehrstuhl:mitarbeiter:obster [2015/09/07 10:55] obster |
lehrstuhl:mitarbeiter:obster [2021/08/24 07:46] (aktuell) obster Dr.-Ing. hinzugefügt |
||
---|---|---|---|
Zeile 1: | Zeile 1: | ||
- | ====== Mathias Obster, M.Sc. RWTH ====== | + | ====== Dr.-Ing. Mathias Obster ====== |
~~NOTOC~~ | ~~NOTOC~~ | ||
+ | ~~NOCACHE~~ | ||
\\ | \\ | ||
\\ | \\ | ||
- | {| | + | ===== Über mich ===== |
- | | | | + | Ich war Doktorand am Lehrstuhl bis April 2018. |
- | Wissenschaftlicher Mitarbeiter \\ | + | {{ :lehrstuhl:mitarbeiter:obster.jpg?nolink&150|}} |
- | obster[at]embedded[dot]rwth-aachen[dot]de \\ \\ | + | |
\\ | \\ | ||
- | Tel.: +49 241 80 21155 \\ | ||
- | Fax: +49 241 80 22150 \\ \\ | ||
\\ | \\ | ||
- | Adresse: Ahornstr. 55, 52074 Aachen \\ | + | Für mein Promotionsthema habe ich mich in meiner Zeit am Lehrstuhl mich mit Statischer Analyse von SPS-Programmen beschäftigt. |
- | Büro: Raum 2313 (Gebäude H) | + | Dabei lag der Fokus besonders darauf, wie diese Informationen schon bei der Entwicklung bzw. Eingabe eines Programms einem Entwickler helfen können. |
- | | | {{:lehrstuhl:mitarbeiter:obster.jpg?nolink&150|}} | + | |
- | |} | + | |
- | ===== Forschungsgebiete ===== | + | Darüber hinaus war ich in folgenden Themen aktiv: |
- | + | * Inkrementelle statische Analyse | |
- | * Analyse von SPS-Programmen während der Eingabe (Statische Analyse) | + | |
* Software-SPS | * Software-SPS | ||
+ | * Statische Analyse in [[http://arcade.embedded.rwth-aachen.de/|ARCADE.PLC]] | ||
* IEC-61131 Sprachen | * IEC-61131 Sprachen | ||
* Entwicklungsumgebungen für SPS-Programme auf mobilen Geräten | * Entwicklungsumgebungen für SPS-Programme auf mobilen Geräten | ||
* 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. | ||
\\ | \\ | ||
\\ | \\ | ||
+ | Ich bin weiterhin unter obster[at]embedded[dot]rwth-aachen[dot]de erreichbar. | ||
- | * Master: {{:lehre:mo_inkrementelle_analyse.pdf|Inkrementelle Analyse für Steuerungscode}} | ||
Zeile 45: | Zeile 38: | ||
| ::: | [[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 ===== |