FMU 2.0 Model Encapsulation And Verification

The Functional Mock-up Interface (FMI) standard is widely used for model encapsulation and co-simulation. However, Functional Mock-up Units (FMUs) generated by existing tools have limitations in flexibility, code optimization, and rollback handling. This paper proposes a custom FMU2.0 encapsulation method, using Co-Simulation as an example, to enhance low-level control, cross-platform compatibility, and rollback capability. First, the FMI2.0 specification and FMU structure are analyzed to identify key encapsulation aspects. Then, an encapsulation framework is designed to optimize state storage and recovery mechanisms, improving solver adaptability and stability. Finally, a bouncing ball model is validated through Simulink simulation, comparing theoretical values with solver data from software-exported FMUs. Experimental results demonstrate that the proposed method significantly enhances rollback handling and cross-platform compatibility while maintaining high simulation accuracy.

Authors

Institutions

Publication Details

Published
2025-08-03
DOI
https://doi.org/10.1109/iciea65512.2025.11148451
Primary Topic
Modeling and Simulation Systems
Type
article
Field-Weighted Citation Impact
0.00
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

FMU 2.0 Model Encapsulation And Verification

Huanchao Du, Yue Zhou, Can Zhou, Kun Hou
Modeling and Simulation Systems
article

FMU 2.0 Model Encapsulation And Verification

Huanchao Du, Yue Zhou, Can Zhou, Kun Hou
article en

Abstract

The Functional Mock-up Interface (FMI) standard is widely used for model encapsulation and co-simulation. However, Functional Mock-up Units (FMUs) generated by existing tools have limitations in flexibility, code optimization, and rollback handling. This paper proposes a custom FMU2.0 encapsulation method, using Co-Simulation as an example, to enhance low-level control, cross-platform compatibility, and rollback capability. First, the FMI2.0 specification and FMU structure are analyzed to identify key encapsulation aspects. Then, an encapsulation framework is designed to optimize state storage and recovery mechanisms, improving solver adaptability and stability. Finally, a bouncing ball model is validated through Simulink simulation, comparing theoretical values with solver data from software-exported FMUs. Experimental results demonstrate that the proposed method significantly enhances rollback handling and cross-platform compatibility while maintaining high simulation accuracy.

Xi’an University of Posts and Telecommunications (CN)
Openalex Percentile: Top 74%
Modeling and Simulation Systems
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

FMU 2.0 Model Encapsulation And Verification — Huanchao Du, Yue Zhou, et al. · (2025) | TGRS Research Map | TGRS