SafeRiver is a consulting company specialized in safety and cyber-security for software-based systems. We develop and deploy methodological means and components for reaching a higher confidence level, for a lower cost, at the design and validation phases.

We contribute to:

  • The robustness and the safety of your applications,
  • The decrease of your validation or certification costs
  • The safety analysis
  • The optimisation of the development process and its compliance with standards.

The consultants of SafeRiver have a long business experience of our clients domains. They can provide on-site technical assistance as well as fixed-price services.

We also drive internal development projects for the enhancement of tools so as to get results (scalability) when commercial tools can not produce them.

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