Abstract
A cyber-physical system is an integration of computation, networking, and physical processes. This article introduces a novel physical control framework to integrate various devices to form the lower-level abstraction network. Two relevant protocols within this framework are proposed for information exchange between different network environments. Furthermore, a formal verification method for the proposed protocols is discussed. The model-checking tool SPIN is used to model and formally verify such protocols. The properties of the protocols are expressed using linear temporal logic to enable model-checking. Implementation results are presented to provide a deeper understanding of the proposed protocols.
Highlights
A cyber-physical system (CPS)[1] connects the physical world objects and computing systems
A brief introduction to the verification tool used in our experiment is given in section ‘‘Formal verification tool.’’ our proposed solution is presented in section ‘‘physical control framework (PCF).’’ Section ‘‘Communication conversion protocols’’ gives a detailed introduction of the two adaptation protocols named device network access protocol (DNAP) and device control transmission protocol (DCTP), to bridge a Zigbee network and a constrained application protocol (CoAP) network together in the framework
By setting a physical control point (PCP) process and a group of Wireless sensor networks (WSN) coordinators, we model the DNAP in SPIN to simulate various conditions such as device registration, loss of messages, and retransmission
Summary
A cyber-physical system (CPS)[1] connects the physical world objects and computing systems. First, we present a novel physical control framework (PCF) to integrate different networks and devices. We have already presented our concept along with an initial model-checking.[4] In this expanded article, we elaborate on the concept, add the protocol implementation for information exchange between Zigbee and CoAP networks. A brief introduction to the verification tool used in our experiment is given in section ‘‘Formal verification tool.’’ our proposed solution is presented in section ‘‘PCF.’’ Section ‘‘Communication conversion protocols’’ gives a detailed introduction of the two adaptation protocols named device network access protocol (DNAP) and device control transmission protocol (DCTP), to bridge a Zigbee network and a CoAP network together in the framework. Simulation and verification methods of the two protocols are discussed in section ‘‘Simulation and verification.’’ A security communication way is proposed in section ‘‘Security.’’ Implementation results on the hardware platform are presented in section ‘‘Implementation.’’ conclusions are presented in section ‘‘Conclusion and future works.’’
Sign-in/Register to view highlights & summary 
Published Version (
Free)
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callMore From: International Journal of Distributed Sensor Networks
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
