Plateformes

Plateforme de preuve & vérification de modèles

• Simulink Design Verifier
• Preuve de propriétés fonctionnelles et de sécurité
• Cohérence entre modèle de contrôle et système contrôlé
• Détection de contre-exemples
  • Analyse d'événements redoutés
  • Aide à la génération de tests
• Détection d'erreurs d'exécution au niveau modèle

Plateforme d'analyse de code

• Polyspace Verifier
  • Détection de RTE
  • Analyse de robustesse
  • Analyse de valeurs
• Frama-C
  • Mise en oeuvre de plug-in propriétaires en support à l'audit de codes
  • Cartographies, localisation de points de code
  • Analyses de dépendances
  • Détection de fuites d'information

Veille technologique

• Astrée
• Scade Design Verifier