- États TLA+ vérifiés de manière exhaustive par modèle formel (spécification formelle)
- 11.2M
- Inférence edge P50 TTFT ; préemption par classe de sécurité <10 ms
- 28–48ms
- Fonctionnement autonome hors ligne, parité complète des fonctionnalités
- 72h+
- Domaines : recharge de véhicules électriques, robotique, ville intelligente, énergie, IIoT
- 5
- Types de ressources normatives dans ACS v0.1 (Power, Workspace, SignalPhase, Spectrum, TimeSlot, Token)
- 6
- Classes de sécurité avec préemption à réduction progressive (TaperSpec) + chaîne d'audit SHA-256
- 4