A System-Level Modeling and Design for Cyber-Physical-Social Systems

The design of cyber-physical-social systems (CPSS) is a novel and challenging research field due that it emphasizes the deep fusion of cyberspace, physical space, and social space. In this article, we extend our previously proposed system-level design framework [Zeng et al. 2015] to tailor it to the needs of social scenario of multiple users. A hierarchical Petri net-based model and social flow are presented to extend the control flow and formally describe the social interactions of multiple users, respectively. By using the extended model, the system-level optimization for CPSS can be achieved by the improved design flow. Specifically, object emplacement and user satisfaction are further extended into the social environment. Also maximal power estimation algorithm is improved, leveraging the extended intermediate representation model. Finally, we use a smart office case to demonstrate the feasibility and effectiveness of our improved design approach for multiple users.

[1]  Laurence T. Yang,et al.  Energy-Efficient Dynamic Network Selection in Heterogeneous Wireless Networks , 2013, 2013 IEEE International Conference on Green Computing and Communications and IEEE Internet of Things and IEEE Cyber, Physical and Social Computing.

[2]  Kalyanmoy Deb,et al.  A fast and elitist multiobjective genetic algorithm: NSGA-II , 2002, IEEE Trans. Evol. Comput..

[3]  Andy D. Pimentel,et al.  A systematic approach to exploring embedded system architectures at multiple abstraction levels , 2006, IEEE Transactions on Computers.

[4]  Patricio A. Vela,et al.  Automated Behavioral Mapping for Monitoring Social Interactions among Older Adults , 2012, ICSR.

[5]  Petru Eles,et al.  Automatic parallelization of a Petri net-based design representation for high-level synthesis , 1996, Proceedings of EUROMICRO 96. 22nd Euromicro Conference. Beyond 2000: Hardware and Software Design Strategies.

[6]  Brian P. Bailey,et al.  Towards a pervasive computing benchmark , 2005, Third IEEE International Conference on Pervasive Computing and Communications Workshops.

[7]  O. Khan,et al.  ACM Transactions on Embedded Computing Systems continued on back cover , 2018 .

[8]  Dirk P. Kroese,et al.  Simulation and the Monte Carlo Method (Wiley Series in Probability and Statistics) , 1981 .

[9]  Minyi Guo,et al.  HyperspaceFlow: A System-Level Design Methodology for Smart Space , 2016, IEEE Transactions on Emerging Topics in Computing.

[10]  D LaneNicholas,et al.  The Rise of People-Centric Sensing , 2008 .

[11]  Zoran A. Salcic,et al.  System-level approach to the design of a smart distributed surveillance system using systemj , 2012, TECS.

[12]  Rami G. Melhem,et al.  The effects of energy management on reliability in real-time embedded systems , 2004, IEEE/ACM International Conference on Computer Aided Design, 2004. ICCAD-2004..

[13]  Leslie Lamport,et al.  Time, clocks, and the ordering of events in a distributed system , 1978, CACM.

[14]  Gary B. Lamont,et al.  Evolutionary Algorithms for Solving Multi-Objective Problems (Genetic and Evolutionary Computation) , 2006 .

[15]  Carl Hewitt,et al.  A Universal Modular ACTOR Formalism for Artificial Intelligence , 1973, IJCAI.

[16]  Paul Lukowicz,et al.  A systematic approach to the design of distributed wearable systems , 2004, IEEE Transactions on Computers.

[17]  Frank Dürr,et al.  On location models for ubiquitous computing , 2004, Personal and Ubiquitous Computing.

[18]  C. Monti,et al.  Path Loss Models for IEEE 802.11a Wireless Local Area Networks , 2006, 2006 3rd International Symposium on Wireless Communication Systems.

[19]  Wayne H. Wolf,et al.  Communication synthesis for distributed embedded systems , 1995, ICCAD.

[20]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[21]  Alexander V. Smirnov,et al.  Multi-level Self-organization in Cyber-Physical-Social Systems: Smart Home Cleaning Scenario☆ , 2015 .

[22]  Rainer Fehling,et al.  A Concept of Hierarchical Petri Nets with Building Blocks , 1991, Applications and Theory of Petri Nets.

[23]  Luca P. Carloni,et al.  Synthesis of Distributed Execution Platforms for Cyber-Physical Systems with Applications to High-Performance Buildings , 2011, 2011 IEEE/ACM Second International Conference on Cyber-Physical Systems.

[24]  Reuven Y. Rubinstein,et al.  Simulation and the Monte Carlo method , 1981, Wiley series in probability and mathematical statistics.

[25]  Eric Paulos,et al.  Participatory sensing in public spaces: activating urban surfaces with sensor probes , 2010, Conference on Designing Interactive Systems.

[26]  Gary B. Lamont,et al.  Evolutionary Algorithms for Solving Multi-Objective Problems , 2002, Genetic Algorithms and Evolutionary Computation.

[27]  Zhaohui Wu,et al.  An Intensive Location-Aware Framework for Device-Involved Human Tasks , 2013, 2013 IEEE 10th International Conference on High Performance Computing and Communications & 2013 IEEE International Conference on Embedded and Ubiquitous Computing.

[28]  Amit P. Sheth,et al.  Physical-Cyber-Social Computing: An Early 21st Century Approach , 2013, IEEE Intelligent Systems.

[29]  Mo Li,et al.  How Long to Wait? Predicting Bus Arrival Time With Mobile Phone Based Participatory Sensing , 2012, IEEE Transactions on Mobile Computing.

[30]  Urs Bischoff,et al.  A Compiler for the Smart Space , 2007, AmI.

[31]  Rami Melhem,et al.  The effects of energy management on reliability in real-time embedded systems , 2004, ICCAD 2004.

[32]  Christian Becker,et al.  A survey of proactive pervasive computing , 2014, UbiComp Adjunct.

[33]  C. Ramchandani,et al.  Analysis of asynchronous concurrent systems by timed petri nets , 1974 .

[34]  Udaykumar Naik,et al.  Adaptive Empirical Path Loss Prediction Models for Indoor WLAN , 2014, Wirel. Pers. Commun..

[35]  Alberto L. Sangiovanni-Vincentelli,et al.  Quo Vadis, SLD? Reasoning About the Trends and Challenges of System Level Design , 2007, Proceedings of the IEEE.

[36]  Fei-Yue Wang,et al.  The Emergence of Intelligent Enterprises: From CPS to CPSS , 2010, IEEE Intelligent Systems.