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

打开文本图片集

摘 要： 为解决目前Simulink模型规则检查工具对国内如飞行控制等一些特定领域的标准规范覆盖不完善的问题，设计了41条建模准则，并基于元模型理论，提出了一种共性的解析和检查框架，在此基础上实现了Simulink模型规则检查工具SimREG。该方法通过一种无编译的方式来实现对Simulink模型的静态规则检查，在Simulink模型到元模型的映射过程中提取针对每条准则执行检查时需要的模型信息，并将模型重构为有向图的形式，然后在遍历过程中，对图中每个节点进行选定准则的分析处理，完成检查过程。（剩余24283字）