Abstract:
Modeling is one of the most important topics in the area of Cyber-Physical Systems (CPS). By using BPMN4CPS [1], a designer can model CPS and their temporal properties as...Show MoreMetadata
Abstract:
Modeling is one of the most important topics in the area of Cyber-Physical Systems (CPS). By using BPMN4CPS [1], a designer can model CPS and their temporal properties as a set of collaborative and communicating processes organized in three parts: a cyber part, a controller part, and a physical part. However, the designer might specify a faulty combination of properties that can cause temporal violations. To address this problem and to check the consistency of the given properties, our tool automatically translates a CPS process model to a constraint satisfaction model. In this paper, we illustrate how to implement the BPMN4CPS approach and we demonstrate the capabilities of our tool.
Date of Conference: 08-11 January 2017
Date Added to IEEE Xplore: 20 July 2017
ISBN Information:
Electronic ISSN: 2331-9860