Position innerhalb des Seitenbaumes

Institut für Automatisierungstechnik und Softwaresysteme
Institut
Team
Weiß, Matthias

Matthias Weiß

M.Sc.

Akademischer Mitarbeiter
Institut für Automatisierungstechnik und Softwaresysteme

Kontakt

+49 711 685 67286
+49 711 685 67302
E-Mail
Google Scholar

Pfaffenwaldring 47
70550 Stuttgart
Raum: 1.115

Publikationen

Zeitschriften und Konferenzen:

2024
1. F. Dettinger, M. Weiß, and M. Weyrich, Future Use Cases for Vehicular Communication based on Connected Functions. 2024, pp. 1–5.
  - BibTeX
  BibTeX
  @book{10757637, author = {Dettinger, Falk and Weiß, Matthias and Weyrich, Michael}, booktitle = {2024 IEEE 100th Vehicular Technology Conference (VTC2024-Fall)}, doi = {10.1109/VTC2024-Fall63153.2024.10757637}, pages = {1-5}, title = {Future Use Cases for Vehicular Communication based on Connected Functions}, year = 2024 }
2023
1. M. Weiß, M. Müller, F. Dettinger, N. Jazdi, and M. Weyrich, “Continuous Analysis and Optimization of Vehicle Software Updates using the Intelligent Digital Twin,” 2023, pp. 1–7.
  - BibTeX
  BibTeX
  @inproceedings{inproceedings, author = {Weiß, Matthias and Müller, Manuel and Dettinger, Falk and Jazdi, Nasser and Weyrich, Michael}, doi = {10.1109/ETFA54631.2023.10275489}, month = {09}, pages = {1-7}, title = {Continuous Analysis and Optimization of Vehicle Software Updates using the Intelligent Digital Twin}, year = 2023 }
2. F. Dettinger, H. Wei, M. Weiß, N. Jazdi, and M. Weyrich, “Dateneffiziente Vervollständigung des Umgebungsmodells von autonomen vernetzten Systemen mittels Sensorfusion,” 2023, pp. 513–524.
  - BibTeX
  BibTeX
  @inproceedings{inproceedings, author = {Dettinger, Falk and Wei, Han and Weiß, Matthias and Jazdi, Nasser and Weyrich, Michael}, doi = {10.51202/9783181024195-513}, isbn = {9783181024195}, month = {06}, pages = {513-524}, title = {Dateneffiziente Vervollständigung des Umgebungsmodells von autonomen vernetzten Systemen mittels Sensorfusion}, year = 2023 }
3. M. Weiß, F. Dettinger, N. Jazdi, and M. Weyrich, “DevOps als Enabler der kontinuierlichen Funktionsverbesserung und automatisierten Update-Analyse in software-definierten Systemen,” 2023, pp. 487–500.
  - BibTeX
  BibTeX
  @inproceedings{inproceedings, author = {Weiß, Matthias and Dettinger, Falk and Jazdi, Nasser and Weyrich, Michael}, doi = {10.51202/9783181024195-487}, isbn = {9783181024195}, month = {06}, pages = {487-500}, title = {DevOps als Enabler der kontinuierlichen Funktionsverbesserung und automatisierten Update-Analyse in software-definierten Systemen}, year = 2023 }
4. T. Müller, B. Caesar, M. Weiß, S. Ferhat, N. Sahlab, A. Fay, R. Oger, N. Jazdi-Motlagh, and M. Weyrich, “Reconfiguration management in manufacturing : A systematic literature review,” Automatisierungstechnik, vol. 71, pp. 330–350, 2023.
  - BibTeX
  BibTeX
  @article{muller2023reconfiguration, affiliation = {Muller, T (Corresponding Author), Univ Stuttgart, Inst Ind Automat \& Software Engn, Pfaffenwaldring 47, D-70550 Stuttgart, Germany. Mueller, Timo; Weiss, Matthias; Sahlab, Nada; Jazdi, Nasser; Weyrich, Michael, Univ Stuttgart, Inst Ind Automat \& Software Engn, Pfaffenwaldring 47, D-70550 Stuttgart, Germany. Caesar, Birte; Fay, Alexander, Helmut Schmidt Univ, Inst Automat Technol, Holstenhofweg 85, D-22043 Hamburg, Germany. Ferhat, Selma; Oger, Raphael, IMT Mines Albi Carnaux, Ctr Genie Ind All Sci, F-81000 Albi, France. Ferhat, Selma, MINES ParisTech, Ctr Gest Sci, 60 Blvd St Michel, F-75272 Paris 06, France.}, author = {Müller, Timo and Caesar, Birte and Weiß, Matthias and Ferhat, Selma and Sahlab, Nada and Fay, Alexander and Oger, Raphaël and Jazdi-Motlagh, Nasser and Weyrich, Michael}, doi = {10.1515/auto-2022-0139}, issn = {{0178-2312} and {2196-677X}}, journal = {Automatisierungstechnik}, language = {eng}, number = 5, pages = {330-350}, publisher = {De Gruyter}, research-areas = {Automation \& Control Systems}, title = {Reconfiguration management in manufacturing : A systematic literature review}, unique-id = {WOS:000982913200002}, volume = 71, year = 2023 }
2022
1. D. White, M. Weiß, N. Jazdi-Motlagh, and M. Weyrich, “Variant generation of software-defined mechatronic systems in model-based systems engineering,” in 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA), Stuttgart, 2022.
  - BibTeX
  BibTeX
  @inproceedings{white2022variant, address = {Piscataway}, affiliation = {White, D (Corresponding Author), Univ Stuttgart, Inst Ind Automat \& Software Engn, Stuttgart, Germany. White, Dustin; Weiss, Matthias; Jazdi, Nasser; Weyrich, Michael, Univ Stuttgart, Inst Ind Automat \& Software Engn, Stuttgart, Germany.}, author = {White, Dustin and Weiß, Matthias and Jazdi-Motlagh, Nasser and Weyrich, Michael}, booktitle = {2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA)}, doi = {10.1109/ETFA52439.2022.9921483}, eventdate = {2022-09-06/2022-09-09}, eventtitle = {2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA)}, isbn = {{978-1-6654-9996-5} and {978-1-6654-9997-2}}, language = {eng}, publisher = {IEEE}, research-areas = {Automation \& Control Systems; Engineering}, title = {Variant generation of software-defined mechatronic systems in model-based systems engineering}, unique-id = {WOS:000934103900055}, venue = {Stuttgart}, year = 2022 }
2021
1. M. Weiß, P. Marks, B. Maschler, D. White, P. Kesseli, and M. Weyrich, “Towards establishing formal verification and inductive code synthesis in the PLC domain,” in 19th IEEE International Conference on Industrial Informatics (INDIN), Palma de Mallorca, Spain, July 2021, 2021.
  - Zusammenfassung
  - BibTeX
  Zusammenfassung
  Nowadays, formal methods are used in various areas for the verification of programs or for code generation from models in order to increase the quality of software and to reduce costs. However, there are still fields in which formal methods haven’t been widely adopted, despite the large set of possible benefits offered. This is the case for the area of programmable logic controllers (PLC). This article aims to evaluate the potential of formal methods in the context of PLC development. For this purpose, the general concepts of formal methods are first introduced and then transferred to the PLC area, resulting in an engineering-oriented description of the technology that is based on common concepts from PLC development. Based on this description, PLC professionals with varying degrees of experience were interviewed for their perspective on the topic and to identify possible use cases within the PLC domain. The survey results indicate the technology’s high potential in the PLC area, either as a tool to directly support the developer or as a key element within a model-based systems engineering toolchain. The evaluation of the survey results is performed with the aid of a demo application that communicates with the Totally Integrated Automation Portal from Siemens and generates programs via Fastsynth, a model-based open source code generator. Benchmarks based on an industry-related PLC project show satisfactory synthesis times and a successful integration into the workflow of a PLC developer.
  BibTeX
  @conference{weiss2021towards, abstract = {Nowadays, formal methods are used in various areas for the verification of programs or for code generation from models in order to increase the quality of software and to reduce costs. However, there are still fields in which formal methods haven’t been widely adopted, despite the large set of possible benefits offered. This is the case for the area of programmable logic controllers (PLC). This article aims to evaluate the potential of formal methods in the context of PLC development. For this purpose, the general concepts of formal methods are first introduced and then transferred to the PLC area, resulting in an engineering-oriented description of the technology that is based on common concepts from PLC development. Based on this description, PLC professionals with varying degrees of experience were interviewed for their perspective on the topic and to identify possible use cases within the PLC domain. The survey results indicate the technology’s high potential in the PLC area, either as a tool to directly support the developer or as a key element within a model-based systems engineering toolchain. The evaluation of the survey results is performed with the aid of a demo application that communicates with the Totally Integrated Automation Portal from Siemens and generates programs via Fastsynth, a model-based open source code generator. Benchmarks based on an industry-related PLC project show satisfactory synthesis times and a successful integration into the workflow of a PLC developer.}, author = {Weiß, Matthias and Marks, Philipp and Maschler, Benjamin and White, Dustin and Kesseli, Pascal and Weyrich, Michael}, booktitle = {19th IEEE International Conference on Industrial Informatics (INDIN), Palma de Mallorca, Spain, July 2021}, title = {Towards establishing formal verification and inductive code synthesis in the PLC domain}, year = 2021 }

Forschung

Forschungsschwerpunkt: - Diagnose und Adaption verteilter Automatisierungssysteme im Kontext der kontinuierlichen Software-Entwicklung

Beschreibung: -Die moderne Systementwicklung ist geprägt von gestiegenen Kundenanforderungen und einem höheren Marktund Zeitdruck. Die hierfür notwendigen Innovationen werden einerseits über einen höheren Software-Anteil in Produkten und andererseits über die Vernetzung von immer mehr bisher unabhängigen Systemen geschaffen, wodurch insgesamt heterogene und damit auch komplexere IT-Strukturen entstehen. Deren Software-Komponenten werden regelmäßig über kontinuierliche Updates aktualisiert, um bestehende Funktionen zu verbessern oder neue Mehrwerte für den Kunden zu generieren. Dieser Wandel stellt traditionelle Industrien vor die Herausforderung, ihre Prozesse und die Architekturen der gefertigten Produkte an die neuen Gegebenheiten anzupassen. Im Fokus steht der Aufbau einer kontinuierlichen Feedback-Schleife: Das System sammelt während des Betriebs laufend Daten, die anschließend vom Hersteller analysiert werden können. Die aus diesem Vorgang gewonnenen Erkenntnisse lassen sich zur Fehlerbehebung oder Entwicklung weiterer Updates nutzen. Insbesondere in komplexen Systemen erschwert das hohe Volumen an heterogenen Daten diese Analyse-Prozesse jedoch – Teilautomatisierte oder sogar manuelle Vorgänge, die nach aktuellem Stand zur Datenauswertung noch immer eingesetzt werden, können nicht in ausreichendem Maß skaliert werden. Zu diesem Zweck wird im Rahmen der Forschung untersucht, inwiefern sich klassische Methoden und Techniken aus dem Bereich der Continuous Integration und Continuous Delivery (CI/CD) in die Entwicklung einer neuartigen, serviceorientierten IT-Architektur für moderne Fahrzeuge übertragen lassen. Im Fokus steht hier insbesondere, inwieweit über KI-gestützte Methoden repetitive Aufgaben erkannt und automatisiert werden können. Ebenfalls soll untersucht werden, wie auf Basis von aus dem laufenden Betrieb gewonnenen Daten automatisch eingeschätzt werden kann, ob Änderungen an der Software die gewünschten Effekte erzielt haben.

Forschungsportal:
https://www.researchgate.net/profile/Matthias-Weiss-12
https://scholar.google.com/citations?user=cZqSjVQAAAAJ&hl=de