Les chercheurs proposent une architecture de coordination sémantique imposée par le matériel qui implémente des sémantiques de coordination sélectionnées directement au niveau du matériel à l'aide de tableaux de portes programmables sur champ (FPGA). Cette approche répond aux limites de la coordination médiatisée par logiciel dans les domaines temps réel critiques en fournissant une latence bornée et un comportement déterministe.
Le système s'appuie sur le cadre Topic-Based Communication Space Petri Net (TB-CSPN) pour séparer le raisonnement sémantique de la gestion des interactions. Les fonctionnalités clés incluent la mappage des mécanismes TB-CSPN sur des primitives FPGA pour créer une couche native au matériel qui impose la synchronisation temporelle, le verrouillage sémantique, les contraintes d'autorisation et un comportement de coordination borné.
En maintenant les sémantiques de coordination intégrées déterministes tout en permettant au raisonnement sémantique de rester adaptatif et piloté par logiciel, l'architecture vise à fournir des garanties de sécurité applicables pour les systèmes autonomes complexes fonctionnant sous incertitude.