Projekte

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

Projektlaufzeit: 1.1.2008 bis 30.6.2011 (Abgeschlossen)
Forschungsbereich: Industrielle Kommunikation : Industrial Ethernet
Projektleiter: Prof. Dr.-Ing. Jürgen Jasperneite
Projektlogo: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.

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


Publikationen:

Kumar, Barath; Jasperneite, Jürgen: Industrial Communication Protocol Engineering using UML 2.0: a Case Study. In: 7th IEEE International Workshop on Factory Communication Systems (WFCS 2008) S.: 247 - 250, Dresden, Germany, May 2008 (Details)

Kumar, Barath; Imtiaz, Jahanzaib; Jasperneite, Jürgen: Applicability of UML MARTE's Schedulability sub-package for Engineering Industrial Real-time Protocols. In: 2nd Junior Researcher Workshop on Real-Time Computing (JRWRTC 2008) (in conjunction with the 16th International Conference on Real-Time and Network Systems (RTNS 2008)) Rennes, France, Oct 2008 (Details)

Kumar, Barath; Niggemann, Oliver; Jasperneite, Jürgen: Timed Automata for Modeling Network Traffic. In: Machine Learning in Real-Time Applications (MLRTA 09) (in conjunction with 32nd Annual Conference on Artificial Intelligence (KI 2009)) Paderborn, Germany, Sep 2009 (Details)

Kumar, Barath; Jasperneite, Jürgen: UML Profiles for Modeling Real-Time Communication Protocols. In: Journal of Object Technology Apr 2010 (Details)

Kumar, Barath; Niggemann, Oliver; Jasperneite, Jürgen: Statistical Models of Network Traffic. In: International Conference on Computer, Electrical and Systems Science, Cape Town, South Africa, Jan 2010 (Details)

Kumar, Barath; Jasperneite, Jürgen: MARTE's Schedulability sub-package (SAM): From theory to implementation. In: Entwurf komplexer Automatisierungssysteme (EKA 2010) Magdeburg, Germany, May 2010 (Details)

Kumar, Barath; Niggemann, Oliver; Jasperneite, Jürgen: Test Generation for Hybrid, Probabilistic Control Models. In: Entwurf komplexer Automatisierungssysteme (EKA 2010) Magdeburg, Germany, May 2010 (Details)

Kumar, Barath; Jäger, Michael; Jasperneite, Jürgen: A Proposal for Graphical Extension of TTCN-3 Graphical Presentation Format (GFT). In: 8th IEEE International Workshop on Factory Communication Systems COMMUNICATION in AUTOMATION (WFCS 2010) Nancy, France, May 2010 (Details)

Kumar, Barath: Industrial Communication Protocol Engineering using UML 2.0 - concepts and approach. VDM Verlag Dr. Müller, Germany, May 2010 (Details)

Czybik, Björn; Kumar, Barath; Jasperneite, Jürgen: Automatic derivation of TTCN-3 test cases from UML state machines. Lemgo, Germany, Mar 2010 (Details)

Czybik, Björn; Kumar, Barath; Jasperneite, Jürgen: Protocol Engineering with UML 2.0 - From Research to Design: The Lemgoer Model Factory Protocol. Lemgo, Germany, Jul 2011 (Details)

Graeser, Olaf; Kumar, Barath; Moriz, Natalia; Maier, Alexander; Niggemann, Oliver: AutomationML as a Basis for Offline- and Realtime-Simulation. In: 8th International Conference on Informatics in Control, Automation and Robotics (ICINCO)(Noordwijkerhout, The Netherlands, July, 2011) Jul 2011 (Details)

Kumar, Barath; Czybik, Björn; Jasperneite, Jürgen: Model Based TTCN-3 Testing of Industrial Automation Systems - First results. In: 16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2011) Toulouse, France, Sep 2011 (Details)

Kumar, Barath; Schäfer, Wilhelm; Jasperneite, Jürgen: An approach to Model and Test Automation Systems. In: 3rd International Symposium on Computer, Communication, Control and Automation (3CA 2011) Springer Verlag, Zhuhai, China, Nov 2011 (Details)



Abschlussarbeiten:


Barath Kumar (Master)
Communication Protocol Engineering using UML 2.0: a Case study (Details)

Björn Czybik (Bachelor)
Implementierung und Test eines in UML spezifizierten Kommunikationsprotokolls am Beispiel eines eingebetteten Systems (Details)

Kai-Tobias Busse (Praxisprojekt)
Creation of an plug-in application for UML MARTEs SAM subprofile (Details)

Kai Busse (Bachelor)
Development of a schedulability analysis application for industrial communication protocols based on UML models (Details)

Michael Jäger (Praxisprojekt)
Concept of a Graphical Presentation of TTCN-3 Records and Templates (Details)

Michael Jäger (Bachelor)
A Proposal for Graphical Extension of TTCN-3 Graphical Presentation Format (GFT) (Details)


gefördert durch: BMBFFörderkennzeichen: PNT 51502
Förderlinie: BMBF Profil NT
Ansprechpartner: Prof. Dr.-Ing. Jürgen Jasperneite
Mitarbeiter: M.Sc. Barath Kumar , M.Sc. Björn Czybik