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

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 sup-porting platforms can be efficient. In recent years, much research has been actively conducted on CPS run-time supporting plat-forms. 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: com-ponent-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 im-portant future research issues.

[1]  Tharam S. Dillon,et al.  Web‐of‐things framework for cyber–physical systems , 2011, Concurr. Comput. Pract. Exp..

[2]  Jian Huang,et al.  Extending service model to build an effective service composition framework for cyber-physical systems , 2009, 2009 IEEE International Conference on Service-Oriented Computing and Applications (SOCA).

[3]  Honguk Woo,et al.  Design and Development Methodology for Resilient Cyber-Physical Systems , 2008, 2008 The 28th International Conference on Distributed Computing Systems Workshops.

[4]  Li Renfa,et al.  Survey of Cyber-Physical Systems , 2012 .

[5]  Frank Vahid,et al.  A Survey on Concepts, Applications, and Challenges in Cyber-Physical Systems , 2014, KSII Trans. Internet Inf. Syst..

[6]  Marco Aiello,et al.  What's in an Agreement? An Analysis and an Extension of WS-Agreement , 2005, ICSOC.

[7]  Siddhartha Kumar Khaitan,et al.  Design Techniques and Applications of Cyberphysical Systems: A Survey , 2015, IEEE Systems Journal.

[8]  Jiafu Wan,et al.  A survey of Cyber-Physical Systems , 2011, 2011 International Conference on Wireless Communications and Signal Processing (WCSP).

[9]  Sinisa Srbljic,et al.  Programming Languages for End-User Personalization of Cyber-Physical Systems , 2012 .

[10]  Zhichang Qi,et al.  Active Monitoring for Control Systems under Anticipatory Semantics , 2010, 2010 10th International Conference on Quality Software.

[11]  Gail E. Kaiser,et al.  An Autonomic Reliability Improvement System for Cyber-Physical Systems , 2012, 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering.

[12]  Gabor Karsai,et al.  A resilient and secure software platform and architecture for distributed spacecraft , 2014, Defense + Security Symposium.

[13]  Thierry Coupaye,et al.  The FRACTAL component model and its support in Java , 2006, Softw. Pract. Exp..

[14]  Agostino Poggi,et al.  JADE: A software framework for developing multi-agent applications. Lessons learned , 2008, Inf. Softw. Technol..

[15]  Fei-Yue Wang,et al.  Toward a Revolution in Transportation Operations: AI for Complex Systems , 2008, IEEE Intelligent Systems.

[16]  Jerker Delsing,et al.  Towards an architecture for service-oriented process monitoring and control , 2010, IECON 2010 - 36th Annual Conference on IEEE Industrial Electronics Society.

[17]  Insup Lee,et al.  Cyber-physical systems: The next computing revolution , 2010, Design Automation Conference.

[18]  Paulo Leitão,et al.  Service-Oriented Agents for Collaborative Industrial Automation and Production Systems , 2009, HoloMAS.

[19]  Patricia López Martínez,et al.  Design of component-based real-time applications , 2013, J. Syst. Softw..

[20]  Xiang Zhang,et al.  A Survey on Platoon-Based Vehicular Cyber-Physical Systems , 2016, IEEE Communications Surveys & Tutorials.

[21]  Kenwood H. Hall,et al.  Rockwell Automation's Holonic and Multiagent Control Systems Compendium , 2011, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[22]  Indranil Gupta,et al.  Congestion control for spatio-temporal data in cyber-physical systems , 2010, ICCPS '10.

[23]  A. F. Adams,et al.  The Survey , 2021, Dyslexia in Higher Education.

[24]  Yenumula B. Reddy,et al.  Cyber-Physical Systems: Survey , 2014 .

[25]  Kaiyu Wan,et al.  Specifying Resource-Centric Services in Cyber Physical Systems , 2014 .

[26]  Paulo Leitão,et al.  Past, Present, and Future of Industrial Agent Applications , 2013, IEEE Transactions on Industrial Informatics.

[27]  John R. Williams,et al.  A survey of language-based approaches to Cyber-Physical and embedded system development , 2015 .

[28]  Nicanor Quijano,et al.  A survey on Cyber Physical Energy Systems and their applications on smart grids , 2011, 2011 IEEE PES CONFERENCE ON INNOVATIVE SMART GRID TECHNOLOGIES LATIN AMERICA (ISGT LA).

[29]  Ilias Gerostathopoulos,et al.  DEECO: an ensemble-based component system , 2013, CBSE '13.

[30]  Marisol García-Valls,et al.  iLAND: An Enhanced Middleware for Real-Time Reconfiguration of Service Oriented Distributed Real-Time Systems , 2013, IEEE Transactions on Industrial Informatics.

[31]  Brice Morin,et al.  Taming Dynamically Adaptive Systems using models and aspects , 2009, 2009 IEEE 31st International Conference on Software Engineering.

[32]  Der-Horng Lee,et al.  A Collaborative Multiagent Taxi-Dispatch System , 2010, IEEE Transactions on Automation Science and Engineering.

[33]  Pedro Ferreira,et al.  A performance evaluation of industrial agents , 2013, IECON 2013 - 39th Annual Conference of the IEEE Industrial Electronics Society.

[34]  Wilfried Lepuschitz,et al.  Integration of a heterogeneous Low Level Control in a multi-agent system for the manufacturing domain , 2009, 2009 IEEE Conference on Emerging Technologies & Factory Automation.

[35]  Soonhoi Ha,et al.  An Application Framework for Loosely Coupled Networked Cyber-Physical Systems , 2010, 2010 IEEE/IFIP International Conference on Embedded and Ubiquitous Computing.

[36]  Bo Chen,et al.  A Review of the Applications of Agent Technology in Traffic and Transportation Systems , 2010, IEEE Transactions on Intelligent Transportation Systems.

[37]  Jakob Axelsson,et al.  Design and implementation of a dynamic component model for federated AUTOSAR systems , 2014, 2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC).

[38]  Qiang Li,et al.  A case study on REST-style architecture for cyber-physical systems: Restful smart gateway , 2011, Comput. Sci. Inf. Syst..

[39]  Ivan Stojmenovic,et al.  Machine-to-Machine Communications With In-Network Data Aggregation, Processing, and Actuation for Large-Scale Cyber-Physical Systems , 2014, IEEE Internet of Things Journal.

[40]  José Barbosa,et al.  Dynamic self-organization in holonic multi-agent manufacturing systems: The ADACOR evolution , 2015, Comput. Ind..

[41]  Tommaso Cucinotta,et al.  A Real-Time Service-Oriented Architecture for Industrial Automation , 2009, IEEE Transactions on Industrial Informatics.

[42]  Giorgio C. Buttazzo,et al.  HARD REAL-TIME COMPUTING SYSTEMS Predictable Scheduling Algorithms and Applications , 2007 .

[43]  Stamatis Karnouskos,et al.  Integration of Legacy Devices in the Future SOA-based Factory , 2009 .

[44]  Roman Obermaisser,et al.  The GENESYS Architecture: A Conceptual Model for Component-Based Distributed Real-Time Systems , 2009, SEUS.

[45]  Andrea Vinci,et al.  A Smart Platform for Large-Scale Cyber-Physical Systems , 2016, Management of Cyber Physical Objects in the Future Internet of Things.

[46]  Jiafu Wan,et al.  Advances in Cyber-Physical Systems Research , 2011, KSII Trans. Internet Inf. Syst..

[47]  Ge Yu,et al.  A Survey on Event Processing for CPS , 2012, CWSN.

[48]  Johann Bourcier,et al.  Towards a model@runtime middleware for cyber physical systems , 2014, MW4NG@Middleware.

[49]  Jiang Lu,et al.  Robust Cyber-Physical Systems: Concept, models, and implementation , 2016, Future Gener. Comput. Syst..

[50]  Enamul Hoque,et al.  Bundle: A Group-Based Programming Abstraction for Cyber-Physical Systems , 2010, IEEE Transactions on Industrial Informatics.

[51]  Kevin A. Kwiat,et al.  Retrofitting Cyber Physical Systems for Survivability through External Coordination , 2008, Proceedings of the 41st Annual Hawaii International Conference on System Sciences (HICSS 2008).

[52]  Patricia López Martínez,et al.  Real-Time Modelling of Distributed Component-Based Applications , 2006, 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO'06).

[53]  Farokh B. Bastani,et al.  A PT-SOA Model for CPS/IoT Services , 2015, 2015 IEEE International Conference on Web Services.

[54]  Aniruddha S. Gokhale,et al.  Towards a resilient deployment and configuration infrastructure for fractionated spacecraft , 2013, SIGBED.

[55]  Enamul Hoque,et al.  Physicalnet: A Generic Framework for Managing and Programming Across Pervasive Computing Networks , 2010, 2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium.

[56]  Paulo Leitão,et al.  ADACOR: A holonic architecture for agile and adaptive manufacturing control , 2006, Comput. Ind..

[57]  Jong Sou Park,et al.  Multi-cyber framework for availability enhancement of cyber physical systems , 2012, Computing.

[58]  Jian Huang,et al.  Toward a Smart Cyber-Physical Space: A Context-Sensitive Resource-Explicit Service Model , 2009, 2009 33rd Annual IEEE International Computer Software and Applications Conference.

[59]  Gabor Karsai,et al.  A component model for hard real‐time systems: CCM with ARINC‐653 , 2011, Softw. Pract. Exp..

[60]  Nada Golmie,et al.  NIST Framework and Roadmap for Smart Grid Interoperability Standards, Release 3.0 , 2014 .

[61]  Edward A. Lee.  Cyber Physical Systems: Design Challenges , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).

[62]  Henry Muccini,et al.  Self-Adaptation for Cyber-Physical Systems: A Systematic Literature Review , 2016, 2016 IEEE/ACM 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS).

[63]  Marek Obitko,et al.  Semantic technologies: latest advances in agent-based manufacturing control systems , 2011 .

[64]  Young-Sik Jeong,et al.  A dynamic control middleware for cyber physical systems on an IPv6‐based global network , 2013, Int. J. Commun. Syst..

[65]  Brice Morin,et al.  A dynamic component model for cyber physical systems , 2012, CBSE '12.

[66]  Carlo Ghezzi,et al.  Towards Context-Oriented Self-Adaptation in Resource-Constrained Cyberphysical Systems , 2014, 2014 IEEE 38th International Computer Software and Applications Conference Workshops.

[67]  Deborah L. McGuinness,et al.  Bringing Semantics to Web Services: The OWL-S Approach , 2004, SWSWPC.

[68]  Fu-Shiung Hsieh,et al.  Design of reconfiguration mechanism for holonic manufacturing systems based on formal models , 2010, Eng. Appl. Artif. Intell..

[69]  Horst Hellbrück,et al.  Name-Centric Service Architecture for Cyber-Physical Systems (Short Paper) , 2013, 2013 IEEE 6th International Conference on Service-Oriented Computing and Applications.

[70]  Patricia López Martínez,et al.  RT-D&C: Deployment Specification of Real-Time Component-Based Applications , 2010, 2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications.

[71]  Mikael Sjödin,et al.  Predictable integration and reuse of executable real-time components , 2014, J. Syst. Softw..

[72]  Bo Chen,et al.  Integrating mobile agent technology with multi-agent systems for distributed traffic detection and management systems , 2009 .

[73]  Kyong-Ho Lee,et al.  IoT Service Selection Based on Physical Service Model and Absolute Dominance Relationship , 2014, 2014 IEEE 7th International Conference on Service-Oriented Computing and Applications.

[74]  Syed Mahfuzul Aziz,et al.  Review of Cyber-Physical System in Healthcare , 2014, Int. J. Distributed Sens. Networks.

[75]  Valeriy Vyatkin,et al.  A deployment of an ontology-based reconfiguration agent for intelligent mechatronic systems , 2007, 2008 IEEE International Symposium on Industrial Electronics.

[76]  Jian Huang,et al.  A Framework for Efficient Service Composition in Cyber-Physical Systems , 2010, 2010 Fifth IEEE International Symposium on Service Oriented System Engineering.

[77]  Jie Chen,et al.  A survey on the security of cyber-physical systems , 2016 .

[78]  Pierluigi Siano,et al.  A Review of Agent and Service-Oriented Concepts Applied to Intelligent Energy Systems , 2014, IEEE Transactions on Industrial Informatics.

[79]  François Jammes,et al.  Service-Oriented Device Communications Using the Devices Profile for Web services , 2007, AINA Workshops.

[80]  Miroslav Pajic,et al.  Robust architectures for embedded wireless network control and actuation , 2012, TECS.

[81]  Aniruddha S. Gokhale,et al.  Distributed Real-Time Managed Systems: A Model-Driven Distributed Secure Information Architecture Platform for Managed Embedded Systems , 2014, IEEE Software.

[82]  Jakob Axelsson,et al.  Architectural Concepts for Federated Embedded Systems , 2014, ECSAW '14.

[83]  T. Nixon,et al.  Home networking with Universal Plug and Play , 2001 .

[84]  Pavlin Dobrev,et al.  Device and service discovery in home networks with OSGi , 2002 .

[85]  Ying Tan,et al.  Spatio-Temporal Event Model for Cyber-Physical Systems , 2009, 2009 29th IEEE International Conference on Distributed Computing Systems Workshops.

[86]  Hans A. Hansson,et al.  A Survey on Testing for Cyber Physical System , 2015, ICTSS.

[87]  Ilias Gerostathopoulos,et al.  Gossiping Components for Cyber-Physical Systems , 2014, ECSA.

[88]  Mike P. Papazoglou,et al.  Service oriented architectures: approaches, technologies and research issues , 2007, The VLDB Journal.

[89]  Sanjiva Weerawarana,et al.  Unraveling the Web services web: an introduction to SOAP, WSDL, and UDDI , 2002, IEEE Internet Computing.

[90]  Swati Nikam,et al.  Resource provisioning algorithms for service composition in Cyber Physical Systems , 2014, 2014 International Conference on Advances in Computing, Communications and Informatics (ICACCI).

[91]  Paulo Leitão.  Towards Self-organized Service-Oriented Multi-agent Systems , 2013, Service Orientation in Holonic and Multi Agent Manufacturing and Robotics.

[92]  Soundar R. T. Kumara,et al.  Cyber-physical systems in manufacturing , 2016 .

[93]  Liviu Miclea,et al.  Secure and efficient communication in cyber-physical systems through cryptography and complex event processing , 2016, 2016 International Conference on Communications (COMM).

[94]  Xi Fang,et al.  3. Full Four-channel 6.3-gb/s 60-ghz Cmos Transceiver with Low-power Analog and Digital Baseband Circuitry 7. Smart Grid — the New and Improved Power Grid: a Survey , 2022 .

[95]  Deniz Erdogmus,et al.  The Future of Human-in-the-Loop Cyber-Physical Systems , 2013, Computer.

[96]  Nuno Pereira,et al.  How a cyber-physical system can efficiently obtain a snapshot of physical information even in the presence of sensor faults , 2008, 2008 International Workshop on Intelligent Solutions in Embedded Systems.

[97]  Ann Miller,et al.  A Semantic Agent Framework for Cyber-Physical Systems , 2011 .

[98]  Lui Sha,et al.  Cyber-Physical Systems: A New Frontier , 2008, 2008 IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (sutc 2008).

[99]  Giorgio Buttazzo,et al.  Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications , 1997 .