基于嵌入式系统的NANDFlash坏块处理和FMM实现

随着嵌入武产品的不断发展,对存储设备的要求也越来越高.本文以NANDFlash为例,介绍了大容量NANDFlash在嵌入式系统中的设计与应用,并提出了一种消除文件写入NANDFlash时出现坏块影响的方法.同时对基于NANDFlash的管理软件FMM的实现算法进行了优化,提高了效率和性能.     

基于RTW和嵌入式操作系统VxWorks的飞控系统半物理仿真实现

提出一个飞控系统半物理仿真方案。仿真系统基于嵌入式实时操作系统VxWorks，使用RTW工具箱将飞机的Simulink仿真模型下载到PCI04计算机平台，提高了半物理仿真的效率和可靠性。设计开发支持PC104嵌入式计算机的VxWorks板载支持包，研究RTW的代码生成过程，解决了实现该方案的关键技术。     

嵌入式电力控制系统中监控子系统的设计与实现

随着计算机软、硬件技术的发展，嵌入式系统在工业控制中的应用越来越广，嵌入式系统与监控软件的结合己成为工业控制领域发展的必然趋势。该系统是嵌入式电力控制系统中的一个监控子系统，系统基于组件开发，可以实现地、市级调度自动化系统、110kV及以下电压等级变电站自动化系统和10KV（35KV）及以下发电厂用电、楼宇自动化、工矿企业配电房等的中低压配电自动化系统功能。主要从硬件及软件技术方面论述了监控系统在电力自动化控制方面的应用．阐述嵌入式电力控制系统中监控子系统的核心设计与实现。     

嵌入式课程中实践教学的探讨

随着现代教育科学的发展,通过实践教学培养学生实践能力、创新能力、科技素质逐渐成为实施素质教育的重要内容。本文针对嵌入式应用系统设计课程的教学现状,分析了实践教学的目的、特点及在应用于嵌入式课程时存在的问题,以期逐步将实践教学应用于本课程,达到提高学生动手能力的目的,促进该课程的发展。     

FPGA内嵌处理器的SoPC系统设计与分析

SoPC技术是在片上系统SoC技术的基础上发展起的,二者的共同点为将处理器、存储器、IYO接口等系统设计需要的功能模块集成到一个芯片上实现。相比SoC系统,SoPC系统还具有可编程性强、产品问世周期短等优点,在保证系统性能与灵活性、提高系统执行速度的同时又可显著地降低系统成本。在对SoPC技术进行概述的基础上．较为详细地介绍了一个基于FPGA内嵌PowerPC处理器的可编程片上系统的设计,利用软硬件协同设计技术．完成软硬件划分、软硬件设计、硬件综合、软件编译以及软硬件协同验证等工作,并结合SoPC技术的特点对其优势进行了分析,对其应用前景进行了探讨。     

基于协议变换的图像采集系统设计

介绍了一个基于高速协议变换的实时图像采集系统,该系统实现了从IEEE1394协议到千兆以太网协议的实时变换,将基于IEEE 1394协议的数字相机发出的图像数据转发到以太网上.系统设计使用了SOPC(System On a Programmable Chip)技术,通过Avalon总线将Nios Ⅱ处理器,千兆网MAC核和自定义的1394芯片接口逻辑等IP组件连接在一起形成主要的硬件电路,结合系统软件设计实现了对高速图像数据的实时转发.系统达到了较好的性能,同时具有集成度高,结构简单和扩展性好的特点,展示了利用SOPC技术解决此类问题的优势.     

嵌入式系统驱动程序研究及应用

介绍嵌入式驱动程序及其基本工作原理,并通过实例阐述linux下嵌入式系统字符设备驱动程序开发的基本流程。     

航天嵌入式软件浮点运算误差分析与控制

针对当前航天型号控制软件浮点运算中存在精度损失和误差传播的问题,从浮点数据结构、浮点精度损失、误差来源和度量几个方面进行了详细阐述,并结合具体案例,通过分析航天型号软件中常见浮点运算误差,为有效解决型号软件误差控制问题提供参考.     

An attack-immune trusted architecture for supervisory aircraft hardware

With the wide application of electronic hardware in aircraft such as air-to-ground communication, satellite communication, positioning system and so on, aircraft hardware is facing great secure pressure. Focusing on the secure problem of aircraft hardware, this paper proposes a supervisory control architecture based on secure System-on-a-Chip (SoC) system. The proposed architecture is attack-immune and trustworthy, which can support trusted escrow application and Dynamic Integrity Measurement (DIM) without interference. This architecture is characterized by a Trusted Monitoring System (TMS) hardware isolated from the Main Processor System (MPS), a secure access channel from TMS to the running memory of the MPS, and the channel is unidirectional. Based on this architecture, the DIM program running on TMS is used to measure and call the Lightweight Measurement Agent (LMA) program running on MPS. By this method, the Operating System (OS) kernel, key software and data of the MPS can be dynamically measured without disturbance, which makes it difficult for adversaries to attack through software. Besides, this architecture has been fully verified on FPGA prototype system. Compared with the existing systems, our architecture achieves higher security and is more efficient on DIM, which can fully supervise the running of application and aircraft hardware OS.     

航天嵌入式软件数据访问冲突基准测试集研究

针对数据访问冲突问题的检测方法及工具的研究很多,但缺少对其进行评估的基准测试集。文章基于大量真实航天嵌入式软件中断数据访问冲突案例研究的结果,总结出影响数据访问冲突检测的6类要素,设计开发了嵌入式软件中断数据访问冲突基准测试集程序RaceBench,对SpaceDRC工具进行了指标评估。结果表明,RaceBench能够有效评估工具的适用性。