Dies ist eine alte Version des Dokuments!
Wissenschaftlicher Mitarbeiter Tel.: +49 241 80 21169 Fax: +49 241 80 22150 Email: thoennessen[at]embedded[dot]rwth-aachen[dot]de Adresse: Ahornstr. 55, 52074 Aachen, Germany Büro: Raum 2301 (Gebäude H, 3. OG) |
Im Rahmen meiner Forschungstätigkeit ergeben sich kontinuierlich Themen für Abschlussarbeiten. Bei Interesse an einem der folgenden Themen bitte ich um Kontaktaufnahme per E-Mail oder persönlich bei mir im Büro. Eine Nachfrage nach weiteren, noch nicht gelisteten Themen ist ebenfalls erwünscht.
Semester | Titel | Art |
Wintersemester 14/15 | Praktikum Systemprogrammierung | P |
Ausgesuchte Themen zur Eingebetteten Software | S | |
Sommersemester 15 | Praktikum Systemprogrammierung | P |
Dienste in der Industrie 4.0 | S | |
Wintersemester 15/16 | Praktikum Systemprogrammierung | P |
Modellbasiertes Testen & Analyse eingebetteter Software | S | |
Sommersemester 16 | Praktikum Systemprogrammierung | P |
Eingebettete Software in Medizintechnik & eMobilität | S | |
Wintersemester 16/17 | Praktikum Systemprogrammierung | P |
Eingebettete Software in Medizintechnik & eMobilität | S | |
Sommersemester 17 | Praktikum Systemprogrammierung | P |
Modellbasiertes Testen & Analyse eingebetteter Software | S | |
Wintersemester 17/18 | Modellbasiertes Testen & Analyse eingebetteter Software | S |
Nach Vereinbarung.
@phdthesis { Tho21, author = { Th{\"o}nnessen, David }, othercontributors = { Kowalewski, Stefan and Fabian, Martin }, title = { Hardware-in-the-Loop testing of industrial automation systems using PLC languages }, publisher = { RWTH Aachen University }, school = { RWTH Aachen University }, pages = { 1 Online-Ressource : Illustrationen, Diagramme }, series = { Aachener Informatik-Berichte }, year = { 2021 }, address = { Aachen }, doi = { 10.18154/RWTH-2021-08705 }, typ = { PUB:(DE-HGF)11 }, reportid = { RWTH-2021-08705 }, cin = { 122810 / 120000 }, url = { http://publications.rwth-aachen.de/record/826036/files/826036.pdf }, }
@inproceedings { SRT+20, author = { Smieschek, Manfred and Rakel, Stefan and Th{\"o}nnessen, David and Derks, Andreas and Stollenwerk, André and Kowalewski, Stefan }, title = { A Remote Test Environment for a Large-Scale Microcontroller Laboratory Course }, booktitle = { Cyber physical systems : model-based design : 9th international workshop, CyPhy 2019 and 15th international workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019 : revised selected papers / Roger Chamberlain, Martin Edin Grimheden, Walid Taha (eds.) }, publisher = { Springer }, pages = { 231-246 }, series = { Lecture Notes in Computer Science }, year = { 2020 }, address = { Cham }, organization = { Workshop on Embedded Systems and Cyber-Physical Systems Education, New York (USA), 2019-10-17 - 2019-10-18 }, doi = { 10.1007/978-3-030-41131-2_11 }, typ = { PUB:(DE-HGF)7 }, reportid = { RWTH-2020-02344 }, cin = { 122810 / 120000 }, url = { http://publications.rwth-aachen.de/record/783169/files/Remote%20Pool%20Final.pdf }, }
@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 }, booktitle = { 2019 IEEE 17th International Conference on Industrial Informatics (INDIN) : Aalto University, Helsinki-Espoo, Finland, 22-25 July, 2019 : proceedings / organized by: Aalto University, Finland; Tampere University, Finland; Finnish Society of Automation, Finland ; sponsored by: the Institute of Electrical and Electronics Engineers (IEEE), IEEE Industrial Electronics Society (IES) }, publisher = { IEEE }, pages = { 419-424 }, year = { 2019 }, address = { Piscataway, NJ }, organization = { 17. IEEE International Conference on Industrial Informatics, Helsinki (Finland), 2019-07-22 - 2019-07-25 }, doi = { 10.1109/INDIN41052.2019.8972277 }, typ = { PUB:(DE-HGF)7 }, reportid = { RWTH-2019-04271 }, cin = { 122810 / 120000 }, url = { http://publications.rwth-aachen.de/record/760542 }, }
@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 }, booktitle = { 2019 IEEE 15th International Conference on Automation Science and Engineering : (CASE) : August 22-26, 2019, Vancouver, BC, Canada / sponsored by IEEE Robotics and Automation Society ; CASE editorial board: editor-in-chief: Spiridon (Spyros) Reveliotis ; editors: Cappelleri, David; Dimarogonas, Dimos V.; Dotoli, Mariagrazia; Fanti, Maria Pia; LUTZ, Philippe; Seatzu, Carla; Xie, Xiaolan }, publisher = { IEEE }, pages = { 1388-1393 }, year = { 2019 }, address = { Piscataway, NJ }, organization = { 15. International Conference on Automation Science and Engineering, Vancouver, BC (Canada), 2019-08-22 - 2019-08-26 }, doi = { 10.1109/COASE.2019.8843227 }, typ = { PUB:(DE-HGF)7 }, reportid = { RWTH-2019-04632 }, cin = { 122810 / 120000 }, url = { http://publications.rwth-aachen.de/record/761173 }, }
@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://www.vdi.de/ueber-uns/presse/publikationen/details?tx_vdipublications_publicationdetails%5Bpublication%5D=19&cHash=e6b4c230eafa31d95ceb75395274c78c }, }
@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 }, }
@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 }, }
@article { TRR+18, 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 = { 3. 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 }, }
@inproceedings { TRR+18a, 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) : 20-24 Aug. 2018 / general chair: Birgit Vogel-Heuser (Technical University of Munich) ; publisher: IEEE }, publisher = { IEEE }, pages = { 1197-1202 }, year = { 2018 }, address = { Piscataway, NJ }, organization = { IEEE 14. 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 }, }
@inproceedings { TRR+17, 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 }, 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.8247580 }, typ = { PUB:(DE-HGF)7 }, reportid = { RWTH-2018-223452 }, cin = { 122810 / 120000 }, url = { http://publications.rwth-aachen.de/record/722218 }, }
@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://worldwide.espacenet.com/patent/search?q=pn%3DUS20180081372A1 }, }
@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 }, }