Domaines technologiques
Prestations proposées
SafeRiver est une société spécialisée dans la sécurité et sûreté de fonctionnement des systèmes à logiciel prépondérant, et a pour vocation de développer des démarches et composants méthodologiques de conception sûre et de validation de ces systèmes.
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.