Forschungsthemen
[DA] Verifikation von Modelica-Programmen mit OCL
Modelica ist eine frei verfügbare, objektorientierte Sprache zur Modellierung großer, komplexer und heterogener physikalischer Systeme. Modelica eignet sich dadurch hervorragend zur Simulation des physikalischen Verhaltens verschiedenster technischer Systeme wie Autos, Flugzeuge oder Windenergieanlagen. Durch die nicht-kommerzielle Modelica Association wird der Sprachstandard der Modelicasprache weiter entwickelt, so dass er bereits in der Version 3.1 verfügbar ist. Es gibt zahlreiche Implementierungen, die es erlauben, das Verhalten von in Modelica spezifizierten physikalischen Systemen zu berechnen. Teil der Sprachspezifikation von Modelica ist die Beschreibung der konkreten Syntax mittels EBNF. Darüber hinaus sind zahlreiche Bedingungen und Einschränkungen textuell niedergelegt. Die Idee ist, diese Bedingungen auf dem Modelica-Metamodell mit OCL zu spezifizieren, um eine Reihe von Constraints bereits in der Spezifikationsphase von Modelica-Programmen zu überprüfen. Die Fallstudie für die Anwendung dieser Technologie ist das OneWind-Projekt am Fraunhoferinstitut IWES (Institut Windenergie und Energiesystemtechnik, Bremerhaven). Im Rahmen dieses Projektes entsteht eine Simulationssoftware für Offshore-Windparks. Dabei werden umfangreiche Komponenten von Windkraftanlagen in Modelica realisiert. Um den Entwickler bei der Arbeit zu unterstützen wurde ein Editor mit den gängigen Hilfsfunktionen generiert. Ziel der Arbeit ist eine Erweiterung des Editors um die Funktionalität, die Konformität der Modelica-Programme zur Modelica Spezikation 3.1 bereits beim Editieren zu gewährleisten.
Betreuer: Birgit Demuth