Ent?te

Logo du LIFL

Depuis le 1er janvier 2015 le LIFL et le LAGIS forment le laboratoire CRIStAL

  1. News

Thesis of

Frédéric Loiret

Monday 26 May 2008
Amphithéâtre de l'IRCICA

Tinap : Modèle et infrastructure d'exécution orienté composant pour applications multi-tâches à contraintes temps réel souples et embarquées

Directeur : Laurence Duchien (USTL / INRIA)
Rapporteurs : Jean-Bernard Stefani (INRIA Rhône-Alpes) / Yvon Trinquet (Université de Nantes / IRCYNN)
Examinateurs : Jean-Luc Deckeyser (USTL / INRIA) Jacques Pulou (FT R&D) / David Servat (CEA-LIST) / Lionel Seinturier (USTL / INRIA)

Notre proposition consiste en un modèle et une infrastructure d'exécution composant pour la conception d'applications multi-tâches soumises à des contraintes temporelles souples et embarquées. Nous définissons un modèle de composant reposant sur plusieurs vues : une vue structurelle, placée au centre du cycle de conception, initialement basée sur le modèle Fractal, une vue dynamique permettant au concepteur, dans une démarche descriptive, de personnaliser l'architecture métier pour définir les aspects de son applicatif liés aux aspects multi-tâches et concurrents. Enfin une vue implantation et une vue comportement fournissant respectivement une abstraction de l'implantation interne des composants et de leur comportement à l'égard de leur environnement. De plus, notre proposition s'intègre à un cadre méthodologique dirigé par les modèles. Nous avons également expérimenté le paradigme composant à différents niveaux d'abstraction : pour l'applicatif et pour celui de l'infrastructure d'exécution qui les implante. Enfin, au niveau du système d'exploitation fournissant les services élémentaires nécessaires. Cette démarche est motivée par la volonté d'exploiter notre modèle "multi-vues" canonique et de l'adapter en fonction des besoins de chaque niveau d'abstraction. Cette expérimentation est menée avec Think, une implantation en C des spécifications Fractal. Nous expérimentons Tinap par deux cas d'étude que nous avons prototypés. En premier lieu, pour concevoir une application d'analyse et de contrôle de flux multimédias par l'intermédiaire de disques vinyles. En second lieu pour expérimenter la mise en oeuvre du modèle d'exécution Accord (une méthodologie de conception et infrastructure pour applications temps-réel).

Ours

UMR 8022 - Laboratoire d'Informatique Fondamentale de Lille - Copyright © 2012 Sophie TISON - Crédits & Mentions légales

Page respectant XHTML et CSS.

Pour tout commentaire / Comments and remarks : webmaster