SPES 2020

The national innovation alliance “Software Platform Embedded Systems 2020” (SPES 2020) works on solutions for the cross-domain and model-based development of embedded software. Model-based techniques based on a solid mathematical fundament enable an efficient development of embedded systems – comprising initial customer requirements, design and implementation, and verification and certification of the systems.

From all over Germany, 21 partners from industry and science participate in research and development activities. As the project progresses, it is planned to have further companies to participate, in particular small and medium sized ones, in order to establish a broad transfer of the results into the German economy. The project is sponsored with currently €22 million over three years and is initially planned to be carried out until October 2011.

Project Structure

SPES 2020 is broken down into one central project consisting of six work packages, and five application projects. The application projects correspond to the domains that are considered in SPES 2020, i.e. automation, automotive engineering, energy, health care, and avionics. The central project comprises the domain-independent methodology for the development of embedded systems with the emphasis on requirements engineering, architecture design, proof of safety and certification, and parallel real-time processes. The foundation is set with a methodology for the comprehensive and integrated model-based development. Furthermore, the industrial
applicability of the methods created in the project is evaluated empirically.

Participation of the Software Engineering Group

The Software Engineering Group in cooperation with the s-lab - Software Quality Lab - and its associated partner Hella KGaA Hueck & Co. works on an own work package in the automotive application project, which is further coordinated by Prof. Schäfer as second-incommand. In this work package, we aim to work out a development methodology that links requirements engineering, system architecture design, and software/hardware architecture design in a model-based way. Thus, starting from formal, textual requirements on the basis of sentence patterns, we want to generate initial system architectures in form of SysML models that are extended with time. After further refinements of the system architectures, initial AUTOSAR architectures should be synthesized and analyzed with regard to time response and resource utilization. Additionally, rules for consistency and traceability are defined as link between the models. Last, the new development methodology is integrated into well-known process evaluation models.

In order to incorporate the results into the central projects, the software engineering group further participates in the first three work packages of the central project. Besides the concepts for the model-based requirements and architecture specification, the comprehensive modeling theory is developed that is the foundation for SPES 2020.

Contact Person

Dr. rer. nat. Matthias Meyer

Phone: +49 5251 60-5459
Fax:     +49 5251 60-3985
Mail:     matthias.meyer@ipt.fraunhofer.de
Room:  W1.107