Recherche & développement

Recherche industrielle

Projet MONEYTRACK [FUI]

Dans ce projet de R&D collaborative d’une durée de 3 ans, OCamlPro aide ses partenaires à concevoir une plate-forme pour réinventer les systèmes de consommation dirigée (titres de paiement conditionnels). L’innovation principale de la plate-forme consiste en l’application des dernières technologies de blockchains (telle Tezos) alliées aux techniques de vérification formelle. L’investissement d’OCamlPro est partiellement subventionné par la Région Île-de-France.

Projet LCHIP [FUI]

Dans ce projet de R&D collaborative d’une durée de 3 ans, OCamlPro aide la société Clearsy à développer une plate-forme embarqué, ciblant des microcontrôleurs pour l’industrie ferroviaire. L’innovation principale de la plate-forme consiste en l’automatisation de la preuve formelle du code, en s’appuyant sur le solveur SMT Alt-Ergo, développé et maintenu par OCamlPro.  L’investissement d’OCamlPro est partiellement subventionné par la Région Île-de-France.

Projet SecurOCaml [FUI]

Dans ce projet de R&D collaborative d’une durée de 3 ans, OCamlPro construit un environnement permettant de développer des applications OCaml pour la sûreté, en particulier des outils d’audit et d’analyse statique, tels des détecteurs d’exceptions non trappées. L’investissement d’OCamlPro est partiellement subventionné par le Conseil Général de l’Essonne/Région Ile de France.

 


Projets terminés

Projet UCF [FUI]

Dans ce projet collaboratif de 3 ans, OCamlPro a développé un DSL pour concevoir des sites adaptatifs (responsive). Ce projet a également contribué à la conception de plates-formes de MOOC telle celle du MOOC OCaml. L’investissement d’OCamlPro était partiellement subventionné par BPI France.

Projet FEDER Dorm

Le but de ce projet était de concevoir une nouvelle génération de gestionnaires de paquets pour Java et autres langages similaires. Pour OCamlPro, le résultat principal fut le gestionnaire de paquets OPAM, désormais devenu le gestionnaire de paquets officiel de la communauté OCaml.

Projet Richelieu [FUI]

Dans ce projet de R&D collaborative d’une durée de 2 ans, OCamlPro a ajouté au langage Scilab des analyses statiques et du typage partiel. Les analyses effectuées ont été utilisées pour développer des outils de vérification de style, tel Scilint. Les réalisations d’OCamlPro étaient partiellement financées par le Conseil Général de l’Essonne.

Recherche fondamentale

Projet BWare [ANR]

Dans ce projet collaboratif d’une durée de 3 ans financé par l’Etat français, OCamlPro fait évoluer les outils de preuve automatique sur lesquels s’appuie l’Atelier B, en particulier le solveur SMT Alt-Ergo.

Projet Soprano [ANR]

Dans ce projet collaboratif d’une durée de 4 ans financé par l’Etat français, OCamlPro ajoute à Alt-Ergo la possibilité de vérifier les calculs sur flottants.

Projet Vocal [ANR]

Dans ce projet collaboratif d’une durée de 4 ans financé par l’Etat français, OCamlPro conçoit et développe une bibliothèque OCaml de modules prouvés formellement, pouvant être utilisés dans des analyseurs statiques et prouveurs de théorèmes.

 


Financeurs

logo_essonne logo-paris-region

logo_bpifrance

logo_anr

Plus d’informations

N’hésitez pas à écrire à contact@ocamlpro.com si vous souhaitez faire appel à notre expertise logicielle.