Découvrez comment développer des applications intégrées reviews, telles que la conduite automatisée, les commands de vol and les dispositifs médicaux, sûres et sécurisées。
在使用méthodes formelles静态分析时,你们可以向我们提供不存在的错误'exécution为我们提供contrôle和données的可能。
Lire ce livre blanc pour découvrir les le’analyse de code statique avec des méthodes formelles:
- 质量:请在'exécution上查找错误和错误的根源
- Surete:尊重MISRA的sûreté telles规范®、ISO 26262、IEC 61508和DO-178
- 安全系统: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 Nissan, Airbus, Delphi和NASA pour sécuriser vos logiciels embarqués。