基于元模型的Simulink静态分析技术
Simulink static analysis technology based on metamodel
1. 中国航天科工集团第二研究院研究生院, 北京 100854
2. 北京计算机技术及应用研究所, 北京 100089
3. 中国科学院 计算技术研究所, 北京 100190
4. 中国科学院大学, 北京 100049
5. 军事科学院国防科技创新研究院, 北京 100091
摘要
为解决目前Simulink模型规则检查工具对国内如飞行控制等一些特定领域的标准规范覆盖不完善的问题，设计了41条建模准则，并基于元模型理论，提出了一种共性的解析和检查框架，在此基础上实现了Simulink模型规则检查工具SimREG。该方法通过一种无编译的方式来实现对Simulink模型的静态规则检查，在Simulink模型到元模型的映射过程中提取针对每条准则执行检查时需要的模型信息，并将模型重构为有向图的形式，然后在遍历过程中，对图中每个节点进行选定准则的分析处理，完成检查过程。SimREG完成了全部41条建模准则的检查过程，在与三个有代表性的规则检查工具的对比实验中取得了更好的检查结果。SimREG工具将元模型理论应用于Simulink模型的规则检查过程中，在检查速度更快的同时获得了更低的漏报率和误报率。
基金项目
国家自然科学青年基金资助项目(72001213)
出版信息
DOI: 10.19734/j.issn.1001-3695.2021.05.0225
出版期卷: 《计算机应用研究》 印刷出版, 2022年第39卷 第1期
所属栏目: 系统应用开发
出版页码: 206-213
文章编号: 1001-3695(2022)01-036-0206-08
发布历史
[2021-08-30] 优先出版
[2022-01-05] 印刷出版
引用本文
王瑞, 陈静, 王坤龙, 等. 基于元模型的Simulink静态分析技术 [J]. 计算机应用研究, 2022, 39 (1): 206-213. (Wang Rui, Chen Jing, Wang Kunlong, et al. Simulink static analysis technology based on metamodel [J]. Application Research of Computers, 2022, 39 (1): 206-213. )
关于期刊
- 计算机应用研究 月刊
- Application Research of Computers
-
刊号
ISSN 1001-3695
CN 51-1196/TP
《计算机应用研究》创刊于1984年，是由四川省科技厅所属四川省计算机研究院主办的计算技术类学术刊物。
《计算机应用研究》瞄准本学科领域迫切需要的前沿技术，及时反映国内外计算机应用研究的主流技术、热点技术及最新发展趋势。主要刊载内容包括本学科领域高水平的学术论文、本学科最新科研成果和重大应用成果。栏目内容涉及计算机学科新理论、计算机基础理论、算法理论研究、算法设计与分析、区块链技术、系统软件与软件工程技术、模式识别与人工智能、体系结构、先进计算、并行处理、数据库技术、计算机网络与通信技术、信息安全技术、计算机图像图形学及其最新热点应用技术。
《计算机应用研究》拥有众多高层次读者、作者，读者对象主要为从事计算机学科领域高、中级研究人员及工程技术人员，各高等院校计算机专业及相关专业的师生。多年来《计算机应用研究》的总被引频次及Web下载率一直名列本学科同类学术刊物前茅，所刊发的学术论文以其新颖性、学术性、前瞻性、导向性、实用性而备受广大读者的喜爱。
收录和评价
- 第二届国家期刊奖百种重点期刊
- 中国期刊方阵双效期刊
- 全国中文核心期刊（北大2023年版）
- 中国科技核心期刊
- 中国科学引文数据库(CSCD)来源期刊
- RCCSE中国核心学术期刊
- 中国计算机学会会刊
- 2020—2022年科技期刊世界影响力指数(WJCI)报告收录期刊
- 中国科技期刊精品数据库全文来源期刊
- 中国学术期刊综合评价数据库来源期刊
- 《中国期刊网》《中国学术期刊(光盘版)》来源期刊
- 2017—2019年中国国际影响力优秀学术期刊(自然科学与工程技术)
- 中国精品科技期刊顶尖学术论文(F5000)项目来源期刊
- 《中国工程技术电子信息网》《电子科技文献数据库》来源期刊
- 英国《科学文摘》(INSPEC)来源期刊
- 《日本科学技术振兴机构数据库》(JST)来源期刊
- 俄罗斯《文摘杂志》(AJ, VINITI)来源期刊
- 美国《艾博思科学术数据库》(EBSCO)全文来源期刊
- 美国《剑桥科学文摘(自然科学)》(CSA(NS))核心期刊
- 波兰《哥白尼索引》(IC)来源期刊
- 美国《乌利希期刊指南(网络版)》(Ulrichsweb)收录期刊
