SafeRiver was founded in 2005 to propose consulting services in Safety and Cyber-Security for software-based systems. Nowadays, the challenges in safety meet up with challenges in cyber-security. Indeed, embedded systems are more and more open, they include open-source components and are more sensitive to attacks, in addition to their own errors. This considerably increases the complexity and, therefore, the cost of verification and certification.

We develop and deploy methodological means and components to help our customers reach a higher confidence level into the systems they develop at a low cost.

SafeRiver's efficiency is supported by :

• Innovative services with commitment to results
• Large spread in formal methods application (proof and/or static analysis)
• Research and development investments through collaborative or internally funded projects
• Proprietary platforms based on powerful tools (SafeRiver Toolkit)