Pages personnelles professionnelles

Thèmes et activité de recherche: méthodes formelles pour les systèmes embarqués communiquants

Je m'intéresse aux méthodes formelles pour les systèmes embarqués communiquants. Cela inclue des travaux théoriques sur les modèles (réseaux de Petri, calcul réseau), autant que des études pratiques (architectures, maquette).

Je suis animateur du groupe WEED de l'AFSEC, et membre des comités de programme de la conférence ERTS² et du workshop WCTT et du Symposium MARC de Juillet 2012.

Je suis coordinateur du projet PEGASE (appel ANR ARPEGE).

J'ai été membre du comité de lecture du numéro 42/2008 de la revue JESA.

Etudes:
- Ethernet embarqué: La technologie Ethernet est entrée, sous une forme particulière (AFDX), dans les avions. On envisage de l'utiliser dans d'autres contextes embarqués et/ou temps-réel. Les deux principales difficultés sont:
1. la preuve de déterminisme,
2. l'interconnexion avec les autres bus et réseaux de terrain.
Publications: [FET05], [ETFA05a], [ETFA05b]
Projets: ADCN+, PEGASE
Méthodes formelles:
- Réseaux de Petri temporisés: De nombreuses extensions temporelles aux réseaux de Petri ont été définies. Il est important de découvrir quelles sont les relations entre eux, autant du point de vue formel que du point de vue pratique.
Publications: [FI08], [ICATPN07], [ICFEM06], [FORTE06].
- Calcul réseau: Le calcul réseau permet de calculer des bornes garanties de delais dans les réseaux de communication, ce qui est tout à fait adapté aux contextes temps-réel et embarqués.
  Publications: [SAE11] [WCTT11] [ERTS12] [ETFA11] [ISoLA10a] [ISoLA10a] [ISoLA10b] [RTNS10] [MSR09] [WFCS08]

Dans le passé

applications multimédias : modélisation, qualité de service, trame de fond de ma thèse.

Stats with StatCounter

Bienvenue à l'Onera, le centre français de recherche aérospatiale

Pages personnelles professionnelles

Thèmes et activité de recherche: méthodes formelles pour les systèmes embarqués communiquants

Dans le passé