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

Project Duration: 1.1.2008 to 30.6.2011 (Finished)
Area of Research:
Project Manager: Prof. Dr. Jürgen Jasperneite
Projectlogo:Protocol Engineering of Industrial Communication Systems using the Formal Description Technique UML2.0 (Ingenieurmethoden für den Entwurf und Test von Echtzeitkommunikationssystemen)


  

The usage of formal description technique significantly saves time and money when it comes to testing communication protocols designed for industrial automation. This is mainly achieved by early validation of the high quality communication protocols specified using formal description technique, which reduces the time to market. Further, thanks to the automated code generation and test case results which helps in conformity and interoperability tests.

One of the major targets of this research project is to verify the applicability of the formal description technique UML 2.0 and TTCN.3 with regard to development, validation, realisation and test of industrial communication protocols.

The other major target is to overcome inhibition which still prevails today while using a formal description technique for automation techniques. The ultimate goal of the project is to provide a potential analysis with the help of a demonstrator for the industries interested in the field of automation technique.

 

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


Publications:

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 (More)

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 (More)

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 (More)

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

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 (More)

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 (More)

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

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 (More)

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

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

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 (More)

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 (More)

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 (More)

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 (More)



Thesis:


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 (Project)
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 (Project)
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)


Funded by: BMBFGrant ID: PNT 51502
Funding: BMBF Profil NT
Contact Person: Prof. Dr. Jürgen Jasperneite
Research Assistant: M.Sc. Barath Kumar