Abstract:Regarding to the resource allocation and partition starting time in the Integrated Modular Avionics (IMA), a Unified Modeling Language (UML) model of partition configuration and initialization was proposed based on the case study of VxWorks 653 partition operating system. The proposed model including classes diagram and initial sequence diagram for partition, was established to facilitate the analysis of the mechanism of partition configuration and starting/initialization. The contents and function of partition configuration in the processes of resources allocation, operating system compilation and partition initialization, were discussed in detail, as well as the differences between "cold start" and "warm start" mode. A platform was set up for testing the startup times of the two kinds of startup modes, and the test results showed that the time of cold start was 148 ms, and warm start time was 8.5 ms. Furthermore, the applicable scenarios for cold start and warm start mode were discussed. The policies of partition configuration and application software initialization were proposed based on the starting time. The mode of partition start and time of partition initialization should be fully considered when establishing the partition main time frame and identifying the health management policy. The designed policies can be applicable to other partition system design in high security applications.
[1] 俞大磊,解文涛,孙靖国,等.综合化核心处理平台关键技术研究与实现[J].工业控制计算机,2015,28(12):150-151.(YU D L, XIE W T, SUN J G, et al. Research and realization of key technology for integrated core processing platform[J]. Industrial Control Computer, 2015, 28(12):150-151). [2] GASKA T, WATKIN C, CHEN Y. Integrated modular avionics-past, present, and future[J]. IEEE Aerospace and Electronic Systems Magazine, 2015, 30(9):12-23. [3] GE为C919提供综合模块化航电系统[J/OL]. 国际航空,2010(10):35.[2016-08-10]. http://www.ixueshu.com/document/2592969bcf6e768d318947a18e7f9386.html.(GEs integrated modular avionics for C919[J/OL]. International Aviation, 2010(10):35.[2016-08-10]. http://www.ixueshu.com/document/2592969 bcf6e768d318947a18e7f9386.html. [4] 谭龙华,杜承烈,雷鑫.ARINC653分区实时系统的可调度分析[J].航空学报,2015,36(11):3698-3705.(TAN L H, DU C L, LEI X. Schedulability analysis for ARINC 653 partitioned real-time systems[J]. Acta Aeronautica Et Astronautica Sinica, 2015, 36(11):3698-3705.). [5] 王震,朱剑锋.基于在线加载分区机制的重构方案的设计与实现[J].航空电子技术,2016,47(1):25-30.(WANG Z, ZHU J F. Design and implementation of a reconfiguration blueprint based on online-loaded partition mechanism[J]. Avionics Technology, 2016, 47(1):25-30.). [6] 安乐.民用飞机IMA 系统研制保证等级分配的研究[J].航空计算技术,2016,46(3):119-123(AN L. Research on development assurance level assignment for integrated modular avionics of civil aircraft[J]. Aeronautical Computing Technique, 2016, 46(3):119-123.). [7] 王鹏,赵长啸,马赞.综合模块化航电系统失效模式分析[J].电讯技术,2013,53(11):1406-1411.(WANG P, ZHAO C X, MA Z. Failure model analysis of integrated modular avionics system[J]. Telecommunication Engineering, 2013, 53(11):1406-1411.) [8] XU W, XIONG Z Y, GONG C. A method of integrated modular avionics system configuration data management[C]//Proceedings of the 2015 IEEE/AIAA 34th Digital Avionics Systems Conference. Piscataway, NJ:IEEE, 2015:6D4-1-6D4-8. [9] PAENG B J, HA O K, JUN Y K. Software tool for integrating configuration data of ARINC 653 operating systems[C]//Proceedings of the 2015 8th International Conference on Grid and Distributed Computing. Piscataway, NJ:IEEE, 2015:20-23. [10] 胡军,马金晶,刘雪,等.模型驱动的安全关键系统配置信息验证方法[J].计算机科学与探索,2015,9(4):385-402.(HU J, MA J J, LIU X, et al. Model-driven reconfiguration information verification for safety-critical systems[J]. Journal of Frontiers of Computer Science and Technology, 2015, 9(4):385-402.) [11] Aeronautical Radio Inc. Design guidance for integrated modular avionics, ARINC report 651-1[R]. Annapolis, Maryland:Aeronautical Radio Inc, 1997. [12] Wind River Inc. XML configuration explained platform safety critical:ARINC 653 XML configuration[EB/CD]. Alamida:Wind River Inc, 2007. [13] Wind River Inc. VxWorks 653 configuration and build guide[EB/CD]. Alamida:Wind River Inc, 2007. [14] Wind River Inc. VxWorksAE BSP developers guide[EB/CD]. Alamida:Wind River Inc, 2001. [15] Wind River Inc. VxWorks 653 programmers guide[EB/CD]. Alamida:Wind River Inc, 2007.