Gefördert durch die Pro FIT - Projektfinanzierung der Investitionsbank Berlin (IBB). Dieses Projekt wird kofinanziert durch den Europäischen Fonds für regionale Entwicklung [EFRE].
SFAssist 2021-2023: Automatische Strukturverbesserungen von Stateflow-Automaten
Projektpartner
Model Engineering Solutions GmbH (MES) Zur "Über uns"-Seite von MES gehen
TU Berlin Fachgebiet Software and Embedded Systems Engineering (früher: Programmierung Eingebetteter Systeme) Zur Partner-Website gehen
Ansprechpartnerin: Prof. Dr. Sabine Glesner Mehr Infos erhalten
Ausgangssituation
Die modellbasierte Software-Entwicklung (MbE) ist ein etablierter Ansatz zur Entwicklung elektronischer Steuerungs- und Regelungssysteme im Automobilbereich. Entwickelnde modellieren das gewünschte Verhalten des Gesamtsystems und nutzen diese Modelle u.a. als Ausgangspunkt für die automatische Generierung von Code, der direkt oder mit Anpassungen im Fahrzeug eingesetzt wird. Den quasi-Standard für modellbasierte Entwicklung im Automobilbereich bilden Simulink und Stateflow. In Simulink wird die Funktionalität mittels Block-Diagrammen entwickelt, während in Stateflow Zustandsautomaten erstellt werden. Die ISO-Norm 26262 (Road vehicles – Functional safety) definiert strenge Qualitätsstandards für Steuerungs- und Regelungssysteme im Automobilbereich. Eine zentrale Anforderung im Standard ist eine niedrige Komplexität für sicherheitsrelevanten Softwarekomponenten.
In den letzten Jahren beobachten wir eine immer stärkere Zunahme der Applikationen in Fahrzeugen. Als Folge steigen die Wechselwirkungen zwischen diesen Anwendungen überlinear, weil Ausführung und Verhalten der Applikationen in hohem Maß voneinander abhängen. Dadurch werden auch die zugehörigen Stateflow-Automaten immer komplexer, mit den verbundenen Nachteilen der schlechten Nachvollziehbarkeit und Fehleranfälligkeit. Außerdem kann eine vollständige Testüberdeckung des Modells, wie in den Sicherheitsstandards gefordert, kaum noch mit vertretbarem Aufwand erreicht werden.
Ein Ausweg aus der Komplexitätsfalle eines reinen Stateflow-Automaten besteht in der Zerlegung der Zustandsmodelle auf Datenflussmodelle.
Zielsetzung
Unser Ziel ist es, ein Verfahren zu entwickeln, das Stateflow-Automaten unter Einsatz von Simulink-Subsystemen in strukturierte Automaten mit expliziten Schnittstellen und wechselseitigen Abhängigkeiten voll- oder teilautomatisiert transformieren kann:
- Resultierende Automaten müssen Funktionalität des Ausgangsmodells in deutlich besser strukturierter Form beschreiben, d.h. durch Modelle, die den Komplexitätsvorgaben der etablierten Sicherheitsstandards entsprechen.
- Basis: Sammlung syntaktischer Transformationen, die Stateflow-Automaten zerlegen und über Simulink-Subsysteme strukturieren. Insbesondere sollen Transformationssequenzen definiert werden, die Entwickelnden bei der Auflösung spezifischer Anti-Pattern in Stateflow unterstützen.
- Teilziel: feststellen, welche Transformationen automatisiert vorgenommen werden können oder ob Anwendungswissen erforderlich ist.
Nutzen
Die Wirksamkeit der Transformationen wird durch eine Komplexitätsmetrik für Stateflow-Automaten evaluiert, die bereits am Markt etabliert und akzeptiert ist:
- Problematische Automaten weisen einen hohen Komplexitätswert auf.
- Das Verfahren ist erfolgreich, wenn es diese Automaten in Modelle mit geringerer Komplexität transformiert.
Dieses Projekt weist den praktischen Nutzen nach, indem Verfahren und Transformationen für Stateflow in Kombination mit Simulink als Funktionsmuster realisiert werden. Die Basis der Arbeiten und der Evaluierung werden Modelle aus Kundenprojekten sein, die MES zur Verfügung stehen.
