Towards the verification of cyber-physical processes based on time and physical properties
by Imen Graja; Slim Kallel; Nawal Guermouche; Ahmed Hadj Kacem
International Journal of Business and Systems Research (IJBSR), Vol. 13, No. 1, 2019

Abstract: A cyber-physical process is a set of cyber and physical activities performed to accomplish a common goal in a given amount of time. The collaboration between cyber-physical processes describes the behaviour of networked cyber-physical systems (NCPS). NCPS have time-related and physical properties, which are crucial to the correctness of their execution. However, when we specify the collaboration between processes, some combination of their corresponding properties can be conflicting. This conflict renders the participating cyber-physical processes incompatible. We observe two types of problems: implicit time-related, and physical-related incompatibilities. In this paper, we propose a novel approach to verify the compatibility of cyber-physical processes with time-related and physical properties. We first define a set of constraints that allow the transformation of the NCPS model into a constraint satisfaction model. Then, we check the compatibility of the processes. Finally, we demonstrate the applicability and effectiveness of our approach through a case study.

Online publication date: Tue, 27-Nov-2018

The full text of this article is only available to individual subscribers or to users at subscribing institutions.

 
Existing subscribers:
Go to Inderscience Online Journals to access the Full Text of this article.

Pay per view:
If you are not a subscriber and you just want to read the full contents of this article, buy online access here.

Complimentary Subscribers, Editors or Members of the Editorial Board of the International Journal of Business and Systems Research (IJBSR):
Login with your Inderscience username and password:

Username:        Password:          Forgotten your password?

Want to subscribe?
A subscription gives you complete access to all articles in the current issue, as well as to all articles in the previous three years (where applicable). See our Orders page to subscribe.

If you still need assistance, please email subs@inderscience.com