共查询到20条相似文献,搜索用时 187 毫秒
1.
2.
3.
机载适航标准DO-178B/C软件开发过程研究 总被引:1,自引:0,他引:1
介绍了DO-178B/C标准的发展历程,结合对DO-178B/C标准机载软件生命周期过程的研究,分析了机载软件开发过程需求、设计、编码和集成子过程的关系及输入输出数据,在分析机载软件需求、设计、编码及集成子过程的目标、活动和转换准则的基础上,给出了各子过程的过程模型.展望了DO-178B/C标准的未来研究方向. 相似文献
4.
5.
6.
以ISO/IEC9126软件质量模型为基础,结合GJB 2786A军用软件开发通用要求,研制符合军用软件特点及研制过程的软件质量模型,使其能够在军用软件中得以应用。 相似文献
7.
面向适航认证的模型驱动机载软件构件的安全性验证 总被引:2,自引:0,他引:2
在软件开发的过程中为适航认证提供证据,已成为机载软件开发的研究热点。现代复杂机载软件多为构件化分布式架构,如何有效验证构件之间安全性依赖关系与适航认证标准当中规定目标的一致性,是机载软件设计阶段的一个重要问题。首先,使用系统建模语言(SysML)块图建立带有安全性特征的系统静态结构模型,将其转换为块依赖图以便进行精确的形式化描述。在此基础上给出形式验证方法,检验系统静态结构模型中的安全性依赖关系与适航认证标准中所规定目标之间是否一致。最后,通过一个飞机导航系统的例子说明如何将该方法应用于机载软件开发的过程中。利用这种方法对系统静态结构模型的安全性依赖关系进行验证,能够提高系统整体的安全性,并为适航认证提供证据。 相似文献
8.
9.
李培 《航空标准化与质量》1992,(5)
软件标准是我国标准化工作中一个比较新的领域,不少人对它的重要性还认识不足,对其内容还很生疏。本刊在1990年第三期上发表的六一八所张万良同志的《RTCA/DO-178A“机载系统和设备审定中的软件考虑”介绍》一文,着重介绍RTCA/DO-178A的内容,而李培同志撰写的本文,则是部下达的并已通过了评审的《RTCA/DO-178A“机载系统和设备软件的合格审定要求”使用建议》研究报告的主要内容。两文各有侧重,后者对制定我国相应航空工业标准具有较大参考价值,故本刊予以发表。 相似文献
10.
11.
12.
13.
孙全艳 《民用飞机设计与研究》2009,(2):17-21
多通道软件开发的复杂性和适航符合性要求是大型客机飞控机载软件开发需要考虑的重要问题。从软件的工程化管理以及软件的开发、验证和确认等方面探讨了既能满足安全性和可靠性要求又能符合适航要求的电传飞控系统软件的开发管理方式。 相似文献
14.
居慧 《民用飞机设计与研究》2018,(3)
为推动基于模型的开发和验证技术的发展,同时为了给机载软件基于模型的开发和验证活动提供合格审定指南,美国航空无线电委员会于2011年发布了DO-331《基于模型的开发和验证》标准,作为对DO-178C《机载系统和设备合格审定中的软件考虑》标准的补充。该文主要从DO-331文档的组织架构编排,模型的使用和分类,基于模型研制相关的软件生命周期过程、数据和符合性验证目标几个方面对其进行了提炼和解读,可帮助应用该标准的人员快速理解文档的核心内容,并把握基于模型的开发和验证相关的合格审定关注点,从而在项目实施过程中更好地表明适航符合性。 相似文献
15.
日益复杂的软件功能,高安全性系统的苛刻要求以及不断压缩的研制周期等因素推动了软件开发方法的创新。本文以机载软件为对象,介绍了基于模型和分层架构的一体化软件开发与验证方法。 相似文献
16.
张社英 《航空标准化与质量》1991,(4)
软件质量问题是“软件危机”的主要症结之一,也是软件工程研究的核心。严密制定、切实执行一个适当的软件质量保证计划,不仅能保证和提高软件开发的质量,而且有助于提高软件的可维护性,减少返工,降低成本,提高软件的开发效率。为此我部参照采用ANSI/IEEE std730—1984《软件质量保证计划》,参考MIL-S-52779A《软件质量保证大纲》,并吸取我国军标以及各专业部门有关软件质量标准和计划的执 相似文献
17.
就在美国国防部发布削减军费预算计划的时候.美国一个政府/行业组织公布了一项开放式系统标准.即在不同的军用飞行器平台上交叉使用航电软件.以达到节省开支的目的。这个称作未来机载性能环境(FACE)的技术标准是1月30日公布的。 相似文献
18.
廖凯 《民用飞机设计与研究》2021,(1):106-110
基于模型的软件开发技术(Model-Based Development,简称MBD)具有可视化建模与仿真、自动生成符合适航要求的代码等特点,已在民用飞机机载设备研发领域被逐渐推广应用。越来越多使用MBD技术开发的机载软件的涌现,给民机机载软件适航符合性工作带来了前所未有的挑战。为解决这一问题,美国航空无线电技术委员会于2011年底发布了DO-178C作为民用航空界认可的机载软件符合性方法,并在此基础上发布了DO-331作为专门针对机载软件MBD技术的适航符合性要求的补充说明。通过对DO-178C和DO-331标准中MBD软件适用目标的研究,结合工程实践,总结归纳了一套民用飞机主制造商对MBD软件供应商的软件研发过程管控要求,用于在向适航当局表明符合性时提高适航置信度,以期对主制造商和供应商在处理MBD软件方面提供参考。 相似文献
19.
本文对涉及到机载电子设备安装的三个国家军用标准(GJB441—88、GJB779—89和GJB780—89),分别就他们的制定依据,主要内容和应用要点以及三项标准的相互关系,作了简要说明。 相似文献
20.
新型机载飞控软件综合了更多的应用功能,需配备合适的操作系统作为基础.根据新型机载飞控软件开发需求,对操作系统和配套开发工具的要求进行讨论,形成相应的评估表.同时对国内外在飞控上有应用的4个操作系统进行分析评估,选出最适合目标机载飞控软件的操作系统. 相似文献