Services & Prestations

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 oeuvre 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 «Vérification 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.