Frank Trollmann

Learn More
A self-adaptive software system modifies its behavior at runtime in response to changes within the system or in its execution environment. The fulfillment of the system requirements needs to be guaranteed even in the presence of adverse conditions and adaptations. Thus, a key challenge for self-adaptive software systems is assurance. Traditionally,(More)
Runtime models enable the implementation of highly adaptive applications but also require a rethinking in the way we approach models. Metamodels of runtime models must be supplemented with additional runtime concepts that have an impact on the way how runtime models are built and reflected in the underlying runtime architectures. The goal of this work is(More)
With the current rise of electric vehicles, it is possible to use those vehicles for storing surplus energy from renewable energy sources; however, this can be in conflict with providing and ensuring the mobility of the vehicle’s user. At DAI-Labor, we have a large number of both, past and upcoming projects concerned with those two aspects of managing(More)
Since gestures are one of the natural interaction modalities between humans they also represent a promising interaction modality for human computer interaction. Finger rings provide an unobtrusive way to detect hand and finger gestures if they are able to detect a large variety of gestures involving hands and multiple fingers. One method that could be used(More)
Self-adaptive software systems modify their behaviour at runtime in response to changes in the system or its environment. The fulfilment of the system requirements and reachability of the system goals needs to be guaranteed even in the presence of adaptations. Thus, a key challenge for self-adaptive software systems is assurance. Traditionally, confidence(More)
In this paper we define a notion to describe consistency within and between models, which has been identified as important issue when using model-based tools. We introduce the abstract syntax of models as attributed typed graphs and define a formalism of consistency based on this formal description. The application of the formalism is illustrated by an(More)