-
公开(公告)号：CN114884827B
公开(公告)日：2023-09-29
申请号：CN202210366228.7
申请日：2022-04-08
申请人： 大连理工大学
摘要： 本发明公开了一种面向工业控制网络协议的模型构建和代码生成方法，包括：步骤1：获取至少一种工控网络协议的通信规范，对所述工控网络协议进行刨析；步骤2：刨析后根据所述工控网络协议的通信规范生成模型；步骤3：检测所述模型是否存在错误，若存在错误则更正所述模型；步骤4：对正确的模型进行变迁模拟，检测其工作流程是否与所述工控网络协议的通信流程一致；若不一致则重复步骤2和步骤3的过程；步骤5：根据所述模型生成协议代码。本发明可以从模型构建的角度对工控网络协议进行建模，对协议进行静态和动态的实时分析、实时改进，易于发现协议的漏洞；此方法可以由模型生成代码，不需开发者手动编写代码，减轻开发者的工作。
-
公开(公告)号：CN114884827A
公开(公告)日：2022-08-09
申请号：CN202210366228.7
申请日：2022-04-08
申请人： 大连理工大学
摘要： 本发明公开了一种面向工业控制网络协议的模型构建和代码生成方法，包括：步骤1：获取至少一种工控网络协议的通信规范，对所述工控网络协议进行刨析；步骤2：刨析后根据所述工控网络协议的通信规范生成模型；步骤3：检测所述模型是否存在错误，若存在错误则更正所述模型；步骤4：对正确的模型进行变迁模拟，检测其工作流程是否与所述工控网络协议的通信流程一致；若不一致则重复步骤2和步骤3的过程；步骤5：根据所述模型生成协议代码。本发明可以从模型构建的角度对工控网络协议进行建模，对协议进行静态和动态的实时分析、实时改进，易于发现协议的漏洞；此方法可以由模型生成代码，不需开发者手动编写代码，减轻开发者的工作。
-
公开(公告)号：CN113783721B
公开(公告)日：2022-06-21
申请号：CN202110961434.8
申请日：2021-08-20
申请人： 大连理工大学
摘要： 本发明公开了面向工业控制网络协议的可信性建模与验证方法，包括：步骤1：获取工控网络协议的详细描述；步骤2：按照表格状态机的方法构建出协议的表格化模型；步骤3：检查所述表格化模型的基本错误与异常；步骤4：提取所述事件、协议状态与变量属性，生成可验证属性表；步骤5：将所述协议需要满足的可信性属性使用线性时态逻辑LTL描述，得到属性验证公式；步骤6：对属性验证公式进行语法检查，确定所述属性验证公式是否正确；步骤7：用所述属性验证公式对所述表格化模型进行验证，若模型中存在不符合属性验证公式的情况，则将该情况作为反例路径输出，所述反例路径逐步反馈在表格状态机中，通过分析反例路径，全面发现协议设计缺陷。
-
公开(公告)号：CN114548009A
公开(公告)日：2022-05-27
申请号：CN202210185293.X
申请日：2022-02-28
申请人： 大连理工大学
IPC分类号： G06F30/343
摘要： 本发明公开了一种针对集成电路设计的建模验证及代码生成方法，包括：将需求设计文档中的功能划分为不同的VerilogHDL语句模块，所述VerilogHDL语句模块包括顶层模块和底层模块；根据所述顶层模块和底层模块的内部功能以及端口，将顶层模块代码、底层模块代码、顶层模块端口号以及底层模块端口号分别填入对应的模块表内；验证所述模块表内代码是否符合可综合模型原则；验证所述模块表内代码的语法结构和逻辑结构；填入所述模块表内代码所需实现功能，对所述可综合模型原则进行功能验证；对符合可综合模型原则、语法结构、逻辑结构、功能验证的代码转换为可使用的VerilogHDL代码。本发明保证了代码实现阶段符合可综合模型原则，减少代码实现错误及功能逻辑错误。
-
公开(公告)号：CN113783721A
公开(公告)日：2021-12-10
申请号：CN202110961434.8
申请日：2021-08-20
申请人： 大连理工大学
摘要： 本发明公开了面向工业控制网络协议的可信性建模与验证方法，包括：步骤1：获取工控网络协议的详细描述；步骤2：按照表格状态机的方法构建出协议的表格化模型；步骤3：检查所述表格化模型的基本错误与异常；步骤4：提取所述事件、协议状态与变量属性，生成可验证属性表；步骤5：将所述协议需要满足的可信性属性使用线性时态逻辑LTL描述，得到属性验证公式；步骤6：对属性验证公式进行语法检查，确定所述属性验证公式是否正确；步骤7：用所述属性验证公式对所述表格化模型进行验证，若模型中存在不符合属性验证公式的情况，则将该情况作为反例路径输出，所述反例路径逐步反馈在表格状态机中，通过分析反例路径，全面发现协议设计缺陷。
-
-
-
-
搜索结果
5 条记录 (耗时 0.023 秒)
