石柱
- 作品数：37 被引量：250H指数：10
- 供职机构：北京航天自动控制研究所更多>>
- 发文基金：国防科技技术预先研究基金总装备部科研项目国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术经济管理航空宇航科学技术机械工程更多>>
- 软件失效安全性及其主要研究内容被引量：6
- 1994年
- 本文介绍了软件失效安全性的基本概念，说明了软件失效安全性同其它相关研究领域间的异同，并详细论述了软件失效安全性的主要研究内容。
- 石柱王纬
- 关键词：软件工程安全性
- SFMEA方法在飞行控制软件中的应用被引量：9
- 2007年
- 为提高飞行控制软件的安全性,分析了飞行控制软件的安全性薄弱环节,探讨了影响飞行控制软件安全性的隐患。简要阐述了软件失效模式、影响(SFMEA)方法,给出软件失效模式分类的方法以及飞行控制软件常见的失效模式,给出适用于航天飞行控制软件的软件危害性等级,结合某型号飞行控制软件进行了SFMEA方法的尝试性应用,分析了软件失效的局部影响和最终影响,形成了52个SFMEA的分析表格,总结了302个飞行控制软件的失效模式,发现了部分安全性薄弱环节,并提出了相应的改进措施,结果表明,SFMEA方法对提高飞行控制软件的安全性有一定的工程价值。
- 张仝伟石柱
- 关键词：飞行控制软件
- TlcsVTE原型中功能覆盖率算法的实现
- 2005年
- TlcsVTE原型是针对某型号上位测控软件研制的测试环境,旨在对该型号的上位测控软件进行确认测试。本文重点阐述TlcsVTE中功能覆盖率算法的实现思路。该算法是基于被测软件运行环境的体系结构以及被测软件的功能分解进行设计的。该原型中采用了本文所述的算法辅助测试人员对被测软件进行功能测试以及覆盖率的实时统计。应用该原型测试被测软件,功能覆盖率可达100%。
- 郭晓慧石柱
- 关键词：软件测试
- 基于模糊集合论的故障树分析方法及其应用被引量：45
- 2000年
- 传统的故障树分析方法是基于概率论的 ,其失效概率通常要根据大量的第一手数据进行估计 ,然而 ,实际上不可能收集到足够多的第一手数据。首先分析了传统故障树分析的不足 ,提出了一种基于梯形模糊数算术运算的故障树分析方法 ,阐述了将各种模糊数转换成梯形模糊数的途径 ,最后 ,给出了该方法的一个应用实例。结果说明 ,所提出的故障树分析方法具有很好的灵活性和适应性。
- 武庄石柱何新贵
- 关键词：故障树分析系统程序设计
- 控制软件可靠性设计和评估方法被引量：10
- 2004年
- 介绍软件可靠性的定义 ,探讨软件失效的机理并阐述设计一个可靠控制软件的原则 ,提出一种基于三角形模糊数算术运算的软件可靠性评估方法。
- 石柱
- 关键词：软件设计软件可靠性评估
- 航天软件过程改进实践被引量：2
- 2006年
- 为了改进软件过程,提高软件开发效率,保证软件产品质量,北京航天自动控制研究所在2003年6月启动了基于GJB 5000-2003《军用软件能力成熟度模型》等级2的软件过程改进工作,于2005年9月通过了军用软件能力评价组的评价。本文介绍了北京航天自动控制研究所的软件过程改进实践,阐述了软件过程改进实践中取得的成绩和教训。
- 石柱
- 关键词：软件工程软件过程改进软件能力成熟度模型
- 一种基于模糊数算术运算的可靠性分析方法被引量：26
- 1999年
- 可靠性是产品在规定的条件下和规定的时间内完成规定功能的能力。传统的可靠性分析方法是基于概率论的，其失效概率通常应根据大量的第一手数据进行估计。然而，实际上不可能收集到足够多的第一手数据。因此，这些失效概率通常是通过其它领域的参考数据，根据专家的工程和经验来判断估计的，这类判断通常与主观性和模糊性密切相关。为了处理这种主观性和模糊性，需要一种基于模糊数学的可靠性分析方法。提出了一种基于三角形模糊数算术运算的可靠性分析方法，并给出了应用该方法的一些例子。结果表明，该方法可以较好地表示失效率数据中存在的不确定性，而且其计算也十分简单。
- 石柱遇今何新贵
- 关键词：可靠性分析故障树形图分析
- XX—X 软件可靠性设计指南被引量：2
- 1996年
- 软件可靠性是设计出来的。软件可靠性问题主要来源于软件的设计错误和设计缺陷,这一看法反映了软件设计对软件可靠性的重要作用。本文按软件生存周期的各个阶段来阐述设计XX—X高可靠软件时应注意的一些关键问题。
- 石柱周新蕾王纬
- 关键词：软件工程软件设计
- 优序法在管理成果评价中的应用被引量：8
- 2000年
- 在对管理成果进行评价时 ,首先要建立指标体系 ,而在这些指标当中有的可以定量描述 ,有的只能定性来描述 ,所以在评价时应当将定性和定量指标进行综合考虑。优序法就是通过对多目标决策问题进行两两相对比较 ,最后给出全部方案的优序排序。此方法应用简单 ,既能处理定量问题 ,又能处理定性问题。在建立管理成果指标体系的基础上 ,利用优序法 ,给出了管理成果评价方法。
- 遇今石柱
- 关键词：多目标决策管理成果
- 软件失效安全性(一)被引量：1
- 1993年
- 阐述了软件失效安全性的基本概念,基本研究内容,以及基本方法和技术,从而确定软件失效安全性需求,分析和度量软件的失效安全性。
- 石柱王纬
- 关键词：可靠性
