Séminaire du Professeur Xavier Savatier

Sup'Com organise un séminaire dirigé par Professeur Xavier Savatier, Chef de Pôle Instrumentation, Informatique & Systèmes à l’IRSEEM (Institut de Recherche en Systèmes Electroniques Embarqués), Rouen, France, le 24/4/2014 à l'amphi I, Sup'Com...

Interventions

Jeudi 24 avril 2014, 9h à 11h

• Perception basée vision pour la robotique mobile autonome

La robotique mobile autonome est aujourd’hui un marché en forte expansion. En parallèle, l’intégration de fonctions d’aide à la conduite dans les véhicules entraine une convergence entre monde automobile et robotique mobile avec l’émergence de concepts tels que le véhicule automatisé et la conduite autonome. Parmi les verrous liés au déploiement de tels systèmes reste la question de la perception de l’environnement pour aider le véhicule ou robot dans ses tâches de navigation et de décision. Bien que fortement diffusés en particulier dans l’automobile, les systèmes basées vision restent encore un sujet d’étude, les verrous étant la robustesse dans des conditions dégradées et leur utilisation dans une approche multifonction (détection / classification, reconstruction tridimensionnelle, localisation dans une carte,…). Cette présentation s’attachera à introduire les principaux verrous et enjeux autour des systèmes de perception basées vision et détaillera les axes scientifiques, les programmes de recherche et les moyens associés de l’IRSEEM, laboratoire de recherche en systèmes électroniques embarqués de l’ESIGELEC.

Jeudi 24 avril 2014, 14h à 17h

• Qualité / fiabilité logicielle

Ce cours porte sur les principales méthodes et outils visant à améliorer la fiabilité d’un logiciel embarqué. Partant du constat que les principales causes de défaillance d’un logiciel proviennent d’une part de l’analyse fonctionnelle et d’autre part du développement logiciel (écriture du code, méthodes de test,…), nous nous intéresserons dans un premier temps aux méthodes visant à améliorer l’étape de spécifications : ingénierie des exigences, sureté de fonctionnement, preuve formelle. Nous aborderons ensuite la question de la qualité logicielle. Une partie importante du cours sera consacré à la norme MISRA, initialement créée pour l’amélioration de la qualité logicielle pour les systèmes embarqués dans le monde automobile. Le cours se conclura sur les enjeux de plus en plus forts autour des méthodes de test avec l’extension de systèmes plus en plus complexes.

Programme