基于 GJB5000A的机载设备软件风险管理

与地面设备软件相比,机载设备软件规模一般相对较小,使人们往往忽视了机载设备软件的开发风险.本文介绍了多个风险管理模型,重点描述了 GJB5000A风险管理模型,在基于GJB5000A标准要求下,针对机载设备软件领域风险管理过程和关键环节进行了探讨.     

GJB5000 A与DO-178 B／C的综合应用研究

针对软件研制单位目前存在的型号软件研制必须同时满足GJB5000 A与适航软件研制标准的要求,通过对GJB5000 A与DO-178 B／C的对比分析,提出一种将GJB5000 A与DO-178 B／C相互融合的方法,并对方法实际工程实践时应注意的问题进行了说明。     

基于SCADE的飞控软件的适航验证与确认

中国民用航空规章第25部对机载软件提出了适航要求,DO178B是对适航要求的符合性方法,但其中一些验证和确认目标并不适用于基于SCADE的软件验证。为此,分析了飞控软件的适航要求和符合性方法,并对基于SCADE的飞控软件的开发流程和传统的开发流程进行了分析对比,对基于SCADE的飞控软件的适航验证与确认工作提出了建议。     

飞行临界软件的验证与确认

飞行监界系统的复杂性和容错要求正在急速增长。因此,必须开发新的技术和方法而且要与已有的方法相结合,以使飞行临界系统在合理开发费用下,达到严格的验证和确认。本文探讨了这类临界领域系统在系统结构和软件设计中的一些高级要求,提出了一些有价值的、有效支持体系结构设计与分析以及软件开发、验证的技术。     

基于GJB5000A三级的软件配置管理技术研究

软件配置管理是软件工程的一个重要领域.配置管理的目的是利用配置标识、配置控制、配置状态纪实和配置审核建立和维护工作产品的完整性.有效的软件配置管理活动有助于软件质量的提高.对在GJB5000A研发过程的配置管理技术进行充分研究后,经大量实践,提出一种基于GJB5000A三级标准的软件配置管理解决方案,并将其与GJB5000A进行对比,提供符合性说明.     

CFD软件自动化验证确认云平台设计与实现

针对大型计算流体力学(CFD)软件的验证与确认,为了减少人工成本,提高软件质量和开发效率,并适应于未来高性能计算发展的要求,基于云计算思想,提出了自动化测试云平台的解决方案。该方案采用模块化的浏览器/服务器(B/S)网络架构;利用LAMP(Linux+Apache+MySQL+PHP/Python)开发工具;建立了持续集成的专业数据库;构建了涵盖可靠集群监控、复杂作业调度及大规模并行计算功能的云端环境;实现了通过便捷的网络访问,自动加载测试算例、提交集群计算、监测实时进度、自动化后处理、输出分析结果,并提供丰富的实验对比图、误差分析报表和汇总报告等;完成了对大型CFD软件的自动化验证与确认。将该方案应用于某大规模并行计算的CFD软件,验证了该解决方案的可行性与实用性。     

GJB5000A软件测量指标的研究与应用

讨论了型号软件GJB5000A的测量与分析过程,采用系统论方法,阐述了三级测量目标、测量项的确定,对测量指标存在的涌现性进行了探讨,在此基础上举例说明如何在三级贯标项目中进行软件测量指标的选取。通过将近一年时间的GJB5000A项目实施,证明了测量指标选取有效性,以及测量指标存在的涌现性命题。     

GJB 599系列Ⅲ电连接器标准统型与验证研究

不同制造商生产的电连接器使用过程中出现的互配效果差、电连接器出入库、制造或现场维修的管理难度高等问题,不仅增加使用成本,还极大程度制约了主机厂的线束生产进度。通过对GJB 599系列Ⅲ电连接器外形结构和尺寸、互配性结构和尺寸、孔位排列型谱、接触件配合、壳体表面处理颜色等规范要求方面开展统型研究,同时开展互配性验证工作,初步形成符合GJB 599系列Ⅲ规范要求下的统型产品规范产品,为同类基础产品的统型工作提供了借鉴。     

建模与仿真的校核、验证和确认工作模式

根据当前国内外研究进展状况,对建模与仿真的校核,验证和确认技术进行了讨论。首先介绍了ＶＶ＆Ａ的概念以及应用于建模与仿真过程的意义。然后着重阐述了建模与仿真的ＶＶ＆Ａ的一般工作模式和其中应当考虑的问题,最后进一步介绍了分布交互仿真的ＶＶ＆Ａ的九个步骤,这九个步骤也可推广适用于其它建模与仿真。     

基于FPGA的边界扫描测试系统的研究

介绍了基于FPGA的边界扫描测试系统的系统组成,工作原理,以及设计方案。描述了嵌入式测试系统的软硬件设计。文章给出了系统的程序流程和数据结构。     

大型 CFD 软件自动化测试平台的初步设计与实现

针对大型通用 CFD 软件研制的需求,为了提升 CFD 软件的开发效率,初步设计与开发了一个 CFD 软件自动化测试平台。该平台基于 MySQL 数据库,通过前台界面和远程集群后台管理程序的网络信息交互,实现了自主研发的通用 CFD 软件平台(HyperFLOW)的自动测试及验证与确认。根据需要适当修改前置处理接口,该平台亦可推广应用于其他 CFD 软件的自动测试。本文重点介绍了平台的基本框架和总体设计思路、平台的数据库和前台管理 GUI 设计、网络交互和后台管理等,并利用典型算例对计算结果的验证与确认过程进行了简要介绍,最后对平台构建的后续工作进行了展望。     

基于AFDX网络终端系统SoC的FPGA原型验证

基于商业以太网技术的AFDX网络,具有高带宽,低延迟,强实时性,高可靠性的特点已应用于在空客A380等型号上。ARINC664 Part7协议定义了AFDX网络的终端系统,交换机,以及通信机制。其中AFDX网络终端系统（ES,EndSystem）为航电系统上层应用与AFDX网络之间提供信息收发的通道。基于ARM9的AFDX—ESSoC是国内首款AFDX终端系统智能协议芯片,结合项目实践以SoC验证方法学为指导,以应用需求和ARINC664 Part7协议标准为依据,介绍了在FPGA环境下搭建验证平台,开发测试向量实施验证的过程,并对验证结果进行了分析,为成功流片提供了可靠保证。     

基于Richardson插值法的CFD验证和确认方法的研究

针对典型高超声速流动问题(T2-97模型),利用Richardson插值法,研究了多套连续变化网格下数值解的空间离散误差、收敛性。通过网格收敛性研究,完成了CFD的验证过程。利用不确定度分析方法,结合实验数据,开展了该问题的确认。研究表明:针对所选问题,在现有实验数据及计算条件下,该问题的CFD得到了验证与确认。     

民用飞机软件验证要求研究与实践

DO-178C实际上已成为民用飞机适航取证时用以衡量机载软件是否达到相应等级的安全性要求的标准,它以软件工程过程为核心,从定义过程应达到的目标、为满足目标所需要开展的活动、达到目标的证据等多个角度提出了软件研制的指导原则。DO-178C覆盖软件生命周期全过程,本文介绍了其中关于软件验证的标准以及对标准的理解和实践考虑。     

基于GJB 5000B的装备软件全生命周期管控方法实践研究

基于装备软件管理现状,分析装备软件研制与管理过程中存在的需求管理不准确、软件测试不充分、配置管理不清晰、文档编写不规范等问题,按照GJB 5000B标准要求,充分借鉴最佳实践,开展装备软件全生命周期管控方法研究并实践,促进装备软件工程化水平的提升。     

运输机标模CHN-T1的验证确认计算研究

采用自研的非结构混合网格解算器CARIA-OVERSET对我国第一届航空CFD可信度研讨会提供的运输机标模CHN-T1进行了验证确认计算。重点研究了网格形式、网格尺度、湍流模型等对运输机标模CHN-T1的总体气动特性、局部流场特征、压力分布以及计算收敛性等的影响,并把计算结果与风洞试验数据进行比较分析。分析结果表明,非结构混合网格解算器的计算结果与风洞试验数据吻合度较好。在固定升力条件下,非结构网格的网格尺度误差大于结构网格,湍流模型对迎角和俯仰力矩的影响较大,翼身结合处的分离特性模拟差异较小。带支撑构型的全机升力和低头力矩增加、阻力减小,机翼静气弹变形后升力、阻力和低头力矩均减小。全湍和自由转捩模型的计算结果存在一定差异,差异随着雷诺数的增大而变小。     

GJB 5000A与GJB 9001B过程改进的研究

介绍了GJB 9001B-2009与GJB 5000A-2008的共同性、差异性等特点,提出了在GJB 9001B-2009企业中利用GJB 5000A-2008实施过程改进的方法。