Responsable�: Bernard Coulette �coulette@univ-tlse2.fr ����������

Co animateur�: Pierre-Jean Charrel �charrel@univ-tlse2.fr ������

L?�quipe ISYCOM, Ing�nierie des SYst�mes COMplexes, est la composante informatique de l?�quipe d?accueil GRIMM, Groupe de Recherche en Informatique et Math�matiques du Mirail �(EA 3686). Cr��e en 2001, elle est associ�e au th�me ��S�ret� de d�veloppement des logiciels�� de l?IRIT de Toulouse (Institut de Recherches en Informatique de Toulouse).

• Membres permanents�: Fran�oise Adreit (MC), Pierre-Jean Charrel (PR), Catherine Comparot (MC), Bernard Coulette(PR), Jean-Bernard Crampes (PR), Taoufiq Dkaki (MC), Sophie Ebersold (MC), Ollivier Haemmerl� (PR), Jean-Michel Inglebert (MC), Redouane Lbath (MC), Iulian Ober (MC), Jean-Christophe Sakdavong (MC), Caroline Thierry (MC HDR).

• Invit�s permanents : Xavier Cr�gut, (MC) de l'INP ENSEEIHT-IRIT

• 2 attach�s d?enseignement temporaires (ATER), 12 doctorants

La th�matique g�n�rale de recherche de l'�quipe ISYCOM est l'ing�nierie des syst�mes complexes. Il s'agit d'�laborer des m�thodes et des outils de d�veloppement et d'exploitation de syst�mes logiciels ou partiellement logiciels qui int�grent la complexit� engendr�e par la mise en jeu d'acteurs humains et d'agents artificiels multiples. Cet objectif nous conduit � prendre en compte, explicitement et le plus t�t possible dans le cycle de vie, les notions de ��point de vue�� et de ��proc�d� de d�veloppement��. �Nos activit�s de recherche sont d�clin�es selon deux th�mes.

Le g�nie logiciel a adopt� la notion de point de vue depuis la fin des ann�es 80 pour servir la repr�sentation d'entit�s h�t�rog�nes. Les phases amont, appel�es ��ing�nierie des exigences��, se sont empar�es de cette notion pour s'affranchir des contradictions et des incoh�rences in�vitables dues � la confrontation de besoins diff�rents dans un syst�me partag� par plusieurs utilisateurs. Les bases de donn�es avaient d�j� permis la mise en commun de sources h�t�rog�nes pour des clients diff�rents dans le m�me esprit de respect d'une diversit� intrins�que. Avec le d�veloppement de l?Internet, de nombreuses probl�matiques de recherche ont �merg�, � l?intersection des bases de donn�es et de l?intelligence artificielle. Un objectif essentiel est de rendre exploitable de mani�re automatique ou semi-automatique le gisement d?informations distribu�es, tant sur le Web que sur de nombreuses bases de donn�es interconnect�es. Les mod�les et les langages � objets, les m�thodes de conception et l'ing�nierie des connaissances sont les champs pour lesquels des contributions significatives ont �t� apport�es � la notion de point de vue. Le b�n�fice attendu est d'am�liorer l'ad�quation du syst�me � tous ses acteurs - usagers, d�veloppeurs, exploitants - et donc la qualit� globale du syst�me : performances, s�ret� du d�veloppement, �volution, exploitation, maintenance, usages. L'ing�nierie de points de vue et de la connaissance doit aboutir � l?�laboration des m�thodes de conception de syst�mes, ou des composants de m�thodes, centr�s sur les points de vue et au d�veloppement des plates-formes informatiques adapt�es � ces nouveaux syst�mes.

Ce th�me est d�velopp� selon les quatre aspects suivants�:

• repr�sentation de points de vue et relations entre points de vue, les acteurs et leurs repr�sentations,

• extraction, annotation et int�gration de connaissances h�t�rog�nes,

• composants objets multivues r�utilisables,

• ing�nierie des exigences centr�e sur les points de vue.

Les travaux men�s dans ce th�me ont pour objet principal le proc�d� de d�veloppement du logiciel, vu comme l?ensemble des artefacts (activit�, produit, r�le) permettant de d�crire un mod�le de d�veloppement. L?objectif est d?am�liorer notre compr�hension de ce proc�d�, de s?assurer de sa correction, de mieux contr�ler son ex�cution, de r�utiliser des proc�d�s existants. Les recherches sur ce th�me sont effectu�es en collaboration �troite avec l?IRIT (�quipe LYRE) et l?�quipe G�nie Logiciel de la facult� des Sciences Naturelles de Hochiminh-Ville. Elles donnent lieu aux th�ses de H.N. Tran, M. Kabbaj, N. Ferry, A. Caplain et B. Combemale.

Ce th�me est d�velopp� selon les quatre aspects suivants�:

• mod�lisation et mise en ?uvre r�partie de proc�d�s

• �laboration et r�utilisation de composants de proc�d�s

• v�rification statique de mod�les de proc�d�s

• utilisabilit� des logiciels.

ACI "Terrains, techniques, th�ories, travail interdisciplinaire en Sciences humaines et sociales"�

Ce projet rel�ve du th�me de l'auto-organisation dans les syst�mes multi-agents. Il a pour but de tester une d�finition op�rationnelle du concept d'organisation, et d'�laborer une architecture d'agents adapt�e � la simulation agent des syst�mes sociaux.

ASSERT�

L?�quipe GRIMM-ISYCOM participe en tant que sous-contractant de VERIMAG, au projet int�gr� europ�en IST, l?un des plus importants projets int�gr�s IST du 6^� PCRD. L?objectif est l?am�lioration des processus de d�veloppement d?applications critiques embarqu�es pour les domaines de l?a�rospatiale et du transport. ISYCOM est repr�sent�e par I. Ober (ober@univ-tlse2.fr) dans ce projet.

CARINS�

Ce projet s?inscrit dans le cadre d?une collaboration avec le CNES de Toulouse afin de r�aliser un logiciel permettant de mod�liser le fonctionnement instationnaire d'un moteur de fus�e � ergol liquide de la fus�e Ariane V. Le projet est conduit en suivant la m�thode MACAO d�velopp�e par J.B. Crampes (crampes@iut-blagnac.fr).

CORINTHE

Men� en collaboration avec le LEREPS, ce projet, financ� par le Conseil R�gional en 2004 et en 2005, vise la conception d'un syst�me de veille strat�gique en �conomie, en appliquant la m�thodologie du groupe ISYCOM, fond�e sur les points de vue VUML. Ce projet est coordon� par P.J. �Charrel (charrel@univ-tlse2.fr).

WebContent

C?est un projet RNTL portant sur la mise en place d?une plate-forme int�grant des solutions originales propos�es dans le cadre de travaux de recherche men�s sur le Web s�mantique. O. Haemmerl� (haemmerle@univ-tlse2.fr) repr�sente l?�quipe ISYCOM dans ce projet.

R�seau STIC franco-marocain

Ce projet, coordonn� en France par B. Coulette (coulette@univ-tlse2.fr), est financ� par les minist�res de la coop�ration fran�ais et marocains depuis 2002. Il vise � cr�er une synergie entre laboratoires fran�ais et marocains sur le th�me du g�nie logiciel.

• Maroc : ENSIAS, EMI, Universit� Ben M?Sik

• Vietnam : universit� nationale du Vietnam � Hochiminh Ville

• Japon : Iwate Prefectural University, Institut of Computer Based Software Technology

• Alg�rie : Universit� de Tizi-Ouzou

• Finlande : Tampere University of Technology at Pori

• GDR I3 et ALP�: groupes OCM

• IASI-GEMO du LRI (Universit� Paris Sud ? Orsay), LSR-IMAG (Grenoble), �ATLAS-INRIA (Nantes)

• INRA-M�t@Risk (Paris), INRIA-Futurs (Orsay), INRIA Sophia Antipolis

• CNES, CapGemini

• Encadrement

• Th�ses soutenues depuis 2001�: 2 th�ses fran�aises, 4 th�ses marocaines co-encadr�es

• Th�ses en cours�: 9 th�ses fran�aises dont 2 th�ses en cotutelle

• Sujets de Master et de th�se propos�s�: voir le site de l?�quipe�: https://www.univ-tlse2.fr/grimm/isycom

Pour toute demande d?information ou de collaboration�: �bernard.coulette@univ-tlse2.fr