Gereon Weiss

Learn More
Time-critical multi-processor systems require guaranteed services in terms of throughput, bandwidth etc. in order to comply to hard real-time constraints. However, guaranteed-service schemes suffer from low resource utilization.To the best of our knowledge, we are presenting the first approach for on-chip communication that provides a high resource(More)
The complexity of modern vehicular embedded systems is constantly rising. In addition, distributed embedded systems like automobiles often implement safety-relevant applications which have a high demands on safety and reliability. This poses a great challenge for the design of these systems. Self-adaptation may overcome these challenges and enhance the(More)
Architecture description languages (ADLs) allow specifying system information in architecture models. These are generally used for capturing early design decisions concerning system or software development. Therefore, ADLs can be utilized for an early and iterative validation of the modelled system. With EAST-ADL an automotive-specific ADL is defined which(More)
Today's distributed embedded systems comprise various fields of application. Increasingly they are deployed in complex scenarios and must be able to adapt to changing environments and internal system changes. Such self-adaptive embedded systems pose great advantages in terms of flexibility, resource utilization, energy efficiency and robustness. The(More)
Modern distributed embedded systems are reaching an extreme complexity which is very hard to master with traditional methods. Particularly the need for these systems to adapt their behavior autonomously at runtime to changing conditions is a demanding challenge. Since most industrial application domains of distributed embedded systems have high demands on(More)
In many industrial application domains networked embedded systems realize safety-critical applications. In such systems, adapting the software distribution at runtime can be used to optimize system configurations, to add new features or to handle failure cases. The main objective of this paper is to devise a flexible and efficient solution for runtime(More)
Modern in-vehicle infotainment systems comprise highly interactive software components. The verification of the interfaces of such components poses a major challenge for developers. In this work, we present an approach for model-based verification of distributed infotain-ment components. We define a layered reference model which specifies the interaction(More)