适航认证中的目标码覆盖率分析工具VerOCode

监控和测试程序(测试控制和被测单元)在PPC目标机上执行,覆盖率在机器码级获得。由于目标系统提供printk函数,可在串口打印数据输出,通过超级终端或其他串口监控程序获得数据结果。一个测试运行以后,收集的覆盖率数据通过串口上传到宿主机来分析。     

浅谈ALENIA录取器中DPM板的工作原理及维护实例

引言ALENIA二次雷达是乌鲁木齐机场本场的主用航管雷达,这套设备为管制人员提供带有应答机飞机的方位、距离、二次代码、气压高度、速度和危急告警等信息,有利于管制人员进行区域和本场进出航班的交通管制。     

美西北将拓展与大韩的代码共享合作

美国西北航空公司12月5日宣布，将拓展其与大韩航空公司的代码共享合作范围，从而使选乘大韩运营的7条国际航线以及美西北运营的6条美国国内航线的乘客受益。     

航天型号、系统及其它——由产品分类与编码标准想到的

介绍了航 天 常 用 的 “型 号 ”、 “代 号 ”、 “代 码 ” 和 “系 统 ” 等 术 语 的定 义 , 从 其 区 别 分 析 了 其 术 语 在 具 体 应 用 中 出 现 的 分 歧 , 并 针 对 不 同 的 理 解 , 阐 明 了在 实 际 应 用 中 有 关 问 题 的 解 决 措 施 。     

军品软件定价方法研究

现代作战飞机技术战术指标与作战效能的提高使得军品软件的代码行与功能点越来越多,软件系统的规模越来越大,软件研制的复杂性也越来越高,造成软件在飞机成本中的比例逐渐升高。阐述了开展软件定价方法研究的必要性,分析了国外开展软件定价方法研究的进展,研究了美军采用参数模型法进行软件定价的主要方法,介绍了美军进行软件价格管理的有益经验,提出了我国开展相关工作的建议,为加强军品软件价格管理工作,提高军费使用效益提供有益的借鉴和参考。     

国际要闻

▲6月1日,卡塔尔航空公司与汉莎航空公司实现代码共享,迈出了其进入美国市场的第一步。▲6月1日,俄罗斯国际航空公司宣布购买30架RRJ飞机。▲6月5日,济州航空公司首航从济州飞往金浦市。▲6月6日,伦敦机场管理集团(BAA)同意以193亿美元将公司出售给以西班牙建筑公司GrupoFerrov     

国际要闻

<正>2010年1月1日-31日▲1月4日,土耳其航空宣布购买30架A320系列飞机,其中包括20架确认订单,以及10架意向订单。▲1月6日,捷星航空与亚洲航空     

航天器软件代码走查方法研究与应用

软件可靠性是现代航天器可靠性工程中的关键因素之一．而代码走查是提高航天软件质量和可靠性的重要手段。本文在空间飞行器软件检测站代码走查实践的基础上，总结并提出了一种针对航天软件特点的代码走查方法，该方法有助于提高走查的效率和保证走查的质量。方法由优化排序的代码检查单、结构化分析方法、专题分析技术和软件缺陷知识库构成。最后通过某星载软件的代码走查案例对方法的有效性和实用性进行了说明。