Design lifecycle for secure cyber-physical systems based on embedded devices
Dmitry Sergeevich Levshun, Andrey Alexeevich Chechulin, Igor Vitalievich Kotenko · 2017
The paper is devoted to the issues of design of secure cyber-physical systems based on embedded devices. It aims to develop a generalized approach to the design of secure systems based on embedded devices. Current approaches to design secure software and embedded devices are analyzed. The design lifecycle for secure embedded devices system is proposed. Advantages and disadvantages of the approach are analyzed. The correctness of design lifecycle for secure embedded devices systems is validated by its use in the development of the integrated cyber-physical security system.