PERSEUS: Protocol Engineering of Industrial Communication Systems using the Formal Description Technique UML2.0 (Ingenieurmethoden für den Entwurf und Test von Echtzeitkommunikationssystemen)

Der Einsatz formaler Beschreibungstechniken als neue Ingenieurmethoden für den Entwurf und den Test von Kommunikationsprotokollen für die industrielle Automatisierungstechnik besitzt das Potential zu signifikanten Kosten - und Zeiteinsparungen. 
Diese resultieren zum einen aus der Spezifikation von Kommunikationsstandards höherer Qualität durch frühe Validierbarkeit, sowie durch eine schnellere Markteinführung von Produkten aufgrund der Möglichkeiten automatischer Codegenerierung und Testfallableitung für notwendige Konformitäts- und Interoperabilitätstests. 
Die übergeordneten Ziele des beantragten Forschungsvorhaben bestehen zum einen darin, die Anwendbarkeit der formalen Beschreibungstechnik UML2.0 und der standardisierten Testsprache TTCN-3 auf die Entwicklung, Validierung und Realisierung und den Test von industriellen Kommunikationsprotokollen zu überprüfen und zum anderen die heute vorhandene Hemmschwelle für den Einsatz von formalen Beschreibungstechniken im Kontext der Automatisierungstechnik zu überwinden. Im Ergebnis des Vorhabens steht eine Potentialanalyse für interessierte Industrieunternehmen der Automatisierungstechnik, sowie ein entsprechender Demonstrator zur Verfügung. 
Im weiteren Verlauf liegt der wissenschaftliche Schwerpunkt der Arbeiten auf der automatischen Testfallableitung aus einem mit temporalen Bedingungen annotierten Modell. Diese Testfälle werden anschliessend in eine TTCN-Notation transformiert.