Project Details
Development and adaption of software specification methods for distributed real-time systems in process automation
Applicant
Professorin Dr.-Ing. Birgit Vogel-Heuser
Subject Area
Theoretical Computer Science
Term
from 2002 to 2005
Project identifier
Deutsche Forschungsgemeinschaft (DFG) - Project number 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 Programme
Priority Programmes