SafeRiver développe cinq offres :
- La « Mise en conformité des processus de développement, de validation et de vérification avec les référentiels normatifs »
- La mise en œuvre et le déploiement de méthodes et d’outils dédiés à la conception et la vérification de systèmes sûrs au travers d’une offre « Conception dirigée par les modèles et Sûreté»
- L’offre « Analyse de code et Evaluation des Propriétés de Sûreté » cible plus particulièrement la vérification de l’intégrité d’exécution de composants logiciels intégrés dans les systèmes sûr.
- L’offre « Convergence Sûreté et Sécurité » s’intéresse aux propriétés d’intégrité des systèmes logiciels face aux attaques.
- Une offre « Audits de systèmes logiciels » permet de réaliser des analyses à diverses fins : re-documentation ou reprise de logiciels, instruction d’événements redoutés, recherche de vulnérabilités, fiabilisation, par exemple.
|