-
公开(公告)号：CN114756213B
公开(公告)日：2022-08-12
申请号：CN202210664227.0
申请日：2022-06-14
Applicant: 军事科学院系统工程研究院网络信息研究所
Abstract: 本发明提供一种智能控制系统代码自动生成方法及装置，所述方法包括：解析AADL模型文件，从所述AADL模型文件中提取所述AADL模型文件包括的各个组件及属性约束；构建AADL模型文件到C++代码的转换规则；基于所述转换规则，解析所述AADL模型文件包括的各个组件的属性；基于预设的C++代码模板及所述AADL模型文件包括的各个组件的解析结果，生成与所述AADL模型文件对应的C++代码。根据本发明的方案，通过读取AADL实例文件，经过处理，最终生成了C++标准规范的代码，实现了将体系结构设计语言到面向对象语言之间的转换。
-
公开(公告)号：CN113079221B
公开(公告)日：2021-08-24
申请号：CN202110621642.3
申请日：2021-06-04
Applicant: 军事科学院系统工程研究院网络信息研究所
Abstract: 本发明提出一种基于Coq的安全跨链协议生成方法，所述方法包括以下步骤：步骤一：确定协议需求；步骤11：确定协议基本目标；步骤12：确定协议使用范围和流程；步骤13：确定协议约束；步骤14：建立需求形式化规范；步骤二：协议分析；分析协议具体内容，将协议流程序列化，并获得模型元素：步骤三：协议建模与验证；步骤31：行为建模；步骤32：需求形式化规范描述；步骤33：性质验证；步骤四：协议代码自动生成；步骤41：将逻辑部分消除；步骤42：生成信息部分代码；步骤五：进行一致性验证；步骤51：静态测试验证；步骤52：动态测试验证；步骤53：生成一致性验证报告。
-
公开(公告)号：CN114756213A
公开(公告)日：2022-07-15
申请号：CN202210664227.0
申请日：2022-06-14
Applicant: 军事科学院系统工程研究院网络信息研究所
Abstract: 本发明提供一种智能控制系统代码自动生成方法及装置，所述方法包括：解析AADL模型文件，从所述AADL模型文件中提取所述AADL模型文件包括的各个组件及属性约束；构建AADL模型文件到C++代码的转换规则；基于所述转换规则，解析所述AADL模型文件包括的各个组件的属性；基于预设的C++代码模板及所述AADL模型文件包括的各个组件的解析结果，生成与所述AADL模型文件对应的C++代码。根据本发明的方案，通过读取AADL实例文件，经过处理，最终生成了C++标准规范的代码，实现了将体系结构设计语言到面向对象语言之间的转换。
-
公开(公告)号：CN113079221A
公开(公告)日：2021-07-06
申请号：CN202110621642.3
申请日：2021-06-04
Applicant: 军事科学院系统工程研究院网络信息研究所
Abstract: 本发明提出一种基于Coq的安全跨链协议生成方法，所述方法包括以下步骤：步骤一：确定协议需求；步骤11：确定协议基本目标；步骤12：确定协议使用范围和流程；步骤13：确定协议约束；步骤14：建立需求形式化规范；步骤二：协议分析；分析协议具体内容，将协议流程序列化，并获得模型元素：步骤三：协议建模与验证；步骤31：行为建模；步骤32：需求形式化规范描述；步骤33：性质验证；步骤四：协议代码自动生成；步骤41：将逻辑部分消除；步骤42：生成信息部分代码；步骤五：进行一致性验证；步骤51：静态测试验证；步骤52：动态测试验证；步骤53：生成一致性验证报告。
-
-
-
Search Results
4
records
(took 0.028 seconds)
