综合化航空电子分区隔离的建模与设计方法

分区技术是航空电子系统综合化模块化发展中不可缺少的技术.针对航空电子系统安全关键性的要求,基于ARINC653标准,提出了分层分区的体系结构模型,该模型实现了不同安全关键级别应用软件之间的隔离.为了满足航空电子系统强实时可预测性的约束,双层分区模型中系统层采用轮转调度策略,区间层采用单调速率调度策略.然后对分区任务进行可调度分析,在充分保证航空电子系统强实时的前提下,提出了分区关键参数的设计方法,并推导了最坏情况下的系统可调度利用率.计算机仿真结果表明,该方法在保证实时性的同时,能支持更多的系统负载,具有优越性. 

Partition modeling and design in integrated avionics

With the development of integrated modular avionics, partition management has become a necessary technology. To solve the partition management problem under safety critical system constraint, through studying ARINC653 criterion, hierarchical partition architecture model was determined which implement partitioning between applications of different safety critical levels. To guarantee timing constraints and predictability of avionics, a two-level partition schedule model was proposed in which the operation system adopts round-robin scheduling strategy and each individual partition adopts rate monotonic priority scheduling strategy. In addition, for the schedulable analysis problem of partition tasks, on the premise that fully guarantee real time characteristics of integrated modular avionics systems, a design method for partition critical parameters was developed. The least upper bounds of the system schedulable utilization for the method was derived and formally proved. Computer simulation results indicate this approach can be used to admit much more systems load, while guarantee real time properties.