Detailseite
Projekt
Entwicklung und Adaption von Methoden zur Softwarespezifikation für verteilte Echtzeitsysteme in der Prozessautomatisierung
Antragstellerin
Professorin Dr.-Ing. Birgit Vogel-Heuser
Fachliche Zuordnung
Theoretische Informatik
Förderung
Förderung von 2002 bis 2005
Projektkennung
Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5390840
Gegenstand des hier beantragten Forschungsvorhabens ist die Integration von Techniken und Methoden aus Informatik und Softwaretechnik mit dem Ziel, Software für Prozessautomatisierungssysteme zu spezifizieren und den Entwurf entlang des Systemlebenszyklus zu detaillieren. Wesentliche Aspekte sind dabei die Spezifikation von Echtzeiteigenschaften verteilter Automatisierungssysteme sowie charakteristische Aufgaben der Prozessautomatisierung, wie Regelung oder Schnittstellen zum technischen Prozess. In verschiedenen Projekten des Schwerpunktprogramms werden UML-Beschreibungsmittel zur Softwarespezifikation für Prozessautomatisierungssysteme erweitert oder semantisch fundiert. Diese Arbeiten sowie andere bekannte Arbeiten sollen integriert und um unberücksichtigte Aspekte ergänzt werden. Ziel ist die Entwicklung einer objektorientierten Methode, die als Beschreibungsmittel eine für die speziellen Ansprüche der Prozessautomatisierung adaptierte Unified Modeling Language verwendet (UML-PA). Deren präzise Verwendung soll entsprechend den Anforderungen der Prozessautomatisierung festgelegt werden. Eine Vorgehensweise und Richtlinien mit Best Practice Beispielen sind zu erarbeiten, um die Akzeptanz in den Ingenieuranwendungen zu erreichen. In Fällen in denen keine Erweiterung erforderlich ist, aber die Beschreibung sehr komplex und schwierig ist, sollen entsprechende Entwurfsmuster entwickelt werden. Die Einsetzbarkeit der Methode wird anhand beider Referenzfallstudien aufbauend auf den bisher im SPP erstellten Spezifikationen evaluiert. Dazu werden die Referenzfallstudien um spezifische Fragestellungen der Prozessautomatisierung erweitert und die Anforderungen an ein entsprechendes UML-Werkzeug erarbeitet.
DFG-Verfahren
Schwerpunktprogramme
