Welcome to the LIAS Forge

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

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

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

Acknowledgment

This work is carried out thanks to the support of the European Union through the PLAIBDE project of the FEDER-FSE operational program for the Nouvelle- Aquitaine region. The project is supported by aYaline company, with partners: LIAS-ENSMA laboratory in Poitiers, and the L3i laboratory at La Rochelle University....

Vous rejoignez le laboratoire pour un stage, un séjours scientifique, un doctorat ou vous venez d'être recruté comme personnel alors tout d'abord BIENVENUE au LIAS !

Ce guide vous est destiné. Il a pour but, dans un premier temps, de faciliter votre arrivée et la découverte de votre nouvel environnement en vous donnant un maximum d'informations pratiques sur les lieux, sur les établissements à contacter et les procédures à effectuer pour votre quotidien....

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

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 (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....

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. ...

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

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 is an exploitation language for ontology based databases (OBDB). It allows to query ontologies, data and both ontologies and data.

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

Model-based Performance Analysis Repositories for Aadl Designs

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. ...

ROS-Based Modelling Framework for End-Users and Experts

Try it -> Wiki

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

Publications
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, http://dx.doi.org/10.1109/TC.2014.2346178...

This project is about trust systems. We explored computational models for these systems and provided a comparative study between them. The project page presents our source code for the evaluation of computational models and their associations with user requirements....