SafeRiver
Information Technology & Services
Paris, Fr
10 employees
- Employees
- 10
SafeRiver Overview
- Headquarters
- Paris, Fr
- Phone Number
- Available in AeroLeads
- Website
- safe-river.com
- Industry
- Information Technology & Services
- Employees
- 10
- Founded
- 2005
- Company Email
- Available in AeroLeads
About SafeRiver
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.
SafeRiver Contact Details
- People in AeroLeads
- 3
SafeRiver Org Chart
Sample employees and titles| Name | Title | Location | Contact |
|---|---|---|---|
| Alexandre Alves | Formal Methods Engineer at Saferiver |
View
|
|
| Samuel Colin | Software, Safety and Security Engineer |
View
|
|
| Weize Zhang | Ingénieur D'étude Safety Chez Saferiver |
View
|
Employees by Management Level
Individual contributor
4 profiles
Department Contact Coverage
| Department | Contacts | Phone | |
|---|---|---|---|
| IT | 1 | 1 | 0 |
SafeRiver Tech Stack
Engineering
3 profiles
Compare Similar Companies to SafeRiver
Hitachi Rail
Rail Transportation
SERMA Safety and Security
Computer And Network Security
HYDRO EXTRUSION ALBI
Related company record
SIG4 Engineering
Engineering Services
Josef Ressel Centre for Dependable System-of-Systems Engineering
Research Services
Ambition Innovation Creativity
Software Development
Talyan
Staffing And Recruiting
MBD Courses
Education
PROVE&RUN
Software Development
Ulatrons Software
Software Development