Contact

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.

Copy link
Powered by Social Snap