Industrial communication protocol engineering using UML 2.0: A case study

The advent of Unified Modeling Language version 2.0 (UML 2.0) along with its UML testing profile in the recent years, promises to be a major break through in the field of formal description techniques. Thus in this paper we evaluate the suitability of UML 2.0 combined with its Testing profile for the engineering of industrial communication protocols using a case study. For our experimental case study we made use of the simple and most commonly known INRES protocol.

[1]  Ferhat Khendek,et al.  Consistency of UML/SPT Models , 2007, SDL Forum.

[2]  P. Baker,et al.  Early UML Model Testing using TTCN-3 and the UML Testing Profile , 2007, Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007).

[3]  Christian Diedrich,et al.  Formalised specification of a test tool for safety related communication , 2007, 2007 IEEE Conference on Emerging Technologies and Factory Automation (EFTA 2007).

[4]  Eckehard Schnieder,et al.  UML-based safety analysis of distributed automation systems , 2007, 2007 IEEE Conference on Emerging Technologies and Factory Automation (EFTA 2007).

[5]  Georg Frey,et al.  Development process for distributed automation systems combining UML and IEC 61499 , 2007, Int. J. Manuf. Res..

[6]  Dieter Hogrefe,et al.  Modeling Route Change in Soft-State Signaling Protocols Using SDL: A Case of RSVP , 2005, SDL Forum.

[7]  Jens Grabowski,et al.  Model-based testing with UML applied to a roaming algorithm for Bluetooth devices , 2004, Journal of Zhejiang University. Science.

[8]  Timo Hämäläinen,et al.  UML 2.0 implementation of an embedded WLAN protocol , 2004, 2004 IEEE 15th International Symposium on Personal, Indoor and Mobile Radio Communications (IEEE Cat. No.04TH8754).

[9]  Philippe Fouquart,et al.  ASN.1 Communication Between Heterogeneous Systems , 2000 .

[10]  Birgit Vogel-Heuser,et al.  Combining UML with IEC 61131-3 languages to preserve the usability of graphical notations in the software development of complex automation systems , 2007, IFAC HMS.

[11]  Birgit Vogel-Heuser,et al.  Evaluation of UML in process automation - Results of an experimental approach , 2007, IFAC HMS.

[12]  P. Kritzinger,et al.  Towards Model-Based Communication Protocol Performability Analysis with UML 2 . 0 , 2004 .

[13]  A. Cavarra.  THE UML TESTING PROFILE An Overview , 2002 .

[14]  Dieter Hogrefe,et al.  Estelle, LOTOS und SDL , 1989 .