文章摘要:为解决目前Simulink模型规则检查工具对国内如飞行控制等一些特定领域的标准规范覆盖并不完善的问题，设计了41条建模准则，并基于元模型理论，提出了一种共性的解析和检查框架，在此基础上实现了Simulink模型规则检查工具SimREG。该方法通过一种无编译的方式来实现对Simulink模型的静态规则检查，在Simulink模型到元模型的映射过程中提取针对每条准则执行检查时需要的模型信息，并将模型重构为有向图的形式，然后在遍历过程中，对图中每个节点进行选定准则的分析处理，完成检查过程。SimREG完成了全部41条建模准则的检查过程，在与3个有代表性的规则检查工具的对比实验中取得了更好的检查结果。SimREG工具将元模型理论应用于Simulink模型的规则检查过程中，在检查速度更快的同时获得了更低的漏报率和误报率。

文章关键词:Simulink模型,Stateflow模型,元模型,静态规则检查,

项目基金:国家自然科学青年基金资助项目(72001213),

论文作者:王瑞^1,2 陈静² 王坤龙² 郑一凡² 钟季龙⁵ 

作者单位:1. 中国航天科工集团第二研究院研究生院 2. 北京计算机技术及应用研究所 3. 中国科学院计算技术研究所 4. 中国科学院大学 5. 军事科学院国防科技创新研究院 

论文DOI: 10.19734/j.issn.1001-3695.2021.05.0225

论文分类号: TP311.52

相似文献:基于插件的Simulink模型接入运行支撑系统方法.....作者:胡涛,金雪松,申立群,刘磊,刊载期刊：《计算机集成制造系统》
利用搜索模型提升Simulink故障探测性能的方法研究.....作者:谭程宏,卢雪松,刊载期刊：《计算机应用研究》
结合动静态分析实现架构恢复的方法.....作者:任武,刊载期刊：《计算机科学与探索》

相关文章:大数据的技术创新和应用—以人口普查为例.....作者:冯乃林
大数据融合应用技术框架与行业应用.....作者:段飞虎
大数据人工智能驱动图书馆知识服务和学科建设.....作者:姜爱蓉
基于大数据的知识共享与协同创新.....作者:顾新建
敦煌莫高窟文化遗产数字化保护——数字敦煌.....作者:夏生平
Looking at People Through the Lens of Images 透过镜头理解人物行为.....作者:Li CHENG
The Role of Digitization in Post COVID Scenarios 数字化在后疫情场景中的角色.....作者:Rafiq Ahmad
Computational Analysis of the Voynich Manuscript 十五世纪伏尼契码的智能解析.....作者:Greg Kondrak