1

CITI – LyonCentre d’Innovation en Télécommunications et Intégration de service

• Responsable : Stéphane Ubéda

• 13 permanents, 7 thésards

• Thématiques– QoS et réseau Ht débit

– Mobilité et réseau ad hoc (projet INRIA )

– Déploiement de services

– Systèmes embarqués communicants

2

Systèmes embarqués communicants

• Responsable : Anne Mignotte

• Membres : J.-P. Babau, I. Blum, A. Fraboulet

• Domaine– Automobile (Renault, PSA) , télécom (France Télécom R&D)

• Actions de recherche– Validation d’architectures distribuées

– Méthodes de développement

– Validation dynamique de la QoS (en cours de mise en place)

3

Validations d’architectures distribuées

• Contexte automobile– Collaboration avec Renault

– Architecture basée sur OSEK, TTP

• Modélisation– SDL, RdP

• Objectifs– Performances temporelles

– Evaluation d’architectures (placement, fautes)

• 1 thèse et 2 dea en cours

4

Méthodes de développement

• Design pattern pour les systèmes de contrôle/commande– semi-formel (UML)

– 1 dea, 1 dea en cours

• Développement formel en SDL– Une thèse en cours

Spec.

Impl.

Validation

Validation

Vérification

SDL temps réel SDL

Spec.

Impl.

Automates, analyse RMA