事务型文件系统存储管理机制的研究与实现

论述了事务型文件系统,提出了能够确保文件系统高效性的缓冲管理机制,结合LRU算法和高效的写合并策略,通过专用的写合并缓冲区极大地提高了数据的平均写回速率;提出了能够保证文件系统一致性的外存管理机制,采用灵活的写保护策略,通过对外存数据块进行状态标识,确保写回数据不会覆盖原有数据,保证了事务点回滚时的数据一致性。通过在嵌入式实时操作系统环境中的测试,证明了上述机制有效提升了事务型文件系统的时效性和可靠性。     

论WLAN的安全标准及安全机制

无线局域网WLAN是现有的有线局域网的扩展,它使用无线电波来承载数据。利用WLAN进行通讯必须具有较高的通讯保密能力。本文分析了WLAN目前存在的主要安全问题,并根据WLAN的发展动态分别介绍了WLAN网络产品现行采用的IEEE802.11b标准、思科的LEAP协议和PEAP协议的安全技术原理及存在的主要问题,论述了我国提出WAPI新安全机制的工作原理及特点,指出随着技术及应用的发展和进步,WLAN的通讯安全能力会越来越强,而WAPI完全遵循国际标准化,体现了我国标准制定工作的公信力。     

基于SIMICS的ICP系统模块仿真技术研究

随着机载综合化航电系统的日益复杂,航电系统中软件的开发和验证也日益困难.通过研究基于SIMICS的仿真平台及二次建模技术,建立了综合核心处理机(ICP)中几种通用功能模块(CFM)的仿真模型,为系统软件和应用软件的开发、调试、测试、综合等提供了一套虚拟仿真环境,实现了软硬件协同开发,缩短了项目研制周期,提高了工作效率和软件质量,较大地提升了复杂机载软件产品的研制能力.     

综合化航电系统中的密钥管理方法研究

综合化航电系统的安全问题将是系统设计者的主要挑战之一,密钥管理是解决安全问题的基础.综合化航电系统的密钥管理不同于联合式航电系统,不存在专用的安全模块和加密总线,因此密钥及保密数据的加载需要新的方式.从综合化航电系统的特点出发,从地面到空中全方位考虑密钥的生成、加载、分配、存储以及擦除的过程,给出了航电系统密钥管理的一个具体方案,并对该方案的优缺点进行了分析,表明该方案具有较好的安全性.     

基于GSM技术的AICPS故障管理与容错机制的研究

给出了机载综合核心处理系统AICPS的软件结构和组成,采用基于TLS三层栈的先进的航电系统结构,其通用系统管理GSM分为健康监控、故障管理和配置管理三个软件功能模块,以及飞机级、综合区级、资源元素级共三级.基于GSM和运行蓝图,论述了AlCPS的故障管理技术和容错重构机制,重对故障处理的过程如故障检测、故障诊断、故障处理和配置管理进行了讨论.由于航空电子系统高安全、高可靠性等特点,作为提高可靠性的手段之一,研究故障管理与容错重构非常必要.     

机载嵌入式系统基准测试方法

性能评测是查找嵌入式计算机系统性能瓶颈、指导设备选型、平衡相关部件、优化系统结构以及提高系统实际性能的重要方法。在介绍了机载嵌入式计算机系统性能评测的指标和基本方法之后,重点分析了使用基准测试程序的测试方法和特点,以及基准测试方法的对比测试原理、不同测试环境的构建以及主要测试过程;选取了SPEC CPU 2000基准测试程序集针对机载嵌入式环境进行裁剪和移植,对某国产机载嵌入式实时操作系统分别以不同的嵌入式操作系统、嵌入式文件系统和编译选项为变量参数进行对比测试,得出了国产操作系统与国外同类商用操作系统运行实际应用程序的性能基本相当的结论,另外也得出文件系统对计算类基准程序的结果影响较小以及编译优化后能够大幅提高嵌入式系统性能等结论。     

某军用语言编译中的地址分配策略

本文所要讨论的是某军用语言的编译系统的一部分。某军用语言的编译是将源语言转化为 U_CODE,再将 U_CODE 翻译成汇编语言。文中主要研究了某军用语言转化为 U_CODE 过程中原数据对象的 U_ 地址表示方法。给出了地址分配策略,解决了某军用语言的部分编译命令,实现了某军用语言中的覆盖说明、表的紧缩、封装等一些高级语言现象。     

一种面向分布式应用的调试代理

分布式应用由多个计算节点协作完成,在调试过程中使用传统调试器很难对各计算节点上的程序进行有效的控制,程序每次执行结果的不确定性也给调试带来了困难。针对以上问题,提出一种解决方法:使用分布式代理负责调试每个节点任务,多个分布式代理与调试服务器协作完成分布式应用的调试。在Linux平台上完成模型的建立,并使用C、C++控制台应用程序作为测试例程完成实验结果的验证。     

综合化航空电子系统可信软件技术

航空电子系统要求航空任务的执行具有确定性、可预测和可控性。深入分析综合化航空电子系统软件安全性、可靠性、完整性和实时性需求,提出了综合化航空电子系统软件可信性的定义。首次将可信计算引入到综合化航空电子系统中,建立综合化航空电子系统可信软件体系结构,在此基础上,提出软件可信运行环境构建方法和可靠性增强技术。这些技术能够保障综合化航空电子系统的可预测性,对保证飞机任务的执行及其安全具有重要的作用,为研制适合于中国大飞机的综合化航空电子系统可信软件奠定基础。     

PAR2000的通讯机制与消息管理策略

系统阐述了PAR2 0 0 0并行计算机系统的通讯机制和消息管理策略 ,给出了节点机的运算处理模块和通讯处理模块的通讯处理设计思想 ,定义了消息传递协议。这种消息处理方式解决了消息堵塞问题 ,能够有效地实现节点机与HOST机、节点机与节点机之间的消息传递。