BPI France has selected the project LCHIP (Low Cost High Integrity Platform) under the framework FUI 21.
- DURATION : 42 months
- PARTNERS : CLEARSY (leader), OCaml Pro, SNCF, IFSTTAR, LIP6, LRI
The LCHIP project aims to greatly facilitate the development of safe, high-criticality applications by providing :
- a complete development environment to generate and prove mathematically and automatically bounded algorithmic software,
- a secure and low-cost platform for the execution of these applications, in order to guarantee a maximum level of safety.
The ability to automatically generate and prove software is the focus of the project.
Seamless integration with business languages (DSLs) and third-party code production chains allow for painless deployment in existing development processes and promote the exploitation of the technology outside the consortium.