计算机应用

作者：董磊, 王琦, 陈曦, 刘嘉琛

单位：1.民航航空器适航审定技术重点实验室（中国民航大学），天津 300300；2.中国民航大学 科技创新研究院，天津 300300；3.中国民航大学 安全科学与工程学院，天津 300300

关键词：运行时保证,复杂功能,切换逻辑,替换认证,智能航空

基金：国家重点研发计划项目(2021YFB1600600);中央高校基本科研业务费专项资金资助项目(3122022QD07)

人工智能（AI）、大数据、云计算等先进技术发展突飞猛进的同时，它们自身具有的难解释、难认证等问题限制了它们在各行业的实际应用。而运行时保证（RTA）技术通过监控系统状态实现了功能之间的切换，化“复杂”为“简单”，初步解决了一些复杂系统行为难预测、难解释、不安全、非预期结果的问题，在未来有着广阔的发展前景。因此，对RTA的研究现状与发展进行综述，为研究者了解最新的RTA技术研究动态、发展趋势提供参考。首先，回顾RTA技术的发展历程；其次，在描述RTA的基本原理架构以及切换逻辑的基础上，对当前RTA在智能航空、无人机（UAV）、智能航天和自动驾驶汽车领域中及信息物理系统（CPS）和安全强化学习上的应用研究现状进行系统性梳理；最后，对RTA技术的发展前景进行讨论。

来源：2025年第3期

《计算机应用》期刊编辑部

查看计算机应用杂志2025年第3期