Improving the Dependability of Self-Adaptive Cyber Physical System With Formal Compositional Contract

To adapt to the uncertain environment smartly and timely, cyber physical systems (CPSs) have to interact with the physical world in a decentralized but rigorous, organized way. Guaranteeing the timing reliability is key to achieve consensus on the order of distributed events, as well as dependable cooperative decision processing. Based on our hierarchically decentralized compositional self-adaptive framework, we propose a formal compositional reliability-contract-based solution to guarantee the timing reliability of event observation and decision processing in a large-scale, geographically distributed CPS. As the prophetic decision may not fit the local situation well because of the uncertainties, we propose a gradual contract optimization solution to refine the dependability, timeliness, and energy consumption. Following the seven proposed composition schemes, we employ the nondominated sorting genetic algorithm II (NSGA-II) algorithm to optimize arrangement of decision. Moreover, a topology-aware time reserving solution is applied to improve the resilience of processing time and to tolerance timing failures. Both simulation results and real-world testing are introduced to evaluate the efficacy of our proposal. We believe that the formal compositional contract will be a competitive CPS solution to analyze requirements and optimize the self-adaptation decision at runtime.

[1]  Edsger W. Dijkstra,et al.  A note on two problems in connexion with graphs , 1959, Numerische Mathematik.

[2]  Lorna Uden,et al.  Study on Selfish Node Incentive Mechanism with a Forward Game Node in Wireless Sensor Networks , 2017 .

[3]  Hui Liu,et al.  Lattice hydrodynamic model based traffic control: A transportation cyber–physical system approach , 2016 .

[4]  Donald B. Johnson,et al.  Efficient Algorithms for Shortest Paths in Sparse Networks , 1977, J. ACM.

[5]  Jalal Safari,et al.  Multi-objective reliability optimization of series-parallel systems with a choice of redundancy strategies , 2012, Reliab. Eng. Syst. Saf..

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

[7]  Marimuthu Palaniswami,et al.  Internet of Things (IoT): A vision, architectural elements, and future directions , 2012, Future Gener. Comput. Syst..

[8]  Jürgen Beyerer,et al.  Plug & produce by modelling skills and service-oriented orchestration of reconfigurable manufacturing systems , 2015, Autom..

[9]  Panganamala Ramana Kumar,et al.  Fundamental Limits on Synchronizing Clocks Over Networks , 2011, IEEE Transactions on Automatic Control.

[10]  Precision timed infrastructure: Design challenges , 2013, Proceedings of the 2013 Electronic System Level Synthesis Conference (ESLsyn).

[11]  Decheng Zuo,et al.  A Light-weight Multilevel Recoverable Container for Event-driven System: A Self-healing CPS Approach , 2017 .

[12]  Zhan Zhang,et al.  A Decentralized Compositional Framework for Dependable Decision Process in Self-Managed Cyber Physical Systems , 2017, Sensors.

[13]  Jay Lee,et al.  Smart Agents in Industrial Cyber–Physical Systems , 2016, Proceedings of the IEEE.

[14]  Giovanni Sansavini,et al.  Dynamic Defense Resource Allocation for Minimizing Unsupplied Demand in Cyber-Physical Systems Against Uncertain Attacks , 2017, IEEE Transactions on Reliability.

[15]  John Schulman,et al.  Concrete Problems in AI Safety , 2016, ArXiv.

[16]  Ying Liu,et al.  Agent and Cyber-Physical System Based Self-Organizing and Self-Adaptive Intelligent Shopfloor , 2017, IEEE Transactions on Industrial Informatics.

[17]  Qun Li,et al.  A Survey of Fog Computing: Concepts, Applications and Issues , 2015, Mobidata@MobiHoc.

[18]  David Broman,et al.  Temporal Issues in Cyber-Physical Systems , 2013 .

[19]  Hasan Arshad Nasir,et al.  Control of Very-Large Scale Irrigation Networks: A CPS Approach in a Developing-World Setting , 2011 .

[20]  Dianxiang Xu,et al.  Automated Integration Testing Using Logical Contracts , 2016, IEEE Transactions on Reliability.

[21]  Prateek Mishra,et al.  Compiling short‐circuit boolean expressions in one pass , 1981, Softw. Pract. Exp..

[22]  Edward A. Lee,et al.  Cyber-physical system design contracts , 2013, 2013 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).

[23]  Xiaoyan Ma,et al.  Opportunistic communications in WSN using UAV , 2017, 2017 14th IEEE Annual Consumer Communications & Networking Conference (CCNC).

[24]  Xuemin Shen,et al.  Lifetime and Energy Hole Evolution Analysis in Data-Gathering Wireless Sensor Networks , 2016, IEEE Transactions on Industrial Informatics.

[25]  Edward A. Lee,et al.  Design Contracts for Cyber-Physical Systems : Making Timing Assumptions Explicit , 2012 .

[26]  Long Wang,et al.  Recent Advances in Consensus of Multi-Agent Systems: A Brief Survey , 2017, IEEE Transactions on Industrial Electronics.

[27]  Julie A. McCann,et al.  A survey of autonomic computing—degrees, models, and applications , 2008, CSUR.

[28]  Daqiang Zhang,et al.  Cloud-Integrated Cyber-Physical Systems for Complex Industrial Applications , 2015, Mobile Networks and Applications.

[29]  Juan Julián Merelo Guervós,et al.  Pareto-based multi-colony multi-objective ant colony optimization algorithms: an island model proposal , 2013, Soft Comput..

[30]  Jouni Mattila,et al.  Service-oriented approach to fault tolerance in CPSs , 2015, J. Syst. Softw..

[31]  Lars Grunske,et al.  Architecture-Driven Reliability and Energy Optimization for Complex Embedded Systems , 2010, QoSA.