Early Validation of SysML Architectures by Extending MBSE with Co-Simulation using FMI and SSP

被引:0
|
作者
Cederbladh, Johan [1 ]
Krems, Daniel [2 ]
机构
[1] Mälardalen University, Universitetsplan 1, Västerås,72 220, Sweden
[2] AVL List, Hans-List-Platz 1, Graz,8020, Austria
关键词
Problem oriented languages - Program debugging - Verification;
D O I
10.1002/iis2.13135
中图分类号
学科分类号
摘要
Due to complexity increases in modern systems and the digitalization paradigm shift, industrial development requires the integration of new technologies and methods to keep product quality high while reducing time to market. One emerging paradigm in the Systems Engineering (SE) discipline is ModelBased methods and technologies, and correspondingly Model-Based Systems Engineering (MBSE) is seeing increased adoption. With mature MBSE application, several benefits can be expected from the availability of models, even from the very early stages of development, enabling increased communication clarity, cross-domain collaboration, traceability, and analysis. Notably, MBSE enables (Co-)simulation even at the early stage of architecture/design by leveraging model-based capabilities. Co-simulation specifically enables a smooth and seamless integration of different models defined across layers of abstraction, for example, system logical architecture and system physical architecture. However, while MBSE is assisting with many aspects of development it is still a predominantly isolated set of activities throughout the development, especially on the left-hand side of the traditional V-model. In this work we discuss the status of Co-simulation in industrial MBSE and list several existing challenges, then we propose a novel framework for implementing Co-simulation and exemplify using a real scenario how we might address the observed challenges. The framework hinges on the newly proposed SSP standard and extends the currently industrially adopted FMI (version 3) standard through embedding the FMI file format using various scripts, demonstrated in the Python language for this paper. Finally, we propose a set of recommendations for future investigations to strengthen Co-simulation in industrial MBSE. Copyright © 2024 by Johan Cederbladh and Daniel Krems. Permission granted to INCOSE to publish and use.
引用
收藏
页码:106 / 121
相关论文
共 50 条
  • [1] Barriers for Adopting FMI-based Co-Simulation in Industrial MBSE Processes
    Cederbladh, Johan
    Reale, Anna
    Bergsten, Andreas
    Mikelov, Richard
    Cicchetti, Antonio
    2023 ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION, MODELS-C, 2023, : 510 - 519
  • [2] Checking SysML Models for Co-simulation
    Amalio, Nuno
    Payne, Richard
    Cavalcanti, Ana
    Woodcock, Jim
    FORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2016, 2016, 10009 : 450 - 465
  • [3] CO-SIMULATION OF HARDWARE RTL AND SOFTWARE SYSTEM USING FMI
    Quraishi, Masudul H.
    Sarjoughian, Hessam S.
    Gholami, Soroosh
    2018 WINTER SIMULATION CONFERENCE (WSC), 2018, : 572 - 583
  • [4] Step Revision in Hybrid Co-simulation with FMI
    Cremona, Fabio
    Lohstroh, Marten
    Broman, David
    Di Natale, Marco
    Lee, Edward A.
    Tripakis, Stavros
    2016 ACM/IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN (MEMOCODE), 2016, : 173 - 183
  • [5] Using SystemC Cyber Models in an FMI Co-Simulation Environment: Results and Proposed FMI Enhancements
    Centomo, Stefano
    Deantoni, Julien
    de Simone, Robert
    19TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD 2016), 2016, : 318 - 325
  • [6] Co-Simulation of Power Systems and Computing Systems using the FMI Standard
    Gougeon, Adrien
    Camus, Benjamin
    Lemercier, Francois
    Quinson, Martin
    Blavette, Anne
    Orgerie, Anne-Cecile
    2021 IFIP/IEEE INTERNATIONAL SYMPOSIUM ON INTEGRATED NETWORK MANAGEMENT (IM 2021), 2021, : 730 - 731
  • [7] Integrating Tools: Co-Simulation in UPPAAL using FMI-FMU
    Nyman, Ulrik
    Jensen, Peter Gjo
    Larsen, Kim Guldstrand
    Legay, Axel
    2017 22ND INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2017, : 11 - 19
  • [8] Hybrid fire testing using FMI-based co-simulation
    Abbiati, G.
    Bas, E. E.
    Gomes, C.
    Larsen, P. G.
    FIRE SAFETY JOURNAL, 2023, 139
  • [9] Runtime Verification for FMI-Based Co-simulation
    Temperekidis, Anastasios
    Kekatos, Nikolaos
    Katsaros, Panagiotis
    RUNTIME VERIFICATION (RV 2022), 2022, 13498 : 304 - 313
  • [10] Co-Simulation of Complex Energy Systems with MOSAIK and FMI
    Rohjans, Sebastian
    Widl, Edmund
    Mueller, Wolfgang
    Schuette, Steffen
    Lehnhoff, Sebastian
    AT-AUTOMATISIERUNGSTECHNIK, 2014, 62 (05) : 325 - 336