微处理器应用验证的场景考虑

微处理器MPU属于复杂集成电路,是电子设备中实现计算、处理、控制、管理等功能的核心电路,同时决定了系统安全性、测试性、可升级性等非功能特性。MPU的应用验证非常重要且非常复杂,探讨了MPU应用验证任务执行、装备接口、环境自然、质量寿命、综合集成等场景设计,为其应用验证实现提出一个解决思路。     

航空电子装备嵌入式软件质量管理研究

嵌入式软件的成败对航空电子装备效能发挥愈发重要.随着航空电子装备技术与能力的不断提升,软件的规模和复杂性也急剧增长.目前大部分航空电子装备能力分阶段迭代生成,软件不断升级已成常态.复杂的装备及其复杂的开发过程给质量管理带来了难度,为提升航空复杂电子装备的软件质量,高效保障装备效能稳定发挥,本文聚焦技术状态管理与测试验证...     

基于资源共享的分布式机载软件测试系统设计

随着装备软件系统的发展,越来越多的硬件功能软件化,装备软件的发展朝着高综合、高集成、一体化的趋势发展。目前航空航天装备软件中,嵌入式软件占据主导地位,相较通用计算机软件,嵌入式软件的测试具有面向特定应用,有实时操作系统支持,运行芯片和平台较为固定,并且需要特定的数字总线资源进行数据注入等特点。尤其对于复杂的,高度综合化模块架构的嵌入式软件系统软件测试,对于测试和验证系统的要求也越来越高,数据采集、数据记录、数据激励、数据监控、数据分析等各种测试和验证系统的需求也使得综合化软件测试验证系统结构越来越复杂,基于分布式架构的软件测试系统已经成为必然趋势。结合嵌入式综合化软件测试系统的功能要求以及测试系统的特点,提出了一种基于对等架构下的分布式测试系统设计,该设计不仅能够满足嵌入式软件运行平台规模的扩展,也能够在分布式架构下实现软件运行平台内部资源的共享。     

航空电子软件仿真测试环境软件体系结构研究

首先介绍航空电子软件的特点,分析航空电子软件测试对测试环境的需求,提出一种分布式仿真测试环境的软件体系结构设计.基于RUP模型,以不同视图系统地对航空电子软件测试环境的体系结构进行了描述.应用代理模式,解决了分布式测试环境节点间实时通讯的关键技术.据此设计和实现的分布式仿真测试平台系统DSTE V1.0已成功地应用于多个航空电子软件系统测试工程中.     

面向服务的先进航空电子系统架构研究

针对未来复杂战场上航空装备与协同平台任务统一调度、软件灵活部署、资源统一管理等发展需求,在分析航空电子系统架构发展趋势的基础上,提出了面向服务的先进航空电子系统架构,定义了航空电子系统的服务组件和管理框架,并对该架构在创新研发模式、使用模式、保障模式等方面的收益进行了分析。     

航空数控零件数字化制造软件集成技术研究

数字化制造软件系统是实现航空产品数字化制造必需的支撑工具系统,是数字化制造装备得以运转、数字化产品能够诞生必不可少的工具,这是航空产品的复杂内部结构和复杂气动外形结构所决定的.产品品种规格的变化越来越快、批量越来越小,而产品交付进度却越来越快,在此基础上,企业对数字化制造软件的需求及其支撑作用效果变得越来越高.     

航天飞控软件操作概图开发

航天飞控软件是具有高可靠性要求的软件系统,对其进行可靠性测试是航天飞控任务的基本要求。操作概图是进行软件可靠性测试的基础。由于开发大型软件系统的操作概图比较复杂,使其成为了制约开展软件可靠性测试的主要困难之一。本文以地面航天飞控软件为例,介绍了实时飞控软件操作概图的开发步骤和方法。首先是确定软件系统的操作模式,并确定每个操作模式所运行的相关软件;然后给出了识别每个软件的操作发起者和操作方法;最后对不同类型的操作给出了确定其发生概率的方法。     

基于PXI总线的空间站对接机构自动测试系统硬件平台设计

为了解决空间站对接机构单机测试过程中传统手工串行测试手段误差大、自动化程度低、测试时间长等问题,针对相关测试任务,设计了一种由遥控指令信号产生电路、遥测指令信号监测电路、模拟电位计电路以及可调拉偏电阻电路组成的基于PXI总线的空间站对接机构自动测试系统硬件平台。系统经调试后,通过与软件系统配合,可完成供电通道切换、电源信号和OC门信号的监测与测量,符合测试要求,可以提高测试效能及测试质量,并降低装备测试成本。     

综合化航空电子系统可信软件技术

航空电子系统要求航空任务的执行具有确定性、可预测和可控性。深入分析综合化航空电子系统软件安全性、可靠性、完整性和实时性需求,提出了综合化航空电子系统软件可信性的定义。首次将可信计算引入到综合化航空电子系统中,建立综合化航空电子系统可信软件体系结构,在此基础上,提出软件可信运行环境构建方法和可靠性增强技术。这些技术能够保障综合化航空电子系统的可预测性,对保证飞机任务的执行及其安全具有重要的作用,为研制适合于中国大飞机的综合化航空电子系统可信软件奠定基础。     

航空结构分析CAE软件发展现状与未来挑战

结构分析CAE软件是核心技术研究的重要手段、重大装备研制的根本保障和智能制造推进的关键支撑,高水平自主可控(航空)结构分析CAE软件对航空科学技术领先创新和装备研制体系完整安全具有重大战略意义。深度梳理了国内外结构分析CAE软件的发展历程,系统分析了其一般性发展规律。从软件的技术复杂度、研发周期、装备需求和可靠性等4个维度,剖析了自主结构分析软件研发面临的时代挑战;从通用分析功能群、专用分析工具链和国产数据资源池3个层次阐述了自主(航空)结构分析CAE软件发展的广义内涵、总体思路和关键技术。最后,基于目前工业软件的世情国情和科学发展规律,展望了自主可控(航空)结构分析CAE软件的未来之路。     

航空四站气体保障过程的STAMP建模与STPA安全性分析

航空四站气体保障装备的可靠性在不断提高,而气体保障过程中的事故仍有发生,需要一种新的方法系统地去识别新的危险因素,从而提高系统的安全性。从控制的角度结合STAMP和STPA对航空四站气体保障过程进行安全性分析。首先,介绍STAMP/STPA的工作机理;然后,对航空四站气体保障过程构建STAMP模型,采用STPA安全分析方法对航空四站气体保障过程的安全性进行分析,识别不安全控制行为,对生成的不安全控制行为进行场景分析;最后,与事故树分析法(ATA)进行分析结果的比较,从而证实了该方法的优越性。结果表明:采用STAMP模型和STPA安全分析法可以更加全面地识别出不安全控制行为及其原因,更有利于保证航空四站气体保障过程的安全。     

载人航天工程软件工程化技术标准若干技术探讨

根据载人航天软件系统的新要求、新特点,针对载人航天工程软件工程化技术标准,从工程应用角度探讨软件系统设计、软件系统验证、软件安全性等技术问题,为标准的执行和进一步完善提供参考。     

航空电子系统软件组件服务化设计要求标准研究

针对航空电子系统应用软件规模及数量增加带来的系统综合集成复杂度提升,以及任务需求多样性带来的航空电子软件敏捷开发和部署需求,因此开展航空电子系统软件组件服务化设计要求标准研究,定义航空电子系统软件组件模型及设计流程,提出航空电子系统软件组件服务化设计总体要求、定义要求等,并对服务化软件架构、航空电子服务模型和服务封装接口等进行了详细定义和阐述,为面向服务的航空电子系统软件设计开发及持续集成提供了解决思路和参考规范。     

基于需求建模的软件安全性分析方法研究

为了提高软件安全性及可靠性,将需求建模引入针对软件需求的安全性分析过程,利用系统危险源、典型运行场景、外部输入输出接口等建模方法从系统需求分配、动态交互、接口故障处理等开展多角度分析,从而提高软件质量,并为后续软件需求分析以及安全性分析工作中提供可复用数据资产。     

航空机电系统测试性建模与分析新方法

针对航空机电系统测试性设计(DFT)需求,提出基于面向对象的贝叶斯网络(OOBN)与状态-测试关联灵敏度指标的系统测试性建模与分析的新方法。该建模方法能清晰地刻画系统故障与测试间的关联程度,反映复杂系统的层次结构关系。基于信息论的交叉熵原理提出状态-测试关联灵敏度指标,并给出计算方法。该指标反映复杂机电系统测试中的不确定性影响,克服了基于香农熵的测点评判分析方法的缺点,结合测试性建模获得的模型信息进行推理计算,可用于测试性的定量分析。运用该综合分析方法对飞机燃油系统进行测试性建模与分析,结果表明所提出的方法与指标在航空机电系统DFT中具有实用性。     

基于DoDAF的装备保障任务建模与仿真的验证

装备保障任务建模与仿真是装备保障性能分析的基础,针对装备保障任务层次结构复杂、结构动态变化的特点,文章采用美国国防部体系结构框架(Department of Defense Architecture Framework,DoDAF),对装备保障任务建模需求进行分析,选取相应的DoDAF产品进行目标、资源、活动及活动间关系描述,探讨装备保障任务的分解原则,对装备保障任务进行逐级分解,建立保障任务模型,采用Telelogic SA(System Architect)软件构建装备保障任务的仿真模型,并以美国"尼米兹"级航母对岸作战航空保障任务为例,分析其任务成功率,对建立的模型进行仿真验证,证明了模型和方法的有效性。     

基于模型的复杂系统安全性和可靠性分析技术发展综述

复杂系统的安全性、可靠性分析一直是装备通用质量特性领域关注的热点问题。随着航空机载系统向综合化、集成化、智能化方向发展,系统的功能逻辑、架构设计以及容错设计越来越复杂,以人工演绎推理为主的传统安全性、可靠性分析手段已经越来越不能满足要求,模型驱动的分析方法正在成为复杂系统安全性、可靠性设计所依赖的重要技术手段。特别是近几年,基于模型的系统工程技术发展迅猛,并在国内外航空企业中得到了广泛的应用和认可,这为基于模型的系统安全性、可靠性设计技术的进一步发展提供了有利条件。本文主要对国内外基于模型的复杂系统安全性、可靠性分析技术的研究进展进行了介绍,并对该项技术未来的发展方向和趋势进行了分析,为装备开展系统安全性、可靠性分析工作提供借鉴。     

一种基于LabWindows/CVI的以太网口的自动测试的方法

为解决航空电子产品中LRU的网络端口测试问题,提出了一种基于CVI的以太网口的自动测试方法,详细介绍了Ping的过程,物理连接和软件实现自动测试的过程,避免了手动输入命令测试的复杂过程,实现了软件自动测试网络端口是否相通,大大加快了测试进度。经试验论证,该方法具有高效、可靠、自动测试等特点,为LRU的以太网网口测试提供了一个可行的方法和思路。     

面向军事应用的航空人工智能技术架构研究

通过全面梳理国内外面向军事应用的航空装备智能化发展现状,紧密围绕未来智能化空中作战的任务场景,给出航空军用人工智能技术的概念和内涵,并依据智能系统信息运行模型,提出不同运行层级的航空装备智能升级的途径和方法。在此基础上,形成包含基础使能、关键技术群、智能系统、运行层级的航空人工智能技术架构,对关键技术群按面向运行层级、面向功能需求、面向基础使能进行分析,得到重点技术发展方向,并给出提升我国航空装备智能化水平的具体措施建议,为制定相关航空人工智能技术规划提供参考。     

某机载计算机系统测试性分析与研究

系统测试性已从系统维修性中分离出来,逐渐形成一套完整的体系,成为一种独立的系统特性.在计算机系统设计中应同步考虑该系统的测试性设计,系统设计是否满足设计要求可以通过系统测试进行证明,因此完整、有效性的系统测试性是设计实现的基本保证.本文通过软件及硬件分析介绍了某系统组成结构,重点阐述了系统测试的设计原理和实现方法,对系统测试性实现进行了数据分析,为计算机系统设计、测试性设计提供了借鉴和参考.