Automatic Generation of Workflows for Efficient Design Space Exploration for Cyber-Physical Systems

被引:2
|
作者
Vanommeslaeghe, Yon [1 ,2 ]
Denil, Joachim [1 ,2 ]
Van Acker, Bert [1 ,2 ]
De Meulenaere, Paul [1 ,2 ]
机构
[1] Univ Antwerp, Cosys Lab FTI, Antwerp, Belgium
[2] Flanders Make, AnSyMo Cosys, Lommel, Belgium
来源
IEEE CONGRESS ON CYBERMATICS / 2021 IEEE INTERNATIONAL CONFERENCES ON INTERNET OF THINGS (ITHINGS) / IEEE GREEN COMPUTING AND COMMUNICATIONS (GREENCOM) / IEEE CYBER, PHYSICAL AND SOCIAL COMPUTING (CPSCOM) / IEEE SMART DATA (SMARTDATA) | 2021年
关键词
cyber-physical systems; co-design; design space exploration; domain knowledge; ontologies;
D O I
10.1109/iThings-GreenCom-CPSCom-SmartData-Cybermatics53846.2021.00062
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
As cyber-physical systems become more complex, the engineering domains involved in their design become more and more intertwined. In these situations, a traditional (sequential) design process becomes inefficient in finding good design options, likely requiring multiple (costly) iterations to arrive at a good overall design. Instead, an integrated approach is desired where design variables in multiple different engineering domains can be chosen, evaluated, and optimized to achieve a good overall solution. However, in such an integrated approach, the combined design space becomes vast. As such, an efficient design space exploration (DSE) workflow is needed to minimize the computation time required to find good solutions. In the current paper, we present an approach to automatically determine efficient design space exploration workflows for engineering problems involving multiple engineering domains, such as mechatronics. We do this by explicitly capturing and modeling the relationships between system properties across different engineering domains. We then use this information to generate a set of possible DSE workflows. We also present a method for evaluating these generated workflows based on the expected computation time required to execute them. We demonstrate this approach using a simple example case study and compare the automatically determined DSE workflow to a previously manually determined workflow.
引用
收藏
页码:346 / 351
页数:6
相关论文
共 50 条
  • [21] Toward a framework for self-adaptive workflows in cyber-physical systems
    Ronny Seiger
    Steffen Huber
    Peter Heisig
    Uwe Aßmann
    Software & Systems Modeling, 2019, 18 : 1117 - 1134
  • [22] Automatic identification of integrity attacks in cyber-physical systems
    Ntalampiras, Stavros
    EXPERT SYSTEMS WITH APPLICATIONS, 2016, 58 : 164 - 173
  • [23] Efficient Exploration of Cyber-Physical System Architectures Using Contracts and Subgraph Isomorphism
    Xiao, Yifeng
    Oh, Chanwook
    Lorat, Michele
    Nuzzo, Pierluigi
    2024 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION, DATE, 2024,
  • [24] Requirements-Aided Automatic Test case Generation for Industrial Cyber-Physical Systems
    Sinha, Roopak
    Pang, Cheng
    Martinez, Gerardo Santillan
    Kuronen, Juha
    Vyatkin, Valeriy
    2015 20TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2015, : 198 - 201
  • [25] A search-based framework for automatic generation of testing environments for cyber-physical systems
    Humeniuk, Dmytro
    Khomh, Foutse
    Antoniol, Giuliano
    INFORMATION AND SOFTWARE TECHNOLOGY, 2022, 149
  • [26] METROII: A Design Environment for Cyber-Physical Systems
    Davare, Abhijit
    Densmore, Douglas
    Guo, Liangpeng
    Passerone, Roberto
    Sangiovanni-Vincentelli, Alberto L.
    Simalatsar, Alena
    Zhu, Qi
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2013, 12
  • [27] Metamodelling for Design of Mechatronic and Cyber-Physical Systems
    Pietrusewicz, Krzysztof
    APPLIED SCIENCES-BASEL, 2019, 9 (03):
  • [28] Towards a Science of Cyber-Physical Systems Design
    Bogdan, Paul
    Marculescu, Radu
    2011 ACM/IEEE SECOND INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS (ICCPS 2011), 2011, : 99 - 108
  • [29] Data space randomization for securing cyber-physical systems
    Bradley Potteiger
    Feiyang Cai
    Zhenkai Zhang
    Xenofon Koutsoukos
    International Journal of Information Security, 2022, 21 : 597 - 610
  • [30] Data space randomization for securing cyber-physical systems
    Potteiger, Bradley
    Cai, Feiyang
    Zhang, Zhenkai
    Koutsoukos, Xenofon
    INTERNATIONAL JOURNAL OF INFORMATION SECURITY, 2022, 21 (03) : 597 - 610