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 条
  • [31] Design Space Exploration for High Availability drFPGA Based Embedded Systems
    Chakraverty, S.
    Agarwal, Anubhav
    Agarwal, Amogh
    Kumar, Anil
    Sikri, Abhinav
    [J]. ADVANCED MACHINE LEARNING TECHNOLOGIES AND APPLICATIONS, 2012, 322 : 234 - +
  • [32] Towards efficient design space exploration of heterogeneous embedded media systems
    Pimentel, AD
    Polstra, S
    Terpstra, F
    van Halderen, AW
    Coffland, JE
    Hertzberger, LO
    [J]. EMBEDDED PROCESSOR DESIGN CHALLENGES: SYSTEMS, ARCHITECTURES, MODELLING, AND SIMULATION - SAMOS, 2002, 2268 : 57 - 73
  • [33] Design space exploration of embedded systems: A view from diverse domains
    Vega-Rodriguez, Miguel A.
    [J]. JOURNAL OF SYSTEMS ARCHITECTURE, 2013, 59 (10) : 1113 - 1114
  • [34] Design Space Exploration Applied to Security
    Linares, Antoine
    Hely, David
    Lhermet, Frank
    Di Natale, Giorgio
    [J]. 2021 16TH INTERNATIONAL CONFERENCE ON DESIGN & TECHNOLOGY OF INTEGRATED SYSTEMS IN NANOSCALE ERA (DTIS 2021), 2021,
  • [35] Communication Alternatives Exploration in Model-Driven Design of Networked Embedded Systems
    Ebeid, E.
    Fummi, F.
    Quaglia, D.
    [J]. 2013 14TH INTERNATIONAL WORKSHOP ON MICROPROCESSOR TEST AND VERIFICATION (MTV): COMMON CHALLENGES AND SOLUTIONS, 2013, : 45 - 51
  • [36] Data Mining in System-Level Design Space Exploration of Embedded Systems
    Richthammer, Valentina
    Scheinert, Tobias
    Glass, Michael
    [J]. EMBEDDED COMPUTER SYSTEMS: ARCHITECTURES, MODELING, AND SIMULATION, SAMOS 2020, 2020, 12471 : 52 - 66
  • [37] Multi-Variant-based Design Space Exploration for Automotive Embedded Systems
    Graf, Sebastian
    Glass, Michael
    Teich, Juergen
    Lauer, Christoph
    [J]. 2014 DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION (DATE), 2014,
  • [38] Some Issues Concerning Design Space Exploration in Time Predictable Embedded Systems
    Pulka, Andrzej
    Golly, Lukasz
    [J]. 2016 INTERNATIONAL CONFERENCE ON SIGNALS AND ELECTRONIC SYSTEMS (ICSES) PROCEEDINGS, 2016, : 231 - 236
  • [39] Energy Impact in the Design Space Exploration of Loop Buffer Schemes in Embedded Systems
    Artes, Antonio
    Ayala, Jose L.
    Fasthuber, Robert
    Raghavan, Praveen
    Catthoor, Francky
    [J]. 2013 IFIP/IEEE 21ST INTERNATIONAL CONFERENCE ON VERY LARGE SCALE INTEGRATION (VLSI-SOC), 2013, : 216 - 221
  • [40] The COMPLEX methodology for UML/MARTE Modeling and design space exploration of embedded systems
    Herrera, Fernando
    Posadas, Hector
    Penil, Pablo
    Villar, Eugenio
    Ferrero, Francisco
    Valencia, Raul
    Palermo, Gianluca
    [J]. JOURNAL OF SYSTEMS ARCHITECTURE, 2014, 60 (01) : 55 - 78