SafeRiver est une société de conseil spécialisée en sécurité et sûreté de fonctionnement des systèmes à logiciel prépondérant, qui a pour vocation de développer des démarches et composants méthodologiques de conception sûre et de validation de ces systèmes.
La maîtrise de la sûreté de fonctionnement dans les processus globaux de développement et de production des systèmes est source de gains de productivité : évitement des surcoûts liés aux découvertes tardives de non conformités aux exigences de sûreté, contrôle des activités de validation et de vérification. De plus, la convergence sûreté et sécurité est un enjeu fort : les systèmes sûrs s’ouvrent et deviennent sensibles aux attaques, nécessitant de prendre en compte globalement les deux classes d’objectifs et de mutualiser certaines techniques de vérification.
Par ailleurs, les systèmes d’information sont de plus en plus impliqués dans la réalisation d’opérations critiques qu’il s’agisse d’interaction avec les systèmes embarqués ou de processus plus globaux : réalisation de transactions sensibles, gestion d’informations sensibles pour la sûreté ou la sécurité.
Pour répondre à ces enjeux, 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.
SafeRiver a été créée en novembre 2005 et est une société indépendante.
Ses fondateurs sont Véronique Delebarre et Eric Juppeaux.
SafeRiver est soutenue par l’incubateur AGORANOV
|