Découvrez comment développer des applications intégrées critiques, telles que la conduite automatisée, les commandes de vol et les dispositifs médicaux, sûres et sécurisées.
En utilisant l'analyse statique avec des méthodes formelles, vous pouvez prouver l'absence d'erreurs d'exécution pour tous les flux de contrôle et de données possibles.
Lire ce livre blanc pour découvrir les avantages de l'analyse de code statique avec des méthodes formelles :
- Qualité : recherchez les bugs et prouvez formellement l'absence d'erreurs critiques d'exécution
- Sûreté : respectez les normes de sûreté telles que MISRA®, ISO 26262, IEC 61508 et DO-178
- Sécurité : vérifiez votre code conformément aux normes de sécurité des logiciels CWE, CERT-C et ISO / IEC 17961
Tirez parti des 7 meilleures pratiques recommandées par les équipes de développement de Nissan, Airbus, Delphi et la NASA pour sécuriser vos logiciels embarqués.
