::: Fabrice Jumel:: Recherche :::

Ma problématique de recherche porte sur le développement de systèmes sûrs de fonctionnement

Les systèmes considérés sont généralement embarqués, distribués et fortement contraints (contraintes temporelles, contraintes d'énergie, contraintes de sûreté de fonctionnement ...). Je m'intéresse aux différents outils de modélisation et d'analyse de tels systèmes, de manière à valider des systèmes existants ou plus généralement de proposer des mécanismes améliorant le respect des contraintes. De nombreux formalismes mathématiques et outils de modélisation sont mis a contribution ( analyse des temps de réponses, chaîne de Markov, Model Checking, Automates temporisés ...)

Au cours de mes années de thèse, j'ai acquis une forte compétence dans la modélisation des systèmes hybrides (continu et discret) qui sont au coeur des nombreux systèmes dits de contrôle-commande. Ces connaissances permettent en particulier d'avoir une approche de bout en bout sur la qualité de service d'un système en interaction avec son environnement physique (cas de nombreux systèmes distribués …).

Actuellement mes travaux d'encadrement de thèse portent sur l'utilisation de techniques de type model checking sur des modèles à base d'automates temporisés dans le but de valider des systèmes d'acquisition de données.

Plus générallement, mes travaux portent sur les problèmes de dérivation de contraintes de hauts niveaux (applicatifs) en des contrainte de qualité de Service sur les architectures supports de ces applications :

Le coeur des travaux portent sur la dérivation de contraintes de fonctionnement d'applications de supervision ou de contrôle-commande (qualité du contrôle ou de la supervision) sur des architectures supports de types temps réel.

Un deuxième type de contraintes étudiées porte sur la sûreté de fonctionnement des systèmes embarqués communicants. Je m'intéresse en particulier à l'étude de l'influence de choix fonctionnelles ( architecture client/serveur, architecture time triggered (controlée par le temps)) sur la fiabilité et la sûreté des systèmes en présence de fautes.

Mettre en place des outils permettant la dérivation de contraintes est a priori fondamental dans de nombreuses approches de conception d'applications. En parrallèle à ces travaux je participe donc à différents groupes de travail sur les techniques de conception d'applications. Les approches étudiées sont:

de type MDA (Model Driven Application) basés sur les modèles,

de type approche par composants avec des aspects de qualité de services et d'adaptation.

Un des domaines d'application étudiés est celui des réseaux de capteurs où les systèmes considérés sont hautement distribués, en interaction très fortes avec leur environnement et fortement sujets à des fautes (communication, capteurs ...). Le problème de dérivation de contraintes dans ce type de système fait à l'heure actuelle l'objet de peu d'études et apparaît comme un problème difficile.