Porteur du projet
CLEARSYPartenaires
OCamlPro, SNCF Réseau, RATP, Université Paris Sud, Université Paris 6Financeurs
FUI,
LCHIP
Low Cost HighIntegrity Platform
Le projet LCHIP vise à faciliter grandement le développement d’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.
L’intégration transparente à des langages métier (DSL) et des chaines 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.
Le projet LCHIP agglomère des résultats scientifiques obtenus au cours des 20 dernières années ainsi qu’un retour d’expérience de l’utilisation de méthodes formelles pour la construction de systèmes sûrs, tout en accomplissant une percée significative en termes d’ingénierie logicielle.
Le consortium de réalisation compte :
- deux fournisseurs de technologie (ClearSy, OcamlPro) qui permettront de développer l’infrastructure de la plateforme LCHIP,
- trois laboratoires (IFSTTAR, LIP6, LRI) qui permettront de créer et d’enrichir la structure de modélisation interne de l’atelier LCHIP,
- deux donneurs d’ordres experts industriels (RATP, SNCF) qui soit évalueront la technologie LCHIP grâce à des cas d’études significatifs du domaine ferroviaire, soit donneront un avis quant à la certification EN50128 T3 de la chaine de développement logicielle.
La technologie LCHIP va permettre d’améliorer la sécurité des citoyens en démocratisant l’usage d’applications sûres à haut niveau de criticité dont le déploiement est limité pour des raisons économiques.
L’exploitation des résultats se fera au travers de :
- le développement de systèmes sûrs, dans le domaine ferroviaire et à l’international
- la commercialisation de la plateforme et de services associés
- le brevetage de la technologie LCHIP
Voir la fiche projet > Cliquer ici