Effective Quality of Software Models (ECoSMo)

funded by the Federal Ministry of Education and Research (BMBF) and the German Aerospace Center (DLR) as part of the initiative KMU-Innovativ, 2016 - 2019
The ECoSMo project is based on prior work in the CISMo project. In ECoSMo, we have developed methods to identify the dynamic complexity of MATLAB Simulink/Stateflow models using formal analysis methods. The concepts developed in CISMo, i.e., the identification of Timed Path Conditions in combined Simulink/Stateflow models, are used to identify the dynamic behaviour of such models combining data flow and decision logic components. As a result we can, for example, identify non-interference and analyze the information flow in combined Simulink/Stateflow models. The results are published in [MHGG16, MHGG17, MHGG18, MHGG19].

Cooperation Partners

Model Engineering Solutions GmbH  http://www.model-engineers.com/

Principal Investigators: Prof. Dr. Sabine Glesner, Prof. Dr. Paula Herber
Research Assistant:
Marcus Mikulcak, MSc (at TU