direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

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.

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Auxiliary Functions