SafeRiver a été fondée en 2005 pour proposer du conseil en sûreté de fonctionnement et en cyber-sécurité des systèmes à logiciel prépondérant. Les questions de sûreté (safety) convergent avec celles de cyber-sécurité (security) : en effet les systèmes embarqués sont de plus en plus ouverts, incluent des composants open-source, et sont de plus en plus sensibles aux attaques, en sus de leurs erreurs intrinsèques. Ceci accroît considérablement la complexité et donc le coût des méthodes de vérification et de certification.

L'efficacité de SafeRiver est basée sur :

  • Des services innovants comprenant un engagement de résultat
  • L'utilisation de nos plateformes (méthodes et outils SafeRiver Toolkit)
  • Des investissements de recherche et développement via des projets collaboratifs ou sur fonds propres (outils de preuve et d'analyse de code)
    • Pour nos Clients, cela veut dire l'obtention de résultats dans des contextes où une société de conseil "classique", utilisant les outils du marché, n'y arrive pas.
    • Pour nos Consultants, cela signifie des missions plus variées, parfois sur le site de nos clients, parfois dans nos locaux.