Pratique
Institut de Recherche en Informatique de Toulouse (IRIT)
UMR 5505 - Sciences pour l'ing?nieur
- Adresse :
- Maison de la Recherche
/ Université Toulouse II-Le Mirail
/ 5 allées Antonio Machado
31058 TOULOUSE Cedex 9
Annuaire de l'antenne IRITà l'UTM
- Site :
- http://www.irit.fr
- Téléphone :
- +33 5 61 55 67 65
- Structure(s) de rattachement :
-
Université de Toulouse - Le Mirail (UTM)
UFR Sciences, Espaces, Sociétés (SES)
- Rattachements externes :
- Institut de Recherche en Informatique de Toulouse - IRIT
Université Paul Sabatier / 118 Route de Narbonne / 31062 TOULOUSE Cedex 9 / Téléphone : +33 5 61 55 67 65 / Télécopie : +33 5 61 55 62 58 / Mèl : info@irit.fr
Tutelle
CNRS, Ministère
Logo IRIT
Organisation
Directeur : Luis FARIÑAS del CERRO
Responsable de l'antenne Toulouse II-Le Mirail : Bernard COULETTE
Composition de l'équipe :- Membres permanents de l'équipe :
- Enseignants-chercheurs: 18 dont 5 HDR
- Membres associés :
- 2 enseignants-chercheurs (en poste à l'étranger)
- 2 ATER
- 10 doctorants dont 8 financés
- 1 post-doctorant
Axe(s) de recherche
L'IRIT, Institut de Recherche en Informatique de Toulouse, est une Unité Mixte de Recherche commune au CNRS, l'Institut National Polytechnique de Toulouse, l'Université Paul Sabatier (établissement principal), l'Université Toulouse 1, et l'Université Toulouse II
La composante UTM de l'IRIT est constituée de chercheurs dont la thématique principale est l'ingénierie des systèmes complexes.
Mots-clés :
Informatique, Sciences pour l'ingénieur, Ingénierie de systèmes complexes, Ingénierie de points de vue, Ingénierie des procédés de développement du logiciel
Séminaires de l'antenne IRIT à l'UTML'axe de recherche est décliné dans différentes équipes :
- Équipe MACAO - Modèles, Aspects, Composants pour des Architectures à Objets (Resp : Christian Percebois)
Ingénierie des logiciels Dirigée par les Modèles (IDM), paradigme relativement récent dans lequel le code source n'est plus considéré comme l'élément central d'un logiciel, mais comme un élément dérivé de la fusion et de la composition d'éléments de modélisation.
- Migration de données et de logiciels
- Processus de développement
- Vérification statique de modèles
- Transformation de modèles
- Équipe RPDMP - Raisonnements Plausibles, Décision, Méthodes de Preuves (Resp : Didier Dubois Henri Prade )
- Représentations de l'incertain
- Raisonnement
- Décision
- Argumentation
- Apprentissage
- Recherche d'information
- Petits mondes hiérarchiques
- Équipe SIG - Systèmes d'Informations Généralisés (Resp : Claude Chrisment Gilles Zurfluh) : Recherches s'articulant autour du concept de base d'informations. Les travaux se focalisent sur les modèles de représentation abstraite de collections d'informations complexes, les modèles d'interrogation de collections et ceux destinés à la manipulation et à l'exploration visuelle de grandes collections. L'équipe est organisée en 4 composantes :
- DDSS : Documents, Données Semi-Structurées et usages
- ED : Conception de systèmes d'informations décisionnels
- EVI : Exploration et Visualisation d'Information
- RFI : Modèles adaptatifs pour la recherche d'information
- Équipe SMAC Systèmes Multi-Agents Coopératifs (Resp : Marie-Pierre Gleizes )
Le point commun des recherches réside dans l'pprofondissement de la théorie des AMAS et/ou la méthode associée ADELFE. La problématique centrale est la conception de systèmes complexes à l'aide de systèmes multi-agents adaptatifs. Les travaux s'orientent sur 3 axes :
- L'étude de propriétés des systèmes complexes
- L'étude du comportement local coopératif d'un agent
- L'ingénierie des systèmes auto-organisateurs
- Traces stands for Research group on Architecture and Compilation for Embedded Systems (Resp : Pascal Sainrat)
Groupe de recherche en architecture et compilation pour les systèmes embarqués Traces s'intéresse aux aspects matériels des systèmes embarqués temps-réel, elle est membre du réseau d'excellence européen HiPEAC (High-Performance Embedded Architecture and Compilation)
- Équipe ASTRE Architecture, Systèmes, Temps-Réel, Embarqués
(Resp : Zoubir Mammeri)
Les applications actuelles et futures dans différents domaines (multimédia, Web, systèmes embarqués...) ont de plus en plus de contraintes de performances, notamment de temps de réponse, robustesse, mobilité, capacités de stockage et accès rapide aux informations... Ces applications reposent sur des architectures de systèmes répartis fonctionnant sur des réseaux où la latence variable peut avoir des conséquences sur les performances. La garantie des contraintes imposées introduit de nombreux problèmes et défis au niveau algorithmique, de la conception des composants/architectures logiciels et matériels et de l'interopérabilité de ces composants.
Les thèmes concernent essentiellement 3 domaines :
- Développement de système par composants
- Architecture : bus de communication, placement et accès aux données, virtualisation du stockage
- Temps réel : systèmes et réseaux