By Topic

Cyber-Physical System Components Composition Analysis and Formal Verification Based on Service-Oriented Architecture

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Peng Wang ; Coll. of Electron. & Inf. Eng., Tongji Univ., Shanghai, China ; Yang Xiang ; Shao Hua Zhang

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.

Published in:

e-Business Engineering (ICEBE), 2012 IEEE Ninth International Conference on

Date of Conference:

9-11 Sept. 2012