Cyber-Physical System Components Composition Analysis and Formal Verification Based on Service-Oriented Architecture
Peng Wang, Yang Xiang, Shao Hua Zhang · 2012
How to design a distributed and open-ended Cyber-Physical system (CPS) architecture is an important issue for constructing different CPS business applications. In this paper, a service-oriented architecture is proposed, in which software and hardware components are represented in the form of interoperable CPS services. CPS services are combined to realize complicated business requirements. Further, a formal method for verifying validity of CPS service composition model is put forward based on Time-Space ¦Ð-calculus, which is presented through introducing time operator and space operator into ¦Ð-calculus. Finally, a case study is performed to show that how to apply the model and method to CPS components composition. The experiment result shows that they are reasonable and feasible.