综合化航电智能电源控制软件设计与实现

综合化航空电子系统已经成为高度复杂的实时系统,新一代航电系统的发展对电源模块的设计提出了新的要求：大电流供电、余度供电、故障隔离等。传统的电源模块已经不能适应这些需求,因此,需要设计具有电源控制及管理功能的智能电源及其控制软件。通过对一种智能控制电源软件设计及其控制策略的分析,详细描述了智能电源在新航电系统中的功能及应用,为智能电源在不同场合下的应用提供了探索。     

机载系统NANDFlash存储技术

为了发挥NANDFlash在机载环境中非易失性、体积小、固态性、重量轻、低功耗、抗震动等特点,介绍了NANDFlash的存储特性,对NANDFlash存储的关键技术进行了改进,提出了基于域机制的地址映射方式和基于阈值的损耗均衡方法,为机载系统能够更加可靠、实时和安全地进行数据存储提供了选择。     

基于分区操作系统的实时监控工具的研究与实现

当前基于ARINC653的综合化航空电子系统的应用日益广泛,基于分区操作系统应用开发的方便性和灵活性已经成为航空电子系统需要解决的重要问题。详细阐述了基于分区操作系统的目标机监视的原理,并给出了一种可行的目标机运行监视工具AcoreScope的设计和实现方案。应用表明工具极大地改善和提高了航空电子系统的应用开发能力,为通信故障诊断和分析提供了依据。     

基于Eclipse平台的嵌入式软件集成开发环境目标机通信管理

基于Eclipse平台的嵌入式软件集成开发环境已经成为嵌入式软件集成开发环境的主流。嵌入式软件集成开发环境中的各种交叉开发工具依赖于目标机服务器提供的目标机通信管理功能。提出了一种目标机通信管理系统结构,描述了其各功能部件的功能和接口及其主要的工作流程,介绍了其软件架构及其主要的难点技术与解决方法。     

分区操作系统远程系统浏览器

满足ARINC 653标准的嵌入式实时分区操作系统内部提供了多种系统对象,远程系统浏览器是系统开发者在宿主机端查看这些系统对象的最简便快捷的开发工具。描述了分区操作系统信息组织形式和远程信息协议及远程系统浏览器的工作流程。提出了一种基于Eclipse和RSE的远程系统浏览器的系统结构,以及各结构部分的功能。方便系统开发者在宿主机端交叉开发在目标机上运行的分区操作系统系统软件及应用软件。     

基于AADL的航电系统建模技术

新一代航电系统的高度综合化,模块化,采用分布式结构,实现容错/重构等特点,对可靠性,可验证性提出更高的要求。较为全面的介绍了以AADL为基础的航电系统建模的技术,给出具体的实施方案和步骤,开发出结构分析与设计工具创建及管理模型,检查模型的完整性和正确性,并为安全性分析、可靠性分析以及可调度性分析等验证工具提供了良好的接口。     

基于AADL的航空电子系统安全性分析

AADL是一种描述嵌入式实时系统的软硬件结构、安全性、可靠性等关键性能特性的重要手段,目前已广泛应用于基于ARINC653的综合化航电系统。安全性作为综合化航电系统的关键性能之一,已成为需要解决的重要问题。详细阐述了基于AADL的航空电子系统安全性分析的原理,并给出了一种可行的航空电子系统安全性分析的设计和实现方案,为航空电子系统安全性的设计提供了一种验证方法。