Leveraging Domain Knowledge for the Efficient Design-Space Exploration of Advanced Cyber-Physical Systems

Author(s):  
Yon Vanommeslaeghe ◽  
Joachim Denil ◽  
Jasper De Viaene ◽  
David Ceulemans ◽  
Stijn Derammelaere ◽  
...  
2019 ◽  
Vol 15 (2) ◽  
pp. 1094-1104 ◽  
Author(s):  
Yong Xie ◽  
Gang Zeng ◽  
Ryo Kurachi ◽  
Hiroaki Takada ◽  
Guoqi Xie

2021 ◽  
Vol 20 (4) ◽  
pp. 1-24
Author(s):  
Lukas Gressl ◽  
Christian Steger ◽  
Ulrich Neffe

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, mainly 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, such as power consumption, and performance increases the number of design choices a system designer must consider. As the various constraints are often conflicting with each other, designers face the complex task of balancing them. System designers facilitate Design Space Exploration (DSE) tools to support a system designer in this job. However, available DSE tools only offer a limited way of considering security constraints during the design process. In this article, 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 a secure IoT device or CPS. Our framework’s functionality and its benefits are shown based on the design of a secure sensor system.


2020 ◽  
Vol 19 (3) ◽  
pp. 1-29
Author(s):  
Saurav Kumar Ghosh ◽  
Jaffer Sheriff R C ◽  
Vibhor Jain ◽  
Soumyajit Dey

2021 ◽  
pp. 104151
Author(s):  
Yon Vanommeslaeghe ◽  
Joachim Denil ◽  
Jasper De Viaene ◽  
David Ceulemans ◽  
Stijn Derammelaere ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document