Characteristic, Architecture, Technology, and Design Methodology of Cyber-Physical Systems

Cyber-physical systems (CPS) involve in a variety of computing model integration and collaborative work. There are some problems such as un-unified design methods, worse elasticity, high complexity, difficult to implement cyber-physical co-design and co-verification, etc. Aiming at the co-design of embedded components, sensing components, controlling components, communication components and physical components in heterogeneous environments, this paper proposes the characteristics, architectures, technologies, and design methodologies of CPSs. It’s necessary to design CPSs in the model-driven design process to establish CPSs and confirm its correctness, support cyber-physical co-design and correctness by construction so as to avoid modifying repeatedly the design when problems are found in the system realization process, and provide the necessary theoretical and practical technical supports to establish CPSs.

[1]  Chen Hai,et al.  A Comparative Study on Architectures and Implementation Methodologies of Internet of Things , 2013 .

[2]  P. Venkata Krishna,et al.  Challenges, Opportunities, and Dimensions of Cyber-Physical Systems , 2014 .

[3]  Ahmed Yousuf Saber,et al.  Efficient Utilization of Renewable Energy Sources by Gridable Vehicles in Cyber-Physical Energy Systems , 2010, IEEE Systems Journal.

[4]  Bradley R. Schmerl,et al.  Supporting Heterogeneity in Cyber-Physical Systems Architectures , 2014, IEEE Transactions on Automatic Control.

[5]  Haiming Chen,et al.  A Comparative Study on Architectures and Implementation Methodologies of Internet of Things: A Comparative Study on Architectures and Implementation Methodologies of Internet of Things , 2014 .

[6]  MengChu Zhou,et al.  Preserving Languages and Properties in Stepwise Refinement-Based Synthesis of Petri Nets , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[7]  Joungho Kim,et al.  Chip-Package Co-modeling & Verification of Noise Coupling & Generation in CMOS DC/DC Buck Converter , 2009, 2009 20th International Zurich Symposium on Electromagnetic Compatibility.

[8]  Bruno Sinopoli,et al.  A Cyber–Physical Systems Approach to Data Center Modeling and Control for Energy Efficiency , 2012, Proceedings of the IEEE.

[9]  Zhu Han,et al.  Communication Infrastructure Design in Cyber Physical Systems with Applications in Smart Grids: A Hybrid System Framework , 2014, IEEE Communications Surveys & Tutorials.

[10]  Aniruddha S. Gokhale,et al.  A capacity planning process for performance assurance of component-based distributed systems , 2011, ICPE '11.

[11]  Insup Lee,et al.  Challenges and Research Directions in Medical Cyber–Physical Systems , 2012, Proceedings of the IEEE.

[12]  HuaDong Ma,et al.  The research of IoT architecture model and internetworking mechanism , 2013 .

[13]  Chin-Feng Lai,et al.  OSGi-based services architecture for Cyber-Physical Home Control Systems , 2011, Comput. Commun..

[14]  Liu Yun-ben.  Hierarchical Control and Data Flow Graph Modeling Method in Energy-aware Hardware/Software Partitioning , 2011 .

[15]  Danny Hughes,et al.  Investigation on Composition Mechanisms for Cyber Physical Systems , 2012 .

[16]  Yi Wang,et al.  The Application of CAN Bus Microcontroller MC9S08DZ60 in Automotive Electronic Control Unit , 2013 .

[17]  Carolyn L. Talcott,et al.  Cyber-Physical Systems and Events , 2008, Software-Intensive Systems and New Computing Paradigms.

[18]  Bertrand Jeannet,et al.  Verification of embedded control programs , 2013, 2013 European Control Conference (ECC).

[19]  Guisheng Fan,et al.  Strategy Driven Modeling and Analysis of Reliable Embedded Systems: Strategy Driven Modeling and Analysis of Reliable Embedded Systems , 2011 .

[20]  Ying Tan,et al.  A concept lattice-based event model for Cyber-Physical Systems , 2010, ICCPS '10.

[21]  Shigeru Yamada,et al.  Codesign-Oriented Performability Modeling for Hardware-Software Systems , 2011, IEEE Transactions on Reliability.

[22]  Jing Lin,et al.  An Agent-Based Approach to Reconciling Data Heterogeneity in Cyber-Physical Systems , 2011, 2011 IEEE International Symposium on Parallel and Distributed Processing Workshops and Phd Forum.

[23]  Fushuan Wen,et al.  Modeling Analysis and Control Research Framework of Cyber Physical Power Systems , 2011 .

[24]  Chen Haiming,et al.  PMDA: A Physical Model Driven Software Architecture for Internet of Things , 2013 .

[25]  Vijay Kumar,et al.  Robust Control for Mobility and Wireless Communication in Cyber–Physical Systems With Application to Robot Teams , 2012, Proceedings of the IEEE.

[26]  Gabor Karsai,et al.  Co-simulation framework for design of time-triggered cyber physical systems , 2013, 2013 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).

[27]  Walid Taha,et al.  A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report) , 2012, 2012 32nd International Conference on Distributed Computing Systems Workshops.

[28]  Zhu Yi-fan.  Research on a Composable Modeling Approach of Embedding the State Machine into DEVS , 2005 .

[29]  Mu Chundi.  Petri net EPRES for embedded system modeling , 2009 .

[30]  Joseph Sifakis,et al.  Synthesizing Glue Operators from Glue Constraints for the Construction of Component-Based Systems , 2011, SC@TOOLS.

[31]  Lei Zhang,et al.  An Elastic Architecture Adaptable to Millions of Application Scenarios , 2012, NPC.

[32]  José M. F. Moura,et al.  Modeling of Future Cyber–Physical Energy Systems for Distributed Sensing and Control , 2010, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[33]  Gopal Gupta,et al.  A logic-based modeling and verification of CPS , 2011, SIGBED.

[34]  Daqiang Zhang,et al.  Context-aware vehicular cyber-physical systems with cloud support: architecture, challenges, and solutions , 2014, IEEE Communications Magazine.

[35]  Sandeep Neema,et al.  OpenMETA: A Model- and Component-Based Design Tool Chain for Cyber-Physical Systems , 2014, FPS@ETAPS.

[36]  李石坚 陈云星 潘纲,et al.  ScudContext: large-scale environmental context services infrastructure towards cyber-physical space integration , 2011 .

[37]  Radha Poovendran,et al.  Cyber-Physical Systems: Close Encounters Between Two Parallel Worlds [Point of View] , 2010, Proc. IEEE.

[38]  Yajun Ha,et al.  Parallel dataflow execution for sequential programs on reconfigurable hybrid MPSoCs , 2012, 2012 International Conference on Field-Programmable Technology.

[39]  Siddharth Sridhar,et al.  Cyber–Physical System Security for the Electric Power Grid , 2012, Proceedings of the IEEE.

[40]  Edward A. Lee,et al.  A Time-Centric Model for Cyber-Physical Applications , 2010 .

[41]  Qingsheng Zhu,et al.  A Stochastic-Petri-Net-Based Model for Ontology-Based Service Compositions , 2011, 2011 Fifth International Conference on Theoretical Aspects of Software Engineering.

[42]  Wenji Mao,et al.  Cyber-Physical-Social Systems for Command and Control , 2011, IEEE Intelligent Systems.

[43]  Peng Xu,et al.  Armed forces knowledge management risk evaluation based on FNN , 2011, 2011 IEEE 18th International Conference on Industrial Engineering and Engineering Management.

[44]  Lui Sha,et al.  Design of Complex Cyber Physical Systems with Formalized Architectural Patterns , 2008, Software-Intensive Systems and New Computing Paradigms.

[45]  Hai Jin,et al.  Hierarchically characterizing CUDA program behavior , 2011, 2011 IEEE International Symposium on Workload Characterization (IISWC).

[46]  Liu Jian-guo.  Recommendation Systems,Information Filtering and Internet-Based Information-Physics , 2010 .

[47]  Gabor Karsai,et al.  A co-simulation framework for design of time-triggered automotive cyber physical systems , 2014, Simul. Model. Pract. Theory.

[48]  Xiang-Ning Li,et al.  The Pi + Calculus--An Extension of the Pi Calculus for Expressing Petri Nets: The Pi + Calculus--An Extension of the Pi Calculus for Expressing Petri Nets , 2011 .

[49]  Fan Gui.  Strategy Driven Modeling and Analysis of Reliable Embedded Systems , 2011 .

[50]  Junshan Zhang,et al.  Robust, Secure, and Cost-Effective Design for Cyber-Physical Systems , 2014, IEEE Intelligent Systems.

[51]  Peter Marwedel,et al.  Embedded system design , 2010, Embedded Systems.

[52]  Jan Haase,et al.  Model Based Design of Distributed Embedded Cyber Physical Systems , 2012, FDL.

[53]  Edward A. Lee,et al.  Modeling Cyber–Physical Systems , 2012, Proceedings of the IEEE.

[54]  Edward A. Lee.  The Past, Present and Future of Cyber-Physical Systems: A Focus on Models , 2015, Sensors.