国家科技重大专项(2012ZX01041-002-003)

作品数：10被引量：33H指数：3
导出分析报告
相关作者：张晓红吕广喆仝敏张东李向东更多>>
相关机构：中航工业西安航空计算技术研究所西安航空计算技术研究所西北工业大学西安理工大学更多>>
相关期刊：《航空计算技术》《计算机技术与发展》《计算机测量与控制》《计算机科学》更多>>
相关主题：分区操作系统机载软件设计航电系统机载计算机更多>>
相关领域：自动化与计算机技术航空宇航科学技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种2×2余度机载计算机故障管理软件设计被引量：3
《航空计算技术》2019年第1期109-111,共3页刘意 徐邦道 万隆 
国家重大专项项目资助(2012ZX01041-002-003)
故障管理对于机载计算机的高可靠性需求是必要的。详细介绍了某2×2余度襟翼控制计算机软件的故障管理办法。按照广义用户的角度,将故障分为计算机故障和系统故障,并提出故障树分析方法,能够快速准确定位故障。
关键词：机载计算机 故障管理 故障树 
基于ARINC659总线的软件同步算法被引量：2
《航空计算技术》2017年第6期119-121,共3页刘意 万隆 刘逸涵 
国家核高基重大专项项目资助(2012ZX01041-002-003);航空科学基金项目资助(2013ZC31005;20141931001)
同步是机载计算机实现余度管理的必要条件。依据ARINC659总线的硬件同步机制,提出机载余度计算机软件同步算法。利用周期性659中断和小帧计数,实现初始同步和周期同步。实验于某前置ART计算机,结果表明:算法具有良好的可靠性和正确性,...
关键词：机载计算机 余度 同步 ARINC659总线 
综合化航电电源管理系统的设计被引量：3
《航空计算技术》2016年第1期111-114,118,共5页张鹏 邸海涛 黄英兰 吕广喆 
十二五核高基项目资助(2012ZX01041-002-003)
提出综合化航电电源管理软件总体设计方案;论述了对系统管理支持、高可靠分布式监控协议、主从实时监控管理以及紧急掉电处理等关键设计;通过综合化航电系统仿真环境验证了方案的可行性。
关键词：综合化航电 电源管理 通用系统管理 主从实时监控 
机载分布式系统管理中消息交互机制探究被引量：3
《计算机测量与控制》2015年第10期3430-3433,共4页杨威 张晓红 
"十二五"核高基项目(2012ZX01041-002-003)
NATO STANAG 4626 ASAAC已广泛应用于综合化模块化航空电子系统,在STANAG 4626中,分布式通用系统管理划分为4个功能组件(健康管理、故障管理、配置管理和安全管理),通过对4个功能组件间的消息通信过程进行分析,提出一种基于分布式通用...
关键词：系统管理 消息通信 消息派遣 
嵌入式实时多分区操作系统两态访问的研究被引量：8
《航空计算技术》2014年第6期88-91,共4页仝敏 张东 
国家核高基重大专项项目(2012ZX01041-002-003)
为了保证不同程序的特权,嵌入式实时多分区操作系统使用系统态和用户态来解决这一问题。在介绍系统态和用户态的基础上,重点研究了嵌入式实时多分区操作系统中系统态和用户态互访,提出了系统调用、虚中断和共享数据区三种可行的访问方式...
关键词：系统态 用户态 系统调用 虚中断 共享数据区 
基于分区操作系统的实时监控工具的研究与实现被引量：2
《航空计算技术》2014年第6期92-94,99,共4页齐晓斌 田丹 麦先根 魏国 
十二五核高基项目资助(2012ZX01041-002-003);十二五总装预研项目资助(5135030101)
当前基于ARINC653的综合化航空电子系统的应用日益广泛,基于分区操作系统应用开发的方便性和灵活性已经成为航空电子系统需要解决的重要问题。详细阐述了基于分区操作系统的目标机监视的原理,并给出了一种可行的目标机运行监视工具Acore...
关键词：航电系统 分区 多线程 代理 
分布式航电系统探讨与分析被引量：6
《航空计算技术》2014年第5期121-124,共4页郭秋丽 刘建军 甄超 吕广喆 
国家核高基重大专项项目资助(2012ZX01041-002-003)
航电系统作为飞机的"大脑"和"神经中枢",主要完成与飞行任务相关的功能,在机载系统中占有重要地位。探讨了航电系统从分离式结构到联合式结构再到现在普遍应用的IMA结构的发展历程;分析了分布式航电系统发展到现今阶段所应用的关键技术...
关键词：航电系统 操作系统 IMA 中间件 
J2EE应用服务器的软件老化测试研究
《计算机技术与发展》2014年第7期237-240,244,共5页刘建军 孟海宁 
国家核高基重大专项项目(2012ZX01041-002-003)
软件老化现象是影响软件可靠性的重要因素,长期运行的软件系统存在软件老化现象,这将影响整个业务系统的正常运行,给企事业单位带来无可估量的经济损失。软件老化出现的主要原因是操作系统资源消耗殆尽,导致应用系统的性能下降甚至崩溃...
关键词：应用服务器 软件老化 软件可靠性 
机载嵌入式系统中多种机内自测试的软件设计被引量：7
《计算机测量与控制》2014年第4期1310-1313,共4页李向东 张晓红 戴小氐 郝玉锴 
"十二五"核高基项目(2012ZX01041-002-003);航空科学基金项目(2012ZC31)
为增强机载嵌入式系统安全,提出了3种机内自测试方法;以国产天脉2型机载嵌入式操作系统与PowerPC系列较为先进的MPC8641处理器为软硬件平台,对三类测试运行时段、方法特点、功能及其接口进行分析说明;给出了以CACHE、系统时钟及NvRam测...
关键词：嵌入式系统 机内自测试 天脉2 POWERPC 
一种AADL模型测试仿真引擎的设计与实现
《计算机科学》2013年第11A期82-85,104,共5页宣杭 董云卫 孙博 
国家"核高基"重大专项基础软件课题(2012ZX01041-002-003)资助
随着嵌入式软件规模的日益庞大,任务关键系统的可信属性,如实时性、可靠性等,逐渐成为影响嵌入式系统质量和制约系统行为可信的重要因素。如何在系统设计早期及时发现系统可信属性的不足,在模型设计阶段进行体系结构调整、优化模型中软...
关键词：AADL 模型测试 仿真引擎 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部