-
题名运行时保证技术的研究现状与发展综述
被引量：1
- 1
-
-
作者
董磊
王琦
陈曦
刘嘉琛
-
机构
民航航空器适航审定技术重点实验室(中国民航大学)
中国民航大学科技创新研究院
中国民航大学安全科学与工程学院
-
出处
《计算机应用》
北大核心
2025年第3期1003-1015,共13页
-
基金
国家重点研发计划项目(2021YFB1600600)
中央高校基本科研业务费专项资金资助项目(3122022QD07)。
-
文摘
人工智能(AI)、大数据、云计算等先进技术发展突飞猛进的同时,它们自身具有的难解释、难认证等问题限制了它们在各行业的实际应用。而运行时保证(RTA)技术通过监控系统状态实现了功能之间的切换,化“复杂”为“简单”,初步解决了一些复杂系统行为难预测、难解释、不安全、非预期结果的问题,在未来有着广阔的发展前景。因此,对RTA的研究现状与发展进行综述,为研究者了解最新的RTA技术研究动态、发展趋势提供参考。首先,回顾RTA技术的发展历程;其次,在描述RTA的基本原理架构以及切换逻辑的基础上,对当前RTA在智能航空、无人机(UAV)、智能航天和自动驾驶汽车领域中及信息物理系统(CPS)和安全强化学习上的应用研究现状进行系统性梳理;最后,对RTA技术的发展前景进行讨论。
-
关键词
运行时保证
复杂功能
切换逻辑
替换认证
智能航空
-
Keywords
RunTime Assurance(RTA)
complex function
switching logic
replacement certification
intelligent aviation
-
分类号
N949
[自然科学总论—系统科学]
V243
[航空宇航科学与技术—飞行器设计]
-
