Los investigadores proponen una arquitectura de coordinación semántica forzada por hardware que implementa la semántica de coordinación seleccionada directamente a nivel de hardware utilizando matrices de puertas programables por campo (FPGA). Este enfoque aborda las limitaciones de la coordinación mediada por software en dominios críticos en tiempo real al proporcionar latencia acotada y comportamiento determinista.
El sistema se basa en el marco Petri Net (TB-CSPN) para separar el razonamiento semántico de la gestión de interacciones. Las características clave incluyen mapear los mecanismos TB-CSPN sobre primitivas FPGA para crear una capa nativa de hardware que imponga sincronización temporal, compuertas semánticas, restricciones de autorización y comportamiento de coordinación acotado.
Al mantener la semántica de coordinación integrada como determinista mientras permite que el razonamiento semántico permanezca adaptativo y controlado por software, la arquitectura tiene como objetivo proporcionar garantías de seguridad aplicables para sistemas autónomos complejos que operan bajo incertidumbre.