基于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++软件源代码的各种缺陷,从而提高软件质量和安全性。     

嵌入式LINUX在车载导航仪设计中的应用

介绍导航仪的原理和嵌入式 L INUX操作系统及其图形用户界面。结合导航仪的开发给出嵌入式 L INUX开发的具体步骤     

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

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

基于SM750的嵌入式星载计算机设计

SM750是一款高性能、低功耗微处理器,它由1个处理器核、 1个L2cache接口和60X总线组成,采用32位PowerPC体系结构精简指令集(RISC),是星载计算机的核心部件。根据某星载计算机系统集成方案,提出一种基于SM750的星载计算机设计方案,研究SM750处理器模块的特点、原理和组成以及星载计算机搭载的嵌入式系统AIC-OS,为高性能嵌入式星载计算机设计提供一种思路。     

基于MB86R01的图形显示设计

本文在介绍MB86R01的特点和功能的基础上,以飞机座舱显示系统中常见的姿态画面为例,设计并开发了基于MB86R01的图形显示平台.这种图形显示平台在未来飞机显示系统中具有广阔应用前景。     

基于MiniGUI的嵌入式显控系统的设计与实现

MiniGUI是目前比较成熟图形用户接口,具有小巧、可配置和可移植等特点,本文结合触摸显控处理机实际项目开发和应用,重点研究了基于MiniGUI的嵌入式Linux图形系统的开发.     

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

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

测控系统高速数据网络传输技术研究

围绕当前航天测控网对于高速数据网络传输的需求,分析了多种可行的实现方式,在此基础上提出了一种基于FPGA技术的嵌入式高速网络传输的解决方案,并对这个方案的关键技术和开发的注意事项进行了详细描述,对于测控系统高速数据网络传输的工程实现有很好的开拓作用。     

航空领域嵌入式测控系统自动生成平台

基于ARM-Linux的试验平台能够满足航电测控中绝大部分要求,并可以按照用户的实际需求进行软硬件功能的裁剪,增强了平台的适应性,同时也体现了嵌入式系统的快速定制性与特定功能的自由选择相结合的新型设计思想.     

基于MiniGUI的嵌入式电加工数控系统图形界面设计

首先介绍将MiniGUI应用于嵌入式数控电加工系统硬件平台组成和软件操作系统的选择,概括了所采用的图形支持系统MiniGUI的性能特点、体系结构及程序开发方法,然后给出了该系统界面的设计框架,最后对参数设置,数控程序界面,加工显示等功能模块设计进行了说明.实验表明,系统具有界面友好,实时性好,可靠性高等特点.