Partition modeling and design in integrated avionics
-
摘要: 分区技术是航空电子系统综合化模块化发展中不可缺少的技术.针对航空电子系统安全关键性的要求,基于ARINC653标准,提出了分层分区的体系结构模型,该模型实现了不同安全关键级别应用软件之间的隔离.为了满足航空电子系统强实时可预测性的约束,双层分区模型中系统层采用轮转调度策略,区间层采用单调速率调度策略.然后对分区任务进行可调度分析,在充分保证航空电子系统强实时的前提下,提出了分区关键参数的设计方法,并推导了最坏情况下的系统可调度利用率.计算机仿真结果表明,该方法在保证实时性的同时,能支持更多的系统负载,具有优越性.Abstract: 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.
-
Key words:
- avionics /
- real time systems /
- safety critical /
- partition design /
- ARINC653
-
[1] Kinnan L,Wlad J,Rogers P.Porting applications to an arinc653 complicant IMA platform using vxworks as an example //Proceedings of the 23rd Digital Avionics Systems Conference.Salt Cake City,Utah:IEEE Computer Society Press,2004:522-530 [2] Kim D,Lee Y H,Younis M.Software architecture supporting integrated real-time systems[J].The Journal of Systems and Software,2003,65(1):71-86 [3] Lee Y H,Kim D,Younis M,et al.Partition scheduling in APEX runtime environment for embedded avionics software //Proceedings of the Fifth International Confererue on Real-time Computing Systems and Applications.Washington,DC:IEEE Computer Society Press,1998:103-109 [4] 何锋,宋丽茹,熊华钢.航空电子双层任务分区调度设计[J].北京航空航天大学学报,2008,34(11):1364-1368 He Feng,Song Liru,Xiong Huagang.Two-level task partition scheduling design in integrated modular avionics[J].Journal of Beijing University of Aeronautics and Astronautics,2008,34(11):1364-1368 [5] Lorente J L,Palencia J C.An EDF hierarchical scheduling model for bandwidth servers //Proceeding of Real-time Computing Systems and Applications.Washington,DC:IEEE Computer Society Press,2006:261-266 [6] ARINC 653-1-2003,Avionics application software standard interface,ARINC specification 653[S] [7] Lehoczky J P,Sha L,Ding Y.The rate-monotonic scheduling algorithm:exact characterization and average case behavior //Proceedings of the Real-time Systems Symposium.Santa Monica: IEEE Computer Society Press,1989:166-171 [8] Enrico Bini,Giorgio C Buttazzo.Schedulability analysis of periodic fixed priority systems[J].IEEE Transactions on Computers,2004,53(11):1462-1473 [9] Liu C L,Layland J W.Scheduling algorithms for multiprogramming in a hard real-time environment [J].Journal of ACM,1973,20(1): 46-61 -

计量
- 文章访问数: 3746
- HTML全文浏览量: 246
- PDF下载量: 975
- 被引次数: 0