Rapid Construction of Co-simulations of Cyber-Physical Systems in HLA using a DSL

被引:5
|
作者
Nagele, Thomas [1 ]
Hooman, Jozef [1 ,2 ]
机构
[1] Radboud Univ Nijmegen, Nijmegen, Netherlands
[2] TNO ESI, Eindhoven, Netherlands
关键词
Domain Specific Language; Cyber-physical systems; Co-simulation; HLA; FMI;
D O I
10.1109/SEAA.2017.29
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
The development of cyber-physical systems (CPSs) is a multi-disciplinary process. A model-based approach during the design of a system is important for making design decisions during the exploration of alternatives. However, all disciplines use different modelling tools and techniques, which makes the integration of these models difficult and time-consuming. The use of the High Level Architecture (HLA) simplifies this problem, but still requires quite an effort to implement. Our work focuses on minimising the effort required to construct co-simulations. We have created a Domain Specific Language (DSL) to define a system design consisting of different types of models. We demonstrate how this DSL can be used to experiment with alternative designs of the system quickly. The DSL allows us to build virtual prototypes of CPSs without the large overhead of constructing the co-simulation.
引用
收藏
页码:247 / 251
页数:5
相关论文
共 50 条
  • [1] Injecting Formal Verification in FMI-Based Co-simulations of Cyber-Physical Systems
    Couto, Luis Diogo
    Basagiannis, Stylianos
    Ridouane, El Hassan
    Mady, Alie El-Din
    Hasanagic, Miran
    Larsen, Peter Gorm
    SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2017, 2018, 10729 : 284 - 299
  • [2] Co-simulation of Cyber-Physical Systems using HLA
    Nagele, Thomas
    Hooman, Jozef
    2017 IEEE 7TH ANNUAL COMPUTING AND COMMUNICATION WORKSHOP AND CONFERENCE IEEE CCWC-2017, 2017,
  • [3] CREST - A DSL for Reactive Cyber-Physical Systems
    Klikovits, Stefan
    Linard, Alban
    Buchs, Didier
    SYSTEM ANALYSIS AND MODELING: LANGUAGES, METHODS, AND TOOLS FOR SYSTEMS ENGINEERING, SAM 2018, 2018, 11150 : 29 - 45
  • [4] Repeatable Decentralized Simulations for Cyber-Physical Systems
    Reymann, Christophe
    Foughali, Mohammed
    Lacroix, Simon
    2019 IEEE 19TH INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS 2019), 2019, : 240 - 247
  • [5] Cyber-physical systems development for construction applications
    Anumba, Chinemelu J.
    Akanmu, Abiola
    Yuan, Xiao
    Kan, Congwen
    FRONTIERS OF ENGINEERING MANAGEMENT, 2021, 8 (01) : 72 - 87
  • [6] SCENARIOS FOR CYBER-PHYSICAL SYSTEMS INTEGRATION IN CONSTRUCTION
    Akanmu, Abiola
    Anumba, Chimay
    Messner, John
    JOURNAL OF INFORMATION TECHNOLOGY IN CONSTRUCTION, 2013, 18 : 240 - 260
  • [7] Value Co-Creation for Cyber-Physical Systems in Mining and Construction Industry
    Tuunanen, Tuure
    Hanninen, Johanna
    Vartiainen, Tero
    AMCIS 2015 PROCEEDINGS, 2015,
  • [8] Secure-by-construction synthesis of cyber-physical systems
    Liu, Siyuan
    Trivedi, Ashutosh
    Yin, Xiang
    Zamani, Majid
    ANNUAL REVIEWS IN CONTROL, 2022, 53 : 30 - 50
  • [9] Cyber/Physical Co-Verification for Developing Reliable Cyber-Physical Systems
    Zhang, Yu
    Xie, Fei
    Dong, Yunwei
    Zhou, Xingshe
    Ma, Chunyan
    2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2013, : 539 - 548
  • [10] (Re)deployment of Smart Algorithms in Cyber-Physical Production Systems Using DSL4hDNCS
    Vogel-Heuser, Birgit
    Trunzer, Emanuel
    Hujo, Dominik
    Sollfrank, Michael
    PROCEEDINGS OF THE IEEE, 2021, 109 (04) : 542 - 555