TU Berlin

Software and Embedded Systems EngineeringMeMo

SESE-Logo in blau

Page Content

to Navigation

The MeMo Project

This project is funded by the Investititonsbank Berlin (IBB) within the subsidy program for research, innovation and technology (Pro FIT).

Methods of Model Quality (MeMo)

The project Methods of Model Quality aims to develop novel static analysis based methods for quality assurance for embedded systems. In the project cooperate the Group of Software Engineering for Embedded Systems at the Technical University of Berlin and two Berlin-based companies: Model Engineering Solutions GmbH and the regional office of Berner & Mattner Systemtechnik GmbH.

Embedded systems are employed in a broad range of application areas, e.g. telecommunication, medical and mechanical engineering, automotive, aviation, space and railway industries as well as robotics. Both, the number of installed embedded systems as well as their complexity have massively increased in recent years. In contrast to conventional software, embedded software has to fulfill not only functional but also non-functional requirements due to its employment in safety-critical areas. Model based development is frequently used to develop embedded systems because it is cost-effective and helps to manage the complexity. Due to the increasing use of this paradigm for software development quality assurance methods addressing models gain considerably in importance.

In our project we develop analytical as well as constructive quality assurance methods for MATLAB/Simulink/Stateflow models. These methods comprise static analysis methods for domain-specific error detection. Furthermore we propose a quality model and take changeability and maintainability in particular consideration. To support the analysis methods and to improve the result visualization we develop slicing techniques.

Cooperation Partners

Berner & Mattner Systemtechnik GmbH (regional office)

Model Engineering Solutions GmbH

Project Participants

Prof. Dr. Sabine Glesner
Research Assistants
Robert Reicherdt

Elke Salecker
Joachim Kuhnert


Quick Access

Schnellnavigation zur Seite über Nummerneingabe