UNIX系统的安全性及优化

通过作者在ＳＧＩ图形工作站上ＵＮＩＸ操作系统的实践，给出一些提高ＵＮＩＸ系统的安全性及优化的方法。     

用于OBDH中的实时多任务操作系统设计

参照欧空局的软件工程规范，研制了为星上数据管理任务服务的实时多任务操作系统ＲＴ８６，它的硬件环境是两个互为冷备份的主控单元（ＭＣＵ），通过１５５３Ｂ串行数据总线与多个远置单元（ＲＴＵ）联接，完成 遥测、遥控及星上多项数据库管理任务。本文介绍了其设计要点，完成星上遥测、遥控及星上多项数据库管理任务。本文介绍了其设计要点，做到了系统设计思路简单清晰，程序于修改维护，可靠性高，它为星上应用软件开发提供了     

基于Klocwork的C/C++软件静态检查

为了保证基于Linux与VxWorks操作系统的C/C++软件代码的质量,需要对软件源代码进行Klocwork检查。分别以SVN与ClearCase作为配置管理工具,将Klocwork工具分别在不同的操作系统下完成安装与配置之后,对C/C++源代码进行Klocwork检查。介绍了Linux环境下配置管理工具SVN客户端安装、SVN版本库的代码更新、Klocwork工具的安装与配置、ClearCase版本库的代码更新、以及Klocwork分别在Linux与VxWorks操作系统下进行Klocwork检查的步骤。给出了Klocwork检查分别在Linux与VxWorks操作系统中的详细检查步骤与检查脚本,以及对已经被检查出来的缺陷的处理。典型案例表明,Klocwork检查有助于及时发现并解决C/C++软件源代码的各种缺陷,从而提高软件质量和安全性。     

空间科学实验机器人辅助遥操作系统

建立了一个面向空间舱内晶体生长科学实验的地面模拟机器人遥操作系统。该系统通过基于虚拟现实的预测仿真来克服通讯时延的影响，并通过仿真图形和实际视频图像的叠加来对虚似仿真环境进行校准，以提高预测仿真的保真性。操作员利用空间鼠标等人机交互工具实时控制仿真机器人系统的运动，通过遥控与自主相结合的方式，并借助全局和局部视觉信息，完成了在空间晶体生长科学实验中更换晶体炉料棒的作业任务。     

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

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

多余度机载系统消息映射与配置的改进设计

针对基于ARINC653操作系统的多余度机载系统消息映射和配置传统设计方法工作量大,维护困难的缺陷,提出一种改进的设计方法,以减少传统设计方法的复杂性,有效提高消息映射和配置设计的效率,增强系统的维护性.     

嵌入式操作系统健壮性测试技术

针对机载嵌入式操作系统健壮性测试存在的问题,通过对健壮性测试技术及典型机载嵌入式操作系统构架的研究分析,提出了一种操作系统健壮性测试的模型。实际运用表明,模型高效、可操作性强,在某操作系统软件测评过程中发挥了积极作用。     

一种实现实时多任务操作机制的方法

介绍一种实现实时多任务操作机制的方法和两个实例，这种方法可以用于嵌入式系统中。     

基于I/O设备驱动机制的CAN设备驱动程序设计

设备驱动设计是嵌入式系统开发的难点.在分析VxWorks实时操作系统字符型I/O设备驱动机制的基础上,给出了VxWorks下CAN设备驱动设计的一般步骤和设计思路,为VxWorks其他设备驱动开发提供了参考.