基于故障树的雷达软件安全性检验研究

对于雷达软件测试来说,安全性测试是其中的难点和关键。目前,我国雷达软件的安全性测试仍存在一些问题,本文在此背景下,从需求分析和测试设计两方面,对软件安全性测试进行了分析,并将故障树分析法结合在其中,该方法经实验证明简捷、可行。     

雷达软件的安全性测试研究

安全性测试是雷达软件测试的重点和难点,针对当前雷达安全性测试所面临的主要问题,从软件安全性测试的需求分析、测试设计和测试环境搭建三个方面进行详细论述,给出了一种以失效模式影响分析表和安全性故障树分析为基础的雷达软件安全性测试设计实用方法,该方法经实际验证方便可执行。     

开放源代码软件成熟度评估(上)

在传统商业软件质量评估模型的基础上,结合开源软件开发模式和应用模式等方面的独特性,总结了开源软件质量特性,提出了开源软件成熟度评估体系模型,并对该模型的基本操作进行具体描述.重点探讨了模型中评估属性和属性类的定义和权重标准,以及成熟度评估的计算公式,力图从大的框架上建立一个基于分类属性与权重的评估体系,并通过对一些具体方法的定义,展示一个初步的评估流程和方法.     

安全关键软件的需求递阶层次结构

软件需求缺陷特别是关于系统安全性方面的需求缺陷已逐渐成为导致飞机等安全关键系统发生事故的主要根源。在基于模型的软件开发中,有效管理开发出来的软件需求将有助于解决这一问题。为避免软件需求的无序性导致软件需求缺陷特别是安全性需求缺陷的生成,在借鉴层次分析法的有关思想基础上,提出了层次化管理安全关键软件需求的思路,构建了安全关键软件的需求递阶层次结构。该结构按照目的、准则、方案三层将软件需求有序组织在一起,不仅明确表达了不同层次软件需求之间的关系,有助于保证软件需求的一致性、可溯性,而且说明了软件安全性需求与危险场景之间的关系,有助于预防安全性需求缺陷,从而可以有效规避软件安全性问题。     

面向复杂装备的全寿命周期软件保障研究

软件是现代复杂武器装备的核心部件,在提升装备性能的同时,对装备寿命周期内的经济可承受性和安全性提出了严峻的考验,软件保障的重要性不断凸显。随着装备综合保障研究和工程实践的不断深入,软件保障也在不断发展。首先阐述了软件保障的内涵,在分析软件自身固有特性的基础上对影响软件保障的因素进行了总结,重点对基于功能的软件和数据保障模型及软件保障性分析进行了说明,并分析了软件保障费用评估的现状,为复杂装备的软件保障提供了研究思路。     

硬盘自动播出系统的软件升级

本文通过对温州市广播电视总台硬盘自动播出系统新老版自动播控软件在播出中安全性、易操作性等方面的比较,阐述软件升级的必要性.希望对其他电视台硬盘播出软件升级有一定的借鉴意义.     

基于社会学信任理论的软件可信性概念模型

可信性作为软件的一种复杂的高复合概念，几十年间都未能取得实质性进展和突破.本文在对可信性权威定义分析的基础上，论证了这些定义所涉范围彼此矛盾且不相容，进一步说明从本质出发研究软件可信性概念模型的重要性和必然性."可信"一词源于社会学，所以应该从社会学的信任理论出发来探讨软件可信性的本质.本文在上百篇经典社会学信任理论文献上构建出信任体系模型STM，并与软件的信任体系进行了对比和映射，提出基于社会学信任理论的软件可信性概念模型STCM.在STM和STCM的基础上给出软件可信性概念模型的定义系统.最后通过度量评估实验验证了模型是可行的、有效的，为软件可信性的发展提供了新的研究方向.     

计算机联锁软件制式的安全性评价

计算机联锁软件是比较复杂的软件,对其安全性要求也是最高的软件.以测试为根据来评估联锁软件的安全性,可以获得联锁软件开发者对于联锁安全问题的了解与处理能力的整个信息.弥补“合格”或者是“不合格”过于粗略的结果.科学地测试,是保障铁路运输安全运行的主要对策之一.文章对计算机联锁软件制式的安全性进行研究讨论.     

基于系统思维的软件安全性需求开发方法研究

发生毁灭性事故的最关键的因素就是软件的安全性不够到位,究其根本就是软件的需求部分没有合理的规划、设计.那么,如何解决软件需求的这个问题,就是人们急需解决的事情,就需要从软件的安全性能出发,利用系统思维的进行系统分析和建模相统一的一种组织架构.在一些特定的运用领域,可以利用集成安全性分析的需求开发方法,这种方法能够最大程度地解决安全性能的问题,抑制安全方面问题的传播,并且能够尽快的解决其安全性能问题,进而支持安全性论据的构建.     

安全性评估方法在通用飞机航电系统中的应用

目前国内通用飞机产业发展进入加速期,对于国内飞机厂商及供应商而言,如何研制出满足适航安全性要求的产品以取得适航许可成为最为迫切的问题之一。以自行研制的多发涡轮通用飞机航电系统为例,给出了一种在系统架构设计中运用安全性评估并利用评估结果对系统架构提出改进措施的方法。对灾难级失效状态的分析结果表明,合理利用安全性评估方法能够有效地找出设计过程中存在的缺陷和风险以满足适航安全性要求。