公开(公告)号：CN120029667A

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

申请号：CN202510187569.1

申请日：2025-02-20

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

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

IPC: G06F8/75 ,  G06F8/20 ,  G06F8/41

Abstract: 本发明涉及一种基于PEG的AADL代码到图形多层次转换方法，属于嵌入式系统架构建模与分析领域。本发明定义PEG语法规则。该语法规则能够精确描述AADL语言的基本元素、递归结构以及语法优先级；构建AADL代码解析器；基于定义的PEG语法规则构建解析器，该解析器能够逐层解析AADL代码，识别各个设计元素，并在解析过程中捕获并反馈语法语义问题；生成多层次抽象语法树AST。AST能够明确表达AADL的节点构造、层次嵌套、属性映射以及元素关系。第四步，将多层次抽象语法树AST转换为图形化表达。通过图形化的方式，系统架构的各个层级被直观呈现。本发明能够清晰地呈现出不同设计元素之间的层次关系，便于设计人员和开发人员进行分析、理解和修改。

公开(公告)号：CN120029594A

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

申请号：CN202510188404.6

申请日：2025-02-20

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

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

IPC: G06F8/20 ,  G06F8/34 ,  G06F8/35 ,  G06F40/151 ,  G06F40/186

Abstract: 本发明涉及一种基于元数据驱动的AADL文本生成方法，属于软件工程技术领域。本发明首先定义元数据模型，用于规范化描述AADL元素及其关系；然后通过交互式图形化界面创建和编辑AADL模型；在建模过程中构建AADL树状结构，并将图形元素实例化为元数据模型对象；最后通过模板引擎将AADL树状结构和元数据实例映射成相应的文本表示。该方法不仅保证了设计过程中语义的一致性和文本转换的准确性，同时还增强了系统的可扩展性和适应性，以满足嵌入式系统设计的复杂需求，为研发基于模型的软件分析与验证工具OnModel提供了关键技术支撑。