IMA application development based on Harmony system engineering
-
摘要: 介绍了结合Harmony系统工程(SE)建模方法进行综合模块化航空电子(IMA)系统应用的开发,采用Rhapsody Harmony框架作为系统设计工具,在IMA应用软件需求进行分析的基础上创建软件模型,对系统的用例图、活动图、时序图、内部块图以及状态图进行了分析.阐述了在软件模型的基础上,基于VxWorks 653操作系统(OS)的IMA应用开发过程,涉及到模块操作系统的构建、分区操作系统的构建、应用的构建以及综合的构建,其中,模块操作系统的构建涉及到核心操作系统Makefile的开发,分区操作系统的构建涉及到分区操作系统配置表以及其Makefile的开发,应用的构建涉及到应用源程序、应用配置表以及其Makefile的开发,综合的构建涉及到模块配置表以及其Makefile的开发,将应用加载到IMA模块上进行了功能测试,IMA应用运行状态与Harmony软件模型行为一致.
-
关键词:
- 系统建模 /
- Rhapsody /
- Harmony方法 /
- 综合模块化航空电子(IMA)系统应用 /
- VxWorks 653
Abstract: Integration modular avionics (IMA) system application development with Harmony system engineering (SE) modeling method was introduced, Rhapsody was used as the system design tool with Harmony profile to create a software model based on the IMA application requirements, and the system use case diagrams, activity diagrams, sequence diagrams, internal block diagrams and state diagrams were analyzed. With the model, the IMA application development process based on VxWorks 653 operation system(OS)was specified, including module OS build, partition OS build, application build and integration build, and test the IMA application. In module OS build process, it was focused on the development of core OS Makefile. In partition OS build process, it was focused on the development of partition OS configuration table and its Makefile. In application build process, it was focused on the development of application source code, application configuration table and its Makefile. In integration build process, it was focused on the development of module configuration table and its Makefile. The application was tested by loading it into the IMA module, the application's running state was consistent with the Harmony software model. -
[1] 周庆,刘斌,余正伟,等.综合模块化航电软件仿真测试环境研究[J].航空学报, 2012, 33(4):723-733. Zhou Q, Liu B, Yu Z W, et al.A framework of simulation testing environment for integrated modular avionics software[J].Acta Aeronautica et Astronautica Sinica, 2012, 33(4):722-733(in Chinese). [2] 张炯,吕紫旭,胡彦彦,等.虚拟化技术在综合化航电系统中的应用[J].北京航空航天大学学报, 2010, 36(2):128-130. Zhang J, Lü Z X, Hu Y Y, et al.Perspective view of virtualization technologies for avionics system[J].Journal of Beijing University of Aeronautics and Astronautics, 2010, 36(2):128-129(in Chinese). [3] 郑军,刘畅,任占勇.综合模块化航空电子软件测试环境[J].计算机工程与设计, 2011, 32(8):2737-2738. Zheng J, Liu C, Ren Z Y.Integrated modular avionics software testing environment[J].Computer Egineering and Design, 2011, 32(8):2737-2738(in Chinese). [4] 蒲小勃.现代航空电子系统与综合[M].北京:航空工业出版社, 2013:354-356. Pu X B.Modern avionics system and integration[M].Beijing:Aviation Industry Press, 2013:354-356(in Chinese). [5] Hoffman H P.Rational Harmony for systems engineering deskbook, Release 3.1[M].Somers, NY:IBM Software Group, 2010:45-50. [6] 王安生.软件工程化[M].北京:清华大学出版社, 2014:136-138. Wang A S.Software engineering[M].Beijing:Tsinghua University Press, 2014:136-138(in Chinese). [7] 张彦,庄锡明.基于模型的开发方法在通信管理模块软件中的应用[J].航空电子技术, 2013, 44(2):31-32. Zhang Y, Zhuang X M.Application of model-based development in communication management module[J].Avionics Technology, 2013, 44(2):31-32(in Chinese). [8] RTCA DO-297.Integrated modular avionics (IMA) development guidance and certification considerations[S].Washington, D.C.:RTCA, Inc., 2005:25-28. [9] ARINC Specification 653P1-3.Avionics application software standard interface part1-required services[S].Maryland:Aeronautical Radio, Inc., 2010:35-37. [10] Wind River System, Inc.Vxworks653 configuration and build guide[EB/OL].Alameda, CA:Wind River Systems, Inc, 2007(2011-03-10)[2014-11-28].http://www.windriver.com. [11] Free Software Foundation.GNU make[EB/OL].Boston, MA:Free Software Foundation, 2002(2014-07-01)[2014-11-28].http://savannah.gnu.org/projects/make. [12] 张欣毅.XML简明教程[M].北京:清华大学出版社, 2009:86-88. Zhang X Y.A concise course in XML[M].Beijing:Tsinghua University Press, 2009:86-88(in Chinese). [13] Wind River System, Inc.Vxworks 653 programmer's guide[EB/OL].Alameda, CA:Wind River Systems, Inc, 2007(2011-03-10)[2014-11-28].http://www.windriver.com. [14] 乔乃强,徐涛,谷青范.ARINC653分区调度算法的研究与改进[J].计算机工程, 2011, 37(20):249-251. Qiao N Q, Xu T, Gu Q F.ARINC653 partition schedule research and improvement[J].Computer Egineering, 2011, 37(20):249-251(in Chinese). [15] Aliki Ott.System testing in the avioincs domain[D].Bremen:Bremen University, 2007.
点击查看大图
计量
- 文章访问数: 848
- HTML全文浏览量: 78
- PDF下载量: 713
- 被引次数: 0