Abstract
The paper describes a new technique for the design of abstract models of microcontroller-based physical security systems. Under the abstract model of the system, this work considers an abstract representation of the system, the design of which is carried out based on abstract elements such as electronic components, microcontrollers and single-board computers. Physical security systems were chosen as an area of application due to the need to ensure not only the functionality of the designed systems, but also to ensure their security against cyber-physical attacks. The novelty of the technique is in taking into account complex dependencies between system elements, namely, their hierarchy, nesting, communications and requirements. Experimental evaluation of the technique was carried out by the design of a secure system of mobile robots for perimeter monitoring. During the experiment, the design time was measured depending on the parameters of the attacker against which system security must be ensured.
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
References
Chechulin, A., Kotenko, I., Desnitsky, V.: An approach for network information flow analysis for systems of embedded components. In: International Conference on Mathematical Methods, Models, and Architectures for Computer Network Security, pp. 146–155. Springer (2012)
Costin, A.: Security of cctv and video surveillance systems: threats, vulnerabilities, attacks, and mitigations. In: Proceedings of the 6th International Workshop on Trustworthy Embedded Devices, pp. 45–54 (2016)
Desnitsky, V., Kotenko, I., Chechulin, A.: Configuration-based approach to embedded device security. In: International Conference on Mathematical Methods, Models, and Architectures for Computer Network Security, pp. 270–285. Springer (2012)
Hasan, M., Anik, M.H., Islam, S.: Microcontroller based smart home system with enhanced appliance switching capacity. In: 2018 Fifth HCT Information Technology Trends (ITT), pp. 364–367. IEEE (2018)
Hasan, M.M., Khan, M.R., Noman, A.T., Rashid, H., Ahmed, N., Reza, S.T.: Design and implementation of a microcontroller based low cost computer numerical control (cnc) plotter using motor driver controller. In: 2019 International Conference on Electrical, Computer and Communication Engineering (ECCE), pp. 1–5. IEEE (2019)
Islam, J., Habiba, U., Kabir, H., Martuza, K.G., Akter, F., Hafiz, F., Haque, M.A.S., Hoq, M., Mannan, M.A.: Design and development of microcontroller based wireless humidity monitor. IOSR J. Electr. Electron. Eng. 13(2), 41–46 (2018)
Kumar, B.D., Srivastava, P., Agrawal, R., Tiwari, V.: Microcontroller based automatic plant irrigation system. Int. Res. J. Eng. Technol. 4(5), 1436–1439 (2017)
Levshun, D., Chevalier, Y., Kotenko, I., Chechulin, A.: Design and verification of a mobile robot based on the integrated model of cyber-physical systems. Simul. Model. Pract. Theory 105, 102151 (2020)
Levshun, D., Kotenko, I., Chechulin, A.: The application of the methodology for secure cyber–physical systems design to improve the semi-natural model of the railway infrastructure. In: Microprocessors and Microsystems, pp. 103482 (2020)
Levshun, D.S., Gaifulina, D.A., Chechulin, A.A., Kotenko, I.V.: Problematic issues of information security of cyber-physical systems. Inf. Autom. 19(5), 1050–1088 (2020)
Tayab, U.B., Yuen, C.W.: Design and implementation of microcontroller based temperature monitoring system. Adv. Res. Des. 30, 1–11 (2017)
Uddin, M.M., Al Mahmud, A., Islam, N.: Design & implementation of a microcontroller based automatic power factor rectification system for different loads. In: 2019 1st International Conference on Advances in Science, Engineering and Robotics Technology (ICASERT), pp. 1–6. IEEE (2019)
Acknowledgements
The reported study was funded by RFBR, project number 19-37-90082.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Levshun, D., Chechulin, A., Kotenko, I. (2022). A Technique for the Design of Abstract Models of Microcontroller-Based Physical Security Systems. In: Camacho, D., Rosaci, D., Sarné, G.M.L., Versaci, M. (eds) Intelligent Distributed Computing XIV. IDC 2021. Studies in Computational Intelligence, vol 1026. Springer, Cham. https://doi.org/10.1007/978-3-030-96627-0_36
Download citation
DOI: https://doi.org/10.1007/978-3-030-96627-0_36
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-96626-3
Online ISBN: 978-3-030-96627-0
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)