Patrick FELIX
Patrick Felix Maître de Conférences (Université Bordeaux 1)

Équipe LaBRI : Méthodes formelles
Fonction administrative : Directeur Dépt Info - IUT Bordeaux
Courrier électronique : patrick.felixarobaselabri.fr
Bureau : 262
Tél : +33 (0)5 40 00 69 15


Recherche

Mes activités de recherche s'inscrivent dans l'équipe LSR (Langages, Systèmes et Réseaux) du LaBRI, et plus précisément au sein
du thème "Modélisation et Test de systèmes informatisés", en s'intéressant aux aspects suivants : Conception de systèmes
matériels et logiciels, Modèles, Service Web, Spécifications, Systèmes critiques et embarqués, Temps-réel, Test et Vérification.

Ces dernières années, mes travaux de recherche ont porté sur les méthodes formelles liées au test de systèmes communicants
temporisés avec génération automatique de séquences de test. La génération de diagnostics pour des systèmes temporisés a été
aussi abordée. Parallèlement à ces aspects théoriques, j'ai travaillé sur la plateforme Calife développée initialement dans le cadre
du projet RNRT Calife, puis au sein du projet RNTL AVERROÈS.

Actuellement, deux projets ANR, WebMov et TESTEC, sont en cours : ils permettent de développer des recherches sur les tests de
systèmes critiques industriels et sur le test des Web services. Bien que ma participation s'inscrive dans ces deux projets, mes
contributions concernent essentiellement le projet WebMov pour lequel je suis responsable de sous-projet. Le projet WebMov
finance notamment la thèse de doctorat de Dung CAO (voir "Encadrement doctoral"). Le domaine étudié concerne le test de
services Web où des problèmes de contrôlabilité et d'observabilité sont déjà à l'étude. Des premiers travaux de génération de test
pour ce genre de systèmes proposent une approche intégrée qui commence par une description de haut niveau d'une
composition de services Web jusqu'au test de cette composition : architecture de test, génération de test et exécution des tests
produits. Les architectures de test proposées peuvent intégrer une approche basée sur l'injection de fautes : des techniques de
test passif, s'inspirant des mécanismes déjà existants de 'monitoring', sont en cours d'études.

Collaborations Académiques :

2004 : Participation à l'Action Spécifique ‘Spécification et Test' du département STIC du CNRS.

2003-06 : Projet national RNTL AVERROÈS, responsable de sous-projet. Ce projet rassemble des laboratoires français dont les
équipes (France Télécom R&D, LRI, LIX, INRIA Rocquencourt, INRIA Nancy, LSV-Cachan, LaBRI, CRIL Technology) travaillent sur les
domaines des preuves formelles et de la génération de tests temporisés.

2004-08 : Participation au projet européen TAROT (Training And Research On Testing) de type Marie Curie. Partenaires : INT (A.
Cavalli, responsable du projet), LaBRI, LAMI-Evry, UCM-Madrid (Espagne), Université de Göttingen (Allemagne), GMD-Fokus
(Allemagne), LSR-IMAG-Grenoble, Brunel University (Grande-Bretagne), KUN-University de Nijmegen (Hollande), BTU-Cottbus
(Allemagne), Université de Tomsk (Russie).

2007-10 : Participation au projet ANR Testec.

2007-10 : Projet ANR WebMov, responsable de sous-projet.

Extrait de publications


Dung Cao, Richard Castanet, Patrick Felix, Kevin Chiew. An Approach to Automated Runtime Verification for Timed Systems: Applications to Web Services. JOURNAL OF SOFTWARE,, 2012, 7 (6), pp.1338-1350.

Dung Cao, Patrick Felix, Richard Castanet, Ismail Berrada. Testing Service Composition Using TGSE tool. IEEE Computer Society Press. IEEE 3rd International Workshop on Web Services Testing (WS-Testing 2009). In conjunction with 7th IEEE International Conference on Web Services (ICWS 2009), Jul 2009, Los Angeles, United States. IEEE Computer Society Press., WS-Testing 2009 papers will be included in the proceedings of SERVICES 2009 (Part I), which will be, 2009.

Ismail Berrada, Richard Castanet, Rachida Dssouli, Abdeslam En-Nouaary, Patrick Felix, et al.. Timed diagnostics and test case minimization for real-time systems. 2006.

Ismail Berrada, Richard Castanet, Patrick Felix. Testing communicating systems : a model, a methodology and a tool. 2005.

Ismail Berrada, Patrick Felix. TGSE : Un outil générique pour le test. Hermes. CFIP'05 - Colloque Francophone sur l'Ingénierie des Protocoles, Mar 2005, Bordeaux, France. Hermes, pp.67-84, 2005.


Responsabilité pédagogique

Responsable de l'UE ASR-Réseau, DUT Informatique (Semestre 2 – 32 heures de cours intégré, Semestre 3 – 16 heures de cours
intégré, etc.).

Création de cours CNAM "Test et validation du logiciel", 50h Eq TD.

Rédaction de supports de cours et réalisation de sites web pédagogiques.

Administration

2005-06 : Responsable de la formation continue (Année Spéciale) au Département Informatique de l'IUT Bordeaux 1. L'IUT
Bordeaux 1 possède un service transversal de Formation Continue ; notre département participe activement à l'action de ce
service avec une filière ‘Année Spéciale' exclusivement ouverte aux salariés et aux demandeurs d'emplois. De juin 2005 à juin
2006, je pris cette responsabilité que je connaissais (pour l'avoir pratiquée durant une dizaine d'années auparavant) juste pour
une période de 1 an. La promotion de l'Année Spéciale de DUT Génie Informatique comprend un effectif d'une vingtaine
d'étudiants. La partie administrative étant essentiellement gérée par la cellule Formation Continue de l'IUT Bordeaux 1, l'activité
concerne le domaine pédagogique : participation aux entretiens de recrutement, participation aux validation d'acquis
professionnels (VAP, VAE), la mise en œuvre du programme pédagogique national, la gestion des emplois du temps, la gestion
des examens, etc.

Jusqu'en 2008 : Membre de la Commission de Spécialistes (section 27) de l'Université Bordeaux 1, et membre extérieur de la
Commission de Spécialistes (sections 27- 61) de l'Université de Pau et des Pays de l'Adour.

Depuis 2004 : Responsable de la coopération IUT Bordeaux 1 – I.S.T Libreville. L'IUT Bordeaux 1, participant à des programmes
d'ingénierie pédagogique, poursuit la réalisation de l'Institut Supérieur de Technologie (I.S.T) de Libreville entreprise depuis 1994
dans le cadre de la coopération décentralisée. Au cours des 4 dernières années, l'accord de Coopération Universitaire financé par
le Ministère des Affaires Etrangères nous a permis de financer un ensemble de missions d'experts bordelais à l'IST de Libreville.
Les actions entreprises comprennent des missions de Bordeaux vers Libreville, conjuguant interventions pédagogiques,
techniques et de coordination. Les enseignements dispensés lors de ces missions ont porté sur des thèmes très spécifiques de la
Licence Professionnelle d'Informatique et du DUT Informatique. A ces objectifs d'enseignement, se sont rajoutés des échanges
d'expériences pour la mise en œuvre de la réforme LMD au sein de l'IST. Cette réorganisation s'est accompagnée de la création
et de la mise en place d'une licence professionnelle en informatique à laquelle nous avons activement participé.

Depuis 2005 : Membre élu du Conseil d'administration de l'IUT Bordeaux 1.

Depuis 2009 : Membre de la Commission Consultative du LaBRI


Page mise à jour le 13/08/2010 à 10:56