计算机应用研究

作者：王瑞,陈静,王坤龙,郑一凡,柯文俊,钟季龙,

单位：1.中国航天科工集团第二研究院研究生院,北京100854；2.北京计算机技术及应用研究所,北京100089；3.中国科学院计算技术研究所,北京100190；4.中国科学院大学,北京100049；5.军事科学院国防科技创新研究院,北京100091；

关键词：Simulink模型,Stateflow模型,元模型,静态规则检查,

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

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

来源：2022年第1期

《计算机应用研究》期刊编辑部

查看计算机应用研究杂志2022年第1期