Towards the verification of cyber-physical processes based on time and physical properties

Imen Graja, Slim Kallel, Nawal Guermouche and Ahmed Hadj Kacem

International Journal of Business and Systems Research, 2019, vol. 13, issue 1, 47-76

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.

Keywords: cyber-physical systems; CPS; time-related properties; physical properties; collaborative behaviour; constraint satisfaction problem; CSP; BPMN; compatibility of processes. (search for similar items in EconPapers)
Date: 2019
References: Add references at CitEc
Citations:

Downloads: (external link)
http://www.inderscience.com/link.php?id=96364 (text/html)
Access to full text is restricted to subscribers.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:ids:ijbsre:v:13:y:2019:i:1:p:47-76

Access Statistics for this article

More articles in International Journal of Business and Systems Research from Inderscience Enterprises Ltd
Bibliographic data for series maintained by Sarah Parker ().