eCoSMo 2016-2019: Effektive Komplexität von Softwaremodellen

Projektbeschreibung

Im Fokus des Verbundvorhabens „eCoSMo“ stand die prototypische Entwicklung eines industriell verwendbaren Verfahrens für die Bestimmung der effektiven Komplexität von Softwaremodellen auf Basis von Datenflussanalysen. Das Verfahren, welches speziell auf die Modellierungssprachen Simulink und Stateflow ausgelegt war, zielte darauf ab, den Testaufwand für beliebige Subsysteme bestimmen zu können. Darüber hinaus wurden in diesem Forschungsvorhaben Techniken zur Ermittlung der effektiven Komplexitätsmetrik verwendet, um Simulink-Modelle in Teilmodelle zu zerlegen und den Aufwand von Analyse- und Testverfahren damit signifikant zu verringern. Die Zerlegung von Simulink-Modellen erfolgte dabei automatisiert.

Ein in der Praxis wichtiger Teil solcher Analysen ist die Identifikation potentieller Fehlerquellen als auch der Bewertung der Aufwände für Reviewing, Wartung und Testabsicherung. Unternehmen unterschiedlicher Bereiche (z.B. Automobil-, Flugzeug-, Bahn-, Industrieanlagenbereich) können durch diese Effizienz- und Sicherheitssteigerung ihre Marktposition stärken und ihre Wettbewerbsfähigkeit ausbauen.