Exploitation des méthodes formelles pour la gestion des interférences au sein des systèmes embarqués H/F
Au sein d’une équipe de recherche technologique pluridisciplinaire d’experts en outils de co-design SW/HW par application de méthodes formelles, vous intervenez dans un projet national de recherche visant à développer un environnement pour identifier, analyser et réduire les interférences engendrées par l’exécution concurrente d’applicatifs sur une plateforme matérielle multi-coeur hétérogène sur étagère (COTS)
Conception d'un système de vision embarqué intégrant un imageur intelligent rapide
L'objectif du post-doc est d'évaluer l'intérêt des imageurs intelligents intégrant du traitement dans le plan focal dans les systèmes de vision embarqués pour une fonction de localisation et de proposer un système de vision embarqué complet intégrant un imageur intelligent et un hote. L'étude se concentrera sur les applications d'égo-localisation, pour réaliser, par exemple, une fonction de localisation 3D.
A partir d'une chaîne applicative existante, le post-doctorant pourra réaliser une étude algorithmique afin de l'optimiser pour exploiter les qualités de l'imageur intelligent. Puis il pourra proposer un partitionnement entre imageur intelligent et système hote, en fonction de critères de performances. Une expérimentation utilisant l'imageur intelligent RETINE ainsi que la carte d'accueil IRIS pourra être menée pour valider la proposition.