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" was the prototypical development of a procedure that could be used by industry to determine the effective complexity of software models, using data-flow analyses as a basis. The procedure, which was especially designed for the modeling languages Simulink and Stateflow, aimed to be able to determine test efforts for any subsystems. Beyond this, techniques to determine the effective complexity metric were used as part of this research project, in order for Simulink models to be decomposed into sub-models and thus significantly reduce effort for analysis and test procedures. The decomposition of Simulink models occurred 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.