TU Berlin

Software and Embedded Systems EngineeringCISMo

SESE-Logo in blau

Page Content

to Navigation

The CISMo Project

This project is funded by the Federal Ministry of Education and Research (BMBF).

Change Impact-Analysen für Software-Modelle (CISMo)

The project Change Impact Analyses of Software Models aims to develop novel static analysis methods to detect changes between revisions of software models and the influences of these changes on surrounding model components. The project is a cooperation between the Group of Software and Embedded Systems Engineering at the Technische Universität Berlin and the Berlin-based company Model Engineering Solutions (MES). 

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.


Quick Access

Schnellnavigation zur Seite über Nummerneingabe