Sites Inria

English version

Equipe de recherche TRISKELL

Construction fiable et efficace d'applications par assemblage de composants logiciels

  • Responsable : Benoit Baudry
  • Centre(s) de recherche : CRI Rennes - Bretagne Atlantique
  • Domaine : Réseaux, systèmes et services, calcul distribué
  • Thème : Programmation distribuée et génie logiciel
  • Partenaire(s) : Université Rennes 1,Institut national des sciences appliquées de Rennes
  • Collaborateur(s) : Institut de recherche en informatique et systèmes aléatoires (IRISA) (UMR6074)

Présentation de l'équipe

L'équipe-projet a pour objectif général la construction fiable et économiquement efficace d'applications par assemblage de composants logiciels, en particulier dans le domaine des systèmes répartis et réactifs ayant des temps de réponse statistiquement contraints ("temps réel mou").

TRISKELL a pour ambition de construire des modèles, des outils et des bibliothèques de composants spécifiques pour donner à un concepteur de logiciel un certain niveau de confiance dans la fiabilité d'assemblages de composants pouvant provenir de sources tierces. Il s'agit notamment d'étudier des modèles permettant la spécification de propriétés à la fois fonctionnelles et non-fonctionnelles de composants devant être déployés sur des systèmes répartis, et de bâtir un continuum d'outils tirant partie de ces éléments de spécification, allant de vérificateurs hors-ligne à des moniteurs supervisant en ligne le comportement des composants d'une application répartie.

L'équipe-projet a également pour ambition de connecter de manière explicite les résultats de ses recherches aux problématiques industrielles au travers d'actions de transfert technologique, ce qui implique en particulier de prendre en compte dès le départ les standards industriels du domaine que sont UML, Corba, COM+ et Enterprise JavaBeans. TRISKELL veut se placer à la frontière de deux domaines du logiciel : d'une part le domaine de la spécification et de la preuve formelle de logiciel, et d'autre part le domaine de la conception informelle mais structurée par composants banalisés. Nous pensons que l'emploi des techniques présentées plus loin permettra d'améliorer et de fiabiliser le passage entre formel et informel, et contribuera à la fluidité des processus de conception, mise en oeuvre et test de logiciels.

Axes de recherche

  • Manipulation formelle de modèles UML
  • Conception par composants contractuel
  • Validation intra et intercomposants

Relations industrielles et internationales

  • Convergence
  • ACCORD
  • Oural
  • Groupe de travail "Tests et objets"
  • COTE
  • QCCS

Suivez Inria tout au long de son 50e anniversaire et au-delà !