⚙️
核心技术#SIL#测试

软件在环仿真(SIL)

软件在环仿真:低空自动驾驶量产前夜的加速密钥 低空经济的爆发已经进入倒计时:国内多地发布低空开放时间表,eVTOL(电动垂直起降飞行器)、低空物流无人机的适航审定进程不断加快,行业玩家都在紧锣密鼓推进量产落地。但摆在所有

概念定义

软件在环仿真(SIL)是将待测试飞控源代码脱离目标硬件,直接在开发主机上编译运行完成测试的技术,可提前排查代码问题、提效降本,是低空自动驾驶飞控开发的核心支撑技术。

软件在环仿真:低空自动驾驶量产前夜的加速密钥

低空经济的爆发已经进入倒计时:国内多地发布低空开放时间表,eVTOL(电动垂直起降飞行器)、低空物流无人机的适航审定进程不断加快,行业玩家都在紧锣密鼓推进量产落地。但摆在所有开发者面前的一个现实瓶颈是:如何在有限的试飞次数中,验证数十万行飞控代码的稳定性?如何在极端场景发生前,穷尽所有可能的边界风险?答案正在指向一个曾经只在工业自动化、机器人领域应用的技术——软件在环仿真(SIL),这项正在被NVIDIA、MathWorks等行业龙头加速迭代的技术,正在成为低空自动驾驶开发提效降本的核心支撑。

很多人会把SIL和传统的系统仿真混为一谈,但实际上,软件在环仿真正是为了填补“模型仿真”和“真实硬件测试”之间的空白而生。根据MathWorks对SIL技术的官方定义,软件在环仿真是指将开发中生成的源代码直接在开发主机上编译运行,脱离目标硬件的限制完成测试——开发者可以通过对比普通仿真模型的输出结果和SIL运行结果,验证模型到生成代码之间的数值等效性,还能同步收集代码覆盖率、单模块执行时间等核心开发指标。简单来说,传统仿真跑的是抽象算法模型,而SIL直接跑未来要装进飞行器飞控的真实代码,这一步测试提前了至少3个月的开发周期。

对于低空飞行器开发而言,SIL的价值从项目启动的第一天就开始体现。eVTOL的飞控代码包含超过30万行逻辑,从姿态控制、避障导航到应急降落,每一个模块都需要反复验证。放在十年前,开发团队的流程是:算法建模→生成代码→烧录到飞控硬件→外场试飞测试,任何一个代码bug都可能导致试飞事故,不仅延误周期,还可能造成数百万的硬件损失。而引入SIL之后,开发团队可以在生成代码后,直接在主机上完成单模块测试:2023年某头部eVTOL厂商的飞控开发团队透露,他们通过SIL测试发现,某高度保持模块的代码在从Simulink模型生成后,因为浮点精度处理问题,出现了0.8米的高度偏差,如果不是提前在SIL阶段发现,这个问题很可能在试飞中诱发近地撞机风险。

正是看到了SIL在嵌入式软件测试中的不可替代性,全球科技巨头都在针对低空、机器人等新兴领域重构SIL工具链。NVIDIA依托Isaac Sim物理仿真平台打造的SIL开发框架,已经成为全球机器人和低空自动驾驶开发者的主流工具之一。根据NVIDIA官方文档,Isaac Sim中的SIL模块允许开发者直接把待测试的自动驾驶软件接入高保真模拟环境,完全不用依赖真实飞行器硬件就可以完成百万公里级的场景测试。针对自动驾驶安全验证,NVIDIA推出的Halos Outside-In安全框架更是把SIL作为核心验证环节:在任何安全算法部署到硬件之前,都要通过SIL在仿真环境中完成数千万次极端场景验证,比如城市低空飞行中的突发侧风、无人机避障中的突发障碍物闯入,这些场景外场试飞很难复现,但SIL可以在一天之内完成上千次重复测试,还能同步输出算法响应时间、代码执行效率等指标。

MathWorks作为老牌工程计算工具厂商,从2022版的Embedded Coder工具开始,就优化了针对航空嵌入式代码的SIL测试能力。现在国内大部分航空院所和eVTOL创业公司都在用MathWorks的SIL/PIL管理器完成代码等效性测试:某国有航空设计院的飞控开发团队统计,引入标准化SIL流程后,他们的代码bug发现率从原来的62%提升到了94%,单模块测试周期从原来的平均14天缩短到3天,整体飞控开发周期缩短了近四分之一。更关键的是,SIL收集的代码覆盖率和执行时间数据,是适航审定过程中软件验证环节的核心材料——中国民航局对eVTOL飞控软件的验证要求中,明确要求提供模块覆盖率、语句覆盖率等指标,SIL可以直接输出符合审定要求的标准化报告,省去了大量人工整理数据的工作。

和大家熟知的硬件在环仿真(HIL)相比,SIL的成本优势几乎是碾压性的。一套面向eVTOL的HIL测试系统,需要定制化的飞控接口、真实硬件节点,造价往往超过千万元,而且一次只能跑一个场景,调试一次需要数小时。而SIL只需要普通的开发工作站就可以运行,一个16卡的AI开发工作站,就可以同时并行运行十几个SIL测试任务,一天就能跑完相当于十年试飞的场景量。对于处于B轮融资阶段的eVTOL创业公司来说,千万元的HIL系统投入是不小的负担,而先用SIL完成90%以上的代码测试,只在最终集成阶段用HIL验证,整体测试成本可以降低70%以上。

当然,SIL不是万能的,它最大的局限是无法验证硬件和软件的交互问题——这也是为什么行业通常把SIL和PIL(处理器在环)、HIL(硬件在环)搭配使用,SIL负责前中期的代码功能、性能验证,把大量问题消灭在萌芽阶段,后续的硬件相关测试只需要聚焦在交互层面,反而提升了整体测试效率。现在业内已经形成了一套成熟的开发流程:算法建模→代码生成→SIL等效性测试与模块验证→集成测试→PIL/HIL硬件交互验证→外场试飞,SIL已经成为量产落地前不可或缺的核心环节。

从行业发展的脉络来看,SIL在低空经济领域的走红,其实是汽车自动驾驶仿真技术向低空领域迁移的必然结果。汽车行业早就证明,完全靠真实路测不可能完成自动驾驶的安全验证,必须依靠仿真测试完成海量场景的覆盖,而低空领域的开放程度更低,低空空域申请成本高、试飞风险大,对仿真的依赖程度其实比汽车更高。目前国内头部eVTOL企业,比如亿航智能、沃兰特航空,都已经建立了完整的SIL测试流程,把SIL验证作为飞控版本发布的必要关卡。据沃兰特航空2024年发布的开发白皮书中透露,其最新的VE25型载人eVTOL飞控软件,所有模块都经过了SIL测试,累计完成了超过1200万次不同场景的代码运行验证,代码问题逃逸率不到1%,为后续的适航审定打下了坚实基础。

站在低空经济量产落地的关口,SIL技术的普及还会进一步加速。随着生成式AI引入仿真环境,未来SIL可以自动生成更多极端边缘场景,对代码的测试覆盖度会进一步提升;而随着低空自动驾驶软件的复杂度越来越高,SIL并行测试的优势会越来越明显。对于行业开发者来说,谁能更早把SIL融入开发流程,谁就能更快完成代码验证,更快拿到适航证,抢占市场先发优势。毕竟,在这场低空竞速赛中,比对手早一个月完成飞控验证,可能就是先发和掉队的差距。软件在环仿真,听起来遥远的技术名词,其实已经是决定低空产业节奏的隐形密钥。

编辑人:工维安信·适航官

相关词条

无人机(UAV)

无人机是由无线电遥控或程序控制的不载人飞机,是低空经济核心装备。

低空经济

低空经济是以低空空域为依托,以各种有人驾驶和无人驾驶航空器的低空飞行活动为牵引,辐射带动相关领域融合发展的综合性经济形态。

飞行仿真

飞行仿真:低空经济起飞背后的隐形赛道 当大众谈论低空经济时,目光大多聚焦在eVTOL(电动垂直起降飞行器)、低空通航航线、低空管制网络这些看得见的新赛道,却很少注意到飞行仿真这个隐形的基础支撑领域——从小航校的飞行员入门

硬件在环仿真(HIL)

低空飞控验证:为什么HIL正在成为eVTOL量产的刚需卡点 当亿航智能在2023年拿到中国首张有人驾驶自动驾驶eVTOL型号合格证时,很少有人注意到,藏在研发流程后端的仿真测试体系才是其过审的核心支撑。不同于传统通航飞机

软件测试

从后端支撑到全流程嵌入:软件测试正在重构行业质量底线 打开网约车APP叫车,下单时定位偏差100米可能只是多走两步,但如果自动派单系统计算错了行程距离,就会直接导致用户车费出错、司机收入受损;乘坐eVTOL(电动垂直起降

集成测试

被低估的集成测试:低空飞控软件质量的隐形关卡 当亿航EH216-S载人无人驾驶航空器在广州完成全球首条低空航线商业试飞时,很少有人会注意到,支撑它平稳完成起降、避障、航线切换全流程的,是飞控系统近百万行代码之间上万个接口

最后更新:2024-12-01

本词条内容仅供参考,如有疑义请以官方信息为准。