A unified framework for the design of distributed cyber-physical systems - industrial automation example

Modern manufacturing systems are best examples where networked embedded controllers and mechatronic devices form the so-called distributed cyber physical systems (CPS). Design and deployment of such systems pose significant challenges to traditional PLC-based software design approaches. In this paper, a unified framework for the design and deployment of such systems based on a formal language, SystemJ, is presented. The proposed framework supports implementing distributed CPS at system level abstraction with correct by construction design. The designed software components can easily interact with each other and with web-based interface for modelling and validation via simulation and subsequently run on embedded controllers without any change, which simplifies the design and implementation process significantly. An ice-cream manufacturing system (ICMF) example is presented to illustrate the proposed approach.

[1]  Zoran A. Salcic,et al.  System-level approach to the design of a smart distributed surveillance system using systemj , 2012, TECS.

[2]  Christoforos Panayiotou,et al.  Collaborative Area Monitoring Using Wireless Sensor Networks with Stationary and Mobile Nodes , 2009, EURASIP J. Adv. Signal Process..

[3]  Gregory M. P. O'Hare,et al.  Embedding Agents within Ambient Intelligent Applications , 2012, Agents and Ambient Intelligence.

[4]  Zoran A. Salcic,et al.  System-level approach to the design of collaborative distributed systems based on wireless sensor and actuator networks , 2013, 2013 IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops).

[5]  Zoran A. Salcic,et al.  System-level approach to the design of ambient intelligence systems based on wireless sensor and actuator networks , 2015, J. Ambient Intell. Humaniz. Comput..

[6]  Zoran A. Salcic,et al.  SystemJ: A GALS language for system level design , 2010, Comput. Lang. Syst. Struct..

[7]  A. Zoitl,et al.  Execution Models for the IEC 61499 elements Composite Function Block and Subapplication , 2007, 2007 5th IEEE International Conference on Industrial Informatics.

[8]  Anders Adlemo,et al.  Models for fault tolerance in manufacturing systems , 1992, J. Intell. Manuf..

[9]  Agostino Poggi,et al.  JADE - A Java Agent Development Framework , 2005, Multi-Agent Programming.

[10]  Waleed H. Abdulla,et al.  Ambient intelligence platform using multi-agent system and mobile ubiquitous hardware , 2009, Pervasive Mob. Comput..