石柱 作品数:14 被引量:30 H指数:4 供职机构: 中国航天 更多>> 发文基金: 国防科技工业局民用航天科研预先研究项目 更多>> 相关领域: 自动化与计算机技术 航空宇航科学技术 更多>>
软件可靠性度量实例研究 被引量:8 2011年 为适应软件的不同特点和使用阶段,必须根据软件的具体情况,考虑在软件开发的整个生命周期中,从不同角度对可靠性进行度量和评价。在现有软件可靠性度量的基础上,选择改造了9个可用于评价软件可靠性的度量,在航天软件中进行了应用,并详细阐述了各个度量的目标、方法和过程,最后对度量结果进行了综合分析以及给出了对软件的改进建议。 石柱 郑重晶体生长炉神经元网络PID解耦控制系统 被引量:1 2008年 多温区晶体生长炉是一种多输入多输出、强耦合的被控对象。根据多温区晶体生长炉内温场分布的要求,提出一种神经元网络PID多变量强耦合系统控制器,通过在线学习自动调节控制器参数,同时实现解耦和控制作用。仿真结果验证了本方法对多变量强耦合时变对象具有良好的解耦性能和自学习控制特性,达到了系统所要求的控制指标。 于强 石柱 吕旭涛关键词:多变量系统 解耦控制 神经元网络 PID控制 WL_Net在导弹飞行控制软件安全性分析中的应用 2008年 提出了应用工作流逻辑网(WL_Net)进行软件安全性分析的新方法。介绍了运用WL_Net对导弹飞行控制软件进行安全性分析的步骤并分析了其优缺点和未来的发展方向。首先,综合考虑可能引起危险和风险的条件和环境构建WL_Net结构模型;然后使用可达树或关联矩阵对模型的合理性以及危险或风险出现的可能性进行分析,以确定该飞行控制软件是否安全。WL_Net能较好的完成对系统的建模和对软件安全性的分析,从一定程度上解决模型可读性和网结构爆炸的问题。 韩翔宇 石柱关键词:飞行控制软件 软件故障树分析实例研究 被引量:4 2014年 软件故障树分析(SFTA)是硬件或系统FTA的扩展,可应用于安全性关键软件的验证和可靠性分析。本文首先阐述了SFTA的原理和应用过程,然后介绍了结合某嵌入式软件进行实际应用的过程以及最小割集的生成,并在此基础上提出了对该软件的改进建议。 石柱 郑重关键词:软件可靠性分析 运载器通用测试数据库的设计 2007年 结合运载器测试数据的特点,采用ER图及关系模式对通用测试数据库的设计进行了较详细的分析,提出客户/服务器两层体系结构的数据库实现方案。在该系统中,服务器端采用SQL Server 2000,客户端采用C++ Builder5.0开发平台,客户端和服务器端的连接采用ODBC标准。该系统经某型号运载器试验验证,收到了良好的效果。 刘德勇 周滨 石柱关键词:关系数据库 SQL SERVER C++BUILDER ODBC 星载软件可靠性测试实践 被引量:2 2013年 为验证和评估软件可靠性水平,阐述了开展软件可靠性测试的方法和过程,针对星载嵌入式软件的特点,介绍了进行软件可靠性测试的关键步骤的实现途径和方法,包括:失效的定义、测试环境的搭建、使用剖面的构造、测试过程的执行以及失效数据的收集,最后给出了该软件的可靠性定量评估结果,表明了该方法和流程的实用性和可行性,为后续开展类似的软件可靠性测试提供实践经验。 石柱 郑重关键词:软件可靠性测试 软件可靠性评估 使用剖面 星载软件可靠性仿真测试环境研究 2016年 软件可靠性测试是验证和评估软件可靠性水平的重要方法,要求软件运行环境的真实性,因此,测试环境的建立是进行可靠性测试的难点,也是决定测试结果正确性的关键因素。论文阐述了针对某星载嵌入式软件可靠性测试环境的设计,包括测试平台的构建,以及测试脚本的构造,该环境已成功应用于某星载嵌入式软件的可靠性测试,效果较好。 郑重 石柱关键词:星载软件 软件可靠性测试 测试环境 软件审查方法及应用 被引量:2 1999年 介绍了软件审查及其相关概念,阐述了软件审查的组织、类型和方法,最后介绍了软件审查在型号中的应用实例。 石柱 周新雷 缪峥红基于信息流缺陷定位方法在软件测试中的应用 2014年 随着软件产业的飞速发展,人们对软件质量的要求也越来越高。现在,软件已经直接影响到了我们项目的成功和设备的安全。而软件中的复杂缺陷难以排除,因为它们涉及到许多程序要素之间的相互作用。论文扩展了基于信息流覆盖的缺陷定位技术。扩展后的技术融合了语句覆盖和分支覆盖技术,它还能定位复杂缺陷。试验结果表明,文中方法比基于语句覆盖、分支覆盖和定义使用对覆盖的方法要更可靠、更精确。 周东红 石柱 王瑞关键词:软件测试 软件FMEA实例研究 被引量:10 2010年 软件FMEA(失效模式和影响分析)是硬件或系统FMEA的扩展,并应用于安全关键软件的鉴定,但是,目前缺乏应用经验。本文阐述了SFMEA的原理、实施过程和要点,提出了适用于某嵌入式软件的失效模式及原因,对失效模式的影响进行了严酷度等级分类,给出了对该软件实施SFMEA的过程和结果。结果表明了SFMEA的有效性和实用性。 石柱 马宽 郑重关键词:软件可靠性分析