UML profile for Cyber-Physical System wireless communication specification

The large variety of application domains and the large number of applications developed indicate the interest given in efficient and optimal designing of Cyber Physical Systems (CPSs). The UML Profile introduced in this paper is part of a larger project, for an intuitive and easy to use programming model for CPS application design. It is defined to help designing wireless communication part of a CPS underlying network infrastructure. The UML approach allows a better structural and behavioral description of various parts of an embedded system. Models provide support for testing and validating such systems through simulation before deploying them on the physical environment. Benefits of the proposed UML Profile are presented in this paper using an intersection traffic management application as a case study.

[1]  Grace A. Lewis,et al.  Workshop on Model-Driven Architecture and Program Generation , 2006 .

[2]  Martin Höst,et al.  UML and SystemC - Comparison and Mapping Rules for Automatic Code Generation , 2007, FDL.

[3]  P. S. Thiagarajan,et al.  Model-driven SoC design via executable UML to SystemC , 2004, 25th IEEE International Real-Time Systems Symposium.

[4]  Timo Hämäläinen,et al.  UML 2.0 profile for embedded system design , 2005, Design, Automation and Test in Europe.

[5]  Alex Doboli,et al.  Towards UML modeling of cyber-physical systems: A case study for gas distribution , 2010, IEEE 8th International Symposium on Intelligent Systems and Informatics.

[6]  Miroslaw Staron,et al.  An empirical study on using stereotypes to improve understanding of UML models , 2004, Proceedings. 12th IEEE International Workshop on Program Comprehension, 2004..

[7]  Elvinia Riccobene,et al.  SystemC/C-based model-driven design for embedded systems , 2009, TECS.

[8]  Lothar Thiele,et al.  Scalably distributed SystemC simulation for embedded applications , 2008, 2008 International Symposium on Industrial Embedded Systems.

[9]  Lossan Bonde,et al.  Metamodels and MDA Transformations for Embedded Systems , 2004, FDL.

[10]  Alex Doboli,et al.  PNet: A Grid Type Sensor Network of Reconfigurable Nodes , 2009, 2009 29th IEEE International Conference on Distributed Computing Systems Workshops.

[11]  Lei Wang,et al.  A programmable microsystem using system-on-chip for real-time biotelemetry , 2005, IEEE Transactions on Biomedical Engineering.

[12]  Gabriela Magureanu,et al.  Generating OMNeT++ specifications from UML models for PSoC distributed applications , 2011, 2011 6th IEEE International Symposium on Applied Computational Intelligence and Informatics (SACI).

[13]  Edward A. Lee.  Cyber Physical Systems: Design Challenges , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).

[14]  Alex Doboli,et al.  UML support for optimizing the goals of distributed control in traffic management applications , 2010, 2010 IEEE International Workshop on Robotic and Sensors Environments.

[15]  Edward A. Lee,et al.  A Programming Model for Time-Synchronized Distributed Real-Time Systems , 2007, 13th IEEE Real Time and Embedded Technology and Applications Symposium (RTAS'07).