UPDATE: Project Results
In the recent years, model-based solution for the development of complex embedded real-time systems have been introduced successfully in many industry scenarios. While model-based solutions today provide a multitude of concepts, methods and tools for coping with functional properties of embedded systems, such solutions rarely exist for supporting also non-functional or timing properties. The situation is even worse when dealing with systems that exhibit flexible behavior at runtime, e.g., when different systems or subsystems can take different roles or when the architecture of such systems needs to be changed (e.g., to react on context changes or failures).
Within this master project, we will investigate how to extend model-based solutions from the field of automotive systems to develop reliable embedded real-time systems that support flexible behavior with adaptation. Based on the capabilities provided by the existing solutions and the existing tool chain the students will investigate how to reflect non-functional and timing properties also at the model-level and how to preserve these properties within the implementation. Furthermore, different modeling concepts of adapting the behavior at runtime should be evaluated.
As an application example three Robotino robots will be used where the robots can take different roles and have to be able to react on changes of their context. Each robot has to fulfill several non-functional as well as timing constraints (e.g., avoid collisions with other robots).
The master project will consist of the following concrete elements: (1) An extension of an existing development tool chain that support also non-functional aspects, (2) a runtime framework realizing the higher-level concepts present in the models, and (3) a demonstrator where the software for the robots have been developed with the extended development tool chain on top of the runtime framework.
Holger Giese and Garbor Karsai and Edward Lee and Bernhard Rumpe and Bernhard Schatz, (ed.). Model-Based Engineering of Embedded Real-Time Systems, International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers. Vol. 6100 of LNCS. Springer-Verlag, 2011.
Basil Becker and Stefan Neumann and Martin Schenk and Arian Treffer and Holger Giese. Model-Based Extension of AUTOSAR for Architectural Online Reconfiguration. In Sudipto Ghosh, ed., Models in Software Engineering, Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers, vol. 6002 of LNCS, pages 83-97. Springer-Verlag, 2010.