• BeMoRe

    BeMoRe: Behaviour Model Repository, an extending Persistent Meta-Modeling Systems with Behavioral Semantics

  • BigQueries

    BigQueries is a framework for data warehouse physical design to optimize big number of analytical queries. It is a modular tool, that can: (1) offers DBA the possibility to select different optimization structures (MV, HDP), based on the interaction of queries, (2) gives an estimation of the queries performance, (3) generates and display an unified query plan, (4) and gives partition schema and fragments allocation in parallel processing context....


    Cooperative Human sEMantic dAta maNagement & Exploitation

    • MFS4UDB

      This module deals with the empty-answer problem in the uncertain database context by proposing efficient approaches to find Minimal Failing Subqueries (MFSs) and maXimal Succeeding Subqueries (XSSs) of failing conjunctive queries.

    • QaRS
      This module implements two main functionnalities:
      • It gives explanation for the failure of a SPARQL query;
      • It performs relaxation of a SPARQL query in order to return top-k alternative answers.
    • QaRS4UKB

      Query-and-Relax System (QaRS) For Uncertain Knowledge bases.

      This module implements the following algorithms:
      • αLBA: computes αMFSs and αXSSs of a failing RDF query for a given threshold α.
      • NLBA, Bottom-Up, Top-Down and Hybrid: computes αMFSs and αXSSs of a failing RDF query for several thresholds. ...
    • TMA4KB

      Approaches For the Too Many Answers Problem in Knowledge Bases. Four algorithms are provided:

      • Base: executes all subqueries of a failing query,
      • BFS: does not execute queries that have a succeeding superquery,
      • Var: BFS + uses a variable-based property to deduce query failure,...
  • EnerQuery

    EnerQuery is an energy-aware query optimizer framework. This framework leverages the PostgreSQL query optimizer by integrating energy dimension with many other features.

  • KMAD Platform

    This project concerns K-MAD platform and its related tool K-MADe.

    • KMADe

      This project concerns K-MADe (Kernel of Model for Activity Description environment), a tool for contributing to the incorporation of ergonomics into the interactive systems design process, through task and activity analysis. The originality of the tool is to be based on a model whose expressive power lies on a formal semantic. This facilitates task description and analysis, but also querying the model and migrating within models and software life-cycle steps. ...


    MathMOuse: A Mathematical MOdels WarehoUSE to handle both Theoretical and Numerical Data

    • store mathematical models in a relational database
    • provide the user a "query by data" system to query the Warehouse using raw time series as input parameter
  • MoSaRT

    MoSaRT (Modeling oriented Scheduling analysis of Real-Time systems) is a model-based framework for design and analyze real-time systems. The underlying idea behind this proposal is to fill the gap between the academic real-time scheduling theory community and industrial practices. Since real-time systems need to be analyzed at an early stage of the development life-cycle in order to check if all the timing requirements are met, one of the main difficulties that the system designers face is to find the appropriate analysis tests helping to validate and/or to dimension properly their designs.Actually, research results have been exploited in industrial contexts only to a modest extent to date....

  • Multiprocessor GangScheduling

    The project defines a DP-Fair scheduling of Periodic Parallel Tasks. We consider identical processors and Gang Tasks that use simultaneously several processors. The schedule is defined by a pattern that will be used in every slice in the schedule that is delimited by two subsequent task deadlines. Two polynomial-time methods are proposed to define the pattern : an optimal linear programming based approach and an heuristic with a performance guarantee of (2-1/m) on resource augmentation (i.e., processor speedup factor). Both methods are implemented in MATLAB and compared through intensive numerical experiments. All source codes and results are provided. ...

  • OntoDB Platform

    This project concerns OntoDB platform. It supplies several tools (OntoDB schema, OntoQL, BeMoRe, OntoQL Plus, OntoQL Console...)

    • OntoDB Schema

      An ontology based database tool, support of multiple ontology models within ontology based database.

  • OntoDBench

    OntoDBench offers DBA the possibility to estimate the structuredness of her/his dataset and evaluate the scalability of the three main storage layouts of ontology-based data on its real datasets and workload. Then, according to her/his functionality and scalability requirements, DBA may choose the adequate OBDB. OntoDBench supports the following functionalities: (1) the evaluation of the characteristics of the real datasets, (2) the identification of the relevant storage models for a given OBDB, (3) the expression of the workload queries according to the three representations and (4) the evaluation of the queries performance....

  • OntoQL

    OntoQL is an exploitation language for ontology based databases (OBDB). It allows to query ontologies, data and both ontologies and data.

    • OntoQLConsole

      OntoQLConsole is an OntoQL interactive terminal.

    • OntoQLPlus

      OntoQLPlus is an OntoQL editor. It is a command line OntoQL language interface. It provides a syntax highlighting and a history of the executed commands.

  • PandaSQL

    PandaSQL concerns implementing and optimizing Randomized Triangle Enumeration Algorithm using SQL queries.


    Model-based Performance Analysis Repositories for Aadl Designs

  • Prototask

    This project concerns Prototask, a new task model simulator.
    All existing task model simulator require the user to understand task models to be effectively used. The major part of the screen is given to the task tree visualisation, and th user is supposed to watch the task tree to understand the simulation. Resulting from this choice, it is very difficult for end-users to understand task model simulations. ...

  • RT Approx FPPS

    The project page provides all MATLAB source codes of the algorithms and simulation environments defined in the paper

    An FTPAS for Response Time Analysis of Fixed Priority Real-Time Tasks with Resource Augmentation, Thi Huyen Chau Nguyen, Pascal Richard, Emmanuel Grolleau, IEEE Transactions on Computers, 2014, accepted for publication,

Also available in: Atom