核心能力

01 机载适航工具链

在航空电子系统复杂度与日俱增的当下，机载软件已成为航空系统的核心中枢，其质量直接关乎飞行安全与系统稳定运行。yl6809永利检测中心深耕航空领域技术需求，推出机载软件全生命周期适航符合性解决方案，依托自主研发的SmartRocket系列产品，实现从需求分析、设计开发、测试验证到运维保障的全流程覆盖。通过精准把控每一个环节的适航标准符合性，为机载软件打造从“诞生”到“服役”的全链条安全护盾，确保软件功能与性能双重达标。

• 需求管理工具：支持条目化需求定义，需求版本管理、需求基线管理、需求变更管理、需求追溯管理，需求在线评审。

• 耦合分析工具：支持识别组件间数据耦合和控制耦合关系、耦合用例生成、目标机测试并动态分析统计耦合覆盖率。

• 高可信嵌入式软件建模开发工具：支持图形化建模、模型静态检查、耦合度分析、模型仿真与调试、形式化验证、C代码自动生成。

• 动态缺陷检测工具：基于形式化验证技术，支持识别内存安全、并发安全、检查算术安全及数据流安全等动态缺陷。

• 嵌入式软件自动化测试平台：支持编码合规检查、软件低层测试（单元测试）、软件集成测试和软硬件集成测试。

• 堆栈分析工具：支持单元函数栈分析、静态调用栈分析、调用路径用例生成、目标机测试和动态调用栈分析。

• 结构覆盖分析工具：支持针对MC/DC覆盖、DC覆盖、SC覆盖进行函数级、文件级、项目级覆盖率统计与分析。

• 最坏运行时间分析工具：支持单元函数执行时间分析、静态执行时间分析、执行路径用例生成、目标机测试和动态执行时间分析。

此外，平台提供全套适航工具鉴定数据包及鉴定服务，严格遵循DO-330标准（TQL-5等级），确保工具链本身满足适航要求，为用户通过适航审定保驾护航。

02 航电系统安保解决方案

面对航电系统日益严峻的网络安全威胁，yl6809永利检测中心打造航电系统安保解决方案，构建起一套覆盖“风险识别-防护验证-事件处置”的完整安全体系。方案集成漏洞扫描与Fuzzing测试、攻击模拟测试、软件安全深度分析、安保事件应急响应与处置等核心能力，能够精准识别网络通信、协议交互、软件代码及运行环境中的潜在风险，全方位验证航电资产的防护韧性。凭借对航空安全场景的深刻理解，为航电系统在复杂电磁环境与网络攻击下的稳定运行筑牢铜墙铁壁。

• 虚拟化安全网关数字验证平台：支持虚拟化独立部署、全流量采集，具备访问控制、入侵防御、防毒日志及虚拟机集中管控功能。

• 漏洞扫描系统：支持对WEB服务、操作系统、数据库等部件30万+漏洞扫描。

• 网络协议Fuzzing系统：支持主流及航空专用协议模糊测试、私有协议自定义模糊测试、流量回放。

• 漏洞管理与分析系统：支持资产全生命周期管控、漏洞闭环管理与风险评估，具备漏洞知识库运维、资产漏洞匹配及多格式报表输出能力。

• 网络安全攻击系统：支持L2-L7全层级流量与多协议仿真、加密算法及组合逃逸攻击，具备报文回放、解耦配置、开放API及长期库升级服务。

• 无线网络安全测试系统：支持WiFi多协议侦测、AP/客户端仿真、各类攻击测试、弱口令破解。
  

• USB安全测试系统：支持USB接口状态与协议检测、多类设备仿真、病毒注入、数据窃取篡改测试。
  

• 渗透测试工具：支持无线WiFi扫描捕获、WEB与容器漏洞检测、暴力破解及端口重定向测试。
  

• 源代码分析工具：支持源码静态合规检测、恶意后门识别、规则定制、低误报精准定位、报表审计、多系统部署与二次开发集成。
  

• 二进制代码扫描工具：支持资产风险识别、二进制及开源组件漏洞扫描、依赖分析、多系统部署、知识库更新与二次开发集成。
  

• 动态分析工具：支持主流编程语言源码灰盒/黑盒测试、Linux及嵌入式内核测试，具备自动生成、并行测试、缺陷检测变异、缺陷管理、二次开发集成能力。
  

• 安保事件分析和管理工具：支持机载日志接入清洗、事件分析告警、可视化统计挖掘、事件关联回溯、离线日志导入、检索处置及报表生成。
  

• 平台网络信息安全验证环境：支持各设备工具松耦合集成纳管、全流程测试管控、拓扑脚本任务管理、设备远程操控、接口自动化及多类安全专项验证与多格式报告输出。

03 适航认证咨询

适航认证是航空产品迈向市场的关键门槛，yl6809永利检测中心凭借深厚的适航技术积淀，提供全流程适航认证咨询服务。专业团队深入解读中国民航局CAAC等权威机构的适航标准，针对企业取证过程中的痛点难点提供定制化解决方案，助力企业高效突破技术瓶颈，快速通过适航认证，实现产品安全合规落地。

• 软硬件适航研制体系构建：包括研制过程体系评估、体系文件构建、体系培训、体系关键特性辅导、适航体系委托等。

• 软硬件全生命周期符合性支持：包括软硬件各阶段模拟适航评审、专项辅导、适航符合性表明等。

• 专项疑难问题符合性方法设计和实施指导：包括分区/非分区操作系统/软件组件适航符合性路径设计及脆弱性分析、多核适航符合性方法设计及确定性分析、COTS IP符合性分析、飞行管理系统验证框架和方案设计等。

• 符合性数据开发和评审：包括满足DO-330标准的（TQL-4以下）工具适航鉴定数据包开发、满足适航要求的需求和设计重构、追溯关系等。

产品优势