direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

The ECoSMo Project

This project is funded by the Federal Ministry of Education and Research (BMBF) and the German Aerospace Center (DLR) as part of the initiative KMU-Innovativ.

Effective Quality of Software Models (ECoSMo)

The ECoSMo project is based on prior work in the CISMo project and aims at developing methods to identify the dynamic complexity of MATLAB Simulink/Stateflow models using formal analysis methods. The concepts developed in project CISMo, i.e., the identification of Timed Path Conditions in combined Simulink/Stateflow models, will be used to identify the dynamic behaviour of such models combining data flow and decision logic components. For further information, please contact Marcus Mikulcak.

Cooperation Partners

Model Engineering Solutions GmbH

Project Participants

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe