计算机性能评测

本文叙述了台式计算机、事务处理计算机、超级计算机及网络、操作系统等计算机系统性能评测的常用方法，详细介绍了ＳＰＥＣ测试的用例。在此基础上，对微处理器（系统）性能评测方法及发展趋势作出了综合评价，提出了正确使用评测参数的部分建议。     

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

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

机载嵌入式文件系统设计与实现

提出了机载嵌入式文件系统ACoreFS的体系结构。针对机载嵌入式环境资源有限的特点,将ACoreFS设计为独立可拆卸系统组件。设计了虚拟文件系统(VFS)层,为应用程序提供一致的文件系统接口。VFS为逻辑文件系统提供统一的抽象接口,用户可根据项目要求和存储设备的特性选择挂载不同的逻辑文件系统。为提高设备访问性能,设计了块设备数据高速缓冲层,使用哈希表对数据块进行管理,提高了系统效率。     

嵌入式计算机系统技术述评

嵌入式计算机系统技术,是目前微电子产品设计领域最为热门的技术之一。本文阐述了嵌入式计算机系统技术的特点,并从嵌入式系统的结构、处理器性能特点、外部接口、操作系统等几方面进行了较详细的探讨。     

嵌入式多核操作系统的形式化建模与验证

在安全关键系统中,核心基础软件的正确性尤其重要。任何的错误都可能导致整体系统失效,带来严重的后果,同时,安全关键软件要通过高等级国际安全认证标准,则必须使用形式化方法进行设计、建模和验证。调研嵌入式操作系统、编译器、文件系统、机载网络/总线的形式化验证案例,在此基础之上引出嵌入式多核操作系统形式化的问题;对嵌入式多核操作系统的时间确定性和功能正确性属性进行形式化建模和验证;并对全文进行总结。     

一种源源编译控制流优化方法

源源编译器是一种对源代码进行重构和分析的工具,在程序设计语言研究领域有着广泛的应用。给出了一种源源编译的控制流结构优化方法。方法结合编译结构分析,对于可化简合并的典型控制流结构,进行结构分析;经数据流分析满足优化条件后,实现基本块的合并。优化后程序的结构更加清晰,可读性更好。方法在SUIF编译器上实现,经使用Olden基准测试程序试验,有效提高了源代码的翻译质量。     

针对机载应用的H.264编码器评估方法

本文针对机载图像实时压缩的应用需求,讨论了一种H.264编码器性能的评估方法.该方法以典型的机载视频画面为测试序列,对编码器设定一组恒定 QP 值进行编码,将压缩后码流比特率与标准算法对比,评判编码器性能的优劣.通过对三种不同编码器的测试对比,证明了该评估方法的有效性.     

针对机载应用的H.264编码器评估方法

本文针对机载图像实时压缩的应用需求,讨论了一种H.264编码器性能的评估方法.该方法以典型的机载视频画面为测试序列,对编码器设定一组恒定QP值进行编码,将压缩后码流比特率与标准算法对比,评判编码器性能的优劣.通过对三种不同编码器的测试对比,证明了该评估方法的有效性.     

机载嵌入式计算机通用化BIT架构设计技术

设计开发了一种通用化BIT软件架构技术,可应用于机载嵌入式计算机.将BIT软件按照功能分为硬件驱动层、测试算法层、测试配置及控制层、应用接口层等,可极大程度实现不同硬件环境、操作系统环境下,BIT软件的可移植性,还定义了一种操作系统启动前实现硬件BIT检测的方法,可有效提高内存、CPU等硬件资源的故障检测率.     

机载计算机系统的故障诊断

在军机上,由于计算机系统的数量越来越多,同时航空电子设备日趋综合化,计算机系统的可靠性问题越来越突出。本文针对机载计算机系统的特点,提出了应用计算机测试技术进行机载计算机故障诊断的方法,解决了对机载计算机系统的测试问题。     

基于机载多核弱序存储模型的共享内存驱动软件设计方法研究

随着航空电子系统承载的应用日趋复杂,飞机对机载计算机的计算力和功耗比要求不断提升,这也推动了嵌入式多核处理器的加速应用和普及。多核处理器在航空电子设备的深入应用,随之而来的是运行其上的软件复杂度急剧上升,面向应用的航电系统设计面临挑战。多核处理器平台由于需要面对并行、指令乱序、资源共享冲突等问题,而目前国内大多数机载嵌入式软件和驱动仍然是基于单核处理器设计和实现的,影响最大的是在机载嵌入式实时操作系统环境下的驱动软件,因此需要充分考虑多核带来的各方面影响,尤其是需要兼顾共享内存等资源的使用冲突和实时高效要求。本文结合机载航电多核处理平台的特点,提出了一种基于机载多核弱序存储模型的共享内存驱动软件设计方法,并基于该方法设计了FC总线驱动和MBI总线驱动,项目应用结果表明,设计的驱动程序在多核处理器平台上数据传输正确,验证了方法的正确性和有效性。     

机载嵌入式系统中的多核处理架构研究与分析

与单核处理器相比较,多核处理器在性能、功耗、体积以及重量各方面都有绝对的优势,这使得多核处理器在机载嵌入式系统中的应用成为必然趋势。在分析了航空电子系统的任务特点之后,介绍了两种最常见的多核处理器系统架构：对称多处理（SMP）和非对称多处理（AMP）,对这两种系统架构在机载嵌入式系统的应用进行了研究分析,并分析了其关键技术对实时性、安全性和确定性的影响。     

机载嵌入式计算机通用操作系统故障管理软件设计

提出了一种对机载嵌入式计算机中常见操作系统故障的监控和记录方法,结合记录操作系统和处理 器的状态信息,同时考虑到在多种操作系统、处理器上的适应性,设计一套具有操作系统故障监控和状态信息 记录功能的通用操作系统故障管理软件,提高机载嵌入式计算机的可维护性。     

航空电子嵌入式计算建模仿真方法研究

航空电子系统经过数十年的演进,正朝着更加开放、灵活、智能的方向发展,同时也不断面临新的问题和挑战,需要在功能复杂度不断提升的前提下实现资源的高效分配,保证系统的实时性与可靠性。通过分析机载嵌入式计算特点,基于模型的系统工程理论的同时结合形式化建模仿真方法,针对典型嵌入式计算平台场景中的组件开展基于模型的设计方法研究与应用。该方法能够清晰描述航电嵌入式计算的时间关键性特征,有效辅助设计和论证工作,降低研发周期、提升设计的可复用性。     

机载嵌入式计算机通用操作系统故障管理软件设计

提出了一种对机载嵌入式计算机中常见操作系统故障的监控和记录方法,结合记录操作系统和处理器的状态信息,同时考虑到在多种操作系统、处理器上的适应性,设计一套具有操作系统故障监控和状态信息记录功能的通用操作系统故障管理软件,提高机载嵌入式计算机的可维护性。     

机载嵌入式软件的系统测试

针对航空电子系统的功能特点,分析了某航电分系统控制管理计算机软件的特征和要求,结合机载嵌入式软件的系统测试需求,提出利用航电分系统设计开发试验平台,通过总线上的故障注入和数据采集方法,实现机载嵌入式软件的系统测试。     

满足适航要求的嵌入式操作系统测试方法

以被定义为DO-178C Level A级软件的自主版权嵌入式实时操作系统为应用模型，提出了一种基于DO-178C标准的嵌入式实时操作系统的测试方法。提出的测试模式解决了操作系统内核在目标机中难以测试的问题，同时对操作系统在目标机环境进行测试的一些具体问题给出了解决方案。方法既适合现阶段国军标对软件测试提出的要求，又保证了嵌入式操作系统软件测试活动与适航要求的符合性。     

一种嵌入式平台下的高可靠文件系统设计

针对嵌入式平台的使用特点,设计实现了一套本地文件系统,采用动态管理块映射、文件系统关键数据备份等措施,解决了嵌入式平台下文件系统可靠性不高的问题.测试结果表明,在不损失性能的前提下,这种文件系统具备高可靠、高灵活、接口标准等优点.     

VxWorks操作系统下光纤通道通信软件的实现

为了实现光纤通道技术在机载计算机中的应用,介绍了光纤通道优点,说明基于PCI接口的光纤通道主机适配器的工作原理,分析了该适配器提供的邮箱命令和队列两种软件编程接口工作机制,给出嵌入式VxWorks环境下通信软件的实现方案。为开发机载光纤通道实时通信软件奠定了基础,对光纤通道嵌入式应用具有普遍意义。