arXiv:2607.02376cs.AIcs.MA2026-07

用硬件实现关键协作机制,让自动驾驶系统更安全可靠

Hardware-Enforced Semantic Coordination for Safety-Critical Real-Time Autonomous Systems

论文配图:Hardware-Enforced Semantic Coordination for Safety-Critical Real-Time Autonomous Systems
图 1 · 摘自论文原文
  • 用FPGA直接实现语义协调逻辑,确保响应确定性
  • 在硬件层保证同步与授权,延迟可控且可验证
  • 适合对安全性要求极高的实时自动驾驶系统

当前智能体式自主系统正融合大语言模型、世界模型、优化引擎、专用神经网络、自主平台与人类操作者。尽管研究多聚焦于推理能力提升,但安全关键的实时部署还需在不确定性下实现异构组件间具有界且可验证的协调。软件中介协调在需要确定性延迟、确定性协调和可强制安全保证的领域存在根本局限。为此,我们提出一种硬件强化的语义协调架构,将选定的协调语义通过现场可编程门阵列(FPGA)在硬件层面直接实现。该方法基于基于主题的通信空间佩特里网(TB-CSPN)框架,将语义推理与交互管理分离。在此架构中,选定的TB-CSPN协调机制被映射至FPGA原语,构建出原生硬件的语义协调层。重点不在于加速,而在于在硬件层直接实现时间同步、语义门控、授权约束和有界协调行为。语义推理仍保持自适应与软件驱动,而嵌入式协调语义则变为确定性。

原文摘要 · Abstract (English)

Recent advances in agentic AI are producing increasingly complex autonomous systems that integrate large language models, world models, optimization engines, specialized neural architectures, autonomous platforms, and human operators. While much current research focuses on improving reasoning capabilities, safety-critical real-time deployment also requires bounded and verifiable coordination among heterogeneous components operating concurrently under uncertainty. Software-mediated coordination presents fundamental limitations in domains where bounded latency, deterministic coordination, and enforceable safety guarantees are essential. Hence, we propose a hardware-enforced semantic coordination architecture in which selected coordination semantics are implemented directly at the hardware level via field-programmable gate arrays (FPGAs). The approach builds on the Topic-Based Communication Space Petri Net (TB-CSPN) framework, which separates semantic reasoning from interaction management. In this approach, selected TB-CSPN coordination mechanisms are mapped onto FPGA primitives, creating a hardware-native semantic coordination layer. Focus is not on acceleration, but on enforcing temporal synchronization, semantic gating, authorization constraints, and bounded coordination behavior directly in hardware. Semantic reasoning remains adaptive and software-driven, while embedded coordination semantics become deterministic.

自动驾驶硬件协同语义协调FPGA

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。