软件故障注入方法在星载系统中的应用

故障注入是一种有效的测试和评价容错机制的方法,可被普遍应用于容错计算机系统开发过程各个阶段中。本文介绍了故障注入的基本概念,比较故障注入方法,给出了一个星载注入方法的仿真实例。     

软件故障注入方法及其仿真应用

软件故障注入是一种评测系统可靠性的有效方法,但是对目标系统的开放性要求比较高,这给不能开放源码的待测系统的可靠性测试带来困难.给出一种引入智能控制策略的软件故障注入方法,在不开放系统源码的情况下,可以对系统的可靠性进行评测,通过仿真实验证明了该方法的有效性.     

分布式实时系统的软件故障注入

针对分布式实时系统的可信验证的难题,建立通用故障模型,将故障模型分为:内存故障、CPU故障、通信故障和服务故障4种。提出一种建立在分布式实时系统环境中的软件故障注入系统结构,它分为3个层次:目标系统、通信网络、软件故障注入系统。软件故障注入系统分3个部分进行设计,软件故障注入器、数据收集模块和故障数据分析模块。对基于该结构的软件故障注入过程进行了说明,实现软件故障注入系统并做了相应的实验分析,实验检测到故障多数为通信故障、内存故障和CPU故障,其覆盖率分别为37.68%、15.47%和15.17%。实验证明这种体系结构很适合分布式实时环境的应用,同时也为进一步研究软件可信验证提供了理论基础和实例依据。     

开源软件Linux内核的进化分析

开源软件各种版本的源代码和相关开发信息是软件工程研究者研究软件进化的重要数据源.文中研究了Linux的进化规律,归纳了开源软件项目的数据源及数据收集方法,并给出了Linux内核的软件进化的分析方法和相关分析结果.得出了Linux目前以超线性方式进化,而进化的主要推动力是适应系统硬件资源的进化的结论,并提出了快速测算大型开源软件复杂性的方法.     

Linux下软件安装技巧与研究

Linux是一个很有前途的操作系统,Linux桌面操作系统的出现更是大大方便了用户的操作,使Linux方便性与美观性可以与Windows相媲美,但Linux下软件的安装却与Windows大相径庭,本文主要对Linux下各种软件安装方法与技巧进行探讨,并分析了可能和软件安装失败的情况,以及各种故障现象及相应的处理方法。     

嵌入式Linux下 UART驱动的设计与实现

Linux设备驱动程序是Linux应用的重要组成部分。本文详细分析了Linux内核中串口设备驱动程序的运行机理，并着重介绍了实现Linux串口驱动程序的关键要点，最后给出了一种具体实现实例。     

重点突围:做广东自己的Linux——Linux上的事务处理创新软件的应用概述

有的跨国厂商既做操作系统又做办公应用软件,在技术上占有“先发优势”。对于其他办公软件厂商来说,得到支持应用软件的系统平台信息总是晚一步。在这样不平等的竞争关系中,这样的厂商永远掌握绝对的话语权和控制力。[编者按]     

软件无线电实现及相关技术研究

随着无线个人通信系统的发展,新系统层出不穷,也使得过去以硬件为主的无线通信体制难以适应这种局面。本文首先对软件无线电技术的发展现状进行分析,在此基础上分析了目前的调制信号识别技术,设计了系统的详细实现方案,提出了系统的总体配置,硬件实现方案和软件算法。     

基于Linux视频监控终端软件实现

基于Linux视频监控终端软件共分为三个模块:视频采集模块、编码压缩模块和网络传输模块。视频采集模块主要通过Linux视频驱动编程,参考v4l2采集框架进行实现。编码压缩模块主要为YUYV格式转化成RGB格式再利用jpeglib库进行压缩实现。网络传输模块则参考UDP网络通讯协议进行实现。     

基于Linux的USB摄像头的探索使用和编程实现

在Windows OS中,USB接口的摄像头因其成本低廉,安装方便而被广泛应用,而Linux作为目前最具有潜力的OS被业界一直看好,因此,如何在Linux下开发USB摄像头的应用成为了一种迫切需求。本文介绍了当今Linux内核都普遍支持的摄像头驱动的安装以及编程实现,目的只为把读者引入USB摄像头的Linux世界。     

Java程序的静态故障注入工具

对DrJava和50个Java语言开源项目的程序故障(差错)模式进行了分析,为其中一批比较常见的故障模式构建了故障模拟操作.设计并实现了一个基于BCEL库的字节码级Java程序故障注入系统原型,它以静态方式对Java目标程序进行故障模式扫描和故障注入,并给出相应的报告.对Java示例程序所进行的故障注入实验初步验证了所开发的原型的有效性.     

基于嵌入式Linux的电子装备故障诊断专家系统研究

研究了在ARM9和嵌入式Linux平台下,将某电子装备电路检测与专家系统相结合,进行电路故障诊断的方法。使用DSP配合CPLD进行数据采集,并充分利用DSP的高速数据处理能力对数据进行预处理,然后将数据传递给在嵌入式Linux系统下运行的CLIPS专家系统。专家系统按照预定义的故障诊断知识,实时进行故障诊断。相对于传统检测设备,专家系统具有知识更新方便,故障诊断准确率高,并能对故障原因给出解释的优点。     

一类SPN结构密码设备的故障注入攻击技术(英文)

提出了一种有效的故障注入攻击技术,能够攻击一类使用特定结构SPN密码的设备.这种攻击方法基于字节错误模型,仅需要少量故障密文即可攻破一类具有特定置换层的SPN密码算法.分析给出了故障和特定置换层如何导致秘密信息泄露的原因.同时,对于具体的密码算法ARI-A和PRESENT进行了攻击实例.     

用于ARM9芯片的Linux定制和裁减

对要装载到ARM9系列芯片开发板上的Linux系统进行定制和裁减，主要分为两个方面：（1）在开发板上装载用于引导和硬件初始化的U—BOOT程序。（2）根据开发的实际需要。在移植Linux内核的基础上对Linux源程序进行筛择，在INIT、KERNEL、LIB等程序及其库中选择要使用和简化的部分，合并成新的Linux源代码。提供了一个用ARM9蕊片的Linux系统的定制和裁减的操作范例。     

Linux在嵌入式实时系统中的应用

阐述了LINUX系统在实时性方面的不足及改进方法,探讨了Linux实时系统的商业化。     

喷油泵轴系扭振的特征分析与诊断

通过6135G柴油机喷油泵进行单缸停油、多缸停油等多种故障进行设置,用自制的柴油机多通道扭振仪进行扭振频谱特征分析,用神经网络进行故障智能诊断,收到良好的效果.     

柴油机燃油系统故障诊断仪的研制

对于柴油机燃油系统来说,某部分发生故障后,必然使其液力状态发生变化,进而燃料流动的压力、流速等参数有相应的改变,高压油管中的压力波形也随之而变.可见柴油机燃油系统中高压油管的压力波信号是反映系统工作状况的重要特征信号,它包含了燃油系统的工况信息.本文所研制的柴油机燃油系统故障诊断仪,将检测到的压力波信号,采用信号分析、人工智能及专家系统技术识别燃油系统的故障.文中主要介绍此诊断仪的结构与数据采集部分的硬件设计.