论文部分内容阅读
分区技术是航空电子系统综合化模块化发展中不可缺少的技术.针对航空电子系统安全关键性的要求,基于ARINC653标准,提出了分层分区的体系结构模型,该模型实现了不同安全关键级别应用软件之间的隔离.为了满足航空电子系统强实时可预测性的约束,双层分区模型中系统层采用轮转调度策略,区间层采用单调速率调度策略.然后对分区任务进行可调度分析,在充分保证航空电子系统强实时的前提下,提出了分区关键参数的设计方法,并推导了最坏情况下的系统可调度利用率.计算机仿真结果表明,该方法在保证实时性的同时,能支持更多的系统负载,具有优越性.
Partitioning technology is an indispensable technology in the development of integrated avionics system modularity.Aiming at the key requirements of avionics system security, based on the ARINC653 standard, a hierarchical partitioned architecture model is proposed, which implements the application of different security-critical levels Software isolation.In order to meet the strong real-time predictability constraints of avionics systems, the system layer of the double-layer partitioning model adopts the rotation scheduling strategy and the interval layer adopts the monotonicity rate scheduling strategy.Then the partitioning task is schedulable, Under the premise of strong real-time assurance of avionics system, the design method of key parameters for zoning is proposed and the worst-case system schedulability utilization is derived.Computer simulation results show that this method can support more real-time More system load, with superiority.