软件实现的星载系统故障注入技术研究

结合软件故障注入的特点和星载系统的特殊性,给出了用于星载系统可靠性评测的软件实现的故障模型及其实现方案.该方法通过软件来模拟星载系统硬件由于太空辐射引起的单粒子事件,可以用来评测星载系统的可靠性及容错性.实验结果表明,本文提出的故障模型及其实现方案是可行的.

具有频率约束的电路板抗振优化设计问题研究

为提高印刷电路板(Printed Circuit Board,简称PCB)的避振性能,对具有两阶频率约束的某电路板设计方法及解的存在性进行了研究。基于APDL语言建立该问题的有限元模型,采用Block Lanczos方法求解固有频率,选用双变量切比雪夫多项式拟合了前两阶固有频率的响应面。通过分析约束频率的边界曲线得到了可行解的存在性判据,并据此将原含有振动微分方程的优化问题转为等式约束极值问题,在保证精度的同时提高了求解效率。给出的算例表明,该方法合理有效,可作为工程中求解类似具有频率约束问题的参考。

软件中的错误传播研究

随着计算机技术的广泛应用，计算机软件的安全性显得越来越重要。为了保证软件的安全可靠，必须了解软件可能的错误行为，井采取相应的补救措施来提高其性能。本文采用了基于软件故障注入的方法，对计算机软件中数据状态错误的传播行为进行了研究。结果发现，在给定位置注入的数据状态错，要么所有的都会传播到输出，要麽一个也不会传播到输出。这表明软件测试中的大量数据状态的错误行为，可以通过少量的数据状态错误行为来进行模拟。

一种用于星载系统可靠性评测的软件故障注入工具

随着计算机应用的日益广泛和复杂,很多传统的故障注入技术及工具已经在很多领域面临着新的挑战.本文详细介绍了由本课题组自主研究开发的一种用于评测星载系统可靠性的软件故障注入工具(SFIOS),该故障注入工具针对星载系统这一特殊对象而开发,采用包括时间、空间、事件在内的多种故障触发方式,不仅能通过软件的方式随时随地注入接近实际的星载故障,而且操作简单,不需要修改星载系统的应用任务,对星载系统影响较小。实验结果表明,采用该故障注入工具评测星载系统可靠性的具有较多的优点和潜力。

嵌入式高速USB设备接口结构设计

高速度、高可靠性、低功耗的串行系统总线是航天通信领域进一步发展必须解决的一个关键问题。简要地介绍了USB 2.0通信协议的基本原理、系统结构和数据传输,并以此为基础给出具有高可靠性的USB通信系统框架结构。并在此基础上提出具体的方案,经试验此USB设备接口可满足通信的性能要求。

基于FPGA的USB设备控制器设计

嵌入式系统向小型化和低功耗的方向发展要求减小板级设计的面积提高速率。基于嵌入式系统日益增长的规模和性能以及高速USB协议的要求,对USB设备控制器的系统进行相关模块的划分并利用Verilog硬件描述语言设计出高速USB接口IP核。经过仿真验证,该IP核符合高速USB协议的要求,满足系统对USB接口数据的传输需求。

关于“八项质量管理原则”中前三项的一些思考

八项质量管理原则是2000版ISO 9001和9004标准的理论基础。文章阐明了第一项原则的核心是“满足顾客要求”;第二项原则应是“领导作用关键”;第三项原则应是”人员充分参与”。

基于ARM+FPGA的重构控制器设计

为满足可重配置系统的灵活性要求,介绍了一种"ARM处理器+FPGA"结构的重构控制器的设计,提出由ARM微处理器通过模拟JTAG接口的FPGA在系统配置目标可编程器件的方法。给出系统设计的硬件结构,并详细介绍了JTAG在系统配置FPGA的时序要求,以及在此结构中如何利用IEEE JTAG 1149.1边界扫描测试技术和描述JTAG总线标准的XSVF格式配置文件来实现对目标可编程器件进行在系统配置。