-
题名基于元模型的Simulink静态分析技术
- 1
-
-
作者
王瑞
陈静
王坤龙
郑一凡
柯文俊
钟季龙
-
机构
中国航天科工集团第二研究院研究生院
北京计算机技术及应用研究所
中国科学院计算技术研究所
中国科学院大学
军事科学院国防科技创新研究院
-
出处
《计算机应用研究》
CSCD
北大核心
2022年第1期206-213,共8页
-
基金
国家自然科学青年基金资助项目(72001213)。
-
文摘
为解决目前Simulink模型规则检查工具对国内如飞行控制等一些特定领域的标准规范覆盖不完善的问题,设计了41条建模准则,并基于元模型理论,提出了一种共性的解析和检查框架,在此基础上实现了Simulink模型规则检查工具SimREG。该方法通过一种无编译的方式来实现对Simulink模型的静态规则检查,在Simulink模型到元模型的映射过程中提取针对每条准则执行检查时需要的模型信息,并将模型重构为有向图的形式,然后在遍历过程中,对图中每个节点进行选定准则的分析处理,完成检查过程。SimREG完成了全部41条建模准则的检查过程,在与三个有代表性的规则检查工具的对比实验中取得了更好的检查结果。SimREG工具将元模型理论应用于Simulink模型的规则检查过程中,在检查速度更快的同时获得了更低的漏报率和误报率。
-
关键词
SIMULINK模型
Stateflow模型
元模型
静态规则检查
-
Keywords
Simulink model
Stateflow model
meta-model
static rule checking
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
