-
公开(公告)号：CN115391173A
公开(公告)日：2022-11-25
申请号：CN202210789598.1
申请日：2022-07-06
Applicant: 北京交通大学
Abstract: 本发明涉及一种从Simulink‑StateFlow模型到NuSMV模型的转换方法，包括如下步骤：对待评估系统进行需求分析，构建Simulink‑StateFlow模型；提取模型中的程序语句、自定义函数语句、逻辑顺序关系，分别构建程序语句数据表、自定义函数数据表、逻辑顺序数据表；整合模型程序及顺序，生成模型信息表；对Matlab编程语言进行分析，构建Matlab语法规则；根据语法规则对模型信息表中的程序语句进行处理，将其解析为抽象语法树；对抽象语法树进行处理，确定转换为NuSMV语句的算法；根据转换算法处理模型信息表，生成NuSMV模型。本发明大大提高了NuSMV工具对Simulink‑StateFlow模型进行模型检测的效率和准确度，实现对控制系统Simulink需求模型的安全性验证。
Search Results
1
records
(took 0.015 seconds)
筛选
AND
AND
过滤
NOT
NOT
Scan to Join
