{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T19:12:41Z","timestamp":1760209961070,"version":"build-2065373602"},"reference-count":50,"publisher":"MDPI AG","issue":"11","license":[{"start":{"date-parts":[[2017,11,9]],"date-time":"2017-11-09T00:00:00Z","timestamp":1510185600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Sensors"],"abstract":"<jats:p>Cyber Physical Systems (CPSs) need to interact with the changeable environment under various interferences. To provide continuous and high quality services, a self-managed CPS should automatically reconstruct itself to adapt to these changes and recover from failures. Such dynamic adaptation behavior introduces systemic challenges for CPS design, advice evaluation and decision process arrangement. In this paper, a formal compositional framework is proposed to systematically improve the dependability of the decision process. To guarantee the consistent observation of event orders for causal reasoning, this work first proposes a relative time-based method to improve the composability and compositionality of the timing property of events. Based on the relative time solution, a formal reference framework is introduced for self-managed CPSs, which includes a compositional FSM-based actor model (subsystems of CPS), actor-based advice and runtime decomposable decisions. To simplify self-management, a self-similar recursive actor interface is proposed for decision (actor) composition. We provide constraints and seven patterns for the composition of reliability and process time requirements. Further, two decentralized decision process strategies are proposed based on our framework, and we compare the reliability with the static strategy and the centralized processing strategy. The simulation results show that the one-order feedback strategy has high reliability, scalability and stability against the complexity of decision and random failure. This paper also shows a way to simplify the evaluation for dynamic system by improving the composability and compositionality of the subsystem.<\/jats:p>","DOI":"10.3390\/s17112580","type":"journal-article","created":{"date-parts":[[2017,11,9]],"date-time":"2017-11-09T11:33:02Z","timestamp":1510227182000},"page":"2580","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["A Decentralized Compositional Framework for Dependable Decision Process in Self-Managed Cyber Physical Systems"],"prefix":"10.3390","volume":"17","author":[{"given":"Peng","family":"Zhou","sequence":"first","affiliation":[{"name":"School of Computer Science and Technology, Harbin Institute of Technology, Harbin 150001, China"},{"name":"LIMOS, UMR 6158 CNRS, Universit\u00e9 Clermont Auvergne, BP 10125, 63173 Aubi\u00e8re CEDEX, France"}]},{"given":"Decheng","family":"Zuo","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Harbin Institute of Technology, Harbin 150001, China"}]},{"given":"Kun-Mean","family":"Hou","sequence":"additional","affiliation":[{"name":"LIMOS, UMR 6158 CNRS, Universit\u00e9 Clermont Auvergne, BP 10125, 63173 Aubi\u00e8re CEDEX, France"}]},{"given":"Zhan","family":"Zhang","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Harbin Institute of Technology, Harbin 150001, China"}]}],"member":"1968","published-online":{"date-parts":[[2017,11,9]]},"reference":[{"key":"ref_1","doi-asserted-by":"crossref","first-page":"1645","DOI":"10.1016\/j.future.2013.01.010","article-title":"Internet of Things (IoT): A vision, architectural elements, and future directions","volume":"29","author":"Gubbi","year":"2013","journal-title":"Future Gener. Comput. Syst."},{"key":"ref_2","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1109\/MCC.2016.5","article-title":"Forensic-by-design framework for cyber-physical cloud systems","volume":"3","author":"Glisson","year":"2016","journal-title":"IEEE Cloud Comput."},{"key":"ref_3","doi-asserted-by":"crossref","unstructured":"Zhou, P., Kunmean, H., Zhang, Z., Zuo, D., Dong, J., Li, J., and Zhou, H. (2017). A Comprehensive Technological Survey on Dependable Self-Managing CPS: The Decade of Researches on Correctness and Dependability. Preprints, 2017070044.","DOI":"10.20944\/preprints201707.0044.v1"},{"key":"ref_4","first-page":"4242","article-title":"A Survey on Concepts, Applications, and Challenges in Cyber-Physical Systems","volume":"8","author":"Gunes","year":"2014","journal-title":"KSII Trans. Internet Inf. Syst. (TIIS)"},{"key":"ref_5","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1109\/MS.2001.936213","article-title":"Using simplicity to control complexity","volume":"18","author":"Sha","year":"2001","journal-title":"IEEE Softw."},{"key":"ref_6","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1109\/MC.2009.326","article-title":"MODELS@ RUN.TIME","volume":"42","author":"Blair","year":"2009","journal-title":"Computer"},{"key":"ref_7","unstructured":"Rammig, F.J. (2004, January 14). Autonomic Distributed Real-Time Systems: Challenges and Solutions. Proceedings of the Seventh IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, Vienna, Austria."},{"key":"ref_8","doi-asserted-by":"crossref","unstructured":"Nelaturi, S., de Kleer, J., and Shapiro, V. (2016, January 12\u201316). Combinatorial Models for Heterogeneous System Composition and Analysis. Proceedings of the IEEE 2016 11th Systems of System Engineering Conference (SOSE), Kongsberg, Norway.","DOI":"10.1109\/SYSOSE.2016.7542952"},{"key":"ref_9","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/j.scico.2004.05.014","article-title":"Composition for component-based modeling","volume":"55","author":"Sifakis","year":"2005","journal-title":"Sci. Comput. Programm."},{"key":"ref_10","doi-asserted-by":"crossref","unstructured":"Kephart, J.O. (2005, January 15\u201321). Research challenges of autonomic computing. Proceedings of the ICSE 05: 27th International Conference on Software Engineering, Saint Louis, MO, USA.","DOI":"10.1145\/1062455.1062464"},{"key":"ref_11","unstructured":"IBM (2017, November 05). An Architectural Blueprint for Autonomic Computing. Available online: http:\/\/www-03.ibm.com\/autonomic\/pdfs\/AC%20Blueprint%20White%20Paper%20V7.pdf."},{"key":"ref_12","doi-asserted-by":"crossref","unstructured":"Ding, M., Chen, H., Sharma, A., Yoshihira, K., and Jiang, G. (2013, January 8\u201311). A data analytic engine towards self-management of cyber-physical systems. Proceedings of the 2013 IEEE 33rd International Conference on Distributed Computing Systems Workshops (ICDCSW), Philadelphia, PA, USA.","DOI":"10.1109\/ICDCSW.2013.45"},{"key":"ref_13","unstructured":"Chun, I., Park, J., Kim, W., Kang, W., Lee, H., and Park, S. (2010, January 7\u201310). Autonomic computing technologies for cyber-physical systems. Proceedings of the 2010 12th International Conference on Advanced Communication Technology (ICACT), Phoenix Park, Korea."},{"key":"ref_14","doi-asserted-by":"crossref","first-page":"587","DOI":"10.1007\/s10586-014-0414-8","article-title":"An autonomic control system for high-reliable CPS","volume":"18","author":"Park","year":"2015","journal-title":"Clust. Comput."},{"key":"ref_15","doi-asserted-by":"crossref","unstructured":"Wan, K., and Alagar, V. (2014, January 24\u201327). Achieving dependability of cyber physical systems with autonomic covering. Proceedings of the 2014 IEEE 12th International Conference on Dependable, Autonomic and Secure Computing (DASC), Dalian, China.","DOI":"10.1109\/DASC.2014.34"},{"key":"ref_16","unstructured":"Warriach, E.U., Ozcelebi, T., and Lukkien, J.J. (July, January 30). Self-* Properties in Smart Environments: Requirements and Performance Metrics. Proceedings of the Intelligent Environments (Workshops), Shanghai, China."},{"key":"ref_17","doi-asserted-by":"crossref","unstructured":"Cheng, B.H.C., DeLemos, R., Giese, H., Inverardi, P., and Magee, J. (2009). Software Engineering for Self-Adaptive Systems: A Research Roadmap. Software Engineering for Self-Adaptive Systems, Springer.","DOI":"10.1007\/978-3-642-02161-9"},{"key":"ref_18","doi-asserted-by":"crossref","unstructured":"Gurgen, L., Gunalp, O., Benazzouz, Y., and Gallissot, M. (2013, January 18\u201322). Self-aware cyber-physical systems and applications in smart buildings and cities. Proceedings of the Conference on Design, Automation and Test in Europe, Grenoble, France.","DOI":"10.7873\/DATE.2013.240"},{"key":"ref_19","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/s00607-010-0107-y","article-title":"A survey on self-healing systems: Approaches and systems","volume":"91","author":"Psaier","year":"2011","journal-title":"Computing"},{"key":"ref_20","unstructured":"Broman, D., Zimmer, M., Kim, Y., Kim, H., Cai, J., Shrivastava, A., Edwards, S.A., and Lee, E.A. (June, January 31). Precision timed infrastructure: Design challenges. Proceedings of the Electronic System Level Synthesis Conference (ESLsyn), Austin, TX, USA."},{"key":"ref_21","first-page":"389","article-title":"Temporal issues in cyber-physical systems","volume":"93","author":"Broman","year":"2013","journal-title":"J. Indian Inst. Sci."},{"key":"ref_22","doi-asserted-by":"crossref","first-page":"750","DOI":"10.1109\/TCAD.2016.2527702","article-title":"A Formal Approach to Power Optimization in CPSs With Delay-Workload Dependence Awareness","volume":"35","author":"An","year":"2016","journal-title":"IEEE Trans. Comput. Aided Des. Integr. Circ. Syst."},{"key":"ref_23","doi-asserted-by":"crossref","first-page":"4134","DOI":"10.3390\/s150204134","article-title":"Efficient evaluation of wireless real-time control networks","volume":"15","author":"Horvath","year":"2015","journal-title":"Sensors"},{"key":"ref_24","doi-asserted-by":"crossref","first-page":"1077","DOI":"10.1007\/s00165-013-0289-0","article-title":"A formal framework for service modeling and prototyping","volume":"26","author":"Riccobene","year":"2014","journal-title":"Formal Asp. Comput."},{"key":"ref_25","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1145\/2835260.2835262","article-title":"Modeling and validating self-adaptive service-oriented applications","volume":"15","author":"Arcaini","year":"2015","journal-title":"ACM SIGAPP Appl. Comput. Rev."},{"key":"ref_26","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1016\/j.future.2015.09.013","article-title":"Logic-based modeling of information transfer in cyber-physical multi-agent systems","volume":"56","author":"Kroiss","year":"2016","journal-title":"Future Gener. Comput. Syst. Int. J. Escience"},{"key":"ref_27","doi-asserted-by":"crossref","unstructured":"Mashkoor, A., and Hasan, O. (2012, January 18\u201321). Formal probabilistic analysis of cyber-physical transportation systems. Proceedings of the International Conference on Computational Science and Its Applications, Salvador de Bahia, Brazil.","DOI":"10.1007\/978-3-642-31137-6_32"},{"key":"ref_28","unstructured":"Bernstein, D.S., Amato, C., Hansen, E.A., and Zilberstein, S. (2014). Policy Iteration for Decentralized Control of Markov Decision Processes. arXiv."},{"key":"ref_29","doi-asserted-by":"crossref","unstructured":"Omidshafiei, S., Agha-Mohammadi, A.-A., Amato, C., and How, J.P. (2015, January 26\u201330). Decentralized control of partially observable markov decision processes using belief space macro-actions. Proceedings of the 2015 IEEE International Conference on Robotics and Automation (ICRA), Seattle, WA, USA.","DOI":"10.1109\/ICRA.2015.7140035"},{"key":"ref_30","doi-asserted-by":"crossref","unstructured":"Brizzi, P., Conzon, D., Khaleel, H., Tomasi, R., Pastrone, C., Spirito, A., Knechtel, M., Pramudianto, F., and Cultrona, P. (2013, January 10\u201313). Bringing the Internet of Things along the manufacturing line: A case study in controlling industrial robot and monitoring energy consumption remotely. Proceedings of the 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA), Cagliari, Italy.","DOI":"10.1109\/ETFA.2013.6647947"},{"key":"ref_31","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1016\/j.jss.2016.08.088","article-title":"Distributed architecture for developing mixed-criticality systems in multi-core platforms","volume":"123","author":"Perez","year":"2017","journal-title":"J. Syst. Softw."},{"key":"ref_32","doi-asserted-by":"crossref","unstructured":"Lohstroh, M., and Lee, E.A. (2015). An interface theory for the internet of things. Software Engineering and Formal Methods, Springer.","DOI":"10.1007\/978-3-319-22969-0_2"},{"key":"ref_33","doi-asserted-by":"crossref","first-page":"1142","DOI":"10.1109\/JPROC.2015.2509498","article-title":"Cyber-Physical Systems for Open-Knowledge-Driven Manufacturing Execution Systems","volume":"104","author":"Iarovyi","year":"2016","journal-title":"Proc. IEEE"},{"key":"ref_34","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1109\/JPROC.2011.2161529","article-title":"Toward a science of cyber\u2013physical system integration","volume":"100","author":"Sztipanovits","year":"2011","journal-title":"Proc. IEEE"},{"key":"ref_35","doi-asserted-by":"crossref","first-page":"2104","DOI":"10.1109\/JPROC.2015.2453253","article-title":"A platform-based design methodology with contracts and related tools for the design of cyber-physical systems","volume":"103","author":"Nuzzo","year":"2015","journal-title":"Proc. IEEE"},{"key":"ref_36","unstructured":"Chen, T., Chilton, C., Jonsson, B., and Kwiatkowska, M. (April, January 24). A compositional specification theory for component behaviours. Proceedings of the European Symposium on Programming;, Tallinn, Estonia."},{"key":"ref_37","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1145\/2752801.2752805","article-title":"Towards compositionality in execution time analysis: Definition and challenges","volume":"12","author":"Hahn","year":"2015","journal-title":"ACM SIGBED Rev."},{"key":"ref_38","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1145\/2885752","article-title":"Contract-Based Requirement Modularization via Synthesis of Correct Decompositions","volume":"15","author":"Le","year":"2016","journal-title":"ACM Trans. Embed. Comput. Syst."},{"key":"ref_39","doi-asserted-by":"crossref","unstructured":"Esteve, M.A., Katoen, J.P., Nguyen, V.Y., Postma, B., and Yushtein, Y. (2012, January 2\u20139). Formal Correctness, Safety, Dependability, and Performance Analysis of a Satellite. Proceedings of the 34th International Conference on Software Engineering, Zurich, Switzerland.","DOI":"10.1109\/ICSE.2012.6227118"},{"key":"ref_40","doi-asserted-by":"crossref","unstructured":"Crenshaw, T.L., Gunter, E., Robinson, C.L., Sha, L., and Kumar, P. (2007, January 3\u20136). The simplex reference model: Limiting fault-propagation due to unreliable components in cyber-physical system architectures. Proceedings of the 28th IEEE International Real-Time Systems Symposium 2007 (RTSS 2007), Tucson, AZ, USA.","DOI":"10.1109\/RTSS.2007.34"},{"key":"ref_41","doi-asserted-by":"crossref","unstructured":"Ghezzi, C. (2016). Dependability of Adaptable and Evolvable Distributed Systems. Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems, Springer.","DOI":"10.1007\/978-3-319-34096-8_2"},{"key":"ref_42","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1145\/1506409.1506426","article-title":"Computing needs time","volume":"52","author":"Lee","year":"2009","journal-title":"Commun. ACM"},{"key":"ref_43","unstructured":"Eidson, J., Lee, E.A., Matic, S., Seshia, S.A., and Zou, J. (2010, January 4). A time-centric model for cyber-physical applications. Proceedings of the Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB), Oslo, Norway."},{"key":"ref_44","doi-asserted-by":"crossref","first-page":"1352","DOI":"10.1109\/TAC.2010.2089210","article-title":"Fundamental limits on synchronizing clocks over networks","volume":"56","author":"Freris","year":"2011","journal-title":"IEEE Trans. Autom. Control"},{"key":"ref_45","doi-asserted-by":"crossref","first-page":"960","DOI":"10.1109\/JPROC.2015.2510366","article-title":"Compositionality in the science of system design","volume":"104","author":"Tripakis","year":"2016","journal-title":"Proc. IEEE"},{"key":"ref_46","doi-asserted-by":"crossref","unstructured":"Gros, C. (2013). Cellular Automata and Self-Organized Criticality. Complex and Adaptive Dynamical Systems, Springer.","DOI":"10.1007\/978-3-642-36586-7"},{"key":"ref_47","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1145\/2442116.2442133","article-title":"Compositionality in Synchronous Data Flow: Modular Code Generation from Hierarchical SDF Graphs","volume":"12","author":"Tripakis","year":"2013","journal-title":"ACM Trans. Embed. Comput. Syst."},{"key":"ref_48","doi-asserted-by":"crossref","unstructured":"Falk, J., Keinert, J., Haubelt, C., Teich, J., and Bhattacharyya, S.S. (2008, January 19\u201324). A Generalized Static Data Flow Clustering Algorithm for MPSoC Scheduling of Multimedia Applications. Proceedings of the 8th ACM International Conference on Embedded Software, Atlanta, GA, USA.","DOI":"10.1145\/1450058.1450084"},{"key":"ref_49","doi-asserted-by":"crossref","unstructured":"Taylor, Z., and Ranganathan, S. (2013). Designing High Availability Systems: DFSS and Classical Reliability Techniques with Practical Real Life Examples, John Wiley & Sons.","DOI":"10.1002\/9781118739853"},{"key":"ref_50","unstructured":"Zhou, P., Zuo, D.-C., Hou, K.-M., Zhang, Z., and Shi, H.-L. (2016, January 10\u201311). A Light-weight Multilevel Recoverable Container for Event-driven System: A Self-healing CPS Approach. Proceedings of the 3rd International Conference on Wireless Communication and Sensor Network, Wuhan, China."}],"container-title":["Sensors"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/1424-8220\/17\/11\/2580\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T18:48:42Z","timestamp":1760208522000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/1424-8220\/17\/11\/2580"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11,9]]},"references-count":50,"journal-issue":{"issue":"11","published-online":{"date-parts":[[2017,11]]}},"alternative-id":["s17112580"],"URL":"https:\/\/doi.org\/10.3390\/s17112580","relation":{},"ISSN":["1424-8220"],"issn-type":[{"type":"electronic","value":"1424-8220"}],"subject":[],"published":{"date-parts":[[2017,11,9]]}}}