SafeRiver est une société de conseil spécialisée en sûreté de fonctionnement et en cyber-sécurité des systèmes à logiciel prépondérant. Nous développons et déployons des démarches et composants méthodologiques permettant d'atteindre un plus haut niveau de confiance, à moindre coût lors de la conception et de la validation de ces systèmes.

Nous contribuons à :

  • La robustesse et à la sécurité de vos applications,
  • La réduction de vos coûts de validation ou de certification
  • L'analyse de la sûreté de fonctionnement
  • L'optimisation du processus de développement et sa conformité aux standards.

Les consultants de SafeRiver ont une longue expérience métier des domaines de nos clients. Ils peuvent intervenir aussi bien en assistance technique qu'en prestations forfaitaires.

Nous menons également des projets internes de développement d'outillage qui nous permettent d'obtenir des résultats (passage à l'échelle) quand les outils de preuve disponibles sur le marché n'en produisent pas.

CBTCERTMSEN50128 - PHA - FHAFTAAMDECFMEAIEC61508 - ISO26262DO 178BDO 178C - SimulinkSCADE - PolyspaceQACFrama CModel-Based Design - EAL - Common Criteria - EBIOS