Due to the increasing demand and complexity of modern component-based real-time systems, new design methodologies are crucial. A promising approach is separation of non-orthogonal concerns in combination with component-based real-time system de- sign which has been a well known research area in the recent years, but only sparsely conquers real-time domain. A real-time system is specifi,ed by several components. Each component is related to several ports. A port consists of a functional and also a behavioral aspect. The behavior of a port is specifi,ed as real-time behavior and fur- ther describes a certain communication protocol. The overall behavior of a component is defi,ned as concurrently executed protocol behavior of its related ports. Because separation of non-orthogonal concerns allows to specify a certain component in dis- tinct concerns, the composition of these components into an overall component, the behavior of this component might provide states constellations which yield violating situations. Therefore, a behavioral synthesis is required that provides a composed real-time behavior of an overall component which further avoids violating situations. The comprehensive work Separation of Non-Orthogonal Concerns in Software Archi- tecture and Design of Holger Giese and Alexander Vilbig is a broad fundament for this thesis which provides such a behavioral synthesis, but only for the non real-time behavior. Their results and experiences are employed to handle the behavioral com- position which is required for a separation of non-orthogonal concerns of component based real-time system design methodology. To cope with this issue, a rigorous formal model is defi,ned to specify real-time behavior which has similarities to the common timed automaton. Further, a proper notion of concurrency is defi,ned on this model. To reason about the overall component behavior, a discrete-time semantic is defi,ned. To describe violating situations, two kinds of restrictions are defi,ned: a state based restriction type and a sequence based restriction type. The behavioral synthesis synthesizes a maximal consistent real-time behavior of a composed component which is conform with respect to its constituent real-time behavior and also preserves quantitative timing requirements of its constituents. But, the behavioral synthesis fails if a confl,ict between the requirements of the application domain and the overall behavior of a component exists.

Today, the development of large software systems is more and more based on models. Different types of models are needed to express different views on the system and to describe its different properties. For example, class diagrams show the structure and sequence diagrams the behaviour of a software system. Along with the use of many types of models goes the problem of keeping these models up-to-date. Typically, models change often during the development cycle of a software system. Changes of one model have to be propagated to the other models. This is often done manually, which is time consuming and error prone. A solution to this problem are model transformations that automatically convert one type of model into another. Some simple approaches discard the target model and completely rebuild it. This also discards any changes made to the target model afterwards. Therefore, an algorithm is needed that only changes the target model so it is equivalent to the source model again. Such a synchronisation algorithm was already developed based on Triple Graph Grammars (cp. [11]) but it still offers potential for improvement. In case of a modi cation the algorithm discards all affected elements in the target model and retransforms them. Furthermore, all elements depending on the discarded element are discarded and retransformed, too. In many cases, this procedure is not necessary, for example, if an element is moved in the source model. Such modi cations usually do not affect the depending elements. Therefore, these depending elements should be reused instead of retransforming them. This can save effort and speed up the synchronisation process. This is the aim of this thesis, to develop a new algorithm based on the old algorithm from [11] that reuses elements in the target model whenever possible. After such an algorithm is developed, the performance improvement compared to the old algorithm is to be measured using some synthetic models.

Durch die globale Vernetzung und Mobilität eingebetteter Systeme ist schwer vorherzusagen, wie einzelne Komponenten in Zukunft interagieren. Das Verhalten der Software muss deshalb während der Betriebszeit ständig an sich ändernde Bedingungen angepasst werden. Storydiagramme modellieren die Umwelt, den Zustand und das Verhalten eines Programms als Graph. Der Graph kann zur Laufzeit verändert werden, um so das Verhalten der Software anzupassen. Ziel der Arbeit ist es, einen Storydiagramminterpreter für eingebettete Systeme zu entwickeln. Dabei steht die Rekonfiguration und Selbstmodifikation von Verhalten im Mittelpunkt. Für den Entwurf und die Implementation wurde eine Kombination aus funktionalen und objektorientierten Programmiertechniken benutzt. Es wird gezeigt, wie der Interpreter auf dem mobilen Robotersystem Robotino innerhalb einer Echtzeitumgebung eingesetzt werden kann. Abschließend wird untersucht, wie sich Rekonfiguration und Selbstmodifikation von Storydiagrammen zur Laufzeit auf die Ausführungsdauer und Speicherverbrauch von Programmen auswirkt.