机载软件标准GJB 5000B与DO-178C对比分析研究

随着现代军用武器装备的研发升级,机载软件在项目贯彻中按照GJB 5000B的要求管理的同时也逐渐引入了适航思维。使得军用机载软件不仅要满足GJB 5000B的要求还需满足DO-178C的要求。对2个标准进行了分析对比,GJB 5000B与DO-178C一样,都是软件保证标准,且覆盖整个软件生命周期,因而均可直接指导软件研制,以及软件产品的评估与重审。2个标准均采用基于分级模式的递增式划分。但是DO-178C以适航性要求为出发点,强调软件的安全性,以目标递增为特点,对软件等级进行划分。而GJB 5000B是将组织的软件能力划分为5个成熟度等级,每一级都是基于前一级的改进,等级间的递增显示出软件组织能力逐步发展、完善的过程。介绍2个标准的特点与异同处,为机载软件全生命周期活动提供了设计及管理思路。

计算机等级考试辅导软件—电子图书及模拟训练功能的实现

本系统适用于等级辅导考试 ,是集“学习、训练、模考”为一体的系列教学软件 ,为考生备考免去了书山题海查阅资料的烦恼 ,大大提高了学习效率。

基于PyQt的武汉市分区森林火险气象等级软件设计与开发

PyQt是用于创建GUI应用程序的一种广泛使用的跨平台工具,本文基于武汉市气象局科技项目开发一个基于PyQt的武汉市分区森林火险气象等级软件,介绍了开发过程中主要使用PyQt的安装、使用方法,并对程序进行打包,最终完成了软件的设计与实现,提高了业务中计算武汉市分区森林火险气象等级的效率。

抚顺市森林火险气象等级预报研究与软件开发

当前抚顺市气象部门发布的森林火险天气预报中,空间位置较粗略,以点带面,预报方法单一落后、时效性较差,不能满足各级森林防火工作的实际需求。为此,笔者引入新的森林火险气象等级预报方法,采用修正的布龙-戴维斯方案计算森林火险气象指数,建立本地动态气象要素数据库,研发抚顺森林火险气象预报平台,实现动态计算抚顺各地区森林火险气象等级预报。

军事装备软件的安全性测试研究

装备软件的安全性是装备安全的重要内容。军事装备软件运行在特殊的使用环境下,从其遇到的安全性问题入手,阐明了军事装备的软件安全性和安全性测试,并分析军事装备软件的相应安全需求。并着重在软件测试阶段,针对性提出测试需求分析、探索建立测试思路和研究具体的测试方法。

第六讲 软件的功能安全要求

讲述执行安全功能的软件如何实现功能安全的要求。

软件安全性技术在工程中的应用

载人航天工程等国家重大科技工程对软件安全性有着很高的要求。软件安全性技术在这些工程领域也在逐步得到推广应用。首先分析了软件安全性的概念,然后介绍了目前工程中主要应用的软件安全性技术,最后结合工程实际情况给出了一个软件关键等级的确定方法。

安全级DCS平台基本功能库软件V&V方法研究

基本功能库是核电厂分布式控制系统(DCS)平台软件的重要组成部分,是应用软件的基本单元。其软件质量直接决定了仪表与控制(I&C)系统的系统性能力。尤其是当功能块应用于执行安全功能的软件时,功能块的错误可能直接影响到系统的安全。但是,目前国际、国内的标准中没有专门针对基本功能库的、详尽的验证与确认(V&V)方法,导致在实际的功能库V&V过程中没有具体的指导规范。为解决这个问题,对安全级数字化DCS平台基本功能库的重要性进行了阐述,同时分析了功能库的开发生命周期及不同的实现方式;依据核电厂安全级软件相关标准的要求以及实际的工程经验,提出功能库的V&V方法,以及各阶段需要重点验证的.内容。该研究为安全级平台功能库的V&V工作提供技术指导。

核电厂软件关键性分析方法

关键性分析是核电厂软件验证与确认过程最初始的环节,也是其他V&V工作的基础。该文针对核电厂安全相关级系统的软件,结合IEEE Std 1012标准,建立了一种适用于软件开发各个阶段的关键性分析的具体执行方法,最大限度地对核电厂安全相关级软件关键性分析工作进行了标准化,从而有效提高了软件验证与确认工作的效力。

基于牵引控制系统软件安全认证的应用研究

牵引控制系统软件的安全性和可靠性是列车稳定运行的重要因素之一,对其进行安全完整性设计和评估是有必要的。以列车牵引控制系统软件产品的安全认证为例,结合EN 50128:2011标准,对牵引控制系统软件安全完整性评估的技术以及实现方法进行深入研究和实践应用,重点描述依据生命周期流程开展软件设计和软件测试的认证工作,并根据第三方评估机构对整个工作进行总结评估,可为城市轨道交通软件产品的安全认证提供参考依据和借鉴。

某装备模拟训练软件CMMI-FP建模与分析

本文针对某装备新研模拟训练软件的规模估算需求,采用国际标准组织IFPUG(International Function Point User Group国际功能点用户团体)提供的功能点估算法(Function Point Analysis,FPA),完成CMMI(Capability Maturity Model Integration软件能力成熟度集成模型)中FP(Function Point功能点)建模与分析,为该软件的研制能力等级要求确定提供支撑,奠定软件开发工作量、完工时间等软件项目管理要素的估算基础。

计算机反病毒研究

计算机反病毒必须与操作系统紧密结合 ,软硬件相结合才有可能在根本上杜绝计算机病毒的肆虐。

核电安全性分析

针对核电厂软件完整性等级为3和4的安全级系统进行安全性分析。在安全性分析的过程中,主要对系统软件部分进行功能故障模式及影响分析,识别危险及发生的可能性,建立风险评估矩阵,确定风险等级,从而提出有效的风险控制措施,来消除或减少对系统乃至核电厂的安全影响。

金沂蒙高效聚元肥在白菜上的适宜用量研究

通过正规的田间小区试验,研究山东金沂蒙生态肥业有限公司生产的高效聚元肥在白菜上的适宜用量及增产增收效果。结果表明:适宜用量为50~75 kg/667 m^2,增产幅度在15.04%~25.54%之间,净增收益为429~748元/667 m^2;并应用Excel较好地拟合产量结果的二次、三次效应函数。增产主要源于该肥对白菜紧实度的提高,高度和直径的变化对产量贡献不大。施用该肥还可提高土壤pH值、阳离子交换量(CEC)、硅铝率,对酸性土壤有一定的改良作用。本试验运用《湖北省耕地质量等级简易评价软件》对试验地质量等级进行评价,结果为六等地;通过试验前后土壤养分变化,对配方施肥比例提出"稳氮降磷增钾"的调整建议。