综合化航电电源管理系统的设计

提出综合化航电电源管理软件总体设计方案;论述了对系统管理支持、高可靠分布式监控协议、主从实时监控管理以及紧急掉电处理等关键设计;通过综合化航电系统仿真环境验证了方案的可行性。     

一种适用于IP视频会议的混合策略组播密钥管理方案

在分析了现有组播密钥管理方案的基础上,针对IP视频会议的特点,将集中式和分布式密钥管理方案相结合,提出了一种多层次的混合密钥管理方案,其高层为管理层,成员之间通过OFT方案协商产生密钥,并管理密钥;底层采用集中管理方式。该方案避免了单点失效问题,具有高效性和可扩展性的优点,适用于解决大型动态组播的密钥管理问题。     

新一代飞机航电系统的综合化趋势及关键技术

基于飞机航电系统的发展演变历史,阐述了新一代飞机航电系统的综合化演变过程和主要特征,研究了新一代飞机综合化航电系统的结构趋势,提出了提高航电系统综合化水平需重点研究的关键技术。     

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

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

基于FC的航电数据加载服务系统的设计研究

为适应日益发展的综合化航空电子系统及机载网络技术,航电系统维护中尤其是软件升级需要一套标准的数据及文件传输规范来保证加载的安全性和高效性。选用ARINC 615A数据加载协议,在深入分析其传输操作、传输文件以及传输协议的基础上,采用FC高速网络,设计适合ARINC 653和非ARINC 653操作系统的航电数据加载服务系统,并引入状态监控、CRC校验和短加载机制,实现数据加载的正确、稳定、可靠。     

ARINC659总线在IMA架构中的适用性分析

综合模块化航电系统在飞机航电设备的研制中逐渐得到应用,实现综合化模块化航电的一个关键技术是系统内部总线的选择,通过论述综合模块化航电系统对系统内部总线的要求、介绍ARINC659总线的特点,分析ARINC659总线在综合模块化航电系统中的适用性,可以得出ARINC659总线能够满足综合模块化航电系统的要求,目前ARINC659总线已经开始广泛应用于综合模块化航电系统中.     

直升机航电系统综合测试设备研制

针对航电系统机载自检系统(BIT)虚警率高、传统测试设备通用性和综合化程度低等问题,设计并实现了某型直升机航电系统综合自动化测试设备,经实际测试验证,此设备各项性能均满足测试需求。     

任务计划地面站编队数据加载方法研究

随着航空电子系统不断发展,任务计划地面站作为航电系统的一个场站保障设备,为飞行前数据的组织、任务数据加载、飞行后记录数据的管理传输和视频/音频的回放提供了一种快速、准确、规范和安全的技术手段。为适应航空电子系统多机编队任务参数地面加载需求,确保多个任务计划中加载数据的准确性,降低用户对编队内几架甚至十几架飞机制作任务参数的难度,本文提出了合理有效的编队数据加载方案,给用户的使用带来了极大的方便。     

面向高安全数据分发服务的身份认证协议设计

为解决数据分发服务安全规范中身份认证与密钥协商协议存在共享密钥建立缺乏公平性、缺乏验证密钥一致性机制及会话过程缺乏完整性等安全问题,以协议为基础,设计一种新的高安全数据分发服务身份认证与密钥协商协议。新协议引入了ACK机制,并利用D－H密钥交换和非对称密码体制特点解决了原协议存在的安全问题,具备实用性和更高的安全性。     

基于PKI的车联网安全通信与隐私保护机制

随着车联网技术的发展,车联网通信的安全技术成为其大规模应用的关键.提出一个基于PKI的车联网安全通信与隐私保护机制.车辆用户将车辆和用户身份ID以及RFID码发送给CA进行映射,作为IPv6编址中的接口标识位和车辆的私钥;CA根据该私钥计算车辆的公钥并发给车辆,车辆接收CA发来的公钥并用该公钥和RSU通信,RSU将会给车辆分配匿名密钥,车辆在之后的通信过程中使用该匿名密钥.由于车辆的真实身份是与CA分配的主密钥相关联,可以确保匿名密钥的泄漏不会直接导致车辆与用户身份的泄漏.性能分析表明,上述安全机制能够有效保护用户隐私,同时实现车联网的安全通信.     

民用飞机IMA系统研制保证等级分配的研究

当今的民用飞机普遍使用综合模块化航电(IMA)系统,使飞机上出现了大量的相似设计和资源共享的情况,这为控制研制过程中引入的差错带来了许多挑战.以适航取证为目标,为将研制差错控制在可接受范围内,按照ARP-4754A提供的指导原则,对民用飞机综合模块化航电系统的研制保证等级分配方法和过程进行了分析,得到了适用于民用飞机综合模块化航电系统研制保证等级分配的3点指导原则.为使用综合模块化航电系统的民用飞机的研制差错控制提供了有价值的指导和经验,也为综合模块化航电系统平台的研制提供了有益参考.     

基于在线加载分区机制的重构方案的设计与实现

随着综合模块化航空电子系统（IMA）结构技术的发展，对航电系统的安全性和可靠性的要求也进一步提高。本文提出的IMA重构方案基于VxWorks653系统中的在线加载分区(Online-Loaded)机制，可以做到对应用程序的动态加载，使得IMA系统在发生故障时能按预设的配置进行功能迁移，从而实现IMA系统的重构。在该重构方案的基础上还同时设计了分步加载技术。测试验证表明，分步加载技术明显减少了重构的耗时，提高了重构的效率。     

综合模块化航空电子系统标准分析及发展展望

从综合模块化航空电子系统的应用出发,分析重点标准,对未来航电标准进行了展望。     

航空电子系统分区间通信监控技术的研究和实现

当今基于ARINC653的综合化航空电子系统的应用日益广泛,分区作为ARINC653提出的任务调度和资源共享的核心概念,其相互间通信的可靠性和安全性成为航空电子系统要解决的重要问题.详细阐述了分区间通信监视的原理,并给出了一种可行的分区间通信监视器设计和实现方案.应用表明分区间通信监视器极大地改善和提高了航空电子系统的通信监控能力,为通信故障诊断和分析提供了依据.     

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

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

Hybrid partition- and network-level scheduling design for distributed integrated modular avionics systems

Distributed Integrated Modular Avionics (DIMA) develops from Integrated Modular Avionics (IMA) and realizes distributed integration of multiple sub-function areas. Time-triggered network provides effective support for time synchronization and information coordination in DIMA systems. However, inconsistency between processing resources and communication network destroys the time determinism benefiting from partitions and time-triggered mechanism. To ensure such time determinism and achieve guaranteed real-time performance, system design should collectively provide a global communication scheme for messages in network domain and a corresponding execution scheme for partitions in processing domain. This paper firstly establishes a general DIMA model which coordinates partitioned processing and time-triggered communication, and then proposes a hybrid scheduling algorithm using Mixed Integer Programming to produce feasible system schemes. Furthermore, incrementally integrating new functions causes upgrades or reconfigurations of DIMA systems and will generate integration cost. To control such cost, this paper further develops an optimization algorithm based on Maximum Satisfiability Problem and guarantees that the scheduling design for upgraded DIMA systems inherit their original schemes as much as possible. Finally, two typical cases, including a simple fully connected DIMA system case and an industrial DIMA system case, are constructed to illustrate our DIMA model and validate the effectiveness of our hybrid scheduling algorithms.     

ARINC659总线验证平台节点设计与实现

ARINC659背板总线是综合化模块化航空电子系统（IMA）中在线可更换模块（LRM）之间的数字数据传送标准。在所构建的ARINC659总线验证平台中,对ARINC659总线节点的设计和实现进行了深入研究,并给出了测试结果。     

高速大容量存储系统的研究和设计

航空电子系统的飞速发展对机载存储设备提出了大容量、高带宽、可扩展的新要求,具有高带宽存储访问速度的大容量存储组件,已逐渐成为新一代航电系统不可缺少的部分.在立足于提高大容量存储器存储访问速度的基础研究上,提出了提高存储访问速度的流水线技术及FPGA实现的NAND Flash控制器技术,同时对方案进行了可行性分析,对设计进行了功能仿真验证.     

Integrated modular avionics

Over the past 20 years or so avionics have been designed using common standards and this has improved the quality and to some extent the interoperability of equipment. Yet aircraft systems are still a patchwork of one-off designs and the current thrust in Integrated Modular Avionics (IMA) is to address this issue.