AccSiM: State-Aware Simulation Acceleration for Simulink Models

doi:10.1109/TCAD.2025.3546879

2025-01-01

PRE

DOI：10.1109/TCAD.2025.3546879

原文链接

原文求助

摘要

En 中文

Simulink已广泛应用于嵌入式软件开发中，它支持通过仿真来验证模型正确性。然而，随着工业应用中模型规模和复杂度的增长，Simulink仿真引擎要实现高覆盖率并检测潜在错误（尤其是累积错误）需要耗费大量时间。本文提出了一种基于代码生成的Simulink模型仿真加速方法AccSiM，通过仿真导向的插桩技术生成仿真功能代码，包括运行时数据收集、数据诊断和状态感知加速。最终仿真代码由所有插桩代码、从预定义模板库生成的actor代码以及测试用例导入功能构成。在编译并执行代码后，AccSiM会生成包含覆盖率和诊断信息的仿真结果。我们实现了AccSiM并在多个基准Simulink模型上进行了评估。与Simulink的仿真引擎相比，AccSiM的仿真效率提升了 $215.3\times $ ，显著减少了错误检测所需时间。此外，通过状态感知加速方法，AccSiM获得了额外的 $2.8{\times }$ 加速效果，并在相同时间内实现了更高的覆盖率。

Keyword:

Code generation

model simulation

model-driven design

期刊

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

IF:

2.9

论文数:

668

被引数:

9.6K

机构

university of electronic science and technology of china

学者数:

1.3W

论文数: 4.8K

被引数: 4

tsinghua university

学者数:

11.9W

论文数: 10.0W

被引数: 137

引用论文

A model-driven workflow for distributed microservice development

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing

IF0

2019-04-08

PREAI

Florian Rademacher; Jonas Sorgalla; Sabine Sachweh; Albert Zündorf

Automated test suite generation for time-continuous simulink models

Proceedings of the 38th International Conference on Software Engineering

IF0

2016-05-14

OAAI

Reza Matinnejad; Shiva Nejati; Lionel C. Briand; Thomas Bruckmann

Model driven development of distributed control applications

The International Journal of Advanced Manufacturing Technology

IF0

2006-04-19

PREAI

K. Thramboulidis; D. Perdikis; S. Kantas

Model-Driven Design of Real-Time Software for an Experimental Satellite

IFAC Proceedings Volumes

IF0

2014-01-01

PREAI

Puente,Juan A. de la; Garrido,Jorge; Zamorano,Juan; Alonso,Alejandro

Using of Co-simulation ADAMS-SIMULINK for development of mechatronic systems

14th International Conference Mechatronika

IF0

2011-06-01

PREAI

T. Brezina; Z. Hadas; J. Vetiska

Mercury: Instruction Pipeline Aware Code Generation for Simulink Models

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

IF0

2022-11-01

PREAI

Zehong Yu; Zhuo Su; Yixiao Yang; Jie Liang; Yu Jiang; Aiguo Cui; Wanli Chang; Rui Wang

Hardware-Software Co-Design of Embedded Systems

IF0

1997-01-01

PREAI

Felice Balarin; Massimiliano Chiodo; Paolo Giusto; Harry Hsieh; Attila Jurecska; Luciano Lavagno; Claudio Passerone; Alberto Sangiovanni-Vincentelli; Ellen Sentovich; Kei Suzuki; Bassam Tabbara

Model-driven development of industrial process control applications

JOURNAL OF SYSTEMS AND SOFTWARE

IF4.1

2011-07-01

PREAI

Hastbacka, David; Vepsalainen, Timo; Kuikka, Seppo

Analog Models Manipulation for Effective Integration in Smart System Virtual Platforms

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

IF0

2018-02-01

OAAI

Michele Lora; Sara Vinco; Enrico Fraccaroli; Davide Quaglia; Franco Fummi