CN119440514A 基于aadl模型的嵌入式操作系统平台相关代码生成方法 （北京计算机技术及应用研究所）

基于AADL模型的嵌入式操作系统平台相关本发明涉及一种基于AADL模型的嵌入式操动生成代码，降低人工编写的复杂度和不确定天领域嵌入式系统的开发提供了一个强有力的2基于上述映射规则实现将AADL模型中的组件、接口、性能属性及2.如权利要求1所述的基于AADL模型的嵌入式操作系统平台相关代码生成方法，其特3.如权利要求2所述的基于AADL模型的嵌入式操作系统平台相关代码生成方法，其特征在于，所述S11中，使用Walker中的transformComponent()方法对模型信息的各种4.如权利要求2所述的基于AADL模型的嵌入式操作系统平台相关代码生成方法，其特5.如权利要求2所述的基于AADL模型的嵌入式操作系统平台相关代码生成方法，其特6.如权利要求1_5任一项所述的基于AADL模型的嵌入式操作系统平台相关代码生成方37.如权利要求6所述的基于AADL模型的嵌入式操作系统平台相关代码生成方法，其特8.如权利要求7所述的基于AADL模型的嵌入式操作系统平台相关代码生成方法，其特定的调度协议线程属性来定制线程的计算入口点9.如权利要求8所述的基于AADL模型的嵌入式操作系统平台相关代码生成方法，其特将软件组件映射到嵌入式操作系统中，通过调用tyche_task_creat()或tyche_task_start()函数来实现任务的创建和启动；将事件或数据的输入输出端口映射到嵌入式系统中，通过调用tyche_event_receive()、tyche_event_send()或tyche_message_periodic或sporadic映射到嵌入式操作系统中，通过调用tyche_timer_create()来管理首先设计并实现算法将AADL模型中的抽象概念转换为平台无关的在该算法中，将AADL模型中的process或thread转换为对象形式，使用process/45统时，往往会导致开发时间过长和代码安全性不足等问题。随着基于模型的系统工程(ModelBasedSystemsEngineering，MBSE)等新概念的引入，相较于传统的软件系统工台上的可执行代码仍然是一项具有挑战性的任务。当前的代码生成过程通常需要人工实[0006]本发明要解决的技术问题是如何提供一种基于AADL模型的嵌入式操作系统平台6自动转换为嵌入式操作系统平台代码，这个过程首先将AADL模型转换为中间平台无关代[0017](1)通过将AADL模型自动转换为平台无关代码和最终的(天熠)嵌入式操作系统平代码在行为上完全符合模型的设计要求，并且保证了代码在关键系统中的可靠性和安全[0019](3)通过先将AADL模型映射到平台无关的中间代码，该技术实现了对多个目标平[0020](4)由于该技术的严格的执行语义和自动验证功能，生成的代码特别适合应用于7种基于AADL模型的嵌入式操作系统平台相关代码生成方法，该方法通过编写算法实现对[0028]本发明的目的在于实现基于模型的自动代码生成这一方法，实现从AADL模型到[0030]本发明设计并实现了一种算法，用于自动遍历并获取AADL模型中的各个组成部确保系统的功能和性能完全符合最初的AA[0036]图2所示的代码生成工具链架构图展示了基于模型的自动代码生成方法的高级概8性进行转换，包括：Mutexes(互斥锁)、Semaphores(信号量)、Dataports(数据端口)、组件和连接则专注于系统结构和行为的处理。分开解析有助于简化复杂模型的处理过程，9[0055]本发明的关键创新之一是设计了一套从AADL模型到(天熠)嵌入式操作系统代码[0059]设计将AADL模型中的接口映射到(天熠)操作系统中的通信接口或设备接口的规模型中，将软件组件(进程、线程等)映射到(天熠)嵌入式操作系统中，通过调用tyche_task_creat()或tyche_task_start()函数来实现任务的创建和启动；将事件或数据的输event_send()或tyche_message_queue_receive()、tyche_message_queue_send()函数来实现事件的接收和发送；将属性periodic或sporadic映射到(天熠)嵌入式操作系统中，[0070]在该算法中，将AADL模型中的process或thread转换为对象形式，使用process/数据的获取和发送操作；将AADL模型中的周期性元素转换为函数定义形式，具体为[0078](2)处理中间源代码语言类型到C类型的转换，确保转换过程中的一致性和正确[0081]以下为dowhile语句的转换。该过程通过初始化位置、保存旧语句并清空语句列[0096]其中所述映射步骤包括将AADL模型中的组件映射到(天熠)嵌入式操作系统中的[0097]其中所述映射步骤包括将AADL模型中的接口映射到(天熠)嵌入式操作系统中的[0098]其中所述映射步骤包括将AADL模型中的性能属性映射到(天熠)嵌入式操作系统[0099]其中所述映射步骤包括将AADL模型中的组件间连接映射到(天熠)嵌入式操作系[0102](1)通过将AADL模型自动转换为平台无关代码和最终的(天熠)嵌入式操作系统平代码在行为上完全符合模型的设计要求，并且保证了代码在关键系统中的可靠性和安全[0104](3)通过先将AADL模型映射到平台无关的