| Proposition | Développement et
validation dirigés par les modèles |
|
soumis en
|
février 2005 |
| Projet INRIA : Triskell |
Organisme étranger partenaire : Colorado
State University |
| Unité de recherche INRIA : Rennes Thème INRIA : Systèmes communicants |
Pays : Etats-Unis |
|
|
|
|
| Nom, prénom | Baudry Benoit |
Ghosh Sudipto |
| Grade/statut | CR2 - INRIA |
Assitant Professor |
| Organisme d'appartenance (précisez le département et/ou le laboratoire) |
IRISA |
Colorado State University / Software Assurance Laboratory (SAL) |
| Adresse postale | Campus de Beaulieu 35042 Rennes Cedex |
CSU - Computer Science Department Room 224 University Services Center 601 S. Howes Street Fort Collins CO 80523 USA |
| URL | http://www.irisa.fr/triskell/perso_pro/bbaudry/ | http://www.cs.colostate.edu/~ghosh/ |
| Téléphone | +33 (0) 299 847 298 |
+1 970 491 4608 |
| Télécopie | +33 (0) 299 847 171 | +1 970 491 2466 |
| Courriel | bbaudry@irisa.fr | ghosh@cs.colostate.edu |
La proposition en bref
| Mots-clés : génie logiciel,
ingénierie des modèles, test de logiciel |
| Thématique
de la collaboration (environ 10 lignes) : <>L’hétérogénéité croissante des plates-formes matérielles et logicielles d’une part et l’augmentation de la modularité et de la complexité des systèmes logiciels d’autre part, ont entraîné une nécessité de l’augmentation du niveau d’abstraction pour la conception et le développement logiciels. Pour répondre à ce besoin, l’OMG (Object Management Group) a proposé une solution, baptisée MDA (model-driven architecture). Le MDA propose d'utiliser les modèles comme éléments principaux pour le développement de logiciels. De nombreux problèmes de recherche se posent pour réaliser et mettre en œuvre un véritable développement de logiciel dirigé par les modèles. Cette collaboration se concentre sur un point essentiel du MDA : les transformations de modèles. Les transformations représentent le moyen principal de manipulation des modèles pour le MDA. De plus, elles deviennent l’élément unitaire pour la réutilisation et l’encapsulation du savoir-faire de conception d’une entreprise. La collaboration vise à proposer des méthodes pour la conception et le développement de transformations de modèles fiables. Le premier point que nous souhaitons traiter est le test de transformation de modèles. |
| Résultats attendus: Le test de transformations de modèles est un problème de recherche émergent. Le premier résultat attendu de cette collaboration est donc un approndissement de la réflexion sur ce thème: isoler les problèmes thèoriques et techniques pour le test, proposer des solutions adaptées en s'appuyant sur l'expérience des deux équipes dnas le domaine de la conception et du test orienté objet. Un second résultat devrait être le dévloppement d'un outil pour la validation expérimentale des idées mroposées. Enfin, ces travaux pourront donner lieu à des publications communes. Cette collaboration, en validant des travaux pour le test de transformations de modèles, offrira un cadre intéressant pour une collaboration à plus long terme visant à mettre au point une approche globale pour le développement de transformations. Ceci consistera, par exemple, à capturer les bonnes pratiques de conception identifiées pour le refactoring, la génération de code ou le raffinement de modèles. |
1. Présentation
du partenaire étranger
Sudipto Ghosh a reçu un Master d'informatique en 1993 à l'Institut Indien de Technology, Kanpur, Inde. Il a poursuivi ses études aux Etats-Unis où il a obtenu un Master d'informatique à l'Université d'Iowa en 1995 et un doctorat à l'Université de Purdue en 2000. Il est actuellement Assistant Professor dans le départment de Science de l'Université du Colorado à Fort Collins. Ses thèmes de recherche et d'enseignement couvrent la modélisation, la conception et le test de logiciels orientés objet ainsi que les technologies de middleware et orientées aspects et le développment logiciel à base de composants. Il est membre de l'IEEE Computer Society.
2. Intérêt de la collaboration entre les équipes :
- Cette coopération
bénéficie-t-elle déjà
d'un soutien financier de la part de l'INRIA, de l'organisme
étranger
partenaire ou d'un organisme tiers (projet européen, NSF, ...) ?
L'INRIA a financé une visite de Robert France
à l'IRISA en 2003.
- Dans le cas où votre proposition serait
retenue, vous parait-il
probable d'obtenir de l'organisme étranger partenaire un soutien
financier ? Montant envisagé ?
Le CSU-SAL rédige actuellement une proposition
pour une collaboration dans le cadre d'un programme financé par
la NSF (National Science Foundation). Ce programme (Partnerships for
International Research and Education) vise en particulier à
aider des laboratoires américains à développer des
relations scientifiques internationales.
2. Echanges
Préciser le nom des personnes
impliquées et les dates prévisibles de leurs
déplacements.
| DEPLACEMENTS |
|
||
|
|
|
|
|
| Chercheurs confirmés | Sudipto Ghosh, 2 semaines | Benoit Baudry, 2 semaines |
2 |
| Post-doctorants | |||
| Doctorants | Franck Fleurey, 2 semaines |
1 | |
|
Total
|
1 | 2 | |