A Service-Oriented Architecture of Cyber-Physical System and Study on Two Key Issues  

作　　者：王鹏 向阳 张骐 

机构地区：[1]College of Electronics and Information Engineering, Tongji University [2]Shanghai Development Center of Computer Software Technology [3]Shenhua Hollysys Information Technology Co., Ltd.

出　　处：《Journal of Donghua University(English Edition)》2012年第4期299-304,共6页东华大学学报（英文版）

基　　金：National High-Tech Research and Development Programs of China( 863 Program) ( No. 2011AA010101,No. 2012AA062203) ;National Natural Science Foundation of China ( No. 61103069 ) ;Key Research Project of Shanghai Science and Technology Committee,China( No. 10dz1122600)

摘　　要：As the basis of designing and implementing a cyber-physical system (CPS), architecture research is very important but still at preliminary stage. Since CPS includes physical components, time and space constraints seriously challenge architecture study. In this paper, a service-oriented architecture of CPS was presented. Further, a two-way time synchronization algorithm for CPS service composition was put forward. And a formal method, for judging if actual CPS service meets space constraints, was suggested, which was based on space-π-calculus proposed. Finally, a case study was performed and CPS business process designed by the model and the proposed methods could run well. The application of research conclusion implies that it has rationality and feasibility.As the basis of designing and implementing a cyberphysical system （ CPS）, architecture research is very important but still at preliminary stage. Since CPS includes physical components, time and space constraints seriously challenge architecture study. In this paper, a service-oriented architecture of CPS was presented. Further, a two-way time synchronization algorithm for CPS service composition was put forward. And a formal method, for judging if actual CPS service meets space constraints, was suggested, which was based on space-π-caleulus proposed. Finally, a case study was performed and CPS business process designed by the model and the proposed methods could run well. The application of research conclusion implies that it has rationality and feasibility.

关 键 词：cyber-physical system (CPS) SERVICE-ORIENTED ARCHITECTURE two-way time SYNCHRONIZATION space-π-calculus 

分 类 号：TP302.1[自动化与计算机技术—计算机系统结构]