Abstract
This paper considers a new integrated model of secure cyber-physical systems for their design and verification. The suggested integrated model represents cyber-physical systems as a set of building blocks with properties and connections between them. The main challenge to build this model is in consolidating different approaches for modeling of cyber-physical systems in the general integrated approach. The main goal of the suggested general integrated approach is to ensure the transformation from one model to another without losing significant properties of building blocks as well as taking into account emergent properties arising from the interaction of system blocks. The correctness of the model is validated by its use for access control analysis.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Balasubramaniyan, S., Srinivasan, S., Buonopane, F., Subathra, B., Vain, J., Ramaswamy, S.: Design and verification of cyber-physical systems using truetime, evolutionary optimization and UPPAAL. Microprocess. Microsyst. 42, 37–48 (2016)
Canedo, A., Schwarzenbach, E., Faruque, M.A.A.: Context-sensitive synthesis of executable functional models of cyber-physical systems. In: 2013 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), pp. 99–108. IEEE (2013)
Desnitsky, V., Chechulin, A., Kotenko, I., Levshun, D., Kolomeec, M.: Application of a technique for secure embedded device design based on combining security components for creation of a perimeter protection system. In: 2016 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP), pp. 609–616. IEEE (2016)
Hehenberger, P., Vogel-Heuser, B., Bradley, D., Eynard, B., Tomiyama, T., Achiche, S.: Design, modelling, simulation and integration of cyber physical systems: methods and applications. Comput. Ind. 82, 273–289 (2016)
Hu, F., Lu, Y., Vasilakos, A.V., Hao, Q., Ma, R., Patil, Y., Zhang, T., Lu, J., Li, X., Xiong, N.N.: Robust cyber-physical systems: concept, models, and implementation. Future Gener. Comput. Syst. 56, 449–475 (2016)
Levshun, D., Chechulin, A., Kotenko, I.: Design lifecycle for secure cyber-physical systems based on embedded devices. In: 2017 9th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS), vol. 1, pp. 277–282. IEEE (2017)
Nuzzo, P., Sangiovanni-Vincentelli, A.L., Bresolin, D., Geretti, L., Villa, T.: A platform-based design methodology with contracts and related tools for the design of cyber-physical systems. Proc. IEEE 103(11), 2104–2132 (2015)
Penas, O., Plateaux, R., Patalano, S., Hammadi, M.: Multi-scale approach from mechatronic to cyber-physical systems for the design of manufacturing systems. Comput. Ind. 86, 52–69 (2017)
Seiger, R., Keller, C., Niebling, F., Schlegel, T.: Modelling complex and flexible processes for smart cyber-physical environments. J. Comput. Sci. 10, 137–148 (2015)
Srinivasan, S., Buonopane, F., Vain, J., Ramaswamy, S.: Model checking response times in networked automation systems using jitter bounds. Comput. Ind. 74, 186–200 (2015)
Srivastava, A., Morris, T., Ernster, T., Vellaithurai, C., Pan, S., Adhikari, U.: Modeling cyber-physical vulnerability of the smart grid with incomplete information. IEEE Trans. Smart Grid 4(1), 235–244 (2013)
Xinyu, C., Huiqun, Y., Xin, X.: Verification of hybrid Chi model for cyber-physical systems using PHAVer. In: 2013 Seventh International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing, pp. 122–128. IEEE (2013)
Acknowledgements
This research is being partially supported by the grants of the RFBR (projects No. 19-07-01246, 19-37-90082), by the budget (the project No. 0073-2019-0002), and by Government of the Russian Federation (Grant 08-08).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Levshun, D., Kotenko, I., Chechulin, A. (2020). The Integrated Model of Secure Cyber-Physical Systems for Their Design and Verification. In: Kotenko, I., Badica, C., Desnitsky, V., El Baz, D., Ivanovic, M. (eds) Intelligent Distributed Computing XIII. IDC 2019. Studies in Computational Intelligence, vol 868. Springer, Cham. https://doi.org/10.1007/978-3-030-32258-8_39
Download citation
DOI: https://doi.org/10.1007/978-3-030-32258-8_39
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-32257-1
Online ISBN: 978-3-030-32258-8
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)