Compétences techniques

Méthodes formelles de développement et preuve

• Preuves et vérification de modèle (BMC, K-induction)
  • Simulink Design Verifier
  • Scade Design Verifier
• Méthode B
  • Atelier B
• Génération de tests

Analyse statique de code

• Interprétation abstraite

Techniques d'analyse de sécurité

• Analyses de risques (PHA, FHA, SHA, EBIOS)
• Analyses de sécurité du logiciel (Analyses Fonctionnelles de Sécurité, Analyse d'Evénement Redouté, AEEL, Arbres de fautes, Arbres d'attaques)

Environnements normatifs

• EN50128, DO 178B, IEC 61508, ISO 26262, Critères communs