机载嵌入式系统构件间依赖关系处理方法研究

随着航空电子系统的发展和未来作战需求的变化,机栽系统的设计更偏向于机群间的公共资源统一分配和协同作战能力,能够动态加卸载构件的构件系统可以满足这种需求.在动态加卸载构件的整个周期中,动态依赖关系的分析与建立起着至关重要的作用.通过对现有依赖方案的分析,提出了一种新的依赖分析的方案,解决了使用动态依赖可能导致构件运行时依赖关系不满足的问题.     

三余度数字伺服控制系统建模与动静态特性研究

对研究的三余度伺服控制系统的机理进行分析，建立了被控对象的线性化数学模型。在此基础上，对数字动压反馈环节的参数进行了仿真寻优，并对无故障和两种单点故障情况下系统的动、静态特性进行了仿真和分析。带惯性负载试验结果证实了理论建模分析的正确性，并表明数字动压反馈也能起到对负载谐振的阻尼作用，与机械式、模拟式实现形式相比，它更灵活、方便。     

面向IMA网络文件系统的双服务器结构设计

为了提高面向IMA网络文件系统的可靠性和实时性,设计了一种双服务器结构的网络文件系统。客户优先访问主服务器,在得不到主服务器响应时,访问从服务器;主服务器在无法满足同时有多个访问请求时,把一部分的访问请求分给从服务器;主服务器和从服务器通过数据实时更新和定时检测更新,保持数据的高度一致。     

航电系统的处理机重构算法与实现

主要阐述了满足新一代航空电子系统中核心数据综合处理要求的实时操作系统 ;概述了系统软件的三个主要层次的总体结构 ;着重论述了重构处理机的问题 ;并详细讨论了处理机容错重构处理的实施过程。     

机载嵌入式实时操作系统时间性能测试

在机载嵌入式实时操作系统中,时间性能是一个非常重要的参数.为了评估机载嵌入式实时操作系统的实时性,同时为用户提供操作系统的时间性能参数,本文介绍了支持分区的机载嵌入式实时操作系统中特有的影响时间性能的关键因素--错误响应时间,分区间数据交换时间,进程上下文切换时间,分区上下文切换时间;给出了操作系统时间性能测试的方法,着重分析了计时工具,测试用例的设计,测试点的选取,以及排除影响测试准确行的因素.     

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

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

基于AADL的机载设备系统可靠性建模

AADL可以描述机栽设备系统的时序需求、任务状态等关键性能特性,已应用于航空、电子自动化、机器人控制等实时系统。提出基于AADL的机载设备系统可靠性建模方法,为该系统模型结构的设计和验证提供了理论依据。采用EMA子语言对AADL描述的机载设备系统进行可靠性建模,给出可靠性模型中的错误模型、错误传播和状态映射规则等子句属性的用法。最后通过一个基于AADL的机载设备可靠性建模实例,验证了所提建模方法的有效性。     

分区间通信在航空电子系统中的设计与实现

新一代航空电子系统是一种高度综合化、模块化的系统,为了确保系统工作的安全、可靠,必须有高安全性的实时操作系统支持。在高安全性的实时操作系统中提出了分区(Partition)的概念,原有的“子系统”概念已由硬件实体演变为软的“子系统”。分区是运行于一个处理机模块上的多个应用程序(或子系统),这些应用程序在时间和空间上彼此隔离,互不影响,当一个分区内的应用发生错误时,在时间和空间上都不会影响到别的分区的执行。为了适应分区间隔离的需要,应用程序之间的通信由传统的进程间通信方式变为分区间的通信方式,本文着重介绍了自主版权操作系统(ACoreOS653)中满足ARINC653要求的分区间通信的设计与实现方法。     

面向IMA的网络文件系统访问控制分析与设计

为了解决面向IMA的网络文件系统访问控制问题,分析了其中的访问控制,并提出一种访问控制的设计方案。采用网络文件锁,通过对文件的上锁和解锁,实现多个分区互斥访问远程文件;使用权限控制模块验证用户对文件的访问权限,用户通过验证后才能访问文件;日志文件记录整个访问远程文件的过程。给出了网络文件锁、权限控制和日志模块的工作原理。