公开(公告)号：CN120029615A

公开(公告)日：2025-05-23

申请号：CN202510187633.6

申请日：2025-02-20

Applicant: 北京计算机技术及应用研究所

Inventor： 张建伟 ,  陈莉 ,  贾张涛 ,  李浩宇 ,  张霄霄 ,  冯大成 ,  安恒 ,  张广申 ,  孟程昊 ,  王磊 ,  王云则 ,  张翠婷 ,  胡雅頔 ,  周丽娜 ,  曾祥勇

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: 北京计算机技术及应用研究所

Inventor： 华岳桐 ,  张建伟 ,  贾张涛 ,  张霄霄 ,  李浩宇 ,  冯大成 ,  安恒 ,  李福川 ,  孟程昊 ,  陈莉 ,  王磊 ,  王云则 ,  张翠婷

IPC: G06F8/35 ,  G06F8/41

Abstract: 本发明涉及一种结合8114准则的同步数据流语言可信翻译方法，属于代码生成领域。本发明通过对Lustre源代码词法、语法分析和翻译等步骤获取Ctemp中间语言的抽象语法树；遍历Ctemp抽象语法树，针对树结构中的语句中控制流语句、赋值语句设计翻译方法；遍历语句中的表达式，设计添加强制转化的翻译方法，确保语句在语义正确的同时，不存在隐式类型转化；扩展了关于Cltype中类型关系的定理，用于验证类型操作；扩展关于Ctemp语义的强制转化和二元操作的定理，实现语义形式化验证。本发明大幅度提升代码生成工具所生成的C代码对GJB 8114规范的满足性。

公开(公告)号：CN119440514A

公开(公告)日：2025-02-14

申请号：CN202411498655.6

申请日：2024-10-25

Applicant: 北京计算机技术及应用研究所

Inventor： 陈莉 ,  张建伟 ,  贾张涛 ,  李浩宇 ,  张霄霄 ,  冯大成 ,  安恒 ,  李福川 ,  孟程昊 ,  王磊 ,  王云则 ,  张翠婷

IPC: G06F8/35 ,  G06F8/41

Abstract: 本发明涉及一种基于AADL模型的嵌入式操作系统平台相关代码生成方法，属于自动代码生成领域。本发明通过编写算法实现对AADL模型进行遍历获取、解析，设计从AADL模型到嵌入式操作系统代码的映射规则，将模型中所述组件、接口、性能属性及组件间连接信息自动转换为嵌入式操作系统平台代码。本发明的方法不仅能够自动生成代码，降低人工编写的复杂度和不确定性，还能提高代码的可靠性和平台适配性，为航天领域嵌入式系统的开发提供了一个强有力的工具。