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 2302 (Gebäude H/Hauptbau)

Forschungsgebiete

  • Analyse von SPS-Programmen während der Eingabe (Statische Analyse)
  • Inkrementelle 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

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
[OK18]
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], 2018 in IEEE International Conference on Emerging Technologies and Factory Automation-ETFA, IEEE, p. 4.

A live static code analysis architecture for PLC software

Bibtex entry :

@inproceedings {  OK18,
	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 },
	series = { IEEE International Conference on Emerging Technologies and
		Factory Automation-ETFA },
	year = { 2018 },
	address = { [Piscataway, NJ] },
	organization = { 22nd 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+18]
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], 2018 in IEEE International Conference on Emerging Technologies and Factory Automation-ETFA, IEEE, p. 4.

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

Bibtex entry :

@inproceedings {  UVS+18,
	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 },
	series = { IEEE International Conference on Emerging Technologies and
		Factory Automation-ETFA },
	year = { 2018 },
	address = { [Piscataway, NJ] },
	organization = { 22nd 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., Kowalewski, S., and Kalkov, I., "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 Kowalewski, Stefan and Kalkov, Igor },
	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.embedded.rwth-aachen.de/file/5e },
}

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