买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网获悉北京计算机技术及应用研究所申请的专利基于AADL模型的嵌入式操作系统平台相关代码生成方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119440514B 。

龙图腾网通过国家知识产权局官网在2026-01-06发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202411498655.6，技术领域涉及：G06F8/35；该发明授权基于AADL模型的嵌入式操作系统平台相关代码生成方法是由陈莉;张建伟;贾张涛;李浩宇;张霄霄;冯大成;安恒;李福川;孟程昊;王磊;王云则;张翠婷设计研发完成，并于2024-10-25向国家知识产权局提交的专利申请。

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

本发明授权基于AADL模型的嵌入式操作系统平台相关代码生成方法在权利要求书中公布了：1.一种基于AADL模型的嵌入式操作系统平台相关代码生成方法，其特征在于，该方法包括如下步骤： 第一步、对AADL模型进行遍历获取和解析 自动遍历并获取AADL模型中的各个组成部分，包括对AADL模型的组件、接口、运行时性能属性以及组件间连接关系的全面扫描与提取；通过这种遍历获取，确保所有关键信息都能够被正确识别和提取，然后对这些信息进行深入的分析和处理；解析过程包括识别和分类AADL模型的各个组件、接口、性能属性，以及组件间连接信息； 第二步、设计从AADL模型到嵌入式操作系统代码的映射规则 设计一套从AADL模型到嵌入式操作系统代码的映射规则，包括：组件到模块的映射、接口到通信接口的映射、性能属性到配置参数的映射、以及组件间连接到数据流或控制流的映射；这些规则定义了如何将模型映射为嵌入式操作系统中的相应模块，确保模型中的抽象概念能够准确转化为具体的实现代码； 第三步、自动转换为嵌入式操作系统平台代码 基于上述映射规则实现将AADL模型中的组件、接口、性能属性及组件间连接信息自动转换为嵌入式操作系统平台代码，这个过程首先将AADL模型转换为中间平台无关代码，接着再将中间平台无关代码转化为嵌入式操作系统的具体实现代码，最终，生成的代码能够直接在嵌入式操作系统平台上运行； 其中， 所述第三步具体包括：中间代码生成和平台代码生成两部分； 中间代码生成包括： 首先设计并实现算法将AADL模型中的抽象概念转换为平台无关的中间代码，这些代码是平台无关的；该算法为每个AADL模型线程组件生成应用程序代码框架，通过自动生成的API进行端口之间的通信； 在该算法中，将AADL模型中的process或thread转换为对象形式，使用processthread_name{}的结构，以便清晰地表示其属性和行为;将AADL模型中的通知事件或数据转换为API调用形式，具体为api.get_port_name和api.put_port_name，以清晰地表示数据的获取和发送操作；将AADL模型中的周期性元素转换为函数定义形式，具体为deftimedTriggered::Unit={}，以明确表示其触发机制和时间行为；将AADL模型中的偶发元素转换为函数定义形式，具体为defhandle_port_name::Unit={}，以清晰地表示其处理机制和调用方式； 平台代码生成包括：将中间代码静态地转换为符合嵌入式操作系统上的标准C代码，具体包括： 1解析中间源代码，将其语言结构和特性映射到C语言中，同时保持原始程序的逻辑和结构； 2处理中间源代码语言类型到C类型的转换，确保转换过程中的一致性和正确性； 3将中间源码的控制流结构转换为C语言对应的结构； 4生成的C代码使用静态内存分配。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人北京计算机技术及应用研究所，其通讯地址为：100854 北京市海淀区永定路51号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。