BPI France a sélectionné le projet LCHIP (Low Cost High Integrity Platform) dans le cadre du programme FUI 21.
- DURÉE : 42 mois
- PARTENAIRES : CLEARSY (leader), OCaml Pro, SNCF, IFSTTAR, LIP6, LRI
Le projet LCHIP vise à faciliter grandement le développement des applications sûres à haut niveau de criticité en fournissant :
- un environnement de développement complet permettant de générer et prouver mathématiquement et automatiquement du logiciel à algorithmie bornée,
- une plateforme sécurisée et à bas coût pour l’exécution de ces applicatifs, afin de garantir un niveau de sûreté maximal.
La capacité de générer et prouver du logiciel de manière automatique est le point focal du projet.
L’intégration transparente à des langages métier (DSL) et des chaînes de production de code tierces autorisent un déploiement sans douleur dans des processus de développement existants et favorisent l’exploitation de la technologie en dehors du consortium.