There are 3 Results with the keyword : "Safety"
Start-up - OCamlPro
OCamlPro offers services and tools to enable the rapid development of high quality software. Its expertise in OCaml empowers this start-up to develop its activity in all areas where code correction, high availability and security are of major importance. The OCaml programming language, distributed as free software by Inria, is the fruit of 25 years of research and development.
Fabrice Le Fessant, one of the founders of OCamlPro and scientific advisor to the company, spoke to us about its creation...
Inria Industry Meetings
From an acquisition in the field of Lidar (light detection and ranging), we generate a safe speed profile that must be respected by either a human driver or an autonomous vehicle.
Innovation - Embedded systems
The sending, transport, and receipt of postal packages are complex, costly procedures in case of disputes by one of the parties. Our system makes it possible to ensure the integrity of the contents of a package as well as a secure, automatic transfer of responsibility among senders, transporters, and recipients.
- Physical objects coupling
- Radio frequency memory
- Radio-frequency memory
- Pairing of physical objects