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.
CBTC – ERTMS – EN50128 – PHA - FHA – FTA – AMDEC – FMEA – IEC61508 – ISO26262 – DO 178B – DO 178C – Simulink – SCADE – Polyspace – QAC – Frama C – Model-Based Design – EAL – Common Criteria – EBIOS – Carto-C