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

Prof. Dr.-Ing. Jürgen Jasperneite
01.01.2008 bis 30.06.2011

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.

This project is promoted by:
Bundesministerium für Bildung und Forschung (BMBF)
Funding Code: PNT51502
Funding Lines: BMBFProfilNT
Employees: Björn Czybik, M. Sc., Barath Kumar, M. Sc.
Barath Kumar, M. Sc., Prof. Dr.-Ing. Jürgen Jasperneite
Industrial Communication Protocol Engineering using UML 2.0: a Case Study
In: 7th IEEE International Workshop on Factory Communication Systems (WFCS 2008), May 2008
Barath Kumar, M. Sc., Jahanzaib Imtiaz, M. Sc., Prof. Dr.-Ing. Jürgen Jasperneite
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)), Oct 2008
Barath Kumar, M. Sc., Prof. Dr. rer. nat. Oliver Niggemann, Prof. Dr.-Ing. Jürgen Jasperneite
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)), Sep 2009
Barath Kumar, M. Sc., Prof. Dr. rer. nat. Oliver Niggemann, Prof. Dr.-Ing. Jürgen Jasperneite
Statistical Models of Network Traffic
In: International Conference on Computer, Electrical and Systems Science, Jan 2010
Björn Czybik, M. Sc., Barath Kumar, M. Sc., Prof. Dr.-Ing. Jürgen Jasperneite
Automatic derivation of TTCN-3 test cases from UML state machines
Barath Kumar, M. Sc., Prof. Dr.-Ing. Jürgen Jasperneite
UML Profiles for Modeling Real-Time Communication Protocols
In: Journal of Object Technology, Apr 2010
Barath Kumar, M. Sc., Prof. Dr. rer. nat. Oliver Niggemann, Prof. Dr.-Ing. Jürgen Jasperneite
Test Generation for Hybrid, Probabilistic Control Models
In: Entwurf komplexer Automatisierungssysteme (EKA 2010), May 2010
Barath Kumar, M. Sc., Prof. Dr.-Ing. Jürgen Jasperneite
MARTE's Schedulability sub-package (SAM): From theory to implementation
In: Entwurf komplexer Automatisierungssysteme (EKA 2010), May 2010
Industrial Communication Protocol Engineering using UML 2.0 - concepts and approach
Barath Kumar, M. Sc., Michael Jäger, M. Sc., Prof. Dr.-Ing. Jürgen Jasperneite
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), May 2010
Dipl.-Inform. Olaf Graeser, Barath Kumar, M. Sc., Dipl.-Math. Natalia Moriz, Dr. rer. nat. Alexander Maier, Prof. Dr. rer. nat. Oliver Niggemann
AutomationML as a Basis for Offline- and Realtime-Simulation
Björn Czybik, M. Sc., Barath Kumar, M. Sc., Prof. Dr.-Ing. Jürgen Jasperneite
Protocol Engineering with UML 2.0 - From Research to Design: The Lemgoer Model Factory Protocol
Barath Kumar, M. Sc., Björn Czybik, M. Sc., Prof. Dr.-Ing. Jürgen Jasperneite
Model Based TTCN-3 Testing of Industrial Automation Systems - First results
In: 16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2011), Sep 2011
Barath Kumar, M. Sc., Wilhelm Schäfer, Prof. Dr.-Ing. Jürgen Jasperneite
An approach to Model and Test Automation Systems
In: 3rd International Symposium on Computer, Communication, Control and Automation (3CA 2011), Nov 2011
Bachelor
A Proposal for Graphical Extension of TTCN-3 Graphical Presentation Format (GFT)
Michael Jäger, M. Sc.
Study work
Concept of a Graphical Presentation of TTCN-3 Records and Templates
Michael Jäger, M. Sc.
07.11.2009 till 07.11.2009
Bachelor
Development of a schedulability analysis application for industrial communication protocols based on UML models
Study work
Creation of an plug-in application for UML MARTEs SAM subprofile
Kai-Tobias Busse
Bachelor
Implementierung und Test eines in UML spezifizierten Kommunikationsprotokolls am Beispiel eines eingebetteten Systems
Björn Czybik, M. Sc.
Master
Communication Protocol Engineering using UML 2.0: a Case study
Barath Kumar, M. Sc.
Promoted by