郑 磊， 高晓光， 张国全

(西北工业大学电子信息学院，西安 710129)

0 引言

随着软件和微电子技术的高度发展，航空电子架构正由联合式计算控制单元向高度综合化的计算处理模块转变，综合模块化航空电子［1］(Integrated Modular Avionics，IMA)就是其中的典型代表之一。IMA引入了鲁棒的时间和空间分区机制使各种航电功能高度综合在一起，使其在共享系统资源时具有相互独立性，在保证系统安全性的前提下减少了航电系统的重量和体积，并一定程度地增强了系统的可维护性［2］。系统复杂度的增加使得对其安全性的保障尤为重要，IMA的测试和验证活动要伴随着整个IMA的生命周期过程［3］。

IMA带来的航电新特性主要是由其航电功能的空间和时间的分区［4－5］来实现的。时间分区主要由IMA的系统级调度实现，这一机制给每个分区分配了一定的执行时间，从而使各个分区轮流得到执行。一个健壮的分区系统要满足不同关键等级的分区在同一个模块中执行时不会在空间和时间上互相影响，这样的结构使系统具有了高度的容错性。

本文提出一种时间分区测试的方法，并采用IMA分区调度模型对该方法进行分析，最后对模拟测试结果的时序特性进行总结。

1 IMA测试环境

IMA的测试环境主要由测试系统和待测系统组成:测试系统主要进行测试指令的发送以及测试结果的接收和分析;待测试系统接收测试系统的测试指令，完成测试动作后向测试系统返回测试结果。

在IMA的系统综合测试阶段［6］，可以将待测系统看成是配置和应用的组合:配置分为测试配置和真实配置;应用分为测试应用和真实应用。……