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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

基于U—CODE中间语言上的代码生成器

本文描述了一种编译程序的代码生成算法,它是为JOVIAL高级语言编译程序而设计的。其中间形式采用了STANFORD大学设计的U-code中间语言,本代码生成器就是以U-code语言为源语言,生成到多个目标机上。本文在分析了U-code特点之后,针对U-code的结构,和目标机汇编语言的功能,将代码生成工作分成了三遍,模拟/归约处理;代码派生和代码汇编。然后,在介始了归约算法、存贮分配算法、寄存器分配算法的基础上,对三遍处理的工作做了详细论述, 给出了程序设计结构。特别是在模拟/归约算法上,本文给予了详细描述,其算法的优劣,则直接影响着代码翻译的质量。总之,我们的目标是多种机型,该代码生成设计算法仅在变更少部分就可达到目的。