About
13
Publications
2,096
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
30
Citations
Introduction
Matthias Weiß is a PhD student at the Institute of Industrial Automation and Software Engineering (IAS) of the University of Stuttgart. His research is concerned with operational analysis and optimization of software-defined systems.
Current institution
Publications
Publications (13)
Wireless communication between road users is essential for environmental perception, reasoning, and mission planning to enable fully autonomous vehicles, and thus improve road safety and transport efficiency. To enable collaborative driving, the concept of vehicle-to-Everything (V2X) has long been introduced to the industry. Within the last two dec...
As software-defined vehicles continue to dominate automotive research, the vision for a future of extensively connected vehicular environments, including vehicle-to-everything (V2X) communications and nationwide connected infrastructures, grows more pronounced. However, despite the existence of standards to support these advances, widespread adopti...
The emergence of connected vehicles is driven by increasing customer and regulatory demands. To meet these, more complex software applications, some of which require service-based cloud and edge backends, are developed. Due to the short lifespan of software, it becomes necessary to keep these cloud environments and their applications up to date wit...
The prediction of the remaining service life is a widely researched topic. A precise forecast of the remaining service life enables optimising the total cost of ownership, resulting in better utilization of the resources already used as well as the avoidance of cost-intensive unplanned downtimes. Especially in the increasingly important second life...
The emergence of connected vehicles is driven by increasing customer and regulatory demands. To meet these, more complex software applications, some of which require service-based cloud and edge backends, are developed. Due to the short lifespan of software, it becomes necessary to keep these cloud environments and their applications up to date wit...
An increasing proportion of software characterizes modern automated systems such as vehicles. It can be used to provide new functions to improve the customer experience in terms of automation, personalization, and connectivity. For system development, this means that classic processes must be rethought and supplemented by new strategies. This is ma...
Um den Betrieb autonomer vernetzter mobiler Systeme zu ermöglichen, müssen diese ihre dynamische Umgebung möglichst exakt erfassen können. Hierzu werden mehrere unterschiedliche Sensoren verwendet, um die physikalisch-technischen Limitierungen einzelner Sensoren zu überwinden. Da von Sensoren angestrahlte Objekte einen Objektschatten werfen, können...
Software in products is required to ensure greater flexibility and interoperability. This trend is exemplified in the automotive industry, which is striving for a data loop in the context of software-defined vehicles, in which updates are developed in short cycles and delivered over-the-air to customers. During operation, data from vehicles and bac...
Driven by shorter innovation and product life cycles as well as economic volatility, the demand for reconfiguration of production systems is increasing. Thus, a systematic literature review on reconfiguration management in manufacturing is conducted within this work in order to determine by which degree this is addressed by the literature. To appro...
Today’s systems engineering is challenged by an increasing number of requirements aimed at smaller target audiences. This leads to a rise of variants to fulfill individual consumer demands. Because of the complexity introduced by the surge of software-defined mechatronic systems, deriving new variants manually is becoming increasingly difficult. As...
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 are...
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 have not been widely adopted, despite the large set of possible benefits offered. This is the case for the ar...