基于AFDX网络终端系统SoC的FPGA原型验证

基于商业以太网技术的AFDX网络,具有高带宽,低延迟,强实时性,高可靠性的特点已应用于在空客A380等型号上。ARINC664 Part7协议定义了AFDX网络的终端系统,交换机,以及通信机制。其中AFDX网络终端系统（ES,EndSystem）为航电系统上层应用与AFDX网络之间提供信息收发的通道。基于ARM9的AFDX—ESSoC是国内首款AFDX终端系统智能协议芯片,结合项目实践以SoC验证方法学为指导,以应用需求和ARINC664 Part7协议标准为依据,介绍了在FPGA环境下搭建验证平台,开发测试向量实施验证的过程,并对验证结果进行了分析,为成功流片提供了可靠保证。     

基于嵌入式技术的微型潜艇研制

提出了一套“无线遥测遥控GPS自动导航微型摄影潜艇”的解决方案。综合了多种学科、集成了多项嵌入式技术,最终实现了由岸上的计算机通过远程无线遥控遥测水下潜艇、借助GPS导航自动航行、遥测水体数据、并实时观测水下视频场景功能。     

智能电子花样机控制系统设计与仿真

嵌入式系统软硬件协同设计技术对于提高研发效率及系统质量非常重要.在分析智能电子花样机嵌入式系统结构与特性的基础上,重点研究了电子花样机机电系统的运动控制方法与仿真原理.进而,设计并开发了电子花样机机电控制系统仿真环境,该仿真环境有助于电子花样机主控系统的开发、调试以及正确性验证.     

嵌入式技术在煤矿监控系统中的应用研究

重点讨论嵌入式系统在煤矿监控系统中的应用,并介绍了监测实时数据的两种传输方式和曲线绘制,以及基于Web方式的信息发布与浏览方法.设计采用了先进的嵌入式技术和Internet技术,摒弃了以往煤矿监控系统所采用基于PC机的方案,并通过网络发布煤矿监测数据,在一定程度上实现了煤矿安全自动监控的功能,对于加强煤矿安全监管、有效防范矿难事故具有十分重要的作用,对开发其他的监控系统具有一定的借鉴意义.     

一种基于嵌入式图像处理的工程车辆导向装置

分析了架桥施工中运梁车工作的特点,针对其在车辆导向方面所存在的主要问题,并结合现场需求,设计了一种基于单片机实现的嵌入式图像处理的新型车辆辅助导向装置,完成了相关硬件平台的设计,给出了在单片机系统中实现视频采集、图像处理、车辆跑偏判断和报警输出等关键技术细节的具体方法.实验结果表明,该辅助导向装置满足了运梁车在轨道梁上的行驶要求.该装置已应用于现场实际,其设计和实现方法对于其他大型工程车辆导向装置的研发具有较高的参考价值.      

分区间通信在航空电子系统中的设计与实现

新一代航空电子系统是一种高度综合化、模块化的系统,为了确保系统工作的安全、可靠,必须有高安全性的实时操作系统支持。在高安全性的实时操作系统中提出了分区(Partition)的概念,原有的“子系统”概念已由硬件实体演变为软的“子系统”。分区是运行于一个处理机模块上的多个应用程序(或子系统),这些应用程序在时间和空间上彼此隔离,互不影响,当一个分区内的应用发生错误时,在时间和空间上都不会影响到别的分区的执行。为了适应分区间隔离的需要,应用程序之间的通信由传统的进程间通信方式变为分区间的通信方式,本文着重介绍了自主版权操作系统(ACoreOS653)中满足ARINC653要求的分区间通信的设计与实现方法。     

嵌入式软件自动化测试平台的研究与实现

随着嵌入式系统的广泛应用,对其软件进行完善而又高效的测试成为必须.本文提出了一种联系宿主机和目标机的自动化测试平台.该平台分为宿主机端的测试管理和目标机端的测试代理,实现了代码自动插装、脚本自动化批量执行、功能测试、分支覆盖、数据通信和测试结果报告生成等功能.     

uClinux的XIP执行方式研究

uClinux是主流Linux的一个变种,它运行于无MMU(内存管理单元)的处理器架构之上.分析了uClinux内核的组成并对实现uClinux的XIP(Execute-In-Place)运行的关键技术进行了深入研究,改进了代码重定位问题的算法,进而实现uClinux在基于ARM平台上的移植和XIP运行.这样内核代码段和应用程序可以直接从Flash或ROM中运行,减少内存需求.     

同轴接入设备的系统升级机制设计

高性能同轴网络(HINOC,High performance Network Over Coax)是面向下一代广播电视网的同轴电缆接入新技术,是实现模拟电视系统双向数字改造以及广播电视三网融合战略的关键技术之一.HINOC系统中的嵌入式设备HB(HINOC Bridge)与HM(HINOC Modem)需要通过在线升级实现软件版本的不断更新.针对目前一般的软件在线升级系统中普遍存在的整体加密传输效率低、硬件失效缺乏保护等问题,本升级系统设计在文件的传输和文件烧写的基本步骤上引入了文件差分编码解码、文件校验与加密解密以及异常保护机制.实际测试结果显示,升级系统能够满足HINOC系统在效率、安全性和可靠性方面的要求,保证了嵌入式系统的信息安全以及嵌入式设备在异常情况下的稳定工作.     

基于编码规则的中断数据访问冲突检测方法

针对“重复加锁解锁”和“volatile修饰符误用”两种数据访问冲突缺陷模式,提出基于编码规则的检测方法.首先,对缺陷模式的故障机理进行分析,提炼出3条编码规则用以在开发阶段避免缺陷发生,并基于一个静态代码检查工具SpaceCCH进行了规则检测方法研究和实现.在实际星上软件上的实验结果表明,扩展的SpaceCCH能够高效、低误报、低漏报地发现规则违反,从而有效避免这两种的数据访问冲突问题.本文的贡献在于将一类复杂缺陷的检测转换为相应的编码规则及其检测.