Egis警告：人工智能加速ATM软件开发，同时带来新的安全保证挑战

人工智能正在重塑空中交通管理领域的软件开发方式，将原本需要数周才能完成的任务压缩到几小时甚至几分钟内完成，但 Egis 警告称，瓶颈正在转移而非消失：更快的代码生成并不能缩短验证、确认、安全评估以及为新功能争取监管审批所需的时间。

在一篇立场文章中，Egis 指出，验证、确认和安全评估已经占据了 ATM 交付周期中相当大的一部分，并告诫业界不要像人工智能自动化开发那样去自动化保障流程。如果由单一的人工智能模型生成需求、代码、测试以及可追溯性证据，那么这些成果之间看似一致的表现可能具有误导性——Egis 将此描述为"人工智能给自己的作业打分"。自动化验证只能检查其被指示去检查的内容，因此集成测试、运行试验以及长时间的老化测试对于暴露未曾预料到的故障模式仍然至关重要。

Egis 指出，在可预见的未来，对安全重大变更的问责仍将由具名的人类决策者承担，而非人工智能模型，并警告交付压力可能导致工程师过度依赖机器生成的建议。该公司提到 EUROCONTROL、CANSO、EUROCAE 和 EASA 正在开展的相关工作，包括 EUROCONTROL 的 FLY AI 项目，认为这些都表明业界已开始着手应对在安全关键环境中负责任地采用人工智能的问题，并表示公司正通过行业论坛、工作组以及与客户和监管机构的合作项目参与其中。