Safety and Cyber Security are key issues for Embedded Systems and Complex Systems in a large range of domains and markets : Railways and Avionics since systems are more and more complex and interconnected, Automotive, especially with the development of Autonomous Vehicles (ADAS), IoT and Smart Sensors Networks.
SafeRiver addresses the development of critical systems by building-up meticulous and efficient process, thanks to its mastery of methodologies and technologies:
- Formal languages (Mathematical formalization, Synchronous languages, Functional languages , B language)
- Model Based Development Methods and Tools
- Model checking and formal proof tools
- Code generation
- Code static analysis (syntactic, semantic, abstract interpretation)
We also bring up all the documentation necessary to demonstrate that the safety constraints are achieved for our customers and help them in the production of evidence that must be delivered and submitted to certification bodies. Each employee is trained to IEC 61508, ISO 26262 and EN50128, ether for development activities or for validation and verification activities.
Our Consultants and Engineers are all highly skilled in formal languages and they are involved both in the development and in the deployment of technologies. R&D is a key success factor and a key value for the company.
Collaboration with Academics is important. Two PHD thesis are being developed in the company, with LABRI and UP-EC respectively.
Our main customers : Ansaldo-STS, ANSSI, Autoliv, RATP, THALES.
Company Details
- Employees
- 10
- Founded
- -
- Address
- Paris, Île-De-France
- Phone
- +33 1 77 69 55 05
- co****@****ver.com
- Industry
- Information Technology & Services
- Website
- safe-river.com
- Keywords
- Formal Methods, Cyber Security, Safety Critical Embedded Systems, Software development for safety and cyber security, Development of verification tools, Standards: EN50126 EN50128 EN50129 ISO26262 DO178C IEC61508, Cyber security referentials: CWE CAPEC.
- HQ
- Paris, Île-de-France
Saferiver Questions
Saferiver's helpline number is +33 1 77 69 55 05
Saferiver's website is safe-river.com
Saferiver's LinkedIn profile is https://fr.linkedin.com/company/saferiver
Saferiver has
10 employees.
View email and phone details for 10
employees at Saferiver.
Saferiver's industry is
Information Technology & Services
Saferiver's support email address is contact@safe-river.com
Saferiver's categories are Information Technology & Services
Saferiver's founding year is 2005
