Department of Informatics

TU München - Fakultät für Informatik
Software & Systems Engineering Research Group


Current Projects

  • SPES 2020. The objective of the SPES project is the conceptual design, realization, and testing of an efficient methodology of an integrated, model based and tool supported, development of embedded systems. It provides significant contributions in different application areas, which helps to control these increasingly powerful, networked, and complex systems.
  • Evaluating Costs- and Benefits of model-based development of embedded software systems in the car industry. In collaboration with the technology consulting company Altran Technologies ( the costs and benefits of model-based development of embedded software systems in the car industry is being analysed. We aim to identify the essential costs- and benefit driver and to analyze how the costs- and benefits can be optimized. The results of the work are derived from Case study interviews and from results of a global study.
  • InServe III. Service-Based Development of Reactive Systems focused on theorical as well as methodical aspects. Funded by DFG.
  • CawarFLOW. Integration of context aware systems and domain knowledge by means of workflow descriptions
  • InGen. Development of a hierachical approach to knowledge representation and action planning
  • MoTeCh. The objective of MoTeCh is the development of techniques for the model-based test of smart card applications. Therefore suitable modeling techniques for smart card applications, precise description of test strategies, and algorithms are chosen. These are the basis for deriving test cases.

Completed Projects

  • AutoVIBN. Supported by the BMWi (AiF) the Competence Center Model-Based Development in cooperation with the iwb and several industrial partners develops description techniques and methods for logical behavior modeling of mechatronic systems in the factory automation domain. These models aim at supporting the system development process by exploration and simulation of different solution ideas on a logical level. Additionally, these models can be a basis for the generation of derived models, such as models for virtual commissioning.
  • GENESYS. It was the objective of the GENESYS project to develop a cross-domain reference architecturefor embedded systems that meets the requirements and constraints documented in the ARTEMIS SRA. These ARTEMIS requirements are composability, networking and security, robustness, diagnosis and maintenance, integrated resource management, evolvability and self-organization. The reference architecture will be domain-independent and serve as a template that can be instantiated to concrete platforms for individual application domains (i.e., automotive, avionic, industrial control, mobile, consumer electronics).
  • FlaSCo. A feasibility study, in which an industrial embedded system was formally specified and designed. A project with Siemens Industry Automation and Drive.
  • VEIA. The goal of the project was the development of a practical method for distributed engineering and integration of automotive product lines. The method should be based on concepts for product line engineering and be geared to concrete requirements of industrial development processes.
  • Verisoft-Automotive. The main goal of the project is the pervasive formal verification of computer systems. The correct functionality of systems, as they are applied, for example, in automotive engineering, in security technology and in the sector of medical technology, are to be mathematically proved.

© Software & Systems Engineering Research Group
Sitemap |  Kontakt/Impressum
Letzte Änderung: 2010-06-16 14:23:46