[发明专利]基于ARINC653操作系统生成代码的方法与装置

说明书

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

技术领域

本发明涉及安全关键软件开发技术，尤其涉及一种基于ARINC653操作系统生成代码的方法与装置。

背景技术

安全关键系统是指系统功能的失效或误动作将会导致生命财产的重大损失以及对周围环境造成严重破坏的系统，这类系统广泛应用于航空航天、国防军事、核电能源、交通运输和医疗卫生等安全关键领域。安全关键系统中用于安全关键控制的软件称为安全关键软件。

机载应用软件属于安全关键软件，它是飞机上各类机载系统和设备中所含的计算机程序和数据，在现代航空器中，机载应用软件承担了越来越多的功能，随着机载应用软件规模的大幅增长，有效提高开发效率成为亟需解决的技术问题。

发明内容

本发明提供一种基于ARINC653操作系统生成代码的方法与装置，以解决现有技术中机载应用软件的开发效率低的缺陷。

本发明第一个方面提供一种基于ARINC653操作系统生成代码的方法，包括：

获取知识图文件，所述知识图文件包括至少一条知识路径，每条知识路径均包括至少两个知识概念，每个知识概念均通过同一路径中的上一知识概念和对应的关系公式得到，各所述关系公式至少属于两个不同的知识领域，一个知识领域对应所述ARINC653操作系统的一个分区；

根据所述知识图文件生成多个任务，并建立各所述任务之间的连接关系，每个所述任务至少包括一个目标关系公式以及所述目标关系公式对应的目标知识概念，属于同一任务的目标关系公式的知识领域相同；

根据各所述任务所包括的所述目标关系公式和所述目标知识概念，在所属知识领域对应的代码库中获取目标代码；

根据所述连接关系对所述目标代码排序，生成完整代码。

根据如上所述的方法，可选地，所述获取知识图文件包括：

获取各知识概念；

根据各知识概念的因果关系构建所述知识图文件。

根据如上所述的方法，可选地，所述根据各所述任务所包括的所述目标关系公式和所述目标知识概念，在所属知识领域对应的代码库中获取目标代码包括：

根据目标关系公式在所属知识领域对应的所述代码库中获取待补充代码；

根据所述目标知识概念和所述待补充代码生成所述目标代码。

根据如上所述的方法，可选地，所述知识领域至少包括以下的两种领域：大气计算领域、导航领域、飞行管理领域、飞行控制领域。

根据如上所述的方法，可选地，在所述生成完整代码之后，还包括：

根据所述完整代码生成控制指令；

向伺服控制器发送控制指令，以使所述伺服控制器根据所述控制指令发送动作信号控制飞行器的飞行。

本发明另一个方面提供一种基于ARINC653操作系统生成代码的装置，包括：

第一获取模块，用于获取知识图文件，所述知识图文件包括至少一条知识路径，每条知识路径均包括至少两个知识概念，每个知识概念均通过同一路径中的上一知识概念和对应的关系公式得到，各所述关系公式至少属于两个不同的知识领域，一个知识领域对应所述ARINC653操作系统的一个分区；