Depuis octobre 2001, je suis allocataire de recherche et moniteur de l'enseignement supérieur de l'Université de Rennes I.
J'effectue ma thèse sous la direction de
Thierry Jéron, au sein du projet
VerTeCs à l'IRISA.
Recherche
Mes travaux de recherche portent à la fois sur la génération de tests de conformité et sur les liens
entre la synthèse de contrôleurs et le test de conformité.
En ce qui concerne la génération de tests de conformité, mes travaux ont été effectués dans le cadre du projet
européen Agedis. L'objectif du projet était de créer une chaîne d'outils
permettant d'écrire des spécifications en UML, de générer des tests à partir de ces spécifications, d'exécuter les tests
ainsi générés, et enfin de pouvoir analyser les résultats des tests. Ma contribution a consisté à étendre et adapter
l'outil de génération de tests TGV
pour offrir de nouvelles fonctionnalités. Il s'agissait d'une part de réaliser l'interface avec
le langage IF,
et d'autre part de concevoir et d'implémenter de nouveaux algorithmes de sélection de cas de tests.
La partie de mes recherches concernant les liens entre la synthèse de contrôleurs et le test de conformité est
principalement axée sur l'utilisation de la notion de relation de conformité dans la synthèse de contrôleurs.
D'un côté, la relation de conformité, issue du test de conformité, définit quelles sont les implémentations
considérées correctes pour une spécification donnée.
De l'autre, la synthèse de contrôleurs consiste à modifier des systèmes, à les contrôler, pour qu'ils respectent
un ensemble de propriétés donné. Dans mes travaux, je cherche à utiliser la synthèse de contrôleurs pour modifier des systèmes afin
de respecter, non plus des propriétés "classiques", mais une relation de conformité.
Un autre axe de recherche auquel je m'intéresse
est l'utilisation de propriétés, issues par exemple de la vérification de la spécification, pour la génération de cas de tests.
Enseignement
2003 - 2004 :
-
Deug Mathématiques, Informatique et Applications aux Sciences - 2ème année
Algorithmique et programmation : approche impérative - 24h. de TD et 60h. de TP
Langage Java
2002 - 2003 :
-
Diplôme d'Ingénieur en Informatique et Communication - 3ème année
Validation de protocoles - 12h. de TP
Langage SDL & outil ObjectGeode
-
Deug Mathématiques Appliquées aux Sciences Sociales - 1ère année
Algorithmique et programmation : approche fonctionnelle - 14h. de TP
Langage Scheme
-
Deug Mathématiques, Informatique et Applications aux Sciences - 2ème année
Génie logiciel : buts, méthodes et outils - 48h. de TP
Langage Scheme
2001 - 2002 :
-
Ecole Militaire Interarmes de Coëtquidan (formation d'officiers de l'armée de terre) - 1ère année
Introduction à l'informatique scientifique - 42h. de TP
Langage Mathematica
-
Diplôme d'Ingénieur en Informatique et Communication - 3ème année
Validation de protocoles - 12h. de TP
Langage SDL & outil ObjectGeode
-
Deug Sciences de la Matière - 2ème année
Programmation d'un calculateur scientifique: approche fonctionnelle - 12h. de TD et 48h. de TP
Langage Mathematica
Cursus
|
depuis 2001 :
|
Doctorant en Informatique
Université Rennes I - IFSIC - 35000 Rennes
|
|
2001 :
|
DEA Informatique mention Assez Bien
Université Rennes I - IFSIC - 35000 Rennes
|
|
2000 :
|
Maîtrise Informatique mention Bien
Université Louis Pasteur - 67000 Strasbourg
|
|
1999 :
|
Licence Informatique mention Assez Bien
Université Louis Pasteur - 67000 Strasbourg
|
|
1998 :
|
DUT Informatique
IUT Strasbourg Sud - Université Robert Schuman - 67000 Strasbourg
|
Publications
Articles de journaux
- T. Jéron, H. Marchand, V. Rusu, V. Tschaen, Ensuring the conformance of reactive discrete-event systems, International Journal of Production Research, 2004. (détails)
Conferences internationales
- V. Rusu, H. Marchand, V. Tschaen, T. Jéron, B. Jeannet, From Safety Verification to Safety Testing, in The 16th IFIP International Conference on Testing of Communicating Systems (TestCom04),Oxford, UK, Mars 2004. (détails)
- T. Jéron, H. Marchand, V. Rusu, V. Tschaen, Ensuring the conformance of reactive discrete-event systems using supervisory control, in 42nd IEEE Conference on Decision and Control, Hawaii, USA, Décembre 2003. (détails)
Conferences nationales
- T. Jéron, H. Marchand, V. Rusu, V. Tschaen, Synthèse de contrôleurs pour une relation de conformité, in 4ième Colloque Francophone sur la Modélisation des Systèmes Réactifs, MSR'03, Metz, France, Octobre 2003. (détails)
Divers
- T. Jéron, V. Tschaen, Test Generation Engine Documentation, AGEDIS : Automated Generation and Execution of test suites for DIstributed component-based Software, 2004. (détails)
- V. Tschaen, Compositionality issues in test Synthesis, Proceedings of the Modelling and Verifying Parallel Processes Summer School (MOVEP'02), Juin 2002. (détails)
|
