arXiv ID:
2604.27807
arXiv 提交日期: 2026-04-30
焦点会议:AI时代的自主系统可靠性——安全性、可靠性、安全保证与认证的设计挑战 / Focus Session: Autonomous Systems Dependability in the era of AI: Design Challenges in Safety, Security, Reliability and Certification
1️⃣ 一句话总结
本文探讨了在AI和机器学习组件日益融入嵌入式安全关键系统(如自动驾驶平台)的背景下,如何应对由此带来的非确定性、数据依赖性和缺乏形式化保证等新挑战,并综述了在可靠性建模、安全系统设计和认证方法上的最新进展,旨在弥合AI创新与系统级可认证可靠性之间的鸿沟。