Analyse de code et Evaluation des Propriétés de Sûreté

Cette offre rassemble les prestations de validation et vérification a posteriori de systèmes logiciels. Elle combine les techniques classiques de la sûreté de fonctionnement du logiciel et l'analyse de code :

• Analyse des événements redoutés.
• Formalisation de la cible d'évaluation (expression des exigences fonctionnelles de sûreté en termes de propriétés de comportement, expression des exigences non fonctionnelles en termes de propriétés d'intégrité d'exécution).
• Analyse de couverture des événements redoutés par les exigences de sûreté fonctionnelles et par les exigences de sûreté non fonctionnelles.
• Analyse de code.
• Clôture des points ouverts.

SafeRiver s'appuie également sur ces techniques pour réaliser des audits de code ou encore rechercher les causes d'un événement redouté particulier.