A survey on run-time supporting platforms for cyber physical systems

Yuan SUN; Gang YANG; Xing-she ZHOU

doi:10.1631/FITEE.1601579

Your Location：

Home >

Browse articles >

A survey on run-time supporting platforms for cyber physical systems

Regular Papers | Updated：2022-05-19

- A survey on run-time supporting platforms for cyber physical systems
- 信息物理融合系统运行支撑平台研究综述
- Frontiers of Information Technology & Electronic Engineering Vol. 18, Issue 10, Pages: 1458-1478(2017)
- Affiliations：
  
  School of Computer Science and Engineering, Northwestern Polytechnical University, Xi'an 710072, China
- Author bio：
  
  Yuan SUN, sunyuan@mail.nwpu.edu.cn
- Funds：
- DOI：10.1631/FITEE.1601579
  CLC： TP311
- Received：24 September 2016，
  
  Revised：2017-10-12，
  
  Published：2017-10
- Accepted：
Scan QR Code
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：

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 . .

Views

Downloads

CSCD

Alert me when the article has been cited

Submit

Tools

Publicity Resources

No data

Related Author

No data

Related Institution

No data

Chat

Address：Zhejiang University Press, 148 Tianmushan Road, Hangzhou, China Postal code：310028
Tel：+86-571-88273162 Email：fitee@zju.edu.cn
It is recommended to read the content of this site in Chrome&IE9+. Please switch to extreme mode in browser 360.
Cookies We use cookies to help provide and enhance our service and tailor content. By continuing, you agree to the use of cookies.

⁰