1. Activités de Recherche

Mes principales activités de recherche portent sur le développement de techniques de modélisation d’applications temps réel distribuées en vue de leur validation (en particulier de la vérification de sûreté de fonctionnement s’exprimant sous forme de propriétés temps réel) et de leur optimisation (optimisation de configuration des activités – tâches et / ou messages - )

Ces travaux combinent des recherches académiques et des mises en œuvre sur des cas industriels

- recherches académiques : méthodes et techniques de vérifications de propriétés quantifiées de sûreté de fonctionnement de systèmes embarqués critiques (performances, fiabilité, disponibilité) - spécification de langages de description d’architectures pour les systèmes distribués temps réel en définissant des « profils UML » intégrant des artefacts de validation-vérification.

- applications à des problèmes de taille réelle : contrats avec des acteurs de l’industrie automobile européenne (Projet français AEE, Projet européen ITEA EAST-EEA).

Doctorants :

Sallah Haddad (Doctorat d’Electrotechnique de l’INPL) – juin 1991

Yann Gablin (Doctorat d’informatique de l’INPL) -: octobre 1994

Joël Toussaint (Doctorat d’informatique de l’INPL) -: octobre 1997

Christophe Philippe (Doctorat d’informatique de l’INPL – thèse Cifre Renault) -: octobre 1997

Laurent Kaiser (Doctorat d’informatique de l’INPL) -: mars 2001

Domenico Raphael Cavaliere (Doctorat d’informatique de l’INPL – thèse Cifre PSA) –juin 2003

Fabrice Jumel (Doctorat d’informatique de l’INPL) - novembre 2003

Cédric Wilwert (Doctorat d’informatique de l’INPL – thèse Cifre avec PSA) – mars 2005

Ricardo dos Santos Marques (Doctorat d’informatique de l’INPL) –14 septembre 2006

Liping Lu, (thèse en cotutelle avec l’Université technologique de Wuhan) – novembre 2006

Mohammed Khalgui ((Doctorat d’informatique de l’INPL) -: janvier 2006

Ning Jia (Doctorat d’informatique de l’INPL) – soutenance prévue : septembre 2007 – travaux dans le cadre de l’ARA SSIA SAFE-NECS

Flavia Felicioni (thèse en cotutelle avec l’Université de Rosario, Argentine) – date de soutenance prévue : automne 2008

Diplôme INPL - FIRTECH

Thierry Demongeot - 1992

Fabien Berger - 1996

Matthieu Courrier - 1998

Paolo Castelpietra - 2000

Responsabilités

Responsable de l’équipe – projet INRIA TRIO (Temps Réel et Interopérabilité)

Responsable de l’Equipe de Recherche Technologique CARAMELS (CAractérisation des Réseaux embarqués dans l’Automobile et Mécanismes En Ligne pour leur Sûreté)

Co-animatrice du thème Systèmes Temps Réel et Qualité de Service du pôle « Réseaux: protocoles et services » du GDR ARP (avec François Vernadat du LAAS CNRS) depuis janvier 2002.

Membre du comité de pilotage du RTP (Réseau Thématique Prioritaire) N°20 « Fiabilité – Diagnostic – Tolérance aux fautes » - 2002-2004

Membre du comité scientifique de l’ARA SSIA (Action de Recherche Amont « SECURITE, SYSTEMES EMBARQUES ET INTELLIGENCE AMBIANTE »)

Pôle ASERT du GDR ASR.

haut

1. Activités d’enseignement

Ouverture de l’option de 3^ème année commune ENSEM – ENSMN « Transports Guidés » à la rentrée 2007

- Responsable de l’option « Conception Sûre des Systèmes Embarqués et Ambiants »

- ENSMN – FICM - Année scolaire 2006 – 2007 :

3^ème année – option CSSEA, , 2005-2006 – « Vérification non Fonctionnelle »

> Sûreté de fonctionnement – cours – quelques articles à lire pour les définitions et une présentation de la problématique et des classes de solutions.

3^ème année – option CSSEA, , 2005-2006 – « Modélisation du comportement »

> Approches synchrones – cours et TP

> Modélisation et validation de systèmes communicants

> Vérification de propriétés temporelles à l’aide d’UPAAL

2^ème année – projets, 2005-2006

> Développement d’une application de robotique – sujet – encadrement Françoise Simonot

3^ème année – projets, 2005-2006

> Evaluation de protocoles de routage pour des réseaux de capteurs sans fil temps réel – sujet – encadrement Françoise Simonot

2^ème année – option CSSEA, 2004-2005 – module SI 342 "Systèmes embarqués"

> Introduction aux systèmes embarqués

> Les principes de base des exécutifs multi-tâches temps réel – le système OSEK / VDX

> Ordonnancement – cours – TD

> Réseau CAN : un protocole « à priorité » embarqué dans l’automobile – cours – TD – une classe java pour traiter des fichiers – fichier SAE Benchmark

> Protocoles à accès guidé par le temps (TDMA – Time Division Multiple Access) pour des réseaux embarqués dans l'automobile - cours.

1^ème année – Informatique tronc commun – séances thématiques Robotiques

Ø Séance 1 – sujet

Ø Séance 2 – sujet

Divers

Ø 3^ème année – option ISI – 2004-2005 « Langage de Description d’architectures – ADL » - slides – quelques lectures complémentaires (comparaisons d’ADL, présentations au Workshop IFIP WADL, Toulouse 2004)

Cours électif – 2A - ENSMN – FICM - Econométrie et organisation du travail dans le monde des transports guidés

> Présentation du cours et de la formation Transports Guidés

Cours électif – 2A - ENSMN – FICM – Pépites Algorithmiques

> Sujet : ordonnancement temps réel sous critère de consommation d’énergie

· ARTEM – Formation MAGELLAN – mars 2006

· Master IS-EEAPR – Spécialité Systèmes Électroniques Embarqués et Instrumentaux – module Systèmes de commande temps réels et embarqués –

haut

2. Evénements

· Réunion du groupe STRQdS du GDR ARP au CNAM Paris le 15 avril 2005 (10h-16h30) : "le temps réel : points de vue industriels et académiques"

· Conférence RTS'05 – Paris – 5 et 6 avril 2005

· 31^ème Euromicro Conférence on Software Engineering and Advanced Applications (SEAA) - Porto – 30 août – 3 septembre 2005

· Conférence IEEE ETFA 10th IEEE International Conference on Emerging Technologies and Factory Automation - Facolta' di Ingegneria, Catania, Italy, 19-22 September 2005

· MSR'05 – Modélisation des Systèmes Réactifs – 5-7 octobre 2005, Grenoble (Autrans)

· OMER 3 – 3^rd Workshop on Object-oriented Modelling of Embedded Real-Time Systems, 13/14 October 2005, Paderborn, Allemagne

· FET 2005 - 6th IFAC International Conference On Fieldbus Systems and their Applications, Puebla, Mexique, 14-15 novembre 2005

· WFCS 2006 - 6th IEEE International Workshop on Factory Communication Systems, June 27-30, 2006, Torino, Italy

· RTNS’06 - 14th Conference on Real-Time and Network Systems - May 30-31, 2006 - Poitiers, France – Proceedings

· TFIT 2006, 3rd Taiwanese-French Conference on Information Technology, Nancy France, March 28-30 2006.

· Conférence IEEE ETFA’06 – 11^th IEEE International Conference on Emerging Technology and Factory Automation – Prague – September 2006

· IES’2006 – IEEE Symposium on Industrial Embedded Systems – Antibes – Juan les Pins – France – October, 18-20 2006

· SRDS’2006 – 25^th IEEE International Symposium on Reliable Distributed Systems – Leeds, UK, October 2-4, 2006.

· WDES’2006 - International Workshop on Dependable Embedded Systems – Leeds, UK, October 1, 2006.

· RTNS’07 - 15th Conference on Real-Time and Network Systems - March 29-30,2007 - Nancy, France.

· SIES 2007 - IEEE Second International Symposium on Industrial Embedded Systems - Lisbon, Portugal, 4-6 July 2007

· ETFA 2007 – 12^th IEEE International Conference on Emerging Technology and Factory Automation – Patras – September 2007

· A paraître : The Automotive Embedded Systems Handbook – CRC Press – Taylor&Francis

haut