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: 8 professeurs, 17 maîtres de conférence
- Membres associés :
- 2 enseignants-chercheurs (en poste à l'étranger)
- 2 ATER
- 9 doctorants
- 2 post-doctorants
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 I, et à l'Université Toulouse II-Le Mirail.
La thématique principale de la composante UTM de l'IRIT 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
Axe(s) de recherche
Séminaires de l'antenne IRIT - UTMAxe de recherche décliné dans les équipes :
- MACAO - Modèles, Aspects, Composants pour des Architectures à Objets
Resp : Bernard Coulette
Ingénierie des logiciels Dirigée par les Modèles (IDM), paradigme relativement récent dans lequel le code source n'est plus l'élément central d'un logiciel, mais un élément dérivé de la fusion et de la composition d'éléments de modélisation.
- Processus de développement
- Vérification statique de modèles
- Transformation de modèles
- Ingénierie Systèmes et Composants
- ADRIA - Argumentation, Décision, Raisonnement, Incertitude et Apprentissage
Resp : Leïla Amgoud Marie-Christine Lagasquie-Schiex
- Argumentation
- Décision
- Raisonnement
- Incertitude et Apprentissage
- SIG - Systèmes d'Informations Généralisés
Resp : Claude Chrisment Gilles Zurfluh
Recherches autour du concept de base d'informations, se focalisant 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. 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
- SMAC - Systèmes Multi-Agents Coopératifs
Resp : Marie-Pierre Gleizes
Approfondissement de la théorie des AMAS et/ou la méthode associée ADELFE.
- Étude de propriétés des systèmes complexes
- Étude du comportement local coopératif d'un agent
- Ingénierie des systèmes auto-organisateurs
- Traces stands for Research group on Architecture and Compilation for Embedded Systems
Resp : Pascal Sainrat
L'équipe s'intéresse aux aspects matériels des systèmes embarqués temps-réel et à l'approche ascendante, reposant sur l'utilisation de processeurs généralistes. Objectif : proposer des modes d'utilisation permettant une estimation à la fois précise et fiable des temps d'exécution ainsi que des extensions architecturales améliorant la fiabilité et la facilité d'analyse du comportement des composants.
Membre du réseau d'excellence européen HiPEAC (High-Performance Embedded Architecture and Compilation)
- ASTRE - Architecture, Systèmes, Temps-Réel, Embarqués
Resp : Zoubir Mammeri
Les applications (multimédia, Web, systèmes embarqués...) ont des contraintes de performances (temps de réponse, robustesse, mobilité, capacités de stockage, accès rapide aux informations)... Elles reposent sur des architectures de systèmes répartis fonctionnant sur des réseaux où la latence variable peut influer sur les performances.
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
- IRT - Ingénierie Réseaux et Télécommunications
Resp : André-Luc Beylot
IRT concentre ses compétences autour des architectures de réseaux passant par la modélisation et l'analyse des performances de ce dernier. Ces travaux sont menés dans le cadre de différents contextes applicatifs (satellites, embarqués, ...), domaines privilégiés dans le cadre Toulousain.
Principaux thèmes :
- Réseaux et Systèmes Embarqués :
- réseaux commutés
- équipements d'interconnexion
- réseaux embarqués hétérogènes
- Réseaux Satellitaires :
- systèmes géostationnaires DVB
- signalisation, encapsulation et "ordonnencement"
- nouvelle génération de GEOs
- mobilité et satellite
- intégration de services et convergence cross-layer
- Réseaux sans fil terrestre :
- réseaux mobiles
- réseaux ad hoc
- réseaux de capteurs