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

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

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

基于VxWorks的空调系统控制软件设计

基于Vx Works软件环境,针对空调系统工作模式多、工作模式之间逻辑复杂等特点开发了空调系统的控制软件。将系统的功能按照任务优先权行划分,并采用状态转换机实现的模式间的转换。通过Tornado软件调试环境,对软件设计进行了修改和完善,保证了空调系统软件的正确性。     

一种VxWorks BSP 软件自动生成技术的设计与实现

VxWorks BSP 软件的可视化开发和代码自动生成技术是基于BSP 中最小系统配置单元组件化封装 以及常用外设驱动的标准化、通用化、组件化设计与封装实现的。该技术的实现可以使开发人员能够通过在可 视化工具中填写对应硬件信息，完成BSP 软件代码及对应文档的自动生成，实现了软件需求的直观化输入到 需求与设计的黑盒转化。能有效提高软件开发效率，增加软件成熟度，提高软件产品质量。     

VxWorks下嵌入式USB主机驱动的实现

本设计为光电稳定跟踪平台开发嵌入式USB主机驱动,以实现大容量数据的存储与交换。介绍了嵌入式USB主机的硬件实现,分析了VxWorks下USB主机驱动栈的框架结构,以AT91RM9200 UHP(USB Host Port)为例,描述了嵌入式USB主机驱动程序的工作过程,对遵从大容量存储类子协议的USB设备U盘实现了驱动。     

基于VxWorks的末制导雷达通用信号处理平台设计

通用的雷达信号处理平台在中断响应、数据传输等方面对系统的实时性和可靠性要求较高,在设计时有必要采用高性能的实时操作系统,同时采用PCI总线来保证高速的数据传输。为此,基于实时操作系统VxWorks,以高性能微处理器PowerPC7457为核心,采用PCI总线机制,借鉴软件模块化思想,构建了通用的雷达信号处理平台。可用于信号处理算法的开发验证,具有较高的实时性和扩展性。     

PowerPC架构的中央处理器模块在线检测技术研究

论述了一种以PowerPC750作为硬件架构的中央处理器模块在线检测技术,利用模块自身运行的启动、加载检测程序和VxWorks实时操作系统的调试工具完成高集成度复杂电路板故障的在线检查与测试。相比传统的离线测试方法,在线检测技术不仅能够更加准确、快速地定位故障;而且可以避免离线测试时对电路板再造成二次损伤。     

嵌入式实时操作系统在运载火箭中的应用研究

操作系统的作用随着飞行控制功能的不断增强而逐渐体现出来。本文结合我国运载火箭飞行软件的发展,梳理出可以考虑采用操作系统的前提条件,对使用操作系统的优劣进行了客观分析。针对飞行控制的典型应用,提出了适宜操作系统承担的基本功能。在此基础上,较为详细地介绍了操作系统中故障与设备状态管理功能的实现,并通过共享资源的使用对如何有效发挥操作系统多任务管理的作用进行了示例。     

基于BM3803的1553B总线通信软件设计

在某卫星地面检测设备中使用BM3803处理器来模拟卫星中的总线控制端对远程终端进行检测,构建了比传统的Windows+1553B_PCI板卡方案实时性更强的卫星数据仿真平台。首先向BM3803移植了实时操作系统μC/OS II,设计了适用于BM3803的板级支持包,保证了软件的可在轨更新和任务的实时性,确定了用户任务与硬件高度分离的软件结构。在设计μC/OS II的用户任务时,充分利用BM3803和B61580的校验功能,提高了软件的可靠性。最后令本设计和Windows+1553B_PCI板卡方案完成相同的用户任务,对比可得本设计有更好的实时性,可满足卫星高层通信协议对实时性的要求。