基于ARINC653操作系统生成代码的方法与装置制造方法及图纸

本发明专利技术提供一种基于ARINC653操作系统生成代码的方法与装置，通过获取知识图文件，根据知识图文件生成多个任务，并建立各任务之间的连接关系，再根据任务所包括的目标关系公式和目标知识概念，在所属知识领域对应的代码库中获取目标代码，并根据各任务的连接关系对目标代码排序生成完整代码，实现了自动生成代码，提高了代码的生成效率。

Method and device for generating code based on ARINC653 operating system

The present invention provides a method for generating code based on the ARINC653 operating system and device, through the acquisition of knowledge map file, according to the generation of multiple task file knowledge map, and establish the connection between these tasks, including the tasks according to the formula and the target concept of knowledge, obtain the target code in the corresponding field of knowledge the code base, and according to the connection between each task on the target code generation sequencing complete code, the code can be automatically generated, improves the generation efficiency of the code.

【技术实现步骤摘要】
基于ARINC653操作系统生成代码的方法与装置
本专利技术涉及安全关键软件开发技术，尤其涉及一种基于ARINC653操作系统生成代码的方法与装置。
技术介绍
安全关键系统是指系统功能的失效或误动作将会导致生命财产的重大损失以及对周围环境造成严重破坏的系统，这类系统广泛应用于航空航天、国防军事、核电能源、交通运输和医疗卫生等安全关键领域。安全关键系统中用于安全关键控制的软件称为安全关键软件。机载应用软件属于安全关键软件，它是飞机上各类机载系统和设备中所含的计算机程序和数据，在现代航空器中，机载应用软件承担了越来越多的功能，随着机载应用软件规模的大幅增长，有效提高开发效率成为亟需解决的技术问题。
技术实现思路
本专利技术提供一种基于ARINC653操作系统生成代码的方法与装置，以解决现有技术中机载应用软件的开发效率低的缺陷。本专利技术第一个方面提供一种基于ARINC653操作系统生成代码的方法，包括：获取知识图文件，所述知识图文件包括至少一条知识路径，每条知识路径均包括至少两个知识概念，每个知识概念均通过同一路径中的上一知识概念和对应的关系公式得到，各所述关系公式至少属于两个不同的知识领域，一个知识领域对应所述ARINC653操作系统的一个分区；根据所述知识图文件生成多个任务，并建立各所述任务之间的连接关系，每个所述任务至少包括一个目标关系公式以及所述目标关系公式对应的目标知识概念，属于同一任务的目标关系公式的知识领域相同；根据各所述任务所包括的所述目标关系公式和所述目标知识概念，在所属知识领域对应的代码库中获取目标代码；根据所述连接关系对所述目标代码排序，生成完整代码。根据如上所述的方法，可选地，所述获取知识图文件包括：获取各知识概念；根据各知识概念的因果关系构建所述知识图文件。根据如上所述的方法，可选地，所述根据各所述任务所包括的所述目标关系公式和所述目标知识概念，在所属知识领域对应的代码库中获取目标代码包括：根据目标关系公式在所属知识领域对应的所述代码库中获取待补充代码；根据所述目标知识概念和所述待补充代码生成所述目标代码。根据如上所述的方法，可选地，所述知识领域至少包括以下的两种领域：大气计算领域、导航领域、飞行管理领域、飞行控制领域。根据如上所述的方法，可选地，在所述生成完整代码之后，还包括：根据所述完整代码生成控制指令；向伺服控制器发送控制指令，以使所述伺服控制器根据所述控制指令发送动作信号控制飞行器的飞行。本专利技术另一个方面提供一种基于ARINC653操作系统生成代码的装置，包括：第一获取模块，用于获取知识图文件，所述知识图文件包括至少一条知识路径，每条知识路径均包括至少两个知识概念，每个知识概念均通过同一路径中的上一知识概念和对应的关系公式得到，各所述关系公式至少属于两个不同的知识领域，一个知识领域对应所述ARINC653操作系统的一个分区；第一生成模块，用于根据所述知识图文件生成多个任务，并建立各所述任务之间的连接关系，每个所述任务至少包括一个目标关系公式以及所述目标关系公式对应的目标知识概念，属于同一任务的目标关系公式的知识领域相同；第二获取模块，用于根据各所述任务所包括的所述目标关系公式和所述目标知识概念，在所属知识领域对应的代码库中获取目标代码；第二生成模块，用于根据所述连接关系对所述目标代码排序，生成完整代码。根据如上所述的装置，可选地，所述第一获取模块具体用于，获取各知识概念；根据各知识概念的因果关系构建所述知识图文件。根据如上所述的装置，可选地，所述第二获取模块具体用于，根据目标关系公式在所属知识领域对应的所述代码库中获取待补充代码；根据所述目标知识概念和所述待补充代码生成所述目标代码。根据如上所述的装置，可选地，所述知识领域至少包括以下的两种领域：大气计算领域、导航领域、飞行管理领域、飞行控制领域。根据如上所述的装置，可选地，还包括：控制模块，用于根据所述完整代码生成控制指令；发送模块，用于向伺服控制器发送控制指令，以使所述伺服控制器根据所述控制指令发送动作信号控制飞行器的飞行。根据本专利技术的基于ARINC653操作系统生成代码的方法与装置，通过获取知识图文件，根据知识图文件生成多个任务，并建立各任务之间的连接关系，再根据任务所包括的目标关系公式和目标知识概念，在所属知识领域对应的代码库中获取目标代码，并根据各任务的连接关系对目标代码排序生成完整代码，实现了自动生成代码，提高了代码的生成效率。附图说明为了更清楚地说明本专利技术实施例或现有技术中的技术方案，下面将对实施例或现有技术描述中所需要使用的附图作一简单地介绍，显而易见地，下面描述中的附图是本专利技术的一些实施例，对于本领域普通技术人员来讲，在不付出创造性劳动性的前提下，还可以根据这些附图获得其他的附图。图1为本专利技术一实施例提供的基于ARINC653操作系统生成代码的方法的流程示意图；图2为本专利技术一实施例提供的知识图文件示意图；图3为本专利技术一实施例提供的任务之间的连接关系示意图；图4为本专利技术另一实施例提供的基于ARINC653操作系统生成代码的装置的结构示意图；图5为本专利技术再一实施例提供的基于ARINC653操作系统生成代码的装置的结构示意图。具体实施方式为使本专利技术实施例的目的、技术方案和优点更加清楚，下面将结合本专利技术实施例中的附图，对本专利技术实施例中的技术方案进行清楚、完整地描述，显然，所描述的实施例是本专利技术一部分实施例，而不是全部的实施例。基于本专利技术中的实施例，本领域普通技术人员在没有作出创造性劳动前提下所获得的所有其他实施例，都属于本专利技术保护的范围。首先，介绍一下ARINC(航空电子应用软件标准接口)系统，具体以ARINC653操作系统为例进行说明。ARINC653操作系统是采用ARINC653设计原理的操作系统，是为了满足航空电子对高可靠性、高可用性以及高服务性的要求而生，对区间管理、区间通信及健康监测部分进行了补充说明，用以规范航空电子设备和系统的开发。一个能运行ARINC653操作系统的计算机系统包括硬件、ARINC653操作系统和应用软件，在ARINC653操作系统中会包括多个分区(Partitioning)，分区是ARINC653操作系统中一个核心概念。每个分区中运行一个应用子系统，每个应用子系统可以运行一个或多个任务，不同分区的应用子系统会进行通信。针对ARINC653操作系统分区结构的特点，可以设计相应的软件架构模型来自动生成代码。下面通过各个实施例描述如何自动生成代码。实施例一本实施例提供一种基于ARINC653操作系统生成代码的方法，例如ARINC653操作系统。本实施例的执行主体为基于ARINC653操作系统生成代码的装置。如图1所示，为本实施例的基于ARINC653操作系统生成代码的方法的流程示意图，该方法包括：步骤101，获取知识图文件，知识图文件包括至少一条知识路径，每条知识路径均包括至少两个知识概念，每个知识概念均通过同一路径中的上一知识概念和对应的关系公式得到，各关系公式至少属于两个不同的知识领域，一个知识领域对应ARINC653操作系统的一个分区。知识图表示一个概念体系，概念用结点表示，概念之间的关联用箭头表示；箭头有四种：无向、单向、双向、分叉；结点的内容可以是文字、图形、嵌套的知识图及其组合本文档来自技高网...

【技术保护点】
一种基于ARINC653操作系统生成代码的方法，其特征在于，包括：获取知识图文件，所述知识图文件包括至少一条知识路径，每条知识路径均包括至少两个知识概念，每个知识概念均通过同一路径中的上一知识概念和对应的关系公式得到，各所述关系公式至少属于两个不同的知识领域，一个知识领域对应所述ARINC653操作系统的一个分区；根据所述知识图文件生成多个任务，并建立各所述任务之间的连接关系，每个所述任务至少包括一个目标关系公式以及所述目标关系公式对应的目标知识概念，属于同一任务的目标关系公式的知识领域相同；根据各所述任务所包括的所述目标关系公式和所述目标知识概念，在所属知识领域对应的代码库中获取目标代码；根据所述连接关系对所述目标代码排序，生成完整代码。

【技术特征摘要】
1.一种基于ARINC653操作系统生成代码的方法，其特征在于，包括：获取知识图文件，所述知识图文件包括至少一条知识路径，每条知识路径均包括至少两个知识概念，每个知识概念均通过同一路径中的上一知识概念和对应的关系公式得到，各所述关系公式至少属于两个不同的知识领域，一个知识领域对应所述ARINC653操作系统的一个分区；根据所述知识图文件生成多个任务，并建立各所述任务之间的连接关系，每个所述任务至少包括一个目标关系公式以及所述目标关系公式对应的目标知识概念，属于同一任务的目标关系公式的知识领域相同；根据各所述任务所包括的所述目标关系公式和所述目标知识概念，在所属知识领域对应的代码库中获取目标代码；根据所述连接关系对所述目标代码排序，生成完整代码。2.根据权利要求1所述的方法，其特征在于，所述获取知识图文件包括：获取各知识概念；根据各知识概念的因果关系构建所述知识图文件。3.根据权利要求1所述的方法，其特征在于，所述根据各所述任务所包括的所述目标关系公式和所述目标知识概念，在所属知识领域对应的代码库中获取目标代码包括：根据目标关系公式在所属知识领域对应的所述代码库中获取待补充代码；根据所述目标知识概念和所述待补充代码生成所述目标代码。4.根据权利要求1所述的方法，其特征在于，所述知识领域至少包括以下的两种领域：大气计算领域、导航领域、飞行管理领域、飞行控制领域。5.根据权利要求1-4中任一项所述的方法，其特征在于，在所述生成完整代码之后，还包括：根据所述完整代码生成控制指令；向伺服控制器发送控制指令，以使所述伺服控制器根据所述控制指令发送动作信号控制飞行器的飞行...

【专利技术属性】
技术研发人员：赵永望，张峰，马殿富，王磊，李逍逍，
申请(专利权)人：北京航空航天大学，
类型：发明
国别省市：北京,11