Security Driven Design Space Exploration for Embedded Systems

被引:4
|
作者
Gressl, Lukas [1 ]
Steger, Christian [1 ]
Neffe, Ulrich [2 ]
机构
[1] Graz Univ Technol, Inst Tech Informat, Graz, Austria
[2] NXP Semicond Austria GmbH, Gratkorn, Austria
关键词
Cyber Security; Embedded System Design; IoT Systems; industrial CPS; Mixed Criticality Design Space Exploration;
D O I
10.1109/fdl.2019.8876944
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
With the advent of the Internet of Things (IoT) and Cyber Physical Systems (CPS), embedded devices have been gaining importance in our daily lives, as well as industrial processes. Independent of their usage, be it within an IoT system or a CPS, embedded devices are always an attractive target for security attacks, largely due to their continuous network availability and the importance of the data they handle. Thus, the design of such systems requires a thorough consideration of the various security constraints they are liable to. Introducing these security constraints, next to other requirements (e.g. power consumption, performance, etc.), increases the number of design choices that must be taken. As the various constraints are often conflicting each other, designers are faced with the complex task of balancing them. To support a system designer in this job, Design Space Exploration (DSE) tools can be facilitated. However, available DSE tools only offer a limited way of considering security constraints during the design process. In this paper we introduce a novel DSE framework, which allows the consideration of security constraints, in the form of attack scenarios, and attack mitigations, in the form of security tasks. Based on the descriptions of the system's functionality and architecture, possible attacks, and known mitigation techniques, the framework finds the optimal design for an secure IoT device or CPS. Our framework's functionality and its benefits are shown based on the design of a secure sensor system.
引用
收藏
页数:8
相关论文
共 50 条
  • [1] Consideration of Security Attacks in the Design Space Exploration of Embedded Systems
    Gressl, Lukas
    Steger, Christian
    Neffe, Ulrich
    [J]. 2019 22ND EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD), 2019, : 530 - 537
  • [2] Integrating the Security Aspect into Design Space Exploration of Embedded Systems
    Stierand, Ingo
    Malipatlolla, Sunil
    Froeschle, Sibylle
    Stuehring, Alexander
    Henkler, Stefan
    [J]. 2014 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW), 2014, : 371 - 376
  • [3] Constraints-driven design space exploration for distributed embedded systems
    Kuchcinski, K
    [J]. JOURNAL OF SYSTEMS ARCHITECTURE, 2001, 47 (3-4) : 241 - 261
  • [4] A Case for Security-Aware Design-Space Exploration of Embedded Systems
    Pimentel, Andy D.
    [J]. JOURNAL OF LOW POWER ELECTRONICS AND APPLICATIONS, 2020, 10 (03) : 1 - 12
  • [5] A literature review on security-aware design space exploration approaches for embedded systems
    Boutekkouk, Fateh
    [J]. International Journal of Security and Networks, 2022, 17 (04) : 247 - 268
  • [6] Model-Driven Design-Space Exploration for Embedded Systems: The Octopus Toolset
    Basten, Twan
    van Benthum, Emiel
    Geilen, Marc
    Hendriks, Martijn
    Houben, Fred
    Igna, Georgeta
    Reckers, Frans
    de Smet, Sebastian
    Somers, Lou
    Teeselink, Egbert
    Trcka, Nikola
    Vaandrager, Frits
    Verriet, Jacques
    Voorhoeve, Marc
    Yang, Yang
    [J]. LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT I, 2010, 6415 : 90 - 105
  • [7] Analytical design space exploration of caches for embedded systems
    Ghosh, A
    Givargis, T
    [J]. DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, PROCEEDINGS, 2003, : 650 - 655
  • [8] Design space exploration of reliable networked embedded systems
    Streichert, Thilo
    Glass, Michael
    Haubelt, Christian
    Teich, Juergen
    [J]. JOURNAL OF SYSTEMS ARCHITECTURE, 2007, 53 (10) : 751 - 763
  • [9] Methodologies and tools for the design space exploration of embedded systems
    Vega-Rodriguez, Miguel A.
    [J]. JOURNAL OF SYSTEMS ARCHITECTURE, 2014, 60 (01) : 53 - 54
  • [10] Modular design space exploration framework for embedded systems
    Künzli, S
    Thiele, L
    Zitzler, E
    [J]. IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 2005, 152 (02): : 183 - 192