国家科技重大专项(2012ZX01041-002-003) 作品数:10 被引量:33 H指数:3 相关作者: 张晓红 吕广喆 仝敏 张东 李向东 更多>> 相关机构: 中航工业西安航空计算技术研究所 西安航空计算技术研究所 西北工业大学 更多>> 发文基金: 国家科技重大专项 中国航空科学基金 中国人民解放军总装备部预研基金 更多>> 相关领域: 自动化与计算机技术 航空宇航科学技术 更多>>
J2EE应用服务器的软件老化测试研究 2014年 软件老化现象是影响软件可靠性的重要因素,长期运行的软件系统存在软件老化现象,这将影响整个业务系统的正常运行,给企事业单位带来无可估量的经济损失。软件老化出现的主要原因是操作系统资源消耗殆尽,导致应用系统的性能下降甚至崩溃或宕机。文中监测J2EE应用服务器系统资源的使用情况,考虑外界的负载变化,检测系统中软件老化现象,分析系统资源消耗何时达到临界值,从而帮助软件工程人员及时采取预维护手段,预防运行时系统中重大故障的发生。 刘建军 孟海宁关键词:应用服务器 基于ARINC659总线的软件同步算法 被引量:2 2017年 同步是机载计算机实现余度管理的必要条件。依据ARINC659总线的硬件同步机制,提出机载余度计算机软件同步算法。利用周期性659中断和小帧计数,实现初始同步和周期同步。实验于某前置ART计算机,结果表明:算法具有良好的可靠性和正确性,且可扩展性强。 刘意 万隆 刘逸涵关键词:机载计算机 余度 综合化航电电源管理系统的设计 被引量:3 2016年 提出综合化航电电源管理软件总体设计方案;论述了对系统管理支持、高可靠分布式监控协议、主从实时监控管理以及紧急掉电处理等关键设计;通过综合化航电系统仿真环境验证了方案的可行性。 张鹏 邸海涛 黄英兰 吕广喆关键词:电源管理 分布式航电系统探讨与分析 被引量:6 2014年 航电系统作为飞机的"大脑"和"神经中枢",主要完成与飞行任务相关的功能,在机载系统中占有重要地位。探讨了航电系统从分离式结构到联合式结构再到现在普遍应用的IMA结构的发展历程;分析了分布式航电系统发展到现今阶段所应用的关键技术,如维护技术、网络、操作系统、中间件、系统开发方法及支撑工具等;展望了分布式航电系统的发展趋势:它将会进一步提高综合化程度,引入人工智能、模式识别及传感器系统综合等高端技术,向着跨平台、智能化、网络化的方向发展。 郭秋丽 刘建军 甄超 吕广喆关键词:航电系统 操作系统 中间件 一种2×2余度机载计算机故障管理软件设计 被引量:3 2019年 故障管理对于机载计算机的高可靠性需求是必要的。详细介绍了某2×2余度襟翼控制计算机软件的故障管理办法。按照广义用户的角度,将故障分为计算机故障和系统故障,并提出故障树分析方法,能够快速准确定位故障。 刘意 徐邦道 万隆关键词:机载计算机 故障管理 故障树 嵌入式实时多分区操作系统两态访问的研究 被引量:8 2014年 为了保证不同程序的特权,嵌入式实时多分区操作系统使用系统态和用户态来解决这一问题。在介绍系统态和用户态的基础上,重点研究了嵌入式实时多分区操作系统中系统态和用户态互访,提出了系统调用、虚中断和共享数据区三种可行的访问方式,并针对三种访问方式给出了实现方法。这三种访问方式使用方便、灵活,能够有效地解决多分区操作系统两态互访问题。 仝敏 张东关键词:用户态 基于分区操作系统的实时监控工具的研究与实现 被引量:2 2014年 当前基于ARINC653的综合化航空电子系统的应用日益广泛,基于分区操作系统应用开发的方便性和灵活性已经成为航空电子系统需要解决的重要问题。详细阐述了基于分区操作系统的目标机监视的原理,并给出了一种可行的目标机运行监视工具AcoreScope的设计和实现方案。应用表明工具极大地改善和提高了航空电子系统的应用开发能力,为通信故障诊断和分析提供了依据。 齐晓斌 田丹 麦先根 魏国关键词:航电系统 多线程 代理 机载嵌入式系统中多种机内自测试的软件设计 被引量:7 2014年 为增强机载嵌入式系统安全,提出了3种机内自测试方法;以国产天脉2型机载嵌入式操作系统与PowerPC系列较为先进的MPC8641处理器为软硬件平台,对三类测试运行时段、方法特点、功能及其接口进行分析说明;给出了以CACHE、系统时钟及NvRam测试为例的测试算法,阐述了1394子卡测试环境搭建,结果表明测试算法真实有效,能够检测多种错误;工程实践证明,在综合化的嵌入式环境下,多种测试更为健全,能够使嵌入式平台更为安全、降低嵌入式软硬件维护成本。 李向东 张晓红 戴小氐 郝玉锴关键词:嵌入式系统 POWERPC 一种AADL模型测试仿真引擎的设计与实现 2013年 随着嵌入式软件规模的日益庞大,任务关键系统的可信属性,如实时性、可靠性等,逐渐成为影响嵌入式系统质量和制约系统行为可信的重要因素。如何在系统设计早期及时发现系统可信属性的不足,在模型设计阶段进行体系结构调整、优化模型中软硬构件结构及属性规约,成为嵌入式软件分析方法研究的重点。为解决以上问题,提出了一种基于模型的嵌入式系统实时性测试方法,设计并实现了面向AADL模型的仿真测试引擎(AMSE)。仿真引擎基于SystemC和POSIX技术,通过任务封装、任务调度、时钟管理、中断管理和信号控制等实现模拟内核功能,可以动态执行AADL模型实例,从而对嵌入式系统的实时性开展模型测试。同时,以汽车控制系统为应用实例,基于AADL模型测试引擎AMSE进行了应用测试分析,获得了较好的测试结果。 宣杭 董云卫 孙博关键词:AADL 仿真引擎 机载分布式系统管理中消息交互机制探究 被引量:3 2015年 NATO STANAG 4626 ASAAC已广泛应用于综合化模块化航空电子系统,在STANAG 4626中,分布式通用系统管理划分为4个功能组件(健康管理、故障管理、配置管理和安全管理),通过对4个功能组件间的消息通信过程进行分析,提出一种基于分布式通用系统管理的消息交互机制,具体包括消息类型划分、消息封装机制、消息收发派遣机制、消息底层传输机制,满足通用系统管理消息通信中多节点、多数据流通信需求,减少系统设计冗余。 杨威 张晓红关键词:系统管理 消息通信