检索结果-南通市图书馆

计算机学报 2007年第11期30卷 1910-1921页

作者：李爱国洪炳镕王司哈尔滨工业大学计算机科学与技术学院哈尔滨150001 哈尔滨工业大学航天学院哈尔滨150001

在太空环境中,软件系统经常受到各种辐射现象的影响.在此类环境下,寻找软件脆弱点主要是考虑环境扰动对该软件的影响.文中提出了一种由环境扰动引入的软件脆弱点的分析方法.首先在对软件系统模块化的基础上,通过在两个层面上分析错误在... 详细信息

在太空环境中,软件系统经常受到各种辐射现象的影响.在此类环境下,寻找软件脆弱点主要是考虑环境扰动对该软件的影响.文中提出了一种由环境扰动引入的软件脆弱点的分析方法.首先在对软件系统模块化的基础上,通过在两个层面上分析错误在软件中的生成及其传播过程,给出寻找软件脆弱点的理论框架,随后进一步给出该框架中一些参数的实验估计方法,最后给出该框架在某卫星光纤陀螺捷联航姿控制系统上的应用.应用结果令人满意.

关键词：软件脆弱点错误传播故障注入环境扰动单粒子效应

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

软件故障注入及软件脆弱点检测方法研究

软件故障注入及软件脆弱点检测方法研究

引用

作者：吕文娟哈尔滨工业大学

学位级别：硕士

随着计算机应用领域的日益广泛,计算机的可靠性问题越来越关键。尤其是在航空航天、银行交通、医疗、核反应监控、电讯系统等关系国计民生的领域,计算机系统一旦失效,将会引起巨大的经济损失和人员伤亡。如航天领域,由于辐射带中捕获粒... 详细信息

随着计算机应用领域的日益广泛,计算机的可靠性问题越来越关键。尤其是在航空航天、银行交通、医疗、核反应监控、电讯系统等关系国计民生的领域,计算机系统一旦失效,将会引起巨大的经济损失和人员伤亡。如航天领域,由于辐射带中捕获粒子、宇宙射线能在微电子器件中诱发单粒子事件,从而导致星载计算机系统经常发生各种故障。应用于这些领域的计算机都引入容错机制来检测软件或硬件故障。为了保证容错机制在应用时能达到预期效果,必须要在系统应用之前对这些对容错机制的有效性、可靠性进行验证,这就需要一种有效的对容错系统进行评测的机制。而且,在引入容错机制之前,将容错机制放置在软件中的哪个位置、如何放置对容错机制能否挥最佳性能影响重大,因此了解软件系统中错误的传播过程,进而找到软件中较为薄弱的环节或部分,也是提高容错机制性能的重要途径。传统的评测计算机容错性能的方法主要是组合模型法和测试法。这些方法要么需要建立和求解复杂的可靠性模型、要么耗时长久,要么得不到可靠数据或结果精度不高。故障注入技术作为一种实验评测方法被证明是一种高效的可靠性验证方法,它通过人为的在目标系统中产生故障,加速系统发生故障和失效的过程,通过对注入故障后系统的反应信息进行监测和分析,可获得对目标系统可靠性和容错性能的评测结果。与传统可靠性评测技术相比,它具有无需建立和求解复杂的系统模型、实验时间短、结果精度高等优点,已引起众多学者和研究人员的重视。故障注入技术有硬件实现的故障注入、模拟实现的故障注入和软件实现的故障注入三种。与前两种方法相比,基于软件实现的故障注入具有操作简便、开发成本低廉,不会对目标系统造成损伤等优点。本文首先总结了以往故障注入器实现的基本原理和方法,重点研究了用软件实现的故障注入方法,结合航天领域的太空环境设计了故障模型,提出了软件故障注入工具的框架,并在Windows平台进行了设计与实现。经实验证明,该工具能够对基本所有的用户级软件注入故障,并具有较强的数据回收功能。以该故障注入工具为基础,本文又分别在信号和模块级别上研究了故障在软件中的生成与传播过程,同时给出了描述此过程的评测参数及其计算方法,并给出了软件脆弱点的概念及确定原则。最后在一智能水位控制控制系统上对该框架的正确性和有效性进行了验证。这为评测软件系统可靠性提供了方法,并为如何在软件系统中放置容错机制才能使之达到最佳性能提供了依据,为进一步提高软件系统的可靠性开辟了新的思路。

关键词：故障注入星载计算机故障模型软件脆弱点

来源：

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

一种引入复杂网络理论的软件数据流脆弱点识别方法

引用

计算机应用研究 2015年第4期32卷 1100-1103页

作者：卫彦伉王大鸣崔维嘉解放军信息工程大学信息系统工程学院郑州450002

研究了卫星LTE上行同步系统在单粒子效应影响下软件数据流错误的脆弱点识别问题,并针对现有错误传播分析方法对大容量数据处理软件脆弱点识别存在较大偏差的问题,结合星载LTE上行同步处理大容量数据处理需求,引入复杂网络理论,提出一种... 详细信息

研究了卫星LTE上行同步系统在单粒子效应影响下软件数据流错误的脆弱点识别问题,并针对现有错误传播分析方法对大容量数据处理软件脆弱点识别存在较大偏差的问题,结合星载LTE上行同步处理大容量数据处理需求,引入复杂网络理论,提出一种基于网络节点度的软件数据流脆弱点识别方法。该方法以错误传播分析方法为基础,通过定义单粒子翻转错误渗透率,采用矩阵化描述方法构建了错误传播网络模型,将软件数据流脆弱点挖掘问题转换为网络关键节点挖掘问题,以一定的虚警概率搜索所有的局部极值,从而实现该虚警概率下全部的数据流脆弱点挖掘。仿真结果表明,该方法可有效识别星载LTE上行同步处理大容量数据处理中的脆弱点。

关键词： LTE上行同步单粒子翻转错误传播软件脆弱点复杂网络理论

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：