Vérification Mathématique des Contraintes et Systèmes de Repli Déterministes
Vérification des trajectoires et commandes d'habitacle par rapport à des enveloppes invariantes de contraintes avec repli sans latence vers des contrôleurs à base de règles.
Satisfaction des Contraintes de Dynamique Véhiculaire
Un solveur SMT s'exécute aux côtés des moteurs de raisonnement, confirmant que vitesse, angle de braquage et freinage respectent l'ellipse d'adhérence des pneumatiques.
Repli Transparent vers des Contrôleurs à Base de Règles
Si un agent produit des sorties ambiguës ou différées, le moteur rejette la requête en moins de 500 microsecondes et bascule vers des contrôleurs AUTOSAR déterministes.
- Boucle de vérification formelle SMT exécutée en moins de 800 microsecondes.
- Aucune dégradation des boucles critiques de propulsion, direction ou freinage.
- Activation déterministe du repli validée par injection de fautes matérielles.
- Dossier de sécurité complet et traçabilité certifiée ISO 26262 ASIL D.
Explorer le portefeuille de domaines