Porteur du projet

CLEARSY

Partenaires

OCamlPro, SNCF Réseau, RATP, Université Paris Sud, Université Paris 6

Financeurs

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

Porteur du projet

CLEARSY

Partenaires

OCamlPro, SNCF Réseau, RATP, Université Paris Sud, Université Paris 6

Financeurs

FUI,
Thématiques Marchés Investissement R&D Durée Année de financement
Logiciel
Réseaux et Services Mobiles, M2M & IOT
Sécurité et Identités Numériques
Energie - Smart Grids - Smart Meters
Transport - Logistique
3469 K€ 36 mois 2016
Thématiques
Logiciel
Réseaux et Services Mobiles, M2M & IOT
Sécurité et Identités Numériques
Marchés
Energie - Smart Grids - Smart Meters
Transport - Logistique
Investissement R&D
3469 K€
Durée
36 mois
Année de financement
2016

Retour à l'annuaire des projets