Development and proof of properties with formal methods:

  • Matlab, Simulink, Stateflow, Simulink Design Verifier, Scade Design Verifier ("Model-Based Design")
  • Atelier B
  • Test generation tools

Static analysis:

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

Safety and security:

  • Risk analysis (PHA, FHA, SHA, FMEA, EBIOS)
  • Sofware safety analysis (Functional analysis, software FMEA, Code review, Static analysis, Fault trees)

Standards and norms:

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