Valeurs ajoutées

Fiabilité opérationnelle des logiciels

• Détection des bugs en conception
• Diminution des itérations de tests
• Mesure du niveau de robustesse

Optimisation des coûts de Validation & Vérification

• Tests unitaires et revue de pairs focalisés aspects métier
• Réduction des besoins en tests par analyse et preuve
• Identification des scénarios de violation
• Intégration dans la démonstration de sécurité

Compétences et simplification des processus

• Elaboration et vérification de règles de conception & codage
• Analyse statique de code C, C++, Ada
• Conception sûre SCADE et Simulink
• Vérification de règles de modélisation SCADE et Simulink
• Preuve de modèles SCADE et Simulink
• Méthode B
• Preuve et méthodes formelles
• Analyses de sécurité et sûreté de fonctionnement
• Normes EN50128, DO 178B, ISO 26262, IEC 61508, Critères communs