[发明专利]一种分区实时操作系统的分区配置方法

摘要

本发明提供了一种分区实时操作系统的分区配置方法，首先在Manifest文件中规定分区配置信息、交叉工具链的版本信息和编译链接参数，然后设计代码自动生成器，使得源代码和链接脚本自动生成，并对代码生成器进行形式化验证，在进行程序编译时，通过获取Manifest文件中规定的交叉工具链编译器和链接器的版本信息，对编译器和链接器的版本进行验证，然后根据Manifest中的编译链接参数进行程序的编译和链接。本发明消除了因编译器和链接器版本不同造成编译链接结果不正确的可能性，简化了程序开发过程，同时也保证了源代码和链接脚本的可靠性，消除了因手动编写源代码和链接脚本而引入错误的可能性。

主权项

1.一种分区实时操作系统的分区配置方法，其特征在于包括下述步骤：步骤一、用户编写Manifest文件；Manifest文件以XML格式表示，将分区作为Manifest文件的根元素，通过元素属性的方式规定交叉工具链的版本信息以及编译链接参数，然后通过标签描述分区的分区名称、分区空间配置、分区时间配置、分区关键等级、分区使用的外部设备和分区健康监测表；用户根据实际使用需求，确定分区数量，建立与分区数量对应的分区元素，然后根据每个分区功能需求的不同，对分区名称、分区空间配置、分区时间配置、分区关键等级、分区使用的外部设备和分区健康监测表的标签进行设定；步骤二、通过数据软总线获取Manifest文件的信息；将步骤一完成的Manifest文件挂接到数据软总线上，数据软总线获取Manifest文件中的数据信息；步骤三、使用ARINC 653XML‑SCHEMA对获取到的Manifest信息进行校验；Manifest文件中的信息包含两部分：一部分是分区配置信息，另一部分是交叉工具链版本信息和编译链接参数；依据ARINC 653标准的要求，使用ARINC 653XML‑SCHEMA对分区配置信息进行校验，通过校验的Manifest文件作为分区配置文件继续使用；步骤四、设计代码生成器，并对代码生成器进行形式化验证；从步骤三通过校验的Manifest文件的分区信息中提取各个分区的参数，根据提取参数编写源代码和链接脚本；通过文本替换的方式设计代码生成器，采用形式化的方法对代码生成器进行验证；步骤五、获取步骤三通过校验的Manifest文件中的交叉工具链编译器版本信息和编译参数，并对编译器版本进行检查；通过代码生成器产生的源代码在进行编译之前，根据步骤三通过校验的Manifest文件中规定的编译器版本信息对与实际使用的编译器版本进行对比，确保编译器版本的正确性；步骤六、编译代码生成器生成的源代码；获取步骤三通过校验的Manifest文件中的编译参数，使用版本相同的编译器编译源代码；步骤七、获取步骤三通过校验的Manifest中的交叉工具链链接器版本信息和链接参数，并对链接器版本进行检查；完成步骤六中源代码的编译之后，对比Manifest中规定的交叉工具链链接器版本信息和实际使用的链接器版本信息，确保所使用的链接器为规定版本；步骤八、根据代码生成器产生的链接脚本，将应用程序链接到指定的位置；在完成链接器版本的验证之后，根据Manifest文件中的链接参数和代码生成器产生的链接脚本，根据Manifest文件中的链接参数和代码生成器产生的链接脚本，交叉工具链中的链接器执行链接环节，将程序的各个段链接到指定的位置。