ECoSMo 2016-2019: Effective Quality of Software Models

Funded by the BMBF (German Federal Ministry of Education and Research) & the DLR (German Aerospace Center) as part of the Ministry's SME INNOVATIVE development program
Project partner: Technische Universität (TU) Berlin Department of Software and Embedded Systems Engineering (formerly: Programming of Embedded Systems)
Lead partner: Prof. Dr. Sabine Glesner

The focus of the joint research project "ECoSMO" is the prototypical development of a procedure that can be used by industry to determine the effective complexity of software models, using data-flow analyses as a basis. The procedure, which has been especially designed for the modeling languages Simulink and Stateflow, aims to be able to determine test efforts for any subsystems. Beyond this, techniques to determine the effective complexity metric will be used as part of this research project, in order for Simulink models to decompose into sub-models and thus significantly reduce effort for analysis and test procedures. Within this procedure, the decomposition of Simulink models shall occur via an automated process.

In practice, an important part of such analyses is identifying potential sources of error as is the evaluation of review, maintenance, and test safeguarding efforts. Companies in various fields (such as automotive, aerospace, rail, and industrial plants) can strengthen their market position via this increase in efficiency and safety, and consequently build their competitiveness.