留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

基于Harmony系统工程的IMA应用开发

徐文 熊智勇 张国全

徐文, 熊智勇, 张国全等 . 基于Harmony系统工程的IMA应用开发[J]. 北京航空航天大学学报, 2015, 41(11): 2067-2077. doi: 10.13700/j.bh.1001-5965.2014.0741
引用本文: 徐文, 熊智勇, 张国全等 . 基于Harmony系统工程的IMA应用开发[J]. 北京航空航天大学学报, 2015, 41(11): 2067-2077. doi: 10.13700/j.bh.1001-5965.2014.0741
XU Wen, XIONG Zhiyong, ZHANG Guoquanet al. IMA application development based on Harmony system engineering[J]. Journal of Beijing University of Aeronautics and Astronautics, 2015, 41(11): 2067-2077. doi: 10.13700/j.bh.1001-5965.2014.0741(in Chinese)
Citation: XU Wen, XIONG Zhiyong, ZHANG Guoquanet al. IMA application development based on Harmony system engineering[J]. Journal of Beijing University of Aeronautics and Astronautics, 2015, 41(11): 2067-2077. doi: 10.13700/j.bh.1001-5965.2014.0741(in Chinese)

基于Harmony系统工程的IMA应用开发

doi: 10.13700/j.bh.1001-5965.2014.0741
基金项目: 中国航空工业集团公司技术创新基金(2012F61507R)
详细信息
    作者简介:

    徐文(1989-),男,安徽芜湖人,工程师,xu_wen@careri.com

    通讯作者:

    张国全(1978-),男,辽宁大连人,高级工程师,zhang_guoquan@careri.com,主要研究方向为航空电子系统综合与测试技术.

  • 中图分类号: V221+.3;TB553

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软件模型行为一致.

     

  • [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.
  • 加载中
计量
  • 文章访问数:  756
  • HTML全文浏览量:  55
  • PDF下载量:  706
  • 被引次数: 0
出版历程
  • 收稿日期:  2014-11-28
  • 修回日期:  2015-03-13
  • 网络出版日期:  2015-11-20

目录

    /

    返回文章
    返回
    常见问答