A Flexible Framework for FMI-Based Co-Simulation of Human-Centred Cyber-Physical Systems

被引:5
|
作者
Palmieri, Maurizio [1 ,2 ]
Bernardeschi, Cinzia [2 ]
Masci, Paolo [3 ,4 ]
机构
[1] Univ Florence, Dipartimento Ingn Informaz, Florence, Italy
[2] Univ Pisa, Dipartimento Ingn Informaz, Pisa, Italy
[3] HASLab INESC TEC, Braga, Portugal
[4] Univ Minho, Braga, Portugal
关键词
COSIMULATION;
D O I
10.1007/978-3-030-04771-9_2
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
This paper presents our on-going work on developing a flexible framework for formal co-simulation of human-centred cyber-physical systems. The framework builds on and extends an existing prototyping toolkit, adding novel functionalities for automatic generation of user interface prototypes equipped with a standard FMI-2 co-simulation interface. The framework is developed in JavaScript, and uses a flexible templating mechanism for converting stand-alone device prototypes into Functional Mockup Units (FMUs) capable of exchanging commands and data with any FMI-compliant co-simulation engine. Two concrete examples are presented to demonstrate the capabilities of the framework.
引用
收藏
页码:21 / 33
页数:13
相关论文
共 50 条
  • [1] A framework for FMI-based co-simulation of human–machine interfaces
    Maurizio Palmieri
    Cinzia Bernardeschi
    Paolo Masci
    Software and Systems Modeling, 2020, 19 : 601 - 623
  • [2] A framework for FMI-based co-simulation of human-machine interfaces
    Palmieri, Maurizio
    Bernardeschi, Cinzia
    Masci, Paolo
    SOFTWARE AND SYSTEMS MODELING, 2020, 19 (03): : 601 - 623
  • [3] An FMI-based co-simulation framework for simulations of wave energy converter systems
    Shao, Xinyuan
    Ringsberg, Jonas W.
    Johnson, Erland
    Li, Zhiyuan
    Yao, Hua-Dong
    Skjoldhammer, Jan G.
    Björklund, Stefan
    Energy Conversion and Management, 2025, 323
  • [4] 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
  • [5] Runtime Verification for FMI-Based Co-simulation
    Temperekidis, Anastasios
    Kekatos, Nikolaos
    Katsaros, Panagiotis
    RUNTIME VERIFICATION (RV 2022), 2022, 13498 : 304 - 313
  • [6] Integration of UML models in FMI-Based co-simulation
    Guermazi, Sahar
    Dhouib, Saadia
    Cuccuru, Arnaud
    Letavernier, Camille
    Gerard, Sebastien
    2016 SYMPOSIUM ON THEORY OF MODELING AND SIMULATION (TMS-DEVS), 2016,
  • [7] A Co-Simulation Interface for Cyber-Physical Systems
    Zhang, Yu
    Dong, Yunwei
    Feng, Wenlong
    Huang, Mengxing
    2016 13TH INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS (ICESS) - PROCEEDINGS, 2016, : 176 - 181
  • [8] MODELING AND SIMULATION OF CYBER-PHYSICAL SYSTEMS USING AN EXTENSIBLE CO-SIMULATION FRAMEWORK
    Reitz, Jan
    Osterloh, Tobias
    Rossmann, Juergen
    2022 WINTER SIMULATION CONFERENCE (WSC), 2022, : 1258 - 1267
  • [9] Towards a Human-Centred Approach in Modelling and Testing of Cyber-Physical Systems
    Spichkova, Maria
    Zamansky, Anna
    Farchi, Eitan
    2015 IEEE 21ST INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS (ICPADS), 2015, : 847 - 851
  • [10] Hybrid fire testing using FMI-based co-simulation
    Abbiati, G.
    Bas, E. E.
    Gomes, C.
    Larsen, P. G.
    FIRE SAFETY JOURNAL, 2023, 139