Industrial communication protocol engineering using UML 2.0: A case study

IEEE International Workshop on Factory Communication Systems - Proceedings, WFCS

Volumn , Issue , 2008, Pages 247-250

  Kumar, Barath ^a   Jasperneite, Juergen ^a  

^a OSTWESTFALEN LIPPE UNIVERSITY OF APPLIED SCIENCES   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMMUNICATION; COMMUNICATION SYSTEMS; COMPUTER NETWORKS; INTERNET PROTOCOLS; TECHNICAL PRESENTATIONS;

CASE STUDIES; FORMAL DESCRIPTION TECHNIQUES; INDUSTRIAL COMMUNICATION PROTOCOLS; TESTING PROFILES; UML 2.0; UNIFIED MODELING;

UNIFIED MODELING LANGUAGE;

EID: 56349143874     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WFCS.2008.4638749     Document Type: Conference Paper

References (18)

1. M. Mühlhause, C. Diedrich, M. Riedl, and D. Schmidt, "Formalised specification of a test tool for safety related communication", in 12th IEEE Conference on Emerging Technologies and Factory Automation, September 2007, Patras, Greece.
2. S. Schreiber, T. Schmidberger, A. Fay, J. May, J. Drewes, and E. Schnieder, "UML-based safety analysis of distributed automation systems. A rule format for industrial plant information reasoning", in 13th IEEE Conference on Emerging Technologies and Factory Automation (ETFA 07), September 2007, pp. 1069-1075, Patras, Greece.
3. S. Panjaitan and G. Frey, "Development Process for Distributed Automation Systems Combining UML and IEC 61499", International Journal of Manufacturing Research, vol. 2, pp. 1-20, (1) 2007.
4. U. Katzke and B. Vogel-Heuser, "Combining UML with IEC 61131-3 languages to preserve the usability of graphical notations in the software development of complex automation systems", in 10th IFAC IFIP/IFORS/IEA Symposium Analysis, Design, and Evaluation of Human-Machine Systems, September 2007, Seoul, Korea.
5. D. Friedrich, B. Pantförder, and B. Vogel-Heuser, "Evaluation of UML in process automation - results of an experimental approach", in 10th IFAC IFIP/IFORS/IEA Symposium Analysis, Design, and Evaluation of Human-Machine Systems, September 2007, Seoul, Korea.
6. D. Hogrefe, Estelle, LOTOS und SDL, Springer Verlag, 1989.
7. ISO, Guidelines for application of Estelle, LOTOS and SDL, ISO, 1990, ISO TR 10167.
8. "Telelogic Tau", www.telelogic.com/products/tau/index.cfm, December 2007.
9. P. Kukkala, V. Helminen, M. Hannikainen, and T. D. Hamalainen, "UML 2.0 Implementation of an embedded WLAN Protocol", in 15th IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC 2004), September 2004, pp. 1158-1162.
10. N. de Wet and P. Kritzinger, "Towards Model-Based Communication Protocol Performability Analysis with UML 2.0", in Proceedings Southern African Telecommunication Networks and Applications Conference (SATNAC) 2004., October 2004, South Africa.
11. X. Fu, D. Hogrefe, and C. Werner, "Modeling Route Change in Soft State Signaling Protocols Using SDL: a Case of RSVP", in 12th SDL forum (SDL 2005), June 2005, Grimstad, Norway.
12. OMG, UML 2.0 Testing Profile Specification, OMG, April 2004, OMG document ptc/04-04-02.
13. Z. R. Dai, J. Grabwowski, H. Neukirchen, and H. Pals, "Model-based Testing with UML Applied to a Roaming Algorithm for Bluetooth Devices", Journal of Zhejiang University SCIENCE (ISSN 1009-3095), vol. 5, No. 11, pp. 1327-1335, 2004.
14. A. Cavarra, "The UML Testing Profile, An Overview", Technical report, Agedis Consortium, http://www.agedis.de/documents/TheUMLTestingProfile. pdf, June 2007.
15. Telelogic, "Telelogic Tau G2 UML Testing Profile", Help File of TAU.
16. O. Dubuisson, ASN.1 Communication between Heterogeneous Systems, Morgan Kaufmann, October 2000.
17. A. Gherbi and F. Khendek, "Consistency of UML/SPT Models", in 13th International SDL Forum (SDL2007), September 2007, Paris, France.
18. P. Baker and C. Jervis, "Testing UML 2.0 Models Using TTCN-3 and the UML 2.0 Testing Profile", in 13th International SDL Forum (SDL2007), September 2007, Paris, France.