Présentation et objectifs généraux

Le projet a pour objectif général la construction fiable et économiquement efficace de lignes de produits 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").

Se focalisant sur l'ingénierie des modèles, Triskell a pour ambition de construire des méta-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.

Le 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.