信息物理融合系统运行支撑平台研究综述

孙远; 杨刚; 周兴社

doi:10.1631/FITEE.1601579

Your Location：

Home >

Browse articles >

信息物理融合系统运行支撑平台研究综述

常规文章 | Updated：2022-05-19

- 信息物理融合系统运行支撑平台研究综述
- A survey on run-time supporting platforms for cyber physical systems
- 信息与电子工程前沿（英文） 2017年18卷第10期页码：1458-1478
- Affiliations：
  
  School of Computer Science and Engineering, Northwestern Polytechnical University, Xi'an 710072, China
- Author bio：
  
  Yuan SUN, sunyuan@mail.nwpu.edu.cn
- Funds：
  
  Project supported by the Integrated Science-Technology Innovation Plan of Shaanxi Province, China (No. 2015KTZDGY06-03)
- DOI：10.1631/FITEE.1601579
  中图分类号： TP311
- 收稿：2016-09-24，
  
  修回：2017-10-12，
  
  纸质出版：2017-10
- Accepted：
Scan QR Code
孙远, 杨刚, 周兴社. 信息物理融合系统运行支撑平台研究综述[J]. 信息与电子工程前沿（英文）, 2017,18(10):1458-1478.

Yuan SUN, Gang YANG, Xing-she ZHOU. A survey on run-time supporting platforms for cyber physical systems[J]. Frontiers of Information Technology & Electronic Engineering, 2017, 18(10): 1458-1478.
孙远, 杨刚, 周兴社. 信息物理融合系统运行支撑平台研究综述[J]. 信息与电子工程前沿（英文）, 2017,18(10):1458-1478. DOI： 10.1631/FITEE.1601579.

Yuan SUN, Gang YANG, Xing-she ZHOU. A survey on run-time supporting platforms for cyber physical systems[J]. Frontiers of Information Technology & Electronic Engineering, 2017, 18(10): 1458-1478. DOI： 10.1631/FITEE.1601579.

摘要

信息物理融合系统（cyber physical systems

CPSs）的计算、通信与物理过程紧密耦合且持续交互的独有特性使CPS设计与实现的复杂程度明显增加。基于CPS运行支撑平台构造CPS应用任务是应对这一挑战的一种有效手段。为了更好地深化相关研究，论文分析和评价了现有CPS运行支撑平台。首先从体系结构角度给出了一种CPS运行支撑平台的分类方法；同时结合具体实例深入论述了每一类CPS运行支撑平台的设计思想、关键技术问题及其解决方法；在此基础上，从CPS应用任务构造、非功能属性支持等方面比较了现有CPS运行支撑平台；最后指出了在后续研究中需要进一步关注的关键问题。

Abstract

Cyber physical systems (CPSs) incorporate computation

communication

and physical processes. The deep coupling and continuous interaction between such processes lead to a significant increase in complexity in the design and implementation of CPSs. Consequently

whereas developing CPSs from scratch is inefficient

developing them with the aid of CPS run-time supporting platforms can be efficient. In recent years

much research has been actively conducted on CPS run-time supporting platforms. However

few surveys have been conducted on these platforms. In this paper

we analyze and evaluate existing CPS run-time supporting platforms by first classifying them into three categories from the viewpoint of software architecture: component-based platforms

service-based platforms

and agent-based platforms. Then

for each type

we detail its design philosophy

key technical problems

and corresponding solutions with specific use cases. Subsequently

we compare existing platforms from two aspects: construction approaches for CPS tasks and support for non-functional properties. Finally

we outline several important future research issues.

关键词

Keywords

references

F.J. Acosta , , , F. Weis , , , J. Bourcier . . Towards a Model@Runtime middleware for cyber physical systems . . Proc. 9th Workshop on Middleware for Next Generation Internet Computing, Article , , 2014 . . 6 DOI: 10.1145/2676733.2676741 http://doi.org/10.1145/2676733.2676741 . .

M. Afanasov , , , L. Mottola , , , C. Ghezzi . . Towards context-oriented self-adaptation in resource-constrained cyberphysical systems . . Proc. IEEE 38th Annual Int. Computers, Software and Applications Conf. Workshops , , 2014 . . p.372 - - 377 . . DOI: 10.1109/COMPSACW.2014.64 http://doi.org/10.1109/COMPSACW.2014.64 . .

H. Ahmadi , , , T.F. Abdelzaher , , , I. Gupta . . Congestion control for spatio-temporal data in cyber-physical systems . . Proc. 1st ACM/IEEE Int. Conf. on Cyber-Physical Systems , , 2010 . . p.89 - - 98 . . DOI: 10.1145/1795194.1795207 http://doi.org/10.1145/1795194.1795207 . .

M. Aiello , , , G. Frankova , , , D. Malfatti . . What's in an agreement? An analysis and an extension of WSagreement . . In : Benatallah B., Casati F., Traverso, P. (Eds.), Service-Oriented Computing-ICSOC 2005.Springer-Verlag Berlin Heidelberg , , 2005 . . p.424 - - 436 . . DOI: 10.1007/11596141_32 http://doi.org/10.1007/11596141_32 . .

Y. Al-Safi , , , V. Vyatkin . . An ontology-based reconfiguration agent for intelligent mechatronic systems . . In : Mařík, V., Vyatkin V., Colombo, A.W. (Eds.), Holonic and Multi-agent Systems for Manufacturing. Springer-Verlag Berlin Heidelberg , , 2007 . . p.114 - - 126 . . DOI: 10.1007/978-3-540-74481-8_12 http://doi.org/10.1007/978-3-540-74481-8_12 . .

B. Andersson , , , N. Pereira , , , E. Tovar . . How a cyberphysical system can efficiently obtain a snapshot of physical information even in the presence of sensor faults . . Proc. Int. Workshop on Intelligent Solutions in Embedded Systems , , 2008 . . p.1 - - 10 . . DOI: 10.1109/WISES.2008.4623298 http://doi.org/10.1109/WISES.2008.4623298 . .

S.A. Asadollah , , , R. Inam , , , H. Hansson . . A survey on testing for cyber physical system . . In : El-Fakih K., Barlas G., Yevtushenko, N. (Eds.), Testing Software and Systems. Springer International Publishing, Cham, Switzerland , , 2015 . . p.194 - - 207 . . DOI: 10.1007/978-3-319-25945-1_12 http://doi.org/10.1007/978-3-319-25945-1_12 . .

AUTOSAR . . AUTomotive Open System ARchitecture (AUTOSAR) , , 2014 . . http://www.autosar.org/about/technical-overview/ http://www.autosar.org/about/technical-overview/ , , . .

J. Axelsson , , , A. Kobetski . . Architectural concepts for federated embedded systems . . Proc. European Conf. on Software Architecture Workshops , , 2014 . . p.25:1 - - 25:8 . . DOI: 10.1145/2642803.2647716 http://doi.org/10.1145/2642803.2647716 . .

J. Barbosa , , , P. Leitão , , , E. Adam , , , 等 . . Dynamic self-organization in holonic multi-agent manufacturing systems: the ADACOR evolution . . Comput. Ind. , , 2015 . . 66 99 - - 111 . . DOI: 10.1016/j.compind.2014.10.011 http://doi.org/10.1016/j.compind.2014.10.011 . .

F. Bellifemine , , , G. Caire , , , A. Poggi , , , 等 . . JADE: a software framework for developing multi-agent applications: lessons learned . . Inform. Softw. Technol. , , 2008 . . 50 ( ( 1 ): ): 10 - - 21 . . DOI: 10.1016/j.infsof.2007.10.008 http://doi.org/10.1016/j.infsof.2007.10.008 . .

M. Broy . . Cyber-physical systems: concepts . . challenges and foundations , , 2013 . . https://artemis-ia.eu/publication/download/877-magazine-14.pdf [Accessed on Nov. 20, 2016] https://artemis-ia.eu/publication/download/877-magazine-14.pdf [Accessed on Nov. 20, 2016] , , . .

E. Bruneton , , , T. Coupaye , , , M. Leclercq , , , 等 . . The FRACTAL component model and its support in Java . . Softw. Pract. Exp. , , 2006 . . 36 ( ( 11-12 ): ): 1257 - - 1284 . . DOI: 10.1002/spe.767 http://doi.org/10.1002/spe.767 . .

T. Bures , , , I. Gerostathopoulos , , , P. Hnetynka , , , 等 . . DEECO: an ensemble-based component system . . Proc. 16th ACM Sigsoft Symp. on Component-Based Software Engineering , , 2013 . . p.81 - - 90 . . DOI: 10.1145/2465449.2465462 http://doi.org/10.1145/2465449.2465462 . .

T. Bures , , , I. Gerostathopoulos , , , P. Hnetynka , , , 等 . . Gossiping components for cyber-physical systems . . In : Avgeriou P., Zdun, U. (Eds.), Software Architecture. Springer International Publishing, Cham, Switzerland , , 2014 . . p.250 - - 266 . . DOI: 10.1007/978-3-319-09970-5_23 http://doi.org/10.1007/978-3-319-09970-5_23 . .

G. Buttazzo . . Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications . . Springer US, New York, USA , , 2011 . . p.1 - - 22 . . . .

B. Chen , , , H.H. Cheng . . A review of the applications of agent technology in traffic and transportation systems . . IEEE Trans. Intell. Transp. , , 2010 . . 11 ( ( 2 ): ): 485 - - 497 . . DOI: 10.1109/TITS.2010.2048313 http://doi.org/10.1109/TITS.2010.2048313 . .

B. Chen , , , H.H. Cheng , , , J. Palen . . Integrating mobile agent technology with multi-agent systems for distributed traffic detection and management systems . . Transp. Res. C-Emerg. , , 2009 . . 17 ( ( 1 ): ): 1 - - 10 . . DOI: 10.1016/j.trc.2008.04.003 http://doi.org/10.1016/j.trc.2008.04.003 . .

T. Cucinotta , , , A. Mancina , , , G.F. Anastasi , , , 等 . . A real-time service-oriented architecture for industrial automation . . IEEE Trans. Ind. Inform. , , 2009 . . 5 ( ( 3 ): ): 267 - - 277 . . DOI: 10.1109/TII.2009.2027013 http://doi.org/10.1109/TII.2009.2027013 . .

F. Curbera , , , M. Duftler , , , R. Khalaf , , , 等 . . Unraveling the web services web: an introduction to SOAP, WSDL, and UDDI . . IEEE Internet Comput. , , 2002 . . 6 ( ( 2 ): ): 86 - - 93 . . DOI: 10.1109/4236.991449 http://doi.org/10.1109/4236.991449 . .

T.S. Dillon , , , H. Zhuge , , , C. Wu , , , 等 . . Web-of-things framework for cyber-physical systems . . Concurr. Comp. Pract. E. , , 2011 . . 23 ( ( 9 ): ): 905 - - 923 . . DOI: 10.1002/cpe.1629 http://doi.org/10.1002/cpe.1629 . .

P. Dobrev , , , D. Famolari , , , C. Kurzke , , , 等 . . Device and service discovery in home networks with OSGi . . IEEE Commun. Mag. , , 2002 . . 40 ( ( 8 ): ): 86 - - 92 . . DOI: 10.1109/MCOM.2002.1024420 http://doi.org/10.1109/MCOM.2002.1024420 . .

A. Dubey , , , G. Karsai , , , N. Mahadevan . . A component model for hard real-time systems: CCM with ARINC-653 . . Softw. Pract. Exper. , , 2011 . . 41 ( ( 12 ): ): 1517 - - 1550 . . DOI: 10.1002/spe.1083 http://doi.org/10.1002/spe.1083 . .

X. Fang , , , S. Misra , , , G. Xue , , , 等 . . Smart grid—the new and improved power grid: a survey . . IEEE Commun. Surv. Tutor. , , 2012 . . 14 ( ( 4 ): ): 944 - - 980 . . DOI: 10.1109/SURV.2011.101911.00087 http://doi.org/10.1109/SURV.2011.101911.00087 . .

P. Ferreira , , , S. Doltsinis , , , A. Anagnostopoulos , , , 等 . . A performance evaluation of industrial agents . . Proc. 39th Annual Conf. of the IEEE Industrial Electronics Society , , 2013 . . p.7404 - - 7409 . . DOI: 10.1109/IECON.2013.6700365 http://doi.org/10.1109/IECON.2013.6700365 . .

F. Fouquet , , , B. Morin , , , F. Fleurey , , , 等 . . A dynamic component model for cyber physical systems . . Proc. 15th ACM Sigsoft Symp. on Component Based Software Engineering , , 2012 . . p.135 - - 144 . . DOI: 10.1145/2304736.2304759 http://doi.org/10.1145/2304736.2304759 . .

A. Giordano , , , G. Spezzano , , , A. Vinci . . A smart platform for large-scale cyber-physical systems . . In : Guerrieri A., Loscri V., Rovella A., et al. (Eds.), Management of Cyber Physical Objects in the Future Internet of Things. Springer International Publishing, Cham, Switzerland , , 2016 . . p.115 - - 134 . . DOI: 10.1007/978-3-319-26869-9_6 http://doi.org/10.1007/978-3-319-26869-9_6 . .

C. Greer , , , D.A. Wollman , , , D.E. Prochaska , , , 等 . . NIST framework and roadmap for smart grid interoperability standards, release 3.0. Specical Publication 1108r3 . . US National Institute of Standards and Technology, Gaithersburg, USA , , 2014 . . DOI: 10.6028/NIST.SP.1108r3 http://doi.org/10.6028/NIST.SP.1108r3 . .

GRID4EU . . Specification and Requirements , , 2012 . . http://grid4eu.blob.core.windows.net/media-prod/6578/Grid4EU_dD1.1_Demo_1_V1.0.pdf [Accessed on Nov. 20, 2016] http://grid4eu.blob.core.windows.net/media-prod/6578/Grid4EU_dD1.1_Demo_1_V1.0.pdf [Accessed on Nov. 20, 2016] , , . .

V. Gunes , , , S. Peter , , , T. Givargis , , , 等 . . A survey on concepts, applications, and challenges in cyber-physical systems . . KSII Trans. Internet Inform. Syst. , , 2014 . . 8 ( ( 12 ): ): 4242 - - 4268 . . DOI: 10.3837/tiis.2014.12.001 http://doi.org/10.3837/tiis.2014.12.001 . .

S.A. Haque , , , S.M. Aziz , , , M. Rahman . . Review of cyber-physical system in healthcare . . Int. J. Distrib. Sens. Netw. , , 2014 . . 2014 217415:1 - - 217415:20 . . DOI: 10.1155/2014/217415 http://doi.org/10.1155/2014/217415 . .

H. Hellbruck , , , T. Teubler , , , S. Fischer . . Name-centric service architecture for cyber-physical systems . . Proc. IEEE 6th Int. Conf. on Service-Oriented Computing and Applications , , 2013 . . p.77 - - 82 . . DOI: 10.1109/SOCA.2013.63 http://doi.org/10.1109/SOCA.2013.63 . .

F.S. Hsieh . . Design of reconfiguration mechanism for holonic manufacturing systems based on formal models . . Eng. Appl. Artif. Intel. , , 2010 . . 23 ( ( 7 ): ): 1187 - - 1199 . . DOI: 10.1016/j.engappai.2010.05.008 http://doi.org/10.1016/j.engappai.2010.05.008 . .

F. Hu , , , Y. Lu , , , A.V. Vasilakos , , , 等 . . Robust cyber–physical systems: concept, models, and implementation . . Fut. Gener. Comp. Syst. , , 2016 . . 56 449 - - 475 . . DOI: 10.1016/j.future.2015.06.006 http://doi.org/10.1016/j.future.2015.06.006 . .

J. Huang , , , F. Bastani , , , I.L. Yen , , , 等 . . Extending service model to build an effective service composition framework for cyber-physical systems . . Proc. IEEE Int. Conf. on Service-Oriented Computing and Applications , , 2009a . . p.1 - - 8 . . DOI: 10.1109/SOCA.2009.5410453 http://doi.org/10.1109/SOCA.2009.5410453 . .

J. Huang , , , F. Bastani , , , I.L. Yen , , , 等 . . Toward a smart cyber-physical space: a context-sensitive resourceexplicit service model . . Proc. 33rd Annual IEEE Int. Computer Software and Applications Conf. , , 2009b . . p.122 - - 127 . . DOI: 10.1109/COMPSAC.2009.125 http://doi.org/10.1109/COMPSAC.2009.125 . .

J. Huang , , , F.B. Bastani , , , I.L. Yen , , , 等 . . A framework for efficient service composition in cyber-physical systems . . Proc. 5th IEEE Int. Symp. on Service Oriented System Engineering , , 2010 . . p.291 - - 298 . . DOI: 10.1109/SOSE.2010.46 http://doi.org/10.1109/SOSE.2010.46 . .

R. Inam , , , J. Carlson , , , M. Sjödin , , , 等 . . Predictable integration and reuse of executable real-time components . . J. Syst. Softw. , , 2014 . . 91 147 - - 162 . . DOI: 10.1016/j.jss.2013.12.040 http://doi.org/10.1016/j.jss.2013.12.040 . .

F. Jammes , , , A. Mensch , , , H. Smit . . Service-oriented device communications using the devices profile for web services . . Proc. 3rd Int. Workshop on Middleware for Pervasive and Ad-Hoc Computing , , 2005 . . p.1 - - 8 . . DOI: 10.1145/1101480.1101496 http://doi.org/10.1145/1101480.1101496 . .

D. Jia , , , K. Lu , , , J. Wang , , , 等 . . A survey on platoonbased vehicular cyber-physical systems . . IEEE Commun. Surv. Tutor. , , 2015 . . 18 ( ( 1 ): ): 263 - - 284 . . DOI: 10.1109/COMST.2015.2410831 http://doi.org/10.1109/COMST.2015.2410831 . .

X. Jin , , , S. Chun , , , J. Jung , , , 等 . . IoT service selection based on physical service model and absolute dominance relationship . . Proc. IEEE 7th Int. Conf. on Service-Oriented Computing and Applications , , 2014 . . p.65 - - 72 . . DOI: 10.1109/SOCA.2014.24 http://doi.org/10.1109/SOCA.2014.24 . .

S. Karnouskos , , , T. Bangemann , , , C. Diedrich . . Integration of legacy devices in the future SOA-based factory . . IFAC Proc. Vol. , , 2009 . . 42 ( ( 4 ): ): 2113 - - 2118 . . DOI: 10.3182/20090603-3-RU-2001.0487 http://doi.org/10.3182/20090603-3-RU-2001.0487 . .

S. Karnouskos , , , A.W. Colombo , , , F. Jammes , , , 等 . . Towards an architecture for service-oriented process monitoring and control . . Proc. IECON 36th Annual Conf. on IEEE Industrial Electronics Society , , 2010 . . p.1385 - - 1391 . . DOI: 10.1109/IECON.2010.5675482 http://doi.org/10.1109/IECON.2010.5675482 . .

S.K. Khaitan , , , J.D. McCalley . . Design techniques and applications of cyberphysical systems: a survey . . IEEE Syst. J. , , 2015 . . 9 ( ( 2 ): ): 350 - - 365 . . DOI: 10.1109/JSYST.2014.2322503 http://doi.org/10.1109/JSYST.2014.2322503 . .

M. Kim , , , M.O. Stehr , , , J. Kim , , , 等 . . An application framework for loosely coupled networked cyber-physical systems . . Proc. IEEE/IFIP 8th Int. Conf. on Embedded and Ubiquitous Computing , , 2013 . . p.144 - - 153 . . DOI: 10.1109/EUC.2010.30 http://doi.org/10.1109/EUC.2010.30 . .

E.A. Lee . . Cyber physical systems: design challenges . . Proc. 11th IEEE Symp. on Object/Component/Service-Oriented Real-Time Distributed Computing , , 2008 . . p.363 - - 369 . . DOI: 10.1109/ISORC.2008.25 http://doi.org/10.1109/ISORC.2008.25 . .

P. Leitão . . Towards self-organized service-oriented multi-agent systems . . In : Borangiu T., Thomas A., Trentesaux, D. (Eds.), Service Orientation in Holonic and Multi Agent Manufacturing and Robotics. Springer Berlin Heidelberg , , 2013 . . p.41 - - 56 . . DOI: 10.1007/978-3-642-35852-4_3 http://doi.org/10.1007/978-3-642-35852-4_3 . .

P. Leitão , , , F. Restivo . . ADACOR: a holonic architecture for agile and adaptive manufacturing control . . Comput. Ind. , , 2006 . . 57 ( ( 2 ): ): 121 - - 130 . . DOI: 10.1016/j.compind.2005.05.005 http://doi.org/10.1016/j.compind.2005.05.005 . .

P. Leitão , , , V. Marik , , , P. Vrba . . Past, present, and future of industrial agent applications . . IEEE Trans. Ind. Inform. , , 2013 . . 9 ( ( 4 ): ): 2360 - - 2372 . . DOI: 10.1109/TII.2012.2222034 http://doi.org/10.1109/TII.2012.2222034 . .

W. Lepuschitz , , , M. Vallee , , , M. Merdan , , , 等 . . Integration of a heterogeneous low level control in a multi-agent system for the manufacturing domain . . Proc. 14th IEEE Int. Conf. on Emerging Technologies Factory Automation , , 2009 . . p.574 - - 581 . . DOI: 10.1109/ETFA.2009.5347061 http://doi.org/10.1109/ETFA.2009.5347061 . .

T. Levendovszky , , , A. Dubey , , , W.R. Otte , , , 等 . . Distributed real-time managed systems: a model-driven distributed secure information architecture platform for managed embedded systems . . IEEE Softw. , , 2014 . . 31 ( ( 2 ): ): 62 - - 69 . . DOI: 10.1109/MS.2013.143 http://doi.org/10.1109/MS.2013.143 . .

F. Li , , , J. Xu , , , G. Yu . . A survey on event processing for CPS . . In : Wang R., Xiao, F. (Eds.), Advances in Wireless Sensor Networks. Springer Berlin Heidelberg , , 2012 . . p.157 - - 166 . . DOI: 10.1007/978-3-642-36252-1_15 http://doi.org/10.1007/978-3-642-36252-1_15 . .

Q. Li , , , W. Qin , , , B. Han , , , 等 . . A case study on rest-style architecture for cyber-physical systems: restful smart gateway . . Comput. Sci. Inform. Syst. , , 2011 . . 8 ( ( 4 ): ): 1317 - - 1329 . . DOI: 10.2298/CSIS110310062L http://doi.org/10.2298/CSIS110310062L . .

R.F. Li , , , Y. Xie , , , R. Li , , , 等 . . Survey of cyber-physical systems . . J. Comput. Res. Dev. , , 2012 . . 49 ( ( 6 ): ): 1149 - - 1161 . . . .

J. Lin , , , S. Sedigh , , , A. Miller . . A semantic agent framework for cyber-physical systems . . In : Elçi A., Koné, M.T., Orgun, M.A. (Eds.), Semantic Agent Systems. Springer Berlin Heidelberg , , 2011 . . p.189 - - 213 . . DOI: 10.1007/978-3-642-18308-9_9 http://doi.org/10.1007/978-3-642-18308-9_9 . .

P. Lopez , , , J.L. Medina , , , J.M. Drake . . Real-time modelling of distributed component-based applications . . Proc. 32nd EUROMICRO Conf. on Software Engineering and Advanced Applications , , 2006 . . p.92 - - 99 . . DOI: 10.1109/EUROMICRO.2006.52 http://doi.org/10.1109/EUROMICRO.2006.52 . .

C.A. Macana , , , N. Quijano , , , E. Mojica-Nava . . A survey on cyber physical energy systems and their applications on smart grids . . Proc. IEEE PES Conf. on Innovative Smart Grid Technologies , , 2011 . . p.1 - - 7 . . DOI: 10.1109/ISGT-LA.2011.6083194 http://doi.org/10.1109/ISGT-LA.2011.6083194 . .

D. Martin , , , M. Paolucci , , , S. McIlraith , , , 等 . . Bringing semantics to web services: the OWL-S approach . . In : Cardoso J., Sheth, A. (Eds.), Semantic Web Services and Web Process Composition. Springer-Verlag Berlin Heidelberg , , 2005 . . p.26 - - 42 . . DOI: 10.1007/978-3-540-30581-1_4 http://doi.org/10.1007/978-3-540-30581-1_4 . .

P.L. Martínez , , , C. Cuevas , , , J.M. Drake . . RT-D & C: deployment specification of real-time component-based applications . . Proc. 36th EUROMICRO Conf. on Software Engineering and Advanced Applications , , 2010 . . p.147 - - 155 . . DOI: 10.1109/SEAA.2010.22 http://doi.org/10.1109/SEAA.2010.22 . .

P.L. Martínez , , , L. Barros , , , J.M. Drake . . Design of component-based real-time applications . . J. Syst. Softw. , , 2013 . . 86 ( ( 2 ): ): 449 - - 467 . . DOI: 10.1016/j.jss.2012.09.036 http://doi.org/10.1016/j.jss.2012.09.036 . .

J.M. Mendes , , , P. Leitão , , , F. Restivo , , , 等 . . Serviceoriented agents for collaborative industrial automation and production systems . . In : Mařík, V., Strasser T., Zoitl, A. (Eds.), Holonic and Multi-agent Systems for Manufacturing. Springer-Verlag Berlin Heidelberg , , 2009 . . p.13 - - 24 . . DOI: 10.1007/978-3-642-03668-2_2 http://doi.org/10.1007/978-3-642-03668-2_2 . .

J.M. Mendes , , , P. Leitão , , , F. Restivo , , , 等 . . Composition of Petri nets models in service-oriented industrial automation . . Proc. 8th IEEE Int. Conf. on Industrial Informatics , , 2010 . . p.578 - - 583 . . DOI: 10.1109/INDIN.2010.5549677 http://doi.org/10.1109/INDIN.2010.5549677 . .

Microsoft . . Smart Energy Reference Architecture Version 2.0 , , 2015 . . https://msenterprise.global.ssl.fastly.net/wordpress/Reference_Architecture_pdf_whitepaper_2.pdf [Accessed on Nov. 20, 2016] https://msenterprise.global.ssl.fastly.net/wordpress/Reference_Architecture_pdf_whitepaper_2.pdf [Accessed on Nov. 20, 2016] , , . .

B.A. Miller , , , T. Nixon , , , C. Tai , , , 等 . . Home networking with universal plug and play . . IEEE Commun. Mag. , , 2001 . . 39 ( ( 12 ): ): 104 - - 109 . . DOI: 10.1109/35.968819 http://doi.org/10.1109/35.968819 . .

L. Monostori , , , B. Kadar , , , T. Bauernhansl , , , 等 . . Cyber-physical systems in manufacturing . . CIRP Ann. Manuf. Techn. , , 2016 . . 65 ( ( 2 ): ): 621 - - 641 . . DOI: 10.1016/j.cirp.2016.06.005 http://doi.org/10.1016/j.cirp.2016.06.005 . .

B. Morin , , , O. Barais , , , G. Nain , , , 等 . . Taming dynamically adaptive systems using models and aspects . . Proc. 31st Int. Conf. on Software Engineering , , 2009 . . p.122 - - 132 . . DOI: 10.1109/ICSE.2009.5070514 http://doi.org/10.1109/ICSE.2009.5070514 . .

H. Muccini , , , M. Sharaf , , , D. Weyns . . Self-adaptation for cyber-physical systems: a systematic literature review . . Proc. 11th Int. Workshop on Software Engineering for Adaptive and Self-Managing Systems , , 2016 . . p.75 - - 81 . . DOI: 10.1145/2897053.2897069 http://doi.org/10.1145/2897053.2897069 . .

Z. Ni , , , A. Kobetski , , , J. Axelsson . . Design and implementation of a dynamic component model for federated AUTOSAR systems . . Proc. 51st Annual Design Automation Conf. , , 2014 . . p.94:1 - - 94:6 . . DOI: 10.1145/2593069.2593121 http://doi.org/10.1145/2593069.2593121 . .

S. Nikam , , , R. Ingle . . Resource provisioning algorithms for service composition in Cyber Physical Systems . . Proc. Int. Conf. on Advances in Computing, Communications and Informatics , , 2014 . . p.2797 - - 2802 . . DOI: 10.1109/ICACCI.2014.6968650 http://doi.org/10.1109/ICACCI.2014.6968650 . .

R. Obermaisser , , , B. Huber . . The GENESYS architecture: a conceptual model for component-based distributed real-time systems . . In: Lee S., Narasimhan, P. (Eds.), Software Technologies for Embedded and Ubiquitous Systems. Springer-Verlag Berlin Heidelberg , , 2009 . . p.296 - - 307 . . DOI: 10.1007/978-3-642-10265-3_27 http://doi.org/10.1007/978-3-642-10265-3_27 . .

W.R. Otte , , , A. Dubey , , , G. Karsai . . A resilient and secure software platform and architecture for distributed spacecraft . . SPIE , , 2014 . . 9085 90850J DOI: 10.1117/12.2054055 http://doi.org/10.1117/12.2054055 . .

M. Pajic , , , A. Chernoguzov , , , R. Mangharam . . Robust architectures for embedded wireless network control and actuation . . ACM Trans. Embed. Comput. Syst. , , 2012 . . 11 ( ( 4 ): ): 82 DOI: 10.1145/2362336.2362349 http://doi.org/10.1145/2362336.2362349 . .

M.P. Papazoglou , , , W.J. Heuvel . . Service oriented architectures: approaches, technologies and research issues . . VLDB J. , , 2007 . . 16 ( ( 3 ): ): 389 - - 415 . . DOI: 10.1007/s00778-007-0044-3 http://doi.org/10.1007/s00778-007-0044-3 . .

S.O. Park , , , T.H. Do , , , Y.S. Jeong , , , 等 . . A dynamic control middleware for cyber physical systems on an IPv6-based global network . . Int. J. Commun. Syst. , , 2013 . . 26 ( ( 6 ): ): 690 - - 704 . . DOI: 10.1002/dac.1382 http://doi.org/10.1002/dac.1382 . .

S. Parvin , , , F.K. Hussain , , , O.K. Hussain , , , 等 . . Multicyber framework for availability enhancement of cyber physical systems . . Computing , , 2013 . . 95 ( ( 10-11 ): ): 927 - - 948 . . DOI: 10.1007/s00607-012-0227-7 http://doi.org/10.1007/s00607-012-0227-7 . .

S. Pradhan , , , W.R. Otte , , , A. Dubey , , , 等 . . Towards a resilient deployment and configuration infrastructure for fractionated spacecraft . . ACM SIGBED Rev. , , 2014 . . 10 ( ( 4 ): ): 29 - - 32 . . DOI: 10.1145/2583687.2583694 http://doi.org/10.1145/2583687.2583694 . .

J. Puttonen , , , A. Lobov , , , J.L.M. Lastra . . An application of BPEL for service orchestration in an industrial environment . . Proc. 13th IEEE Int. Conf. on Emerging Technologies and Factory Automation , , 2008 . . p.530 - - 537 . . DOI: 10.1109/ETFA.2008.4638450 http://doi.org/10.1109/ETFA.2008.4638450 . .

R. Rajkumar , , , I. Lee , , , L. Sha , , , 等 . . Cyber-physical systems: the next computing revolution . . Proc. 47th ACM/IEEE Design Automation Conf. , , 2010 . . p.731 - - 736 . . DOI: 10.1145/1837274.1837461 http://doi.org/10.1145/1837274.1837461 . .

G. Schirner , , , D. Erdogmus , , , K. Chowdhury , , , 等 . . The future of human-in-the-loop cyber-physical systems . . Computer , , 2013 . . 46 ( ( 1 ): ): 36 - - 45 . . DOI: 10.1109/MC.2013.31 http://doi.org/10.1109/MC.2013.31 . .

K.T. Seow , , , N.H. Dang , , , D.H. Lee . . A collaborative multiagent taxi-dispatch system . . IEEE Trans. Autom. Sci. Eng. , , 2010 . . 7 ( ( 3 ): ): 607 - - 616 . . DOI: 10.1109/TASE.2009.2028577 http://doi.org/10.1109/TASE.2009.2028577 . .

L. Sha , , , S. Gopalakrishnan , , , X. Liu , , , 等 . . Cyberphysical systems: a new frontier . . Proc. IEEE Int. Conf. on Sensor Networks, Ubiquitous and Trustworthy Computing , , 2008 . . p.1 - - 9 . . DOI: 10.1109/SUTC.2008.85 http://doi.org/10.1109/SUTC.2008.85 . .

J. Shi , , , J. Wan , , , H. Yan , , , 等 . . A survey of cyber-physical systems . . Proc. Int. Conf. on Wireless Communications and Signal Processing , , 2011 . . p.1 - - 6 . . DOI: 10.1109/WCSP.2011.6096958 http://doi.org/10.1109/WCSP.2011.6096958 . .

Smart Grid Strategic Group SMB . . IEC Smart Grid Standardization Roadmap , , 2010 . . http://www.iec.ch/smartgrid/downloads/sg3_roadmap.pdf [Accessed on Nov. 20, 2016] http://www.iec.ch/smartgrid/downloads/sg3_roadmap.pdf [Accessed on Nov. 20, 2016] , , . .

P. Soulier , , , D. Li , , , J.R. Williams . . A survey of language-based approaches to Cyber-Physical and embedded system development . . Tsinghua Sci. Technol. , , 2015 . . 20 ( ( 2 ): ): 130 - - 141 . . DOI: 10.1109/TST.2015.7085626 http://doi.org/10.1109/TST.2015.7085626 . .

S. Srbljic , , , D. Skvorc , , , M. Popovic . . Programming languages for end-user personalization of cyber-physical systems . . Automatika , , 2012 . . 53 ( ( 3 ): ): 294 - - 310 . . DOI: 10.7305/automatika.53-3.84 http://doi.org/10.7305/automatika.53-3.84 . .

I. Stojmenovic . . Machine-to-machine communications with in-network data aggregation, processing, and actuation for large-scale cyber-physical systems . . IEEE IOT J. , , 2014 . . 1 ( ( 2 ): ): 122 - - 128 . . DOI: 10.1109/JIOT.2014.2311693 http://doi.org/10.1109/JIOT.2014.2311693 . .

Y. Tan , , , M.C. Vuran , , , S. Goddard . . Spatio-temporal event model for cyber-physical systems . . Proc. 29th IEEE Int. Conf. on Distributed Computing Systems Workshops , , 2009 . . p.44 - - 50 . . DOI: 10.1109/ICDCSW.2009.82 http://doi.org/10.1109/ICDCSW.2009.82 . .

M.G. Valls , , , I.R. Lopez , , , L.F. Villar . . iLand: an enhanced middleware for real-time reconfiguration of service oriented distributed real-time systems . . IEEE Trans. Ind. Inform. , , 2013 . . 9 ( ( 1 ): ): 228 - - 236 . . DOI: 10.1109/TII.2012.2198662 http://doi.org/10.1109/TII.2012.2198662 . .

L. Vegh , , , L. Miclea . . Secure and efficient communication in cyber-physical systems through cryptography and complex event processing . . Proc. Int. Conf. on Communications , , 2016 . . p.273 - - 276 . . DOI: 10.1109/ICComm.2016.7528290 http://doi.org/10.1109/ICComm.2016.7528290 . .

P.A. Vicaire , , , Z. Xie , , , E. Hoque , , , 等 . . Physicalnet: a generic framework for managing and programming across pervasive computing networks . . Proc. 16th IEEE Real-Time and Embedded Technology and Applications Symp. , , 2010 . . p.269 - - 278 . . DOI: 10.1109/RTAS.2010.17 http://doi.org/10.1109/RTAS.2010.17 . .

P.A. Vicaire , , , E. Hoque , , , Z. Xie , , , 等 . . Bundle: a group-based programming abstraction for cyber-physical systems . . IEEE Trans. Ind. Inform. , , 2012 . . 8 ( ( 2 ): ): 379 - - 392 . . DOI: 10.1109/TII.2011.2166772 http://doi.org/10.1109/TII.2011.2166772 . .

P. Vrba , , , M. Radakovič , , , M. Obitko , , , 等 . . Semantic technologies: latest advances in agent-based manufacturing control systems . . Int. J. Prod. Res. , , 2011a . . 49 ( ( 5 ): ): 1483 - - 1496 . . DOI: 10.1080/00207543.2010.518746 http://doi.org/10.1080/00207543.2010.518746 . .

P. Vrba , , , P. Tichý , , , V. Mařík , , , 等 . . Rockwell automation's holonic and multiagent control systems compendium . . IEEE Trans. Syst. Man Cybern. C , , 2011b . . 41 ( ( 1 ): ): 14 - - 30 . . DOI: 10.1109/TSMCC.2010.2055852 http://doi.org/10.1109/TSMCC.2010.2055852 . .

P. Vrba , , , V. Mařík , , , P. Siano , , , 等 . . A review of agent and service-oriented concepts applied to intelligent energy systems . . IEEE Trans. Ind. Inform. , , 2014 . . 10 ( ( 3 ): ): 1890 - - 1903 . . DOI: 10.1109/TII.2014.2326411 http://doi.org/10.1109/TII.2014.2326411 . .

J. Wan , , , H. Yan , , , H. Suo , , , 等 . . Advances in cyber-physical systems research . . KSII Trans. Internet Inform. , , 2011 . . 5 ( ( 11 ): ): 1891 - - 1908 . . DOI: 10.3837/tiis.2011.11.001 http://doi.org/10.3837/tiis.2011.11.001 . .

K. Wan , , , V. Alagar , , , Y. Dong . . Specifying resourcecentric services in cyber physical systems . . In: Yang G.C., Ao S.I., Huang X., et al. (Eds.), Transactions on Engineering Technologies. Springer Netherlands, Dordrecht, the Netherland , , 2014 . . p.83 - - 97 . . DOI: 10.1007/978-94-007-7684-5_7 http://doi.org/10.1007/978-94-007-7684-5_7 . .

F.Y. Wang . . Toward a revolution in transportation operations: AI for complex systems . . IEEE Intell. Syst. , , 2008 . . 23 ( ( 6 ): ): 8 - - 13 . . DOI: 10.1109/MIS.2008.112 http://doi.org/10.1109/MIS.2008.112 . .

T. Wang , , , L. Cheng , , , K. Zheng . . Automatic and effective service provision with context-aware service composition mechanism in cyber-physical systems . . Adv. Inform. Sci. Serv. Sci. , , 2012 . . 4 ( ( 11 ): ): 151 - - 160 . . DOI: 10.4156/AISS.vol4.issue11.18 http://doi.org/10.4156/AISS.vol4.issue11.18 . .

Z.J. Wang , , , L.L. Xie . . Cyber-physical systems: a survey . . Acta Autom. Sin. , , 2011 . . 37 ( ( 10 ): ): 1157 - - 1166 . . . .

H. Woo , , , J. Yi , , , J.C. Browne , , , 等 . . Design and development methodology for resilient cyber-physical systems . . Proc. 28th Int. Conf. on Distributed Computing Systems Workshops , , 2008 . . p.525 - - 528 . . DOI: 10.1109/ICDCS.Workshops.2008.62 http://doi.org/10.1109/ICDCS.Workshops.2008.62 . .

G. Wu , , , J. Sun , , , J. Chen . . A survey on the security of cyber-physical systems . . J. Contr. Theory Technol. , , 2016 . . 14 ( ( 1 ): ): 2 - - 10 . . DOI: 10.1007/s11768-016-5123-9 http://doi.org/10.1007/s11768-016-5123-9 . .

L. Wu , , , G. Kaiser . . An autonomic reliability improvement system for cyber-physical systems . . Proc. IEEE 14th Int. Symp. on High-Assurance Systems Engineering , , 2012 . . p.56 - - 61 . . DOI: 10.1109/HASE.2012.33 http://doi.org/10.1109/HASE.2012.33 . .

K. Xiao , , , S. Ren , , , K. Kwiat . . Retrofitting cyber physical systems for survivability through external coordination . . Proc. 41st Annual Hawaii Int. Conf. on System Sciences , , 2008 . . p.465 - - 465 . . DOI: 10.1109/HICSS.2008.377 http://doi.org/10.1109/HICSS.2008.377 . .

C. Zhao , , , W. Dong , , , Z. Qi . . Active monitoring for control systems under anticipatory semantics . . Proc. 10th Int. Conf. on Quality Software , , 2010 . . p.318 - - 325 . . DOI: 10.1109/QSIC.2010.82 http://doi.org/10.1109/QSIC.2010.82 . .

X.S. Zhou , , , Y.L. Yang , , , G. Yang . . Modeling methods for dynamic behaviors of cyber-physical system . . Chin. J. Comp. , , 2014 . . 37 ( ( 6 ): ): 1411 - - 1423 . . . .

W. Zhu , , , G. Zhou , , , I.L. Yen , , , 等 . . A PT-SOA model for CPS/IoT services . . Proc. IEEE Int. Conf. on Web Services , , 2015 . . p.647 - - 654 . . DOI: 10.1109/ICWS.2015.91 http://doi.org/10.1109/ICWS.2015.91 . .

浏览量

Downloads

CSCD

文章被引用时，请邮件提醒。

Submit

工具集

关联资源

暂无数据