基于DO-178的机载软件重用方法研究

以DO-178B/C软件重用标准为基础,将先前开发软件分为已通过和未通过适航合格审定的PDS,构建了PDS软件的评估准则和评估方法,将PDS的评估结果与标准进行对照,能够快速定位PDS的重用要求和应采取的过程活动。实践表明,通过重用已通过适航合格审定的PDS软件的部分数据,可以有效提升软件开发效率。针对未通过适航合格审定的PDS软件重用,本文也提供了一种差距分析方法,对照分析PDS软件与目标要求的差距,用以评估所需的额外工作量。

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

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

符合DO-178C的软件需求分析方法

为了满足DO-178C对验证过程提出的目标要求,需要对DAL等级为A级的软件进行基于需求的软件测试,并要求测试需同时满足对软件需求的覆盖率目标和软件结构的覆盖率目标,因此,完备并且正确的需求将是软件结构覆盖率目标达成的前提,这就对开发软件需求提出了较高的要求。为了使软件需求能支持这些测试活动目标的实现,在DO-178C中软件需求过程和设计过程中高层需求和低层需求分析活动进行研究的基础上,描述了符合DO-178C的软件需求分析方法,包括软件高层需求分析方法和软件低层需求分析方法。

抗旱玉米新品种黄羊178

黄羊178是甘肃亚盛种业黄羊河有限责任公司以hy2-1为母本、hy115为父本组配而成的杂交种。2022年通过甘肃省农作物品种审定委员会审定,审定编号:甘审玉20220027。该品种具有高产、稳产、中熟、抗旱等特点,适宜在甘肃省中晚熟春玉米类型区域种植。

玉米新品种强盛178的选育及特性研究

强盛178是山西省农业科学院作物科学研究所以自选自交系H 1228作母本,H 1229作父本,杂交选育而成的极早熟玉米单交种。2018年3月通过山西省农作物品种审定委员会审定(编号:晋审玉20180005)。该品种表现极早熟、优质、高产、抗病,耐瘠,在平均温度15.8℃条件下,灌浆速率比一般品种平均高81.4%,具有较强的耐低温灌浆能力。适宜山西省极早熟Ⅱ区和活动积温在2 300℃左右的高寒冷凉区种植。

满足DO-178B要求的软件需求开发方法

为了开发出一份满足适航标准DO-178B要求的机载软件需求规格说明书,在介绍DO-178B对机载软件需求的要求和指出机载软件需求存在问题的基础上,重点讨论了使用结构化激励响应(SSR)方法开发软件需求的6个主要步骤。以飞行显示器软件的一个功能点为例,说明了使用SSR方法开发的软件需求单元应该具有的7个主要组成部分以及每部分的含义。通过DO-178B和SSR方法相结合,为机载软件需求开发提供了一套可行的技术方案。

玉米自交系P178的大斑病抗性QTL定位和效应分析

为了进一步鉴定玉米大斑病的主效抗病位点,以玉米优良抗病自交系P178为供体亲本,感病自交系G41为轮回亲本,发展了包含150个家系的BC2F5群体,用于玉米大斑病抗性遗传分析。2017年在吉林榆树和黑龙江双城2个环境条件下,对群体大斑病抗性进行了鉴定,结合KASP分子标记遗传连锁图谱的构建,对抗病QTL进行检测。结果表明,玉米大斑病抗性在群体家系间表现出广泛的变异。在玉米第1、2、8、9染色体上共检测到6个抗病QTL,分别可以解释4%~23%的表型遗传变异。2个稳定的抗病QTL分别位于第2染色体和第8染色体上,其在2个环境条件下都能检测到,而其他的QTL位点仅在1个环境条件下检测到。

GJB5000A与DO-178B的结合实施方案

在机载软件研制过程中将GJB5000A与DO-178B进行结合实施对提高软件安全性和可靠性有着重要意义。首先对GJB5000A和DO-178B进行了介绍,然后将DO-178B中的所有目标逐条与GJB5000A进行对比,并给出了对比结果。结果表明DO-178B中没有与GJB5000A相冲突的目标,因此二者完全可以在软件研制过程中进行结合实施。最后,基于对标准特点的分析,给出了GJB5000A与DO-178B结合实施的方案。

早熟抗病虫棉花品种冀178选育及其配套栽培技术

概述了早熟抗病虫棉花品种冀178的选育过程、特征特性及其相关配套栽培技术。

紫杉醇产生菌美丽镰刀霉K178的诱变育种

采用紫外线与亚硝酸对美丽镰刀霉(Fusarium mairei)K178的孢子进行复合诱变,于含40μg/ml制霉菌素的平板上进行筛选,获得31株突变株,其中5株的紫杉醇摇瓶发酵产量高于出发菌株,突变株UH23的紫杉醇产量为259.8μg/L,进一步优化其发酵工艺条件,紫杉醇产量达286.4μg/L,较出发菌株提高了29.9%。

基于DO-178B的软件测试技术研究

为了满足适航要求,航空机载系统软件测试需要遵循DO-178B的要求;然而,传统的软件测试技术和过程并不能完全适应适航标准的要求;同时,国内缺乏基于DO-178B的软件测试研究和工程实践,适航相关领域研究现状与国外成熟的适航标准规范体系相比尚有一定的差距;因此,文中根据DO-178B对软件测试的相关要求,提出一套基于DO-178B的软件测试技术方案,通过工程实例进行应用,并对相关领域的发展前景进行总结和展望;实例应用表明,该软件测试实施方案可以成功指导基于DO-178B的软件测试工作。

基于DO-178B的结构覆盖分析研究

结构覆盖分析(SCA)是基于DO-178B的软件验证的重要组成部分。由于DO-178B仅提出目标活动要求,不提供具体的工程技术方法,如何进行结构覆盖分析是困扰国内航电软件开发和验证的一大难题。通过与国外航电设备厂商的多年的软件国际合作,以及对DO-178B软件结构覆盖分析具体要求的深入研究,提出了一个结构覆盖分析过程和具体的实现方法。在多个软件国际合作项目中的实际应用表明,的研究成果满足DO-178B结构覆盖分析的要求。

基于DO-178B/C的机载软件适航审查研究

结合国内机载软件研制现状,分析了开展软件适航审查的必要性.参照国外实践经验,结合我军军机研制特点,提出了机载软件适航审查的具体流程和方法.结合上述流程,从数据文档与目标、活动相统一的角度提出了机载软件审查要点编制准则与方法.以A级软件计划阶段为例,给出了编制软件适航审查要点的原则和示例,制定了审查要点,为军机机载软件贯彻软件适航标准和开展软件适航审查提供了依据,也为下一步开发自动化的软件适航审查平台、为适航审查提供工具助手奠定了基础.

机载适航标准DO-178B/C软件开发过程研究

介绍了DO-178B/C标准的发展历程,结合对DO-178B/C标准机载软件生命周期过程的研究,分析了机载软件开发过程需求、设计、编码和集成子过程的关系及输入输出数据,在分析机载软件需求、设计、编码及集成子过程的目标、活动和转换准则的基础上,给出了各子过程的过程模型。展望了DO-178B/C标准的未来研究方向。

基于DO-178B的机载软件可靠性设计

本文从软件可靠性工程角度,对DO-178B的研制流程进行解读,分析DO-178B中所包含的避错、消错和容错的机载软件可靠性设计技术。分析表明,DO-178B既是机载软件满足适航安全性要求的符合性方法,也是保证机载软件可靠性的一种软件设计方法。

DO-178B/C目标分析及阶段介入评审过程研究

DO-178B/C标准作为面向适航审定的机载软件生命周期过程标准,着重提出了每个过程中应实现的目标,在DO-178B与DO-178C适航目标的变化的基础上,详细分析了目标之间的关系,目标的分布与差异。以适航标准和指导性文件为依据,结合机载软件开发过程监控背景,对阶段介入评审进行机载软件开发过程评估关注的目标和数据进行了总结,可对机载软件申请方筹备开展机载软件适航认证提供参考;对DO-178B/C标准相关及介入评审的未来研究方向进行了展望。

适宜麦套的晚春播棉花品种冀178选育研究

冀178是河北省农林科学院棉花研究所以选自夏播短季棉品种中棉所16的508系为母本、以综合性状优良的169系为父本选育而成的适宜棉麦套作的晚春播棉花新品种,2015年通过河北省农作物品种审定委员会审定(审定编号:冀审棉2015010号)。该品种具有早熟、稳产、纤维品质优良、抗病性好、适宜棉麦套作等特点,在棉麦套作模式下棉花霜前花率可达87.2%且显著高于其他参试品种,对促进棉田增效和加快河北省棉花种植结构调整具有重要意义。

从DO-178C的新变化透视软件适航关注点

深刻理解DO-178C标准对于提升机载软件开发能力具有重要意义。分别从软件生存周期过程活动和过程目标两个维度对比和分析DO-178C与DO-178B的差异,按照计划过程、开发过程、验证过程、配置管理过程、质量保证过程和合格审定联络过程分类,列举了每个过程新增的或变更的考虑内容,并详细分析了过程目标的变化。根据差异分析,从强调以目标为中心、源代码到目标码的映射、参数数据、双向追踪、基于需求的鲁棒性测试和耦合性验证6个方面解析了DO-178C强调的思想,并总结了一些可行的实践。

玉米新品种吉程178选育及栽培技术

吉程178以自交系M95为母本、自交系C388为父本杂交选育而成。该品种2012年完成组配,经过6年的测试试验,于2018年通过吉林省审定。具有高产、优质、广适等特点,于2018年通过吉林省农作物品种审定委员会审定,适宜在吉林省晚熟区推广。经过多年试验总结出该品种及双亲的特征特性、产量、综合抗性及栽培制种技术要点,进而指导玉米生产,为农民增产增收提供理论依据。

基于DO-178B的民用飞机机载软件工具的鉴定和应用

随着民用机载系统复杂性的不断提高,软件工具在机载软件系统开发中被越来越广泛地使用。从适航合格审定角度探讨了软件工具在民用飞机领域的鉴定工作,包括工具鉴定准则、工具鉴定数据等。