Compétences métier

Ferroviaire

• Vérification de principes et concepts système à l'aide des méthodes formelles et de la preuve
  • CBTC (suivi de trains, anticollision, odométrie, contrôle de vitesse)
  • PMI (preuve de conformité aux directives, paramétrage)
  • Signalisation
• Analyse et vérification de modèles Simulink / SCADE pour des systèmes CBTC
  • Exigences fonctionnelles de sécurité
  • Erreurs d'exécution
• Analyse et vérification de modèles B pour des systèmes CBTC
• Vérification de données de sécurité
• Analyse de conformité des exigences du logiciel en regard des exigences de sécurité système
• Analyse de code (RTE, analyses de valeurs, analyse de robustesse)
• Constitution d'évidences de preuve en regard de la norme EN50128
  • Dossiers de sécurité, analyses de sécurité

Automobile

• Contrôle moteur
  • Mise en conformité des processus de conception des lois de commande avec le référentiel ISO26262
  • Mise en conformité du processus de développement logiciel avec le référentiel ISO26262
• Habitacle
  • Dossiers de sécurité logiciel pour les plates-formes BSI
• X-by Wire
  • Etude et conception d'un prototype pour le Steer by wire

SSI

• Convergence sûreté et sécurité pour les systèmes embarqués
  • Guides méthodologiques pour l'analyse de risque, l'analyse et l'évaluation de COTS pour le monde ouvert des plates-formes avioniques
  • Règles de conception et de codage, vérification de ces règles
  • Modèle MILS
    • Application aux équipements de sécurité (chiffreurs, cloisonnement réseau)
    • Applications aux architectures de sécurité
  • Noyaux de séparation (SK)
    • Analyse de code
    • Vérification de propriétés
• Polices de sécurité
  • Formalisation
  • Vérification, conception de moniteurs de référence