CPS-Agent Oriented Construction and Implementation For Cyber Physical Systems

Cyber-physical systems (CPSs) have attracted many researchers in areas as diverse as aerospace, manufacturing, transportation, and so on. However, modeling methodologies and tools for autonomous objects in CPS are still lacking. In this paper, the CPS-Agent is proposed to model objects with consideration of temporal-spatial traits and interaction with physical environment. It is formulated by a five-tuple. Furthermore, considering that no universal methodology of coordination strategy formulation could be used to guide researchers, we present a role-based strategy formulation to make work patterns of CPS-Agents more clear. In terms of network communication among CPS-Agents, a set of communicative primitives is tailored based on the FIPA-ACL specification. Afterward, to guide engineers in designing systems according to their application requirements in the area of CPS, we design templates and a novel visual support tool for generating C++ files automatically corresponding to customized CPS-Agents, coordination strategies, and coordination groups. Finally, the complete development process based on our methodologies and tool is illustrated by an instance of a car team.

[1]  Dimitra Panagou,et al.  3-D Decentralized Prioritized Motion Planning and Coordination for High-Density Operations of Micro Aerial Vehicles , 2018, IEEE Transactions on Control Systems Technology.

[2]  Petros G. Voulgaris,et al.  Distributed Coordination Control for Multi-Robot Networks Using Lyapunov-Like Barrier Functions , 2016, IEEE Transactions on Automatic Control.

[3]  Anirban Sengupta,et al.  Guest Editorial Securing IoT Hardware: Threat Models and Reliable, Low-Power Design Solutions , 2017, IEEE Trans. Very Large Scale Integr. Syst..

[4]  Carlos Angel Iglesias,et al.  A Survey of Agent-Oriented Methodologies , 1998, ATAL.

[5]  Steffen Becker,et al.  A tool suite for the model-driven software engineering of cyber-physical systems , 2014, FSE 2014.

[6]  Winfried Lamersdorf,et al.  Evaluation of Agent-Oriented Software Methodologies - Examination of the Gap Between Modeling and Platform , 2004, AOSE.

[7]  Neetesh Saxena,et al.  CPSA: A Cyber-Physical Security Assessment Tool for Situational Awareness in Smart Grid , 2017, CPS-SPC@CCS.

[8]  Amund Tveit,et al.  A survey of Agent-Oriented Software Engineering , 2001 .

[9]  Jakob Tonn,et al.  ASGARD - A Graphical Monitoring Tool for Distributed Agent Infrastructures , 2010, PAAMS.

[10]  Anirban Sengupta,et al.  Low-Cost Obfuscated JPEG CODEC IP Core for Secure CE Hardware , 2018, IEEE Transactions on Consumer Electronics.

[11]  Jörg Holtmann,et al.  Generating Modelica Models from Software Specifications for the Simulation of Cyber-Physical Systems , 2014, 2014 40th EUROMICRO Conference on Software Engineering and Advanced Applications.

[12]  Matthias Tichy,et al.  A discipline-spanning development process for self-adaptive mechatronic systems , 2013, ICSSP 2013.

[13]  Petros G. Voulgaris,et al.  Distributed Dynamic Coverage and Avoidance Control Under Anisotropic Sensing , 2017, IEEE Transactions on Control of Network Systems.

[14]  Michael Winikoff,et al.  Tool support for agent development using the Prometheus methodology , 2005, Fifth International Conference on Quality Software (QSIC'05).

[15]  Henning Trsek,et al.  Application of an intelligent network architecture on a cooperative cyber-physical system: An experience report , 2014, Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA).

[16]  Kalliopi Kravari,et al.  A Survey of Agent Platforms , 2015, J. Artif. Soc. Soc. Simul..

[17]  Dimitra Panagou,et al.  A Distributed Feedback Motion Planning Protocol for Multiple Unicycle Agents of Different Classes , 2017, IEEE Transactions on Automatic Control.

[18]  Wilhelm Schäfer,et al.  Domain-Specific Model Checking for Cyber-Physical Systems , 2015, MoDeVVa@MoDELS.

[19]  Dimitra Panagou,et al.  Decentralized prioritized motion planning for multiple autonomous UAVs in 3D polygonal obstacle environments , 2016, 2016 International Conference on Unmanned Aircraft Systems (ICUAS).

[20]  Anirban Sengupta,et al.  DSP design protection in CE through algorithmic transformation based structural obfuscation , 2017, IEEE Transactions on Consumer Electronics.

[21]  Tal Shima,et al.  UAVs Task and Motion Planning in the Presence of Obstacles and Prioritized Targets , 2015, Sensors.

[22]  Agostino Poggi,et al.  Agent-oriented model-driven development for JADE with the JADEL programming language , 2017, Comput. Lang. Syst. Struct..

[23]  David González,et al.  A Review of Motion Planning Techniques for Automated Vehicles , 2016, IEEE Transactions on Intelligent Transportation Systems.