一种分区和应用时间窗符合性检测系统技术方案

本发明专利技术一种分区和应用时间窗符合性检测系统，包含分区策略配置文件、应用配置策略文件、分区时间符合性检测模块、应用时间符合性检测模块、分区时间调度策略显示模块、时间符合性检测信息显示模块，所述分区策略配置文件用于定义各分区的起始时间和终止时间；所述应用配置策略文件用于定于每个分区中各应用的起始时间和终止时间；所述分区时间符合性检测模块用于对分区策略配置文件中定义的分区时间分配进行检查；所述应用时间符合性检测模块用于对应用配置策略文件定义的应用时间分配进行检查；所述分区时间调度策略显示模块、时间符合性检测信息显示模块用于显示检查结果。本发明专利技术能提高检测的效率和准确度，也为系统综合测试提供依据。

【技术实现步骤摘要】
【专利说明】一种分区和应用时间窗符合性检测系统
本专利技术涉及多任务系统的时间分配符合性检测工具，特别是指基于ARINC653规 范的分区和应用时间窗符合性检测工具。 【
技术介绍
】 ARINC 653规范定义了多任务系统使用同一个物理终端（处理计算机）资源的分 配规则。图1给出了相应的数据结构定义方式 在IMA系统的设计和综合验证阶段，根据RTCA/DO 297的职责定义，往往存在多轮 资源分配与协调的过程，这在像IMA这种复杂架构下，修改会给系统的实现与验证带来复 杂性，同时，如果在设计的初期，没有进行时间符合性的分析和检查，也会造成成本的增加 和周期的增长。 国外的IMA设计工具很多都包含了 IMA时间一致性和符合性的检查功能，比如 GESmith的ACT工具。但是，其功能基本上都是封闭且与系统设计流程相关的。本文旨在采 用一种公开的规范，通过自定义的规则建立不同等级（错误，告警）和颜色的检查结果。为 系统设计和综合人员提供自动化的测试比对工具，从而既可以减少人工检验时的错误，也 可以减轻人工检查时的工作量压力。 XSD是一种XML的语法，规定了 XML文件各个节点的属性组成和结构关系。同时， 其规定的属性组成也可以成为程序设计中的数据结构定义依据。采用符合XSD的XML进行 定义也是ARINC 653规范推荐的系统设计方式。同时，该设计方式也在符合ARINC 653规 范的操作系统实现中得到了应用。 【
技术实现思路
】 本专利技术的目的在于提供一种分区和应用时间窗符合性检测系统，用以提高检测的 效率和准确度，也为系统综合测试提供依据。同时，通过可视化和多色彩的结果显示，也提 高了航空电子综合分析结果的可读性与可视性。 本专利技术的专利技术目的通过以下技术方案实现 -种分区和应用时间窗符合性检测系统，基于ARINC 653规范，包含分区策略配 置文件、应用配置策略文件、分区时间符合性检测模块、应用时间符合性检测模块、分区时 间调度策略显示模块、时间符合性检测信息显示模块，其特征在于： 所述分区策略配置文件用于定义各分区的起始时间和终止时间，以及各分区运行 时的属性数据； 所述应用配置策略文件用于定于每个分区中各应用的起始时间和终止时间，以及 应用运行时的属性数据； 所述分区时间符合性检测模块用于对分区策略配置文件中定义的分区时间分配 进行检查； 所述应用时间符合性检测模块用于对应用配置策略文件定义的应用时间分配进 行检查； 所述分区时间调度策略显示模块用于通过不同颜色和宽度的图形显示分区调度 的顺序和执行时间； 所述时间符合性检测信息显示模块用于通过不同颜色字体给出应用检查结果信 息以及检查结果统计信息。 依据上述特征，所述各分区运行时的属性数据包含分区所需的存储资源、计算资 源、分区之间或者分区对其它模块的通信接口。 依据上述特征，所述应用运行时的属性数据包含应用所需的存储资源、计算资源、 应用对外的通信接口。 依据上述特征，所述分区策略配置文件、应用配置策略文件采用符合ARINC653规 范的XML语言编写。 依据上述特征，所述分区时间符合性检测模块对分区策略配置文件进行检测的内 容包含：根据分区策略配置文件中定义的各分区的起始时间和终止时间检测各分区是否在 起始时间和终止时间上有重叠或者冲突现象；通过每个分区的起始时间和终止时间计算出 分区的运行周期，查看分区的运行周期是否与应用配置策略文件中的定义一致；检查分区 策略配置文件中的定义是否正确。 依据上述特征，所述应用时间符合性检测模块对应用配置策略文件的检测包含： 根据应用配置策略文件定义的应用的起始时间和终止时间检查各应用在分区周期内应用 的运行周期，执行时间是否正确；多个应用的执行时间是否有冲突，执行时间配置是否与应 用配置策略文件定义的应用执行周期一致。 依据上述特征，所述分区时间符合性检测模块、应用时间符合性检测模块对检测 结果按照级别分为"Warning"和"Error"。 与现有技术相比较，本专利技术依据ARINC 653定义的分区属性定义规范，对IMA系统 的分区和应用的时间符合性进行检测，然后利用图形和文本的方式，对于分区时间分配的 信息进行显示。 此外，本专利技术还提供了多种颜色和级别的检查不符合性显示结果。提高了识别的 可读性和可视性。本专利技术通过提出分区时间符合性检测流程和应用时间符合性检测流程， 对符合ARINC 653规范的分区分配策略进行自动检测，并给出结果和统计信息。提高了航 空电子综合分析结果的可读性与可视性。提高了复杂系统分配的时间符合性检查效率和准 确率。降低人工检查成本，也降低了 IM系统设计和集成时的时间分配检测难度。 【【附图说明】】 图1为ARINC 653规范规定的数据结构定义方式 图2为本专利技术一种分区和应用时间窗符合性检测系统的结构示意图； 图3为本专利技术中分区符合性检测模块的检测流程图； 图4为本专利技术中应用时间符合性检测模块的检测流程图； 图5为本专利技术中分区调度策略显示模块的显示示意图； 图6为本专利技术中时间符合性检测信息显示模块。 【【具体实施方式】】 请参阅图2所示，为实施本专利技术的基于ARINC 653规范的一种分区和应用时间窗 符合性检测系统的结构示意图，该系统主要包括分区策略配置文件、应用配置策略文件、分 区符合性检测模块，应用时间符合性检测模块，分区调度策略显示模块，时间符合性检测信 息显示模块。以下对各个模块的功能进行详细说明。 分区策略配置文件定义分区和分区所需的存储资源（内存，堆栈等）、计算资源 (在多长周期内能够获取多少CPU使用时间），通信资源（分区对外（其它分区或者其它模 块）的通信接口）等运行时的属性数据一一这些属性数据可以约束或者限制分区的资源使 用情况。 应用配置策略文件用于定义应用所需的存储资源（内存，堆栈等）、计算资源（在 多长周期内能够获取多少CPU使用时间），通信资源（应用对外的通信接口）等运行时的属 性数据一一这些属性数据可以约束或者限制应用的资源使用情况。 注：一个终端上可以有多个分区，一个分区上可以有多个应用。 分区策略配置文件、应用配置策略文件均采用符合ARINC 653规范定义的XML文 件，文件语法如下所示：【主权项】1. 一种分区和应用时间窗符合性检测系统，基于ARINC 653规范，包含分区策略配置 文件、应用配置策略文件、分区时间符合性检测模块、应用时间符合性检测模块、分区时间 调度策略显示模块、时间符合性检测信息显示模块，其特征在于： 所述分区策略配置文件用于定义各分区的起始时间和终止时间，以及各分区运行时的 属性数据； 所述应用配置策略文件用于定于每个分区中各应用的起始时间和终止时间，以及应用 运行时的属性数据； 所述分区时间符合性检测模块用于对分区策略配置文件中定义的分区时间分配进行 检查； 所述应用时间符合性检测模块用于对应用配置策略文件定义的应用时间分配进行检 查； 所述分区时间调度策略显示模块用于通过不同颜色和宽度的图形显示分区调度的顺 序和执行时间； 所述时间符合性检测信息显示模块用于通过不同颜色字体给出应用检查结果信息以 及检查结果统计信息。2. 根据权利要求1所述的一种分区和应用时间窗符合性检测系统，其特征本文档来自技高网...

【技术保护点】
一种分区和应用时间窗符合性检测系统，基于ARINC 653规范，包含分区策略配置文件、应用配置策略文件、分区时间符合性检测模块、应用时间符合性检测模块、分区时间调度策略显示模块、时间符合性检测信息显示模块，其特征在于：所述分区策略配置文件用于定义各分区的起始时间和终止时间，以及各分区运行时的属性数据；所述应用配置策略文件用于定于每个分区中各应用的起始时间和终止时间，以及应用运行时的属性数据；所述分区时间符合性检测模块用于对分区策略配置文件中定义的分区时间分配进行检查；所述应用时间符合性检测模块用于对应用配置策略文件定义的应用时间分配进行检查；所述分区时间调度策略显示模块用于通过不同颜色和宽度的图形显示分区调度的顺序和执行时间；所述时间符合性检测信息显示模块用于通过不同颜色字体给出应用检查结果信息以及检查结果统计信息。

【技术特征摘要】

【专利技术属性】
技术研发人员：张国全，徐万萌，黄晖，
申请(专利权)人：中国航空无线电电子研究所，
类型：发明
国别省市：上海;31