David Thönnessen, M.Sc. RWTH

Contact

Research Associate

Tel. +49 241 80 21169
Fax +49 241 80 22150

Email: thoennessen[at]embedded[dot]rwth-aachen[dot]de

Address: Ahornstr. 55, 52074 Aachen, Germany
Office: Room 2301 (Building H)



Committee of Experts

Patents

  • Elektrisch angetriebene Transportvorrichtung für wenigstens eine Person sowie Steuerungsverfahren hierfür (102016217804.0, 16.09.2016)
  • Transportsystem mit automatischer Folgefunktion sowie Steuerungsverfahren (102016217805.9, 16.09.2016)
  • Verfahren zur Vortriebssteuerung eines dreispurigen Fahrzeugs sowie Fahrzeug (102016221367.9, 28.10.2016)
  • Fahrzeug mit elektromotorisch angetriebenen Rädern und Verfahren zum Lenken desselben (102016221366.0, 28.10.2016)
  • Tethering of a Semi-Autonomous Vehicle (83866252, 03.08.2017)
  • Conveying System with an Automatic Tethering Function (US20180081372A1, 14.09.2017)

Theses

In line with my research there are always new topics for theses. If you are interested please contact me via e-Mail or come to my office.

In Progress

Finished

Teaching

Office Hours

Office hours by appointment

Publications


Publikations-Export
[KTF19]
PDFBIB
Khan, A., Thönnessen, D., and Fabian, M., "On-the-fly conformance testing of safety PLC code using QuickCheck"." 2019.

On-the-fly conformance testing of safety PLC code using QuickCheck

Bibtex entry :

@inproceedings {  KTF19,
	author = { Khan, Adnan and Th{\"o}nnessen, David and Fabian, Martin },
	title = { On-the-fly conformance testing of safety PLC code using
		QuickCheck },
	year = { 2019 },
	organization = { 17th IEEE International Conference on Industrial
		Informatics, INDIN’19 Industrial Applications of
		Artificial Intelligence, Helsinki (Finland), 2019-07-22 -
		2019-07-25 },
	typ = { PUB:(DE-HGF)8 },
	reportid = { RWTH-2019-04271 },
	cin = { 122810 / 120000 },
}
[TSF+19]
PDFBIB
Thönnessen, D., Smallbone, N., Fabian, M., Claessen, K., and Kowalewski, S., "Testing Safety PLCs Using QuickCheck"." 2019.

Testing Safety PLCs Using QuickCheck

Bibtex entry :

@inproceedings {  TSF+19,
	author = { Th{\"o}nnessen, David and Smallbone, Nick and Fabian, Martin
		and Claessen, Koen and Kowalewski, Stefan },
	title = { Testing Safety PLCs Using QuickCheck },
	year = { 2019 },
	organization = { IEEE 15th International Conference on Automation Science and
		Engineering, Vancouver (Canada), 2019-08-22 - 2019-08-26 },
	typ = { PUB:(DE-HGF)8 },
	reportid = { RWTH-2019-04632 },
	cin = { 122810 / 120000 },
}
[BFH+18]
Bordasch, M., Facchi, C., Heidepriem, S., Jähnert, J., Jung, T., Köllner, C., Kraas, A., Krause, J., Krüning, K., Kugler, A., Maschler, B., Schleicher, C., Siegrist, D., Simon, H., Störmer, C., Thönnessen, D., Wassermann, E., Weyrich, M., Wimmer, T., and Zeller, A., "VDI Status Report Testing of Networked Systems for Industrie 4.0", 2018.

VDI Status Report Testing of Networked Systems for Industrie 4.0

Bibtex entry :

@techreport {  BFH+18,
	author = { Bordasch, Manuel and Facchi, Christian and Heidepriem,
		Sebastian and J{\"a}hnert, J{\"u}rger and Jung, Tobias and
		K{\"o}llner, Christian and Kraas, Alexander and Krause, Jan
		and Kr{\"u}ning, Kai and Kugler, Alexander and Maschler,
		Benjamin and Schleicher, Christian and Siegrist, Daniel and
		Simon, Hendrik and St{\"o}rmer, Christoph and
		Th{\"o}nnessen, David and Wassermann, Erik and Weyrich,
		Michael and Wimmer, Thomas and Zeller, Andreas },
	title = { VDI Status Report Testing of Networked Systems for Industrie
		4.0 },
	pages = { 1-20 },
	year = { 2018 },
	typ = { PUB:(DE-HGF)29 },
	reportid = { RWTH-CONV-236295 },
	cin = { 122810 / 120000 },
	url = { https://m.vdi.de/vdi-status-report-testing-of-networked-systems-for-industrie40/ },
}
[TK18]
Thönnessen, D. and Kowalewski, S., "Agiles Testen von cyber-physischen Produktionssystemen : Einsatz von SPS-Sprachen zur Testfallbeschreibung", Atp-Edition : automatisierungstechnische Praxis, vol. 60, iss. 3, pp. 46-55, 2018

Agiles Testen von cyber-physischen Produktionssystemen : Einsatz von SPS-Sprachen zur Testfallbeschreibung

Bibtex entry :

@article {  TK18,
	author = { Th{\"o}nnessen, David and Kowalewski, Stefan },
	title = { Agiles Testen von cyber-physischen Produktionssystemen :
		Einsatz von SPS-Sprachen zur Testfallbeschreibung },
	journal = { Atp-Edition : automatisierungstechnische Praxis },
	publisher = { DIV Dt. Industrieverl. },
	pages = { 46-55 },
	volume = { 60 },
	number = { 3 },
	year = { 2018 },
	address = { M{\"u}nchen },
	issn = { 2364-3137 },
	doi = { 10.17560/atp.v58i03.1917 },
	typ = { PUB:(DE-HGF)16 },
	reportid = { RWTH-2018-225395 },
	cin = { 122810 / 120000 },
	url = { http://publications.rwth-aachen.de/record/727012 },
}
[TK18a]
Thönnessen, D. and Kowalewski, S., "Using PLC Programming Languages for Test-Case Specification of Hardware-in-the-loop Tests", in Proc. [Modellbasierte Entwicklung eingebetteter Systeme, MBEES 2018, 2018-04-16 - 2018-04-18, Hamburg, Germany], 2018, fortiss Technischer Bericht, pp. 41-50.

Using PLC Programming Languages for Test-Case Specification of Hardware-in-the-loop Tests

Bibtex entry :

@inproceedings {  TK18a,
	author = { Th{\"o}nnessen, David and Kowalewski, Stefan },
	title = { Using PLC Programming Languages for Test-Case Specification
		of Hardware-in-the-loop Tests },
	booktitle = { [Modellbasierte Entwicklung eingebetteter Systeme, MBEES
		2018, 2018-04-16 - 2018-04-18, Hamburg, Germany] },
	publisher = { fortiss Technischer Bericht },
	pages = { 41-50 },
	year = { 2018 },
	organization = { Modellbasierte Entwicklung eingebetteter Systeme, Hamburg
		(Germany), 2018-04-16 - 2018-04-18 },
	typ = { PUB:(DE-HGF)8 },
	reportid = { RWTH-CONV-236290 },
	cin = { 122810 / 120000 },
	url = { http://publications.rwth-aachen.de/record/752269 },
}
[TRR+18]
Thönnessen, D., Reinker, N., Rakel, S., and Kowalewski, S., "A concept for PLC hardware-in-the-loop testing using an extension of structured text", 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. 8.

A concept for PLC hardware-in-the-loop testing using an extension of structured text

Bibtex entry :

@inproceedings {  TRR+18,
	author = { Th{\"o}nnessen, David and Reinker, Niklas and Rakel, Stefan
		and Kowalewski, Stefan },
	title = { A concept for PLC hardware-in-the-loop testing using an
		extension of structured text },
	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 = { 8 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.8247580 },
	typ = { PUB:(DE-HGF)7 },
	reportid = { RWTH-2018-223452 },
	cin = { 122810 / 120000 },
	url = { http://publications.rwth-aachen.de/record/722218 },
}
[TRR+18a]
Thönnessen, D., Rakel, S., Reinker, N., and Kowalewski, S., "Matching Discrete Signals for Hardware-in-the-Loop-Testing of PLCs", IFAC-PapersOnLine, vol. 51, iss. 10, pp. 229-234, 2018

Matching Discrete Signals for Hardware-in-the-Loop-Testing of PLCs

Bibtex entry :

@article {  TRR+18a,
	author = { Th{\"o}nnessen, David and Rakel, Stefan and Reinker, Niklas
		and Kowalewski, Stefan },
	title = { Matching Discrete Signals for Hardware-in-the-Loop-Testing
		of PLCs },
	journal = { IFAC-PapersOnLine },
	pages = { 229-234 },
	volume = { 51 },
	number = { 10 },
	year = { 2018 },
	address = { Laxenburg },
	issn = { 2405-8963 },
	organization = { 3rd IFAC Conference on Embedded Systems, Computational
		Intelligence and Telematics in Control },
	doi = { 10.1016/j.ifacol.2018.06.267 },
	typ = { PUB:(DE-HGF)16 },
	reportid = { RWTH-2018-227582 },
	cin = { 122810 / 110000 / 120000 },
	url = { http://publications.rwth-aachen.de/record/731576 },
}
[TRR+18b]
Thönnessen, D., Reinker, N., Rakel, S., Svetlakov, A., and Kowalewski, S., "Correctness Properties and Exemplified Applicability of a Signal Matching Algorithm with Multidimensional Tolerance Specifications", in Proc. 2018 IEEE 14th International Conference on Automation Science and Engineering (CASE) : Munich, Germany, August 20-24, 2018, Piscataway, NJ, 2018, IEEE, pp. 1197-1202.

Correctness Properties and Exemplified Applicability of a Signal Matching Algorithm with Multidimensional Tolerance Specifications

Bibtex entry :

@inproceedings {  TRR+18b,
	author = { Th{\"o}nnessen, David and Reinker, Niklas and Rakel, Stefan
		and Svetlakov, Andrei and Kowalewski, Stefan },
	title = { Correctness Properties and Exemplified Applicability of a
		Signal Matching Algorithm with Multidimensional Tolerance
		Specifications },
	booktitle = { 2018 IEEE 14th International Conference on Automation
		Science and Engineering (CASE) : Munich, Germany, August
		20-24, 2018 },
	publisher = { IEEE },
	pages = { 1197-1202 },
	year = { 2018 },
	address = { Piscataway, NJ },
	organization = { 2018 IEEE 14th International Conference on Automation
		Science and Engineering, Munich (Germany), 2018-08-20 -
		2018-08-24 },
	doi = { 10.1109/COASE.2018.8560407 },
	typ = { PUB:(DE-HGF)7 },
	reportid = { RWTH-2019-00319 },
	cin = { 122810 / 120000 },
	url = { http://publications.rwth-aachen.de/record/752982/files/752982.pdf },
}
[TSN+16]
Thönnessen, D., Schweigler, M., Ney, O., and Kugelmeier, M., "Conveying system with an automatic tethering function", 2016.

Conveying system with an automatic tethering function

Bibtex entry :

@techreport {  TSN+16,
	author = { Th{\"o}nnessen, David and Schweigler, Martin and Ney, Oliver
		and Kugelmeier, Mirko },
	title = { Conveying system with an automatic tethering function },
	pages = { 1-7 },
	year = { 2016 },
	typ = { PUB:(DE-HGF)23 },
	reportid = { RWTH-CONV-236287 },
	url = { https://depatisnet.dpma.de/DepatisNet/depatisnet?action=bibdat&docid=US020180081372A1 },
}
[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 },
}

RWTH Aachen University - Chair of Computer Science 11 - Ahornstr. 55 - 52074 Aachen - Germany