《计算机应用研究》|Application Research of Computers

基于元模型的Simulink静态分析技术

Simulink static analysis technology based on metamodel

免费全文下载 (已被下载 次)  
获取PDF全文
作者 王瑞,陈静,王坤龙,郑一凡,柯文俊,钟季龙
机构 中国航天科工集团第二研究院研究生院;北京计算机技术及应用研究所;中国科学院 计算技术研究所;中国科学院大学;军事科学院国防科技创新研究院
统计 摘要被查看 次,已被下载
摘要 为解决目前Simulink模型规则检查工具对国内如飞行控制等一些特定领域的标准规范覆盖并不完善的问题,设计了41条建模准则,并基于元模型理论,提出了一种共性的解析和检查框架,在此基础上实现了Simulink模型规则检查工具SimREG。该方法通过一种无编译的方式来实现对Simulink模型的静态规则检查,在Simulink模型到元模型的映射过程中提取针对每条准则执行检查时需要的模型信息,并将模型重构为有向图的形式,然后在遍历过程中,对图中每个节点进行选定准则的分析处理,完成检查过程。SimREG完成了全部41条建模准则的检查过程,在与3个有代表性的规则检查工具的对比实验中取得了更好的检查结果。SimREG工具将元模型理论应用于Simulink模型的规则检查过程中,在检查速度更快的同时获得了更低的漏报率和误报率。
关键词 Simulink模型;Stateflow模型;元模型;静态规则检查
基金项目 国家自然科学青年基金资助项目(72001213)
本文URL http://www.arocmag.com/article/02-2022-01-017.html
收稿日期
修回日期
页码 -
中图分类号 TP311.5
文献标志码