Prochain Webinar

Sécurité des systèmes embarqués - comment réduire les risques avec l'analyse statique ?

Date:
30 Mars 2017
Heure:
14:00

Présentation

Propulsées par l'inter-connectivité grandissante des systèmes intelligents, la sécurité et la vulnérabilité des applications embarquées sont de véritables enjeux pour les industriels qui les conçoivent. Ces derniers doivent désormais anticiper le risque d'intrusion ou de cyber-attaque, en limiter les impacts par construction autant que possible, et implémenter des mécanismes robustes permettant de s'en prémunir dans l'ensemble des cas d'emploi système. En ce sens, de nouveaux standards (CERT C, CWE, ISO/IEC TS 17961, etc.) font leur apparition, fournissant un point de départ intéressant à la prise en compte des contraintes de sécurité dans le processus de développement.

    Lors de ce webinar d'une trentaine de minutes, nous vous proposons d'adresser les points suivants :
  • En quoi consistent ces standards et comment les mettre en œuvre rapidement via l'analyse statique ?
  • Comment itérer efficacement pour converger vers du code C/C++ fiable et sécurisé ?
  • Comment pousser la vérification des modules les plus critiques en prouvant formellement l'absence d'erreurs run-time ?

Focus produit

  • Polyspace Bug Finder
  • Polyspace Code Prover