Design Lifecycle for Secure Cyber-Physical Systems based on Embedded Devices

被引：0
|
作者：
Levshun, Dmitry [1 ]
Chechulin, Andrey
Kotenko, Igor
机构：
[1] Russian Acad Sci SPIIRAS, St Petersburg Inst Informat & Automat, 39,14th Liniya, St Petersburg, Russia
来源：
PROCEEDINGS OF THE 2017 9TH IEEE INTERNATIONAL CONFERENCE ON INTELLIGENT DATA ACQUISITION AND ADVANCED COMPUTING SYSTEMS: TECHNOLOGY AND APPLICATIONS (IDAACS), VOL 1 | 2017年
关键词：
cyber-physical systems; embedded devices; design of secure cyber-physical systems; security of embedded devices systems;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
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 cyberphysical security system.
引用
收藏
页码：277 / 282
页数：6
相关论文
共 50 条
  • [1] Design Space Exploration for Secure IoT Devices and Cyber-Physical Systems
    Gressl, Lukas
    Steger, Christian
    Neffe, Ulrich
    [J]. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2021, 20 (04)
  • [2] Analysis and design of secure cyber-physical systems
    Ling SHI
    [J]. Control Theory and Technology, 2014, 12 (04) : 413 - 414
  • [3] Design and Operation of Secure Cyber-Physical Systems
    Pasqualetti, Fabio
    Zhu, Qi
    [J]. IEEE EMBEDDED SYSTEMS LETTERS, 2015, 7 (01) : 3 - 6
  • [4] Analysis and design of secure cyber-physical systems
    Shi L.
    [J]. Control Theory and Technology, 2014, 12 (4) : 413 - 414
  • [5] Optimal sensor design for secure cyber-physical systems
    Belabbas, Mohamed Ali
    Chen, Xudong
    [J]. IFAC PAPERSONLINE, 2019, 52 (20): : 387 - 390
  • [6] The Integrated Model of Secure Cyber-Physical Systems for Their Design and Verification
    Levshun, Dmitry
    Kotenko, Igor
    Chechulin, Andrey
    [J]. INTELLIGENT DISTRIBUTED COMPUTING XIII, 2020, 868 : 333 - 343
  • [7] Safe and secure cyber-physical systems
    Biro, Miklos
    Mashkoor, Atif
    Sametinger, Johannes
    [J]. JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, 2021, 33 (09)
  • [8] Design and Verification Methodology for Secure and Distributed Cyber-Physical Systems
    Levshun, Dmitry
    Chechulin, Andrey
    Kotenko, Igor
    Chevalier, Yannick
    [J]. 2019 10TH IFIP INTERNATIONAL CONFERENCE ON NEW TECHNOLOGIES, MOBILITY AND SECURITY (NTMS), 2019,
  • [9] Towards a Methodology to Design Provably Secure Cyber-Physical Systems
    Malaquias, Felipe Lisboa
    Giantamidis, Georgios
    Basagiannis, Stylianos
    Rollini, Simone Fulvio
    Amundson, Isaac
    [J]. Ada User Journal, 2023, 44 (02): : 146 - 151
  • [10] Cyber LOPA: An Integrated Approach for the Design of Dependable and Secure Cyber-Physical Systems
    Tantawy, Ashraf
    Abdelwahed, Sherif
    Erradi, Abdelkarim
    [J]. IEEE TRANSACTIONS ON RELIABILITY, 2022, 71 (02) : 1075 - 1091
12345