飞机机载软件符合性方法DO-178B的应用研究

现今机载软件在飞机上得以大量应用,软件的可靠性、安全性日益重要。RTCA DO-178B作为民用飞机机载软件适航符合性方法,已广泛应用于欧美航空领域,但我国航空领域在DO-178B的应用方面仍存在诸多问题。本文针对DO-178B中软件与系统的关系、软件生命周期及软件审查方法进行研究和总结,对我国民用飞机机载软硬件的研制和适航具有重要意义。     

民用飞机机载软件适航方法的研究

以国内外先进民用飞机机载系统机载软件技术现状为背景,以DO-178B为机载软件适航审定基础,并结合某型号飞机机载软件的研制管理情况,对民用飞机机载系统机载软件适航方法进行研究。     

机载软件适航验证技术现状及展望研究

机载软件具有实时性、高可靠性、嵌入式的特点。软件的特殊性,给机载软件验证带来了严峻的挑战。本文首先研究了软件验证现状以及软件测试、评审方法,最后对目前软件适航验证的前沿技术进行了探索。它对于机载软件适航验证研究具有一定的借鉴意义。     

环控系统强度分析要求及适航验证

本文对民用飞机环控系统的强度分析要求和适航验证进行了总结。首先,根据强度设计的基本要求和环控系统的机载环境给出了环控系统需要验证的适航条款。其次,依据民用飞机环控系统的机载环境给出其需要满足的设计载荷、强度要求及适航符合性方法。     

民用直升机告警系统适航性设计要求和验证方法研究

正告警系统设计的目的是为了给驾驶员在飞行过程中提供告警信号以引起驾驶员关注,一旦告警系统所监测的系统/设备发生故障,驾驶员能够及时获得相关故障/失效信息,并采取纠正动作,从而确保民用直升机的飞行安全。为保证告警系统的设计能够符合适航要求,本文通过对告警系统相关适航标准和咨询通告进行研究,提出了告警系统设计过程中所应考虑的适航性设计要求和验证方法,并结合军用标准,给出了军民用告警系统设计要求建议,以便为后续民用直升机告警系统的     

以CMM为基础的软件过程改进

CMM提供了一个评估软件开发过程管理改进的框架和标准,规范了软件过程,较好地解决了软件开发过程中的诸多问题。系统地描述和剖析了CMM及对软件过程的改进,目的是为了加深对CMM框架及其对软件过程改进的理解,有效地达到软件过程持续改进的效果。     

基于工程能力培养的“航空电子系统设计技术”课程建设研究

国产大飞机项目的推进促进了国产机载系统研制发展,迫切需要能够独立解决航空电子系统适航相关问题的工程技术人才。以培养能够综合开展科学研究、工程研制和技术管理工作的适航复合型人才为目标,针对现有“航空电子系统设计技术”研究生课程存在的教学内容陈旧、与相关专业课程衔接不足、教学手段单一的现状,开展课程建设研究。以基础知识、设计技术、研制保证技术以及案例分析为主线重构课程内容框架,从广度和深度延伸知识内容并开发课程案例,通过网络平台丰富教学手段,形成具有民航特色的航空器适航审定工程专业课程。     

基于ARP4754A的民用飞机风挡加温系统研制流程

欧美航空工业界经过多年的实践,提出了民用航空器的安全分析和评估的系列标准.SAE ARP4754"高度集成及复杂飞机系统的适航审定考虑"颁布于1996年.发布以来,在高度综合及复杂的航电系统开发和适航认证中得到了很好的应用,欧美局方将其推荐为可用的符合性方法之一,以满足适航条款中关于建立研制保证过程的要求.     

关于软件系统体系结构的研究与设计

软件系统体系结构的设计是整个软件开发过程中的关键点,本文将B/S结构系统与C/S结构系统进行比较,并着重对开发B/S结构主流技术进行研究.     

非相关文献知识发现有效性评价的研究现状及评述

对国内外非相关文献知识发现的有效性评价研究现状进行扫描,根据有效性评价的方式和标准的不同,将非相关文献知识发现的有效性评价研究分为五大类,包括：临床验证、以Swanson研究为标准、统计评估、专家评估、重复前人实验等,进而通过对各有效性评价研究的实施过程分析,评述各评价方法的优势和劣势。     

软件可靠性及著作权保护研究

首先论述了软件可靠性的重要性;其次分析了软件可靠性研究的主要内容,从软件开发过程管理、质量保证标准、软件重用技术、测试技术、可靠性评估与预测等5个方面分析了几种提高软件可靠性的方法与途径;最后表述了软件的著作权的保护。     

老旧飞机故障经验总结与分析

需要特别说明的是,老龄航空器并没有一个统一明确的时间界定,也不是指航空器已经老化或者界定为老龄航空器就意味着不再适航了,仅意味着各民航当局开展对航空器结构的持续完整性评估和检查工作的计划,而且随着航空器初始审定标准的提高（如损伤容限原则的应用）,不同机型进行此评估和检查的范围也不尽相同。     

CASE工具在较件工程过程管理中的运用

软件工程发展到今天,已不仅仅是关注于软件开发和软件的各种生存期模型的研究,人们开始更加强调软件开发的效率、软件的质量以及相关的软件管理问题,提出了软件工程过程的概念,此外,计算机辅助软件工程(Computer-Aided Software Engineering-CASE)工具的应用日益广泛.在这种情况下,本文主要介绍了软件过程管理与CASE工具的关系.     

CASE工具在软件工程过程管理中的运用

软件工程发展到今天,已不仅仅是关注于软件开发和软件的各种生存期模型的研究,人们开始更加强调软件开发的效率、软件的质量以及相关的软件管理问题,提出了软件工程过程的概念,此外,计算机辅助软件工程（Computer-Aided Software Engineering--CASE）工具的应用日益广泛。在这种情况下,本文主要介绍了软件过程管理与CASE工具的关系。     

飞行适航要求分析及验证

正把握适航条款的整体要求和内在关联是适能力的重要基础,有利于建立全面的安全意识、准确理解各条款安全意图,并助力我国适航标准的自主编制。同时,对飞行适航要求进行科学分类,针对不同类型的适航要求采用适宜的适航策略和思路,对控制安全风险、提高效率,促进通用航空高质量发展都具有重要意义。     

面向应用领域的操作系统开发模型研究

基于系统评估标准驱动系统软件开发的基本思想,提出了一种新型系统软件开发闭环模型。与传统的闭环模型不同,系统软件开发的闭环模型通过研究特定领域内应用行为的共性并指导操作系统的开发设计,从而达到提高操作系统在该应用领域内的产出率。     

试验室适航验证试验制造符合性研究

根据某型飞机风洞试验的适航管理经验,对试验室适航验证试验制造符合性进行了初步研究,重点对试验件和试验前的制造符合性进行了阐述。     

软件测试策略和测试方法的应用分析

在软件开发过程中软件测试是必不可少的一部分,与软件产品的质量息息相关。软件测试策略与方法的研究,是我国软件开发市场以及我国软件开发技术不断趋于成熟的需求。本文就针对软件测试策略与测试方法进行几方面相关研究。     

CCAR25.863条款解析及符合性验证方法探讨

可燃液体防火与民用飞机飞行安全直接相关。本文对运输类民用飞机可燃液体防火相关的CCAR 25.863条款进行了解析探讨,并给出了建议的适航符合性验证思路与方法,用于支持民用飞机防火安全设计与适航验证。     

浮点数不能判等研究

在软件开发过程中,浮点数的表示和运算一直是重点也是难点。基于目前计算机界广泛使用的IEEE754浮点标准,针对C／C＋＋语言中“浮点数为什么不能判等”这个典型问题进行了分析和研究,力求给软件开发及测试人员一个清晰的阐述,研究中得出了两个有趣的结论。