Analyse statique automatisée avant publication pour les schémas d'outils automobiles
Exécution d'une analyse statique, de vérificateurs de bornes de paramètres et d'un suivi de propagation de données (taint tracking) sur les cartes de serveur MCP proposées, avant leur publication dans le catalogue mondial de la flotte.
Vérification des limites de sécurité ASIL D
Des vérificateurs automatisés confirment qu'aucune carte de serveur tierce non liée à la sécurité ne peut invoquer des méthodes écrivant directement dans les zones mémoire de la chaîne de traction ou du freinage.
- Analyse de sécurité automatisée à confiance zéro pour chaque carte d'outil publiée.
- Vérification formelle démontrant la séparation vis-à-vis des actionneurs véhiculaires ASIL D.
- Signature cryptographique du code liant les outils à des certificats de développeur vérifiés.
- Révocation immédiate, à l'échelle de la flotte, des manifestes de serveur compromis.
Explorer le portefeuille de domaines