Saferiver

Saferiver company information, Employees & Contact Information

Explore related pages

Related company profiles:

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.
Looking for a particular Saferiver employee's phone or email?

Saferiver Questions

Free Chrome Extension

Find emails, phones & company data instantly

Find verified emails from LinkedIn profiles
Get direct phone numbers & mobile contacts
Access company data & employee information
Works directly on LinkedIn - no copy/paste needed
Get Chrome Extension - Free

Aero Online

Your AI prospecting assistant