检测项目

1.代码覆盖率分析：MC/DC覆盖率≥95%，路径覆盖率≥85%

2.实时性验证：任务响应时间误差≤1μs，中断延迟≤50ns

3.内存泄漏检测：连续运行72小时内存波动≤0.1%

4.容错能力测试：单粒子翻转故障注入率≥10^6次/秒

5.通信协议验证：CAN总线误码率≤110^-12，1553B总线同步精度5ns

检测范围

1.航天器导航控制系统嵌入式软件

2.星载计算机操作系统内核模块

3.火箭发动机控制算法逻辑单元

4.卫星通信系统基带处理软件

5.空间站生命维持系统管理程序

检测方法

1.静态代码分析：ISO/IEC15408EAL4+认证要求

2.动态仿真测试：GB/T28169-2011嵌入式软件测试规范

3.故障树分析：SAEARP4761安全性评估流程

4.形式化验证：DO-333适航认证方法

5.环境适应性测试：GJB1412-2018军用软件环境试验要求

检测设备

1.VectorCAST/C++：动态测试平台（支持DO-178C认证）

2.LDRATestbedv10.4：静态分析工具（满足MISRAC:2012规范）

3.NIPXIe-8861：实时仿真系统（1GHz双核处理器）

4.TTTechTTEthernetSwitch：时间触发网络测试仪（同步精度8ns）

5.VerumDezynePro：形式化验证工具（支持模型检查算法）

6.SynopsysCoverity2023.03：缺陷扫描系统（CWE漏洞库）

7.KeysightM9505A：高速总线分析仪（支持SpaceWire协议）

8.MathWorksPolyspaceR2023b：运行时错误检测工具（符合ISO17961）

9.GreenHillsINTEGRITY-178B：分区操作系统验证平台（EAL6+认证）

10.XilinxVCU118：FPGA原型验证板卡（UltraScale+架构）

北检(北京)检测技术研究院【简称：北检院】

报告：可出具第三方检测报告(电子版/纸质版)。

检测周期：7~15工作日，可加急。

资质：旗下实验室可出具CMA/CNAS资质报告。

标准测试：严格按国标/行标/企标/国际标准检测。

非标测试：支持定制化试验方案。

售后：报告终身可查，工程师1v1服务。

　　以上是与航天软件检测相关的简单介绍，具体试验/检测周期、检测方法和仪器选择会根据具体的检测要求和标准而有所不同。北检研究院将根据客户需求合理的制定试验方案。