研究人员提出了一种硬件强制语义协调架构,该架构使用现场可编程门阵列(FPGA)在硬件层面直接实现选定的协调语义。这种方法通过在实时关键领域提供有界延迟和确定性行为来解决软件中介协调的局限性。
该系统建立在基于主题的通信空间Petri网(TB-CSPN)框架之上,以将语义推理与交互管理分离。关键特性包括将TB-CSPN机制映射到FPGA原语,以创建硬件原生层,该层强制执行时间同步、语义门控、授权约束和有界协调行为。
通过保持嵌入式协调语义的确定性,同时允许语义推理保持自适应和软件驱动,该架构旨在为在不确定性下运行的复杂自主系统提供可执行的保证。