Dies ist eine alte Version des Dokuments!


Mathias Obster, M.Sc. RWTH



Wissenschaftlicher Mitarbeiter
obster[at]embedded[dot]rwth-aachen[dot]de


Tel.: +49 241 80 21155
Fax: +49 241 80 22150


Adresse: Ahornstr. 55, 52074 Aachen
Büro: Raum 2313 (Gebäude H)

Forschungsgebiete

  • Analyse von SPS-Programmen während der Eingabe (Statische Analyse)
  • Software-SPS
  • IEC-61131 Sprachen
  • Entwicklungsumgebungen für SPS-Programme auf mobilen Geräten
  • Ausführung und Simulation von SPS-Programmen auf 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.

Lehre

Sommerfest 2014

Absolventenveranstaltung für Informatiker, die von der Fachgruppe Informatik der RWTH Aachen ausgerichtet und vom Lehrstuhl Informatik 11 organisiert wird. http://www.sommerfest-informatik.de

  • Zentraler Ansprechpartner
  • Planung und Organisation

Veröffentlichungen


Publikations-Export
[Obs20]
Obster, M., "Unterstützung der SPS-Programmierung durch statische Analyse während der Programmeingabe", PhD Thesis, Aachen, 2020.

Unterstützung der SPS-Programmierung durch statische Analyse während der Programmeingabe

Bibtex entry :

@phdthesis {  Obs20,
	author = { Obster, Mathias },
	othercontributors = { Kowalewski, Stefan and Frey, Georg },
	title = { Unterst{\"u}tzung der SPS-Programmierung durch statische
		Analyse w{\"a}hrend der Programmeingabe },
	publisher = { RWTH Aachen University },
	school = { RWTH Aachen University },
	pages = { 1 Online-Ressource (xi, 118 Seiten) : Illustrationen },
	series = { Aachener Informatik-Berichte },
	year = { 2020 },
	address = { Aachen },
	doi = { 10.18154/RWTH-2021-01742 },
	typ = { PUB:(DE-HGF)11 },
	reportid = { RWTH-2021-01742 },
	cin = { 122810 / 120000 },
	url = { http://publications.rwth-aachen.de/record/812214/files/812214.pdf },
}
[OK17]
Obster, M. and Kowalewski, S., "A live static code analysis architecture for PLC software", in Proc. 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation : September 12-15, 2017, Limassol, Cyprus / ABB, IEEE, IES, University of Cyprus, Piscataway, NJ, 2017, IEEE, p. 4.

A live static code analysis architecture for PLC software

Bibtex entry :

@inproceedings {  OK17,
	author = { Obster, Mathias and Kowalewski, Stefan },
	title = { A live static code analysis architecture for PLC software },
	booktitle = { 2017 22nd IEEE International Conference on Emerging
		Technologies and Factory Automation : September 12-15, 2017,
		Limassol, Cyprus / ABB, IEEE, IES, University of Cyprus },
	publisher = { IEEE },
	pages = { 4 Seiten },
	year = { 2017 },
	address = { Piscataway, NJ },
	organization = { 22. IEEE International Conference on Emerging Technologies
		and Factory Automation, Limassol (Cyprus), 2017-09-12 -
		2017-09-15 },
	doi = { 10.1109/ETFA.2017.8247707 },
	typ = { PUB:(DE-HGF)7 },
	reportid = { RWTH-2018-223453 },
	cin = { 122810 / 120000 },
	url = { http://publications.rwth-aachen.de/record/722219 },
}
[UVS+17]
Ulewicz, S., Vogel-Heuser, B., Simon, H., Bohlender, D., Obster, M., and Kowalewski, S., "A priori test coverage estimation for automated production systems : Using generated behavior models for coverage calculation", in Proc. 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation : September 12-15, 2017, Limassol, Cyprus / ABB, IEEE, IES, University of Cyprus, Piscataway, NJ, 2017, IEEE, p. 4.

A priori test coverage estimation for automated production systems : Using generated behavior models for coverage calculation

Bibtex entry :

@inproceedings {  UVS+17,
	author = { Ulewicz, Sebastian and Vogel-Heuser, Birgit and Simon,
		Hendrik and Bohlender, Dimitri and Obster, Mathias and
		Kowalewski, Stefan },
	title = { A priori test coverage estimation for automated production
		systems : Using generated behavior models for coverage
		calculation },
	booktitle = { 2017 22nd IEEE International Conference on Emerging
		Technologies and Factory Automation : September 12-15, 2017,
		Limassol, Cyprus / ABB, IEEE, IES, University of Cyprus },
	publisher = { IEEE },
	pages = { 4 Seiten },
	year = { 2017 },
	address = { Piscataway, NJ },
	organization = { 22. IEEE International Conference on Emerging Technologies
		and Factory Automation, Limassol (Cyprus), 2017-09-12 -
		2017-09-15 },
	doi = { 10.1109/ETFA.2017.8247704 },
	typ = { PUB:(DE-HGF)7 },
	reportid = { RWTH-2018-223451 },
	cin = { 122810 / 120000 },
	url = { http://publications.rwth-aachen.de/record/722217 },
}
[KKO+15]
Kowalewski, S., Kalkov, I., Obster, M., and Thönnessen, D., "Echtzeiterweiterung für Android: SPS inside", IEE - Elektrische Automatisierung + Antriebstechnik, pp. 58-61, 2015

Echtzeiterweiterung für Android: SPS inside

Bibtex entry :

@article {  KKO+15,
	author = { Kowalewski, Stefan and Kalkov, Igor and Obster, Mathias and
		Th{\"o}nnessen, David },
	title = { Echtzeiterweiterung f{\"u}r Android: SPS inside },
	journal = { IEE - Elektrische Automatisierung + Antriebstechnik },
	publisher = { IEE },
	pages = { 58-61 },
	year = { 2015 },
	issn = { 1434-2898 },
	typ = { PUB:(DE-HGF)16 },
	reportid = { RWTH-CONV-236305 },
	cin = { 122810 / 120000 },
	url = { http://publications.rwth-aachen.de/record/752275 },
}
[OKK14]
Obster, M., Kalkov, I., and Kowalewski, S., "Development and Execution of PLC Programs on Real-Time Capable Mobile Devices", in Proc. 2014 IEEE [International Conference on] Emerging Technologies and Factory Automation (ETFA 2014) : Barcelona, Spain, 16 - 19 September 2014 / [co-sponsored by Universitat Politècnica de Catalunya - Barcelona Tech (UPC); IEEE Industrial Electronics Society], Piscataway, NJ, 2014, IEEE, p. 8.

Development and Execution of PLC Programs on Real-Time Capable Mobile Devices

Bibtex entry :

@inproceedings {  OKK14,
	author = { Obster, Mathias and Kalkov, Igor and Kowalewski, Stefan },
	title = { Development and Execution of PLC Programs on Real-Time
		Capable Mobile Devices },
	booktitle = { 2014 IEEE [International Conference on] Emerging
		Technologies and Factory Automation (ETFA 2014) : Barcelona,
		Spain, 16 - 19 September 2014 / [co-sponsored by Universitat
		Politècnica de Catalunya - Barcelona Tech (UPC); IEEE
		Industrial Electronics Society] },
	publisher = { IEEE },
	pages = { 8 Seiten },
	year = { 2014 },
	address = { Piscataway, NJ },
	organization = { 2014 IEEE [International Conference on] Emerging
		Technologies and Factory Automation, Barcelona (Spain),
		2014-09-16 - 2014-09-19 },
	doi = { 10.1109/ETFA.2014.7005218 },
	typ = { PUB:(DE-HGF)7 },
	reportid = { RWTH-CONV-206433 },
	cin = { 120000 / 122810 },
	url = { http://publications.rwth-aachen.de/record/444615 },
}
Diese Website verwendet Cookies. Durch die Nutzung der Website stimmen Sie dem Speichern von Cookies auf Ihrem Computer zu. Wenn Sie nicht einverstanden sind, verlassen Sie bitte die Website.Weitere Information

RWTH Aachen - Lehrstuhl Informatik 11 - Ahornstr. 55 - 52074 Aachen - Deutschland