1 CITI – Lyon Centre dInnovation 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 darchitectures distribuées –Méthodes de développement –Validation dynamique de la QoS (en cours de mise en place)
3 Validations darchitectures distribuées Contexte automobile –Collaboration avec Renault –Architecture basée sur OSEK, TTP Modélisation –SDL, RdP Objectifs –Performances temporelles –Evaluation darchitectures (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 Vérification SDL temps réel SDL Spec. Impl. Automates, analyse RMA