Développement et preuve de propriétés via des méthodes formelles :

  • Matlab, Simulink, Stateflow, Simulink Design Verifier, Scade Design Verifier ("Model-Based Design")
  • Atelier B
  • Outils de génération de tests

Analyse statique :

  • PolySpace, Frama C, QAC, Coverity, Klocwork, CodeSonar...

Sûreté de fonctionnement et sécurité :

  • Analyse de risques (PHA, FHA, SHA, FMEA, EBIOS)
  • Analyse de sûreté logicielle (Analyse fonctionnelle, AMDEC logicielle, Revue de code, Analyse statique, Arbres de défaillance)

Standards et normes :

  • EN50128, IEC 61508, ISO 26262, Common Criteria, DO 178B & DO 178C