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.