-
公开(公告)号：CN120010859A
公开(公告)日：2025-05-16
申请号：CN202510183346.8
申请日：2025-02-19
Applicant: 北京计算机技术及应用研究所
IPC: G06F8/41
Abstract: 本发明涉及一种基于Antlr的同步数据流模型语言解析方法，属于基于模型的软件开发工具领域。本发明可针对扩展标准同步数据流语言Lustre V6进行解析，并生成所需的抽象语法树，为后续对模型进行静态分析和形式化验证等功能提供基础。首先，需要对模型语言的特性进行分析，在标准Lustre V6文法规则上进行扩展，形成新的模型语言OnModel；根据扩展的文法规则实现OnModel对应的巴克斯范式，并基于Antlr构造对应的词法、语法分析器；根据巴克斯范式及后续对模型的分析需求，设计抽象语法树结构并完成抽象语法树的构造，后续在此抽象语法树的基础上可进行模型静态分析、模型形式化验证、代码生成及其他功能的开发和实现。
-
公开(公告)号：CN120029615A
公开(公告)日：2025-05-23
申请号：CN202510187633.6
申请日：2025-02-20
Applicant: 北京计算机技术及应用研究所
IPC: G06F8/35 , G06F8/36 , G06F8/72 , G06F8/76 , G05B19/042
Abstract: 本发明涉及一种基于模版的AADL平台无关代码生成方法，属于自动代码生成领域。本发明解析器读取AADL模型，提取其中描述的模型元素，包括：系统架构、组件信息、组件间连接以及相关属性，为后续的映射步骤提供必要的数据支持；根据AADL模型和平台无关抽象层的结构与需求，定义两者之间的映射关系；具体包括将AADL模型中涉及的组件类型、连接关系及相关属性与抽象层中对应的元素匹配，以确保抽象层能够完整描述AADL模型的功能及结构；根据第二步中制定的映射规则，将解析出的AADL模型元素逐一转换为抽象层中对应的元素，生成平台无关的抽象层模板代码。本发明提高了代码生成的扩展性和灵活性。
-
公开(公告)号：CN119597276A
公开(公告)日：2025-03-11
申请号：CN202411499068.9
申请日：2024-10-25
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种结合8114准则的同步数据流语言可信翻译方法，属于代码生成领域。本发明通过对Lustre源代码词法、语法分析和翻译等步骤获取Ctemp中间语言的抽象语法树；遍历Ctemp抽象语法树，针对树结构中的语句中控制流语句、赋值语句设计翻译方法；遍历语句中的表达式，设计添加强制转化的翻译方法，确保语句在语义正确的同时，不存在隐式类型转化；扩展了关于Cltype中类型关系的定理，用于验证类型操作；扩展关于Ctemp语义的强制转化和二元操作的定理，实现语义形式化验证。本发明大幅度提升代码生成工具所生成的C代码对GJB 8114规范的满足性。
-
公开(公告)号：CN119440514A
公开(公告)日：2025-02-14
申请号：CN202411498655.6
申请日：2024-10-25
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于AADL模型的嵌入式操作系统平台相关代码生成方法，属于自动代码生成领域。本发明通过编写算法实现对AADL模型进行遍历获取、解析，设计从AADL模型到嵌入式操作系统代码的映射规则，将模型中所述组件、接口、性能属性及组件间连接信息自动转换为嵌入式操作系统平台代码。本发明的方法不仅能够自动生成代码，降低人工编写的复杂度和不确定性，还能提高代码的可靠性和平台适配性，为航天领域嵌入式系统的开发提供了一个强有力的工具。
-
-
-
Search Results
4
records
(took 0.022 seconds)
