取得适航证是大型商用飞机能否投入商业运营的前提。随着我国大型商用飞机计划的实施,主机厂必将明确要求设备供应商供应的设备符合适航标准。
DO-178标准作为判断软件在机载环境中是否安全可靠的指南,即机载软件适航认证的标准依据。DO-178强调面向目标,要求软件必须满足其级别对应的所有目标,同时要给出足够的证据表明每一步是如何完成的,同时也要求验证过程是可以重现的。
DO-178是面向整个软件生命周期的,把机载软件生命周期定义为:
图1 机载软件生命周期
对机载软件进行适航认证,需要提供软件生命周期中每个阶段详尽的数据和文档——即适航认证所需要的软件生命周期数据。如果软件生命周期数据完整、真实地记录了软件的整个研制过程,它成为软件适航取证的基本依据和关键所在。
北京旋极信息与国外著名的适航认证公司和专家合作,在国内开展适航验证技术研究,加强能力建设,建立适航技术体系等实践方面,取得了成功经验。我们提供以下DO-178标准符合性服务。
软件适航认证,提供认证数据包
差距分析
帮助客户评估其内部软件活动是否符合DO-178标准。差距分析可帮助客户了解他们当前的计划和开发过程怎样符合特定标准的目标。进行包括计划评估、开发评估及验证评估的综合评估。完成所需的评估,并且依据开发团队的经验水平、适当的认证标准及安全水平来进行增强。
关键技术攻关
针对DO-178中软件保证级别对应的各种目标,提供目标的详细解析和验证方法,提供相应的解析和指导报告。
验证平台解决方案
依据国外的验证经验,提供适航验证平台的解决方案,包括目标码覆盖分析、MCDC覆盖分析、控制耦合分析以及堆栈分析等。
生命周期验证管理
基于云应用程序的生命周期管理,提供了从需求、设计、代码、测试用例、测试结果以及相关文件的软件生命周期数据的控制管理。
整个软件开发生命周期中的所有需求、设计和验证工件的双向追踪;
管理所有生命周期数据项的状态,展示需求和工件的评审和历史;
与生命周期中使用的需求管理系统、配置管理系统、测试管理系统的集成;
自动化完整性检查,以确保没有丢失数据;
变更影响分析识别所有受变更影响的区域;
生成与输出超链接工件到电子媒体映像,形成完整的验证数据包。