Section: Partnerships and Cooperations
National Initiatives
Investissements d'avenir
Datalyse
-
Title: Entrepôt Intelligent pour Big Data hétérogènes. Investissements d’Avenir Développement de l’Economie Numérique.
-
Coordinator: Business & Decision Eolas
-
Others partners: Groupement des Mousquetaires, Inria Saclay (OAK EPC), LIG (Hadas and Erods teams), LIRMM (Montpellier), LIFL (Lille).
-
See also: http://www.datalyse.fr/
-
Abstract: Project Datalyse aims at designing and deploying an infrastructure for big data storage, collection, certification, integration, categorisation, enrichment and sharing over very large heterogeneous data sets. It relies on an industrial platform, to be made available on the cloud, and focuses on three flagship applications, showcasing three uses of big data over different data sets:
-
Data-Center Monitoring: The goal of this application is to provide features such as traceability, reporting, optimisation and analysis of abnormal behaviour regarding energy efficiency and security issues. The application will be built with an existing application called ScopeBR (Eolas) and will be deployed in two different green data centers, those of Eolas and GDF SUEZ.
-
“Territoire de données ouvertes et liées”: This application aims at extracting and provisioning public open data collected from the city of Grenoble and its suburbs. The goal is to make public data available to third-party application developers and to federate local actors around a single platform.
-
Real-time Business Intelligence for the management and processing of points of sale: this application will focus on real-time data analytics and will be deployed within “Groupement des Mousquetaires” in support of their business intelligence platforms.
-
ANR
Typex
-
Title: Typeful certified XML: integrating language, logic, and data-oriented best practices
-
See also: http://typex.lri.fr
-
Abstract: The highly ambitious and final goal of this project is to produce a new generation of XML programming languages stemming from the synergy of integrating three approaches into a unique framework:
These languages will feature precise and polymorphic type systems that merge PL typing techniques with logical-solver-based type inference. They will be implemented efficiently using the latest research on tree automata and formally certified using modern theorem prover technology. They will offer the capacity to specify and formally verify invariants, business rules, and data integrity, and will have a direct and immediate impact on standardization processes.
Transfer Contracts with Startups
Oppidoc
-
Title: Study of Potential Benefits of Introducing Static Analyses in the Oppidum Development Process
-
Abstract: The Oppidoc startup develops “Oppidum”: an XQuery web application framework which simplifies the development of XML-REST-XQuery applications (XRX) with the full XML technology stack (XQuery, XSLT, native XML database). It relies on a RESTful approach and on a well defined application model using concepts (routes, conventions, pipelines) popularized in other frameworks such as Ruby On Rails, Orbeon Forms and more recently Express on nodejs. Our collaboration concerns a study about the introduction of advanced static analyses techniques in the Oppidum development process.