|
|
|
| Substitution Determination of Cyber-physical System Components via Time-space π-Calculus |
| Wang Peng①② Xiang Yang① Zong Yu-wei② Zhang Qi③ |
①(College of Electronics and Information Engineering, Tongji University, Shanghai 201804, China)
②(Shanghai Development Center of Computer Software Technology, Shanghai 201112, China)
③(Shenhua Hollysys Information Technology Corporation LTD, Beijing 100011, China) |
|
|
|
|
Abstract Cyber-Physical System (CPS) components substitution is an important issue for CPS’ troubleshooting and system upgrading. Based on a service-oriented architecture of CPS, this issue is equated to CPS service substitution. A formal method for modeling CPS service is proposed based on time-space π-calculus, which is presented through introducing time and space operators into classical π-calculus. Then, starting with the relationship between service compatibility and substitution, a decision theorem for CPS service substitution is put forward. Finally, a case study is performed to show that how to apply this theorem to CPS components substitution.
|
|
Received: 09 April 2012
|
|
|
|
Corresponding Authors:
Xiang Yang
E-mail: shxiangyang@tonfji,edu.cn
|
|
|
|
|
|
|
2012, Vol. 34 
