Causalito

Fiche dév Ens Sup - Recherche
  • Création ou MAJ importante : 24/09/09
  • Correction mineure : 19/03/10

Causalito : génération automatique de graphe causal pour les systèmes à modes de fonctionnement multiples

Ce logiciel a été développé (ou est en cours de développement) dans la communauté de l'Enseignement Supérieur et de la Recherche. Son état peut être variable (cf champs ci-dessous) donc sans garantie de bon fonctionnement.
  • Système :
  • Version actuelle : V0.1 - Septembre 2009
  • Licence(s) : choix en cours, contacter l'auteur
  • Etat : en développement
  • Support : non maintenu, développement en cours
  • Concepteur(s) : Renaud Pons, Louise Trave-Massuyes
  • Contact concepteur(s) : rpons at laas dot fr
  • Laboratoire(s), service(s)... :

 

Fonctionnalités générales du logiciel

Le logiciel calcule le graphe causal d'un système, c'est à dire les influences entre les variables du système. Ce graphe causal sert de support à un simulateur pour propager dans le système des variations sur les variables d'entrée, permettant ainsi de simuler le fonctionnement du système.

Le logiciel lit en entrée un fichier texte décrivant la structure du modèle mathématique du système dont on veut générer le graphe causal. Ce fichier est composé de la liste des équations algébro-différentielles modélisant le fonctionnement du système. Pour chaque équation, on liste les variables qui apparaissent dans l'équation. Le logiciel génère un graphe orienté dont les noeuds sont des variables et dont les arcs représentent les influences des variables les unes sur les autres.

Le logiciel est développé en langage C sur une plateforme GNU/Linux et utilise les outils GNU (compilateur gcc).

Contexte d’utilisation du logiciel

Le graphe causal généré par le logiciel était à l'origine utilisé pour aider à la modélisation d'un système en vue de le simuler et de faire de la détection de fautes utilisant une approche à base de modèles.

Actuellement, nous commençons la reprise du développement afin d'étudier les interactions au sein d'un système physique et aider ainsi au diagnostic de pannes, avec une application au diagnostic automobile.

Publications liées au logiciel

R. Pons and L. Trave-Massuyes, "Causal Ordering for Multiple Mode Systems", 11th International Workshop on Qualitative Reasoning, 1997, Cortona, Italia.