Direction scientifique
Transfert de connaissances vers l'industrie

Programme de stages

Informatique >> Informatique
29 proposition(s).

Logiciel de numérisation de plans de bâtiment

LIST/DM2I/LADIS

Informatique - Informatique

Saclay

Région parisienne (91)

4 à 6 mois

Ingénieur/Master

3382284

Les candidatures doivent être adressées par email et sous forme d'un CV et d'une lettre de motivation détaillant les compétences à :
CEA Grenoble

17 rue des martyrs
38054 Grenoble
e-mail : guillaume.sutra@cea.fr

L'entreprise :Le CEA LIST est un institut public de recherche spécialisé dans la conception des systèmes numériques. Sa mission est de réaliser des développements technologiques d'excellence pour le compte de partenaires industriels, afin de créer de la valeur. Au sein de cet institut, le LADIS (Laboratoire d'Analyse de Données et d'Intelligence des Systèmes) travaille sur les applications de l'intelligence artificielle et du traitement des données : traitement du signal et des images, fouille de données, modélisation, apprentissage, aide à la décision, intelligence distribuée. Toutes ces compétences sont mises au service d'applications variées, comme l'intelligence énergétique, la santé, la sécurité, le manufacturing avancé.Poste et mission :Le stage porte sur la maturation d'un logiciel de reconstruction de maquettes numériques de bâtiments à partir de plans 2D. L'objectif général consiste à évaluer la robustesse de l'outil et proposer des évolutions techniques et d'architecture pour produire une version plus robuste et optimiser le fonctionnement général. Vous aurez pour mission d'améliorer un code C++ existant, à la fois sur le fond et sur la forme :· Amélioration des algorithmes de traitement d'images et d'aide à la décision· Conception d'une interface· Mise en place d'un protocole de tests unitaires pour la détection de bugs sur une base de validation· Proposition d`améliorations d'architecture afin de faire évoluer l'outil et garantir une solution unifiée· Evaluation de la portabilité du logiciel sous différents environnements (Windows, Mac, Linux)Stage rémunéré de 4 à 6 mois basé à Saclay (Essonne).Date de démarrage souhaité : avril/mai 2016.Profil recherché :· Elève en dernière année d'ingénieur ou master (Bac+5), année de césure· Spécialisation en développement et génie logiciel· Maitrise du langage C++ et de la programmation orientée objet· Rigueur, goût prononcé pour le développement logiciel· Des connaissances en traitement d'images sont souhaitées· La connaissance/pratique des librairies de traitement d'image (OpenCV, Qgar) est un plus· Des connaissances en modèle numérique du bâtiment sont un plus

Amélioration de l’expérience utilisateur d’un logiciel d’intelligence artificielle

DRT/LIST/DM2I/LADIS

Informatique - Informatique

Saclay

Région parisienne (91)

6 mois

Ingénieur/Master

3376615

Les candidatures doivent être adressées par email et sous forme d'un CV et d'une lettre de motivation détaillant les compétences à :
CEA Grenoble

17 rue des martyrs
38054 Grenoble
e-mail : jean-philippe.poli@cea.fr

Les systèmes à base de règles sont des logiciels d'Intelligence Artificielle utilisés dans le but de reproduire le raisonnement humain sur des tâches bien spécifiques. Pour cela, la connaissance d'experts humains est représentée par un ensemble de règles de la forme SI… ALORS… Le logiciel observe ensuite son environnement à partir de capteurs de différentes natures et peut alors raisonner pour tirer des conclusions de ces observations ou prendre des décisions comme l'expert humain l'aurait fait dans une situation similaire. Le CEA LIST développe son propre système expert afin de répondre aux besoins de ses différents partenaires industriels.Rejoignez pour votre stage notre petite équipe qui travaille aussi bien scientifiquement qu'en termes de développement sur ce logiciel d'intelligence artificielle. Les problématiques que nous avons sont assez nombreuses, et nous pouvons nous adapter en fonction de votre profil. Nous disposons d'une interface graphique qui est issue de différents travaux antérieurs et qui nécessite d'évoluer pour pouvoir prendre en compte les nouvelles fonctionnalités implémentées. Nous nous intéressons particulièrement à des interfaces utilisables à la fois sur un écran standard avec une souris, mais également sur une surface tactile.Nous attendons de ce stage des propositions créatives pour améliorer les interactions avec le logiciel et permettre aux utilisateurs une expérience simple, amusante et productive.Le stage commencera par une semaine de formation à l'intelligence artificielle, mais également à la programmation en C# et WPF avec Visual Studio. Le stage sera pour vous à la fois l'occasion de participer à un projet d'équipe et de développer vos compétences en programmation, en algorithmique et en génie logiciel.

Développement logiciel embarqué C / Bluetooth

Leti/DSIS/SIPP/LSTI

Informatique - Informatique

Grenoble

Région Rhône-Alpes (38)

6 mois

Ingénieur/Master

3372014

Les candidatures doivent être adressées par email et sous forme d'un CV et d'une lettre de motivation détaillant les compétences à :
CEA Grenoble

17 rue des martyrs
38054 Grenoble
e-mail : thomas.maurin@cea.fr

Cadre du stage :Le CEA/LETI opère le Programme Usages des technologies de Liaison et Soutien aux Entreprises (PULSE) de l'Institut de Recherche Technologique (IRT) Nanoelec. La mission de PULSE est d'aider les entreprises à développer des produits et des services pour les secteurs de la santé, de l'habitat et des nouveaux services urbains. PULSE développe une expertise dans la miniaturisation des objets communicants dédiés aux applications de santé connectée. L'enjeu est de faciliter la commercialisation de nouveaux outils pour permettre aux personnes de gérer leur capital santé et signaler les situations à risques. Les problématiques scientifiques auxquelles PULSE répond sont la fiabilité et la sûreté de fonctionnement, les sécurités des données et la conformité réglementaire, la connectivité garantissant une QoS même en environnement perturbé. PULSE conduit sur cette thématique Santé Connectée pour le compte de nos partenaires utilisateurs plusieurs projets mettant en œuvre la technologie BLUETOOTH associée à la fonction MCU. Cette brique technologique nécessite d'être adaptée aux besoins spécifiques de chaque mise en œuvre. Objectif du stage :Sur micro-contrôleur 8/32-b, mettre en œuvre un module Bluetooth avec une architecture logiciel portable et modulaire.- Développer un driver d'un module Bluetooth utilisant le jeu de commandes AT - Améliorer la portabilité du code embarqué, validation sur MCU STM32- Développer et valider le code embarqué à partir d'un jeu de tests de non-régression (automatisé ou semi-automatisé)- Application à une télécommande dédiée Silver Economie Le stagiaire fera partie intégrante de l'équipe PULSE au sein du laboratoire LSTI. A ce titre, il sera placé sous le tutorat de Thomas Maurin, Ingénieur Chercheur (LSTI, CEA).

Réalité virtuelle et nuage de points pour le Manufacturing

DIASI/LSI

Informatique - Informatique

Saclay

Région parisienne (91)

6 mois

Ingénieur/Master

3365135

Les candidatures doivent être adressées par email et sous forme d'un CV et d'une lettre de motivation détaillant les compétences à :
CEA Grenoble

17 rue des martyrs
38054 Grenoble
e-mail : claude.andriot@cea.fr

Au sein de la Direction de la Recherche Technologique du CEA, le LIST (Laboratoire d'Intégration des Systèmes et des Technologies qui regroupe environ 700 chercheurs) fait évoluer la technologie des systèmes complexes afin de soutenir les entreprises françaises et européennes dans leurs domaines d'activité. Les applications des technologies de Réalité Virtuelle sont nombreuses, en particulier dans le domaine du Manufacturing. Le stage proposé s'adresse à un élève ingénieur en robotique et informatique qui rejoindra l'équipe projet pour participer à la conception et à la mise au point d'un logiciel permettant d'interagir en Réalité Virtuelle avec un environnement industriel modélisé par nuage de points via un un système de type Kinect V2 afin de réaliser par exemple des études d'accessibilité ou d'ergonomie. Outre l'aspect développement informatique et robotique, ce stage est une opportunité d'aborder les usages de la réalité virtuelle pour des applications industrielles.

Commande d'une main à retour d'effort pour la réalité virtuelle

DIASI/LSI

Informatique - Informatique

Saclay

Région parisienne (91)

6 mois

Ingénieur/Master

3365134

Les candidatures doivent être adressées par email et sous forme d'un CV et d'une lettre de motivation détaillant les compétences à :
CEA Grenoble

17 rue des martyrs
38054 Grenoble
e-mail : claude.andriot@cea.fr

Au sein de la Direction de la Recherche Technologique du CEA, le LIST (Laboratoire d'Intégration des Systèmes et des Technologies qui regroupe environ 700 chercheurs) fait évoluer la technologie des systèmes complexes afin de soutenir les entreprises françaises et européennes dans leurs domaines d'activité. Les applications des technologies de Réalité Virtuelle sont nombreuses, en particulier dans le domaine de la formation ou du prototypage virtuel. C'est le thème du projet MANDARIN dont l'objectif est de développer une nouvelle main à retour d'effort pour la réalité virtuelle . Le stage proposé s'adresse à un élève ingénieur en robotique et informatique qui rejoindra l'équipe projet pour participer à la conception et à la mise au point de la commande de cette nouvelle main à retour d'effort. Outre l'aspect développement informatique et robotique, ce stage est une opportunité d'aborder les usages de la réalité virtuelle pour des applications professionnelles.

Développement d'applications médicales basées (mammographie) sur un casque de réalité mixte

DIASI/LSI

Informatique - Informatique

Saclay

Région parisienne (91)

6 mois

Ingénieur/Master

3365133

Les candidatures doivent être adressées par email et sous forme d'un CV et d'une lettre de motivation détaillant les compétences à :
CEA Grenoble

17 rue des martyrs
38054 Grenoble
e-mail : claude.andriot@cea.fr

Au sein de la Direction de la Recherche Technologique du CEA, le LIST (Laboratoire d'Intégration des Systèmes et des Technologies qui regroupe environ 700 chercheurs) fait évoluer la technologie des systèmes complexes afin de soutenir les entreprises françaises et européennes dans leurs domaines d'activité. Les applications des technologies de Réalité Virtuelle sont nombreuses, en particulier dans le domaine médical ou industriel. Le stage proposé s'adresse à un élève ingénieur en robotique et informatique qui rejoindra l'équipe projet pour participer à la conception et à la mise au point d'un logiciel permettant de définir un modèle biomécanique simple d'un opérateur ou d'un patient à partir d'une mesure de l'enveloppe externe de ceux-ci réalisée par un capteur de type KinectV2 [Park 2014]. Ce modèle sera utilisée ensuite dans la suite logicielle XDE du CEA LIST. Outre l'aspect développement informatique et robotique, ce stage est une opportunité d'aborder les usages de la réalité virtuelle pour des applications médicales et industrielles.“Rapid Generation of Custom Avatars using Depth Cameras” Byoung-Keon Park and Matthew P. Reed, University of Michigan Transportation Research Institute, DHM 2014

Estimation de la posture d'un patient à partir de centrales inertielles et de Kinect v2

DIASI/LSI

Informatique - Informatique

Saclay

Région parisienne (91)

6 mois

Ingénieur/Master

3365132

Les candidatures doivent être adressées par email et sous forme d'un CV et d'une lettre de motivation détaillant les compétences à :
CEA Grenoble

17 rue des martyrs
38054 Grenoble
e-mail : claude.andriot@cea.fr

Au sein de la Direction de la Recherche Technologique du CEA, le LIST (Laboratoire d'Intégration des Systèmes et des Technologies qui regroupe environ 700 chercheurs) fait évoluer la technologie des systèmes complexes afin de soutenir les entreprises françaises et européennes dans leurs domaines d'activité. Les applications des technologies de Réalité Virtuelle sont nombreuses, en particulier dans le domaine de la formation et de l'ergonomie des postes de travail. Le stage proposé s'adresse à un élève ingénieur en robotique et informatique qui rejoindra l'équipe projet pour participer à la conception et à la mise au point d'un logiciel permettant d'estimer la posture d'un patient à partir de capteurs de pression et de Kinect v2. Outre l'aspect développement informatique et robotique, ce stage est une opportunité d'aborder les usages de la réalité virtuelle pour des applications industrielles.

Démonstrateurs en réalité virtuelle

DIASI/LIST/LSI

Informatique - Informatique

Saclay

Région parisienne (91)

6 mois

Ingénieur/Master

3365131

Les candidatures doivent être adressées par email et sous forme d'un CV et d'une lettre de motivation détaillant les compétences à :
CEA Grenoble

17 rue des martyrs
38054 Grenoble
e-mail : vincent.lanquepin@cea.fr

Le laboratoire de Simulation Interactive a développé le moteur physique XDE, utilisé dans l'aide à la conception industrielle, le prototypage virtuel et la formation au geste technique. La réalité virtuelle est un outil fondamental pour démontrer le potentiel des simulations physiques du laboratoire et les avancés techniques dans ce domaine sont particulièrement importantes Le candidat aura pour charge de s'approprier les technologies existantes du laboratoire (moteur physique, Unity, projets existants etc.) afin de mettre en place de nouveaux usages de la réalité virtuelle, reposant sur les dispositifs existants et à venir (Oculus Rift, ZSpace, CAVE, Myo, Kinect v2, etc.). Les travaux du candidat donneront naissance à un ensemble de démonstrateurs et pourront intervenir sur des projets en partenariat avec de grands industriels.

Développement d'applications médicales basées (mammographie) sur un casque de réalité mixte

DIASI/LSI

Informatique - Informatique

Saclay

Région parisienne (91)

6 mois

Ingénieur/Master

3365130

Les candidatures doivent être adressées par email et sous forme d'un CV et d'une lettre de motivation détaillant les compétences à :
CEA Grenoble

17 rue des martyrs
38054 Grenoble
e-mail : claude.andriot@cea.fr

Au sein de la Direction de la Recherche Technologique du CEA, le LIST (Laboratoire d'Intégration des Systèmes et des Technologies qui regroupe environ 700 chercheurs) fait évoluer la technologie des systèmes complexes afin de soutenir les entreprises françaises et européennes dans leurs domaines d'activité. Les applications des technologies de Réalité Virtuelle sont nombreuses, en particulier dans le domaine médical. C'est le thème du projet Mamonext dont l'objectif est de développer un nouveau système de la Réalité Mixte pour les examens de mammographie. Le stage proposé s'adresse à un élève ingénieur en robotique et informatique qui rejoindra l'équipe projet pour participer à la conception et à la mise au point d'un logiciel permettant d'augmenter l'environnement du patient. Outre l'aspect développement informatique et robotique, ce stage est une opportunité d'aborder les usages de la réalité virtuelle pour des applications médicales avec le leader du domaine.

Implémentation de protocoles pour la connectivité véhiculaire à l'Internet

DRT/LIST/DIASI/LSC

Informatique - Informatique

Saclay

Région parisienne (91)

6 mois

Ingénieur/Master

3365127

Les candidatures doivent être adressées par email et sous forme d'un CV et d'une lettre de motivation détaillant les compétences à :
CEA Grenoble

17 rue des martyrs
38054 Grenoble
e-mail : alexandre.petrescu@cea.fr

Ce sujet consiste en l'implémentation des protocoles de communication IP (Internet Protocol) pour les communications véhiculaires: communications de véhicule à véhicule, et de véhicule à infrastructure. Dans le laboratoire, une suite logicielle a été développée, et testée en milieu véhiculaire, afin d'assurer une connectivité haute-fiabilité pour les véhicule communicants. Celle-ci englobe des fonctionnalités diverses telles que le protocole Mobile IP sur liens de type 802.11p et cellulaire de type 3G/4G, les communications IP V2V, etc. Le stagiaire devra développer des extensions pour ce logiciel de connectivité haute-fiabilité pour véhicule. Les tâches considérés sont les suivants :- analyse et compréhension des protocoles de communication IPv4, IPv6 dans les milieux véhiculaires.- analyse et compréhension du code source de la suite logicielle existante.- conception et implémentation logicielle d'extensions des protocoles nouvellement développés au sein du laboratoire. Le stagiaire travaillera sur des systèmes qui seront expérimentés dans un réseau coeur connecté à l'Internet et géré par le laboratoire. Des tests grandeur nature à bord de véhicules pourront également être effectués. Le profil du candidat doit inclure une bonne maitrise du système d'exploitation unix (linux, autre), de la ligne de commande, de l'installation de système sur plate-formes de type PC standards aux plate-formes embarquées durcies, de la configuration du kernel et driver, de la cross-compilation. Une bonne maitrise de la programmation sera absolument nécessaire : algorithmique, langage de programmation scripté et compilé, machine virtuelle. Des notions de configuration de protocole réseau (p.ex. TCP/IP, IPv4, IPv6, DHCP, DNS, NAT...) sont fortement souhaitables (adressage, masque, analyze du traffic). Des notions de mise en page web seront souhaitables.Des notions de propagation ondes radio, système d'antennes, ainsi que des systèmes de navigation tel que GPS, ne sont pas centrales mais peuvent représenter un plus.

Intégration de DPDK dans un système SDN

LIST/DIASI/LSC

Informatique - Informatique

Saclay

Région parisienne (91)

6 mois

Ingénieur/Master

3361951

Les candidatures doivent être adressées par email et sous forme d'un CV et d'une lettre de motivation détaillant les compétences à :
CEA Grenoble

17 rue des martyrs
38054 Grenoble
e-mail : Michael.Boc@cea.fr

Le Software-Defined Networking (SDN) propose une séparation du control plane et du data plane. Cette séparation permet une (re)-configuration à la volée du routeur/switch cible mais offre aussi la possibilité de faire un traitement déporté intelligent par flux et/ou par paquet. Les nouveaux services implémentés permettent une démultiplication des performances et la possibilité de mettre en place de nouvelles fonctionnalités réseau.Aujourd'hui, ces nouvelles fonctionnalités se heurtent aux ressources limitées du kernel. La méthode préconisée est de déporter la gestion bas-niveau des interfaces réseaux en Userspace. Dans ce cadre, le Data Plane Development Kit (http://dpdk.org/) est l'une des approches les plus aboutis.Ce stage s'articulera autour des objectifs suivants :- Prise en main, évaluation des performances, et découverte de l'API DPDK sur serveur dédié- Intégration de l'interaction du switch SDN développé en interne avec l'API DPDK- Démonstration de l'amélioration des performances Ce stage se déroulera au sein du Laboratoire des Systèmes Communicants du CEA LIST en région parisienne (Gif-Sur-Yvette).

Optimisation des performances de l'API Northbound SDN

LIST/DIASI/LSC

Informatique - Informatique

Saclay

Région parisienne (91)

6 mois

Ingénieur/Master

3361950

Les candidatures doivent être adressées par email et sous forme d'un CV et d'une lettre de motivation détaillant les compétences à :
CEA Grenoble

17 rue des martyrs
38054 Grenoble
e-mail : Michael.Boc@cea.fr

Dans l'architecture du Software-Defined Networking (SDN), l'interface « Northbound » permet aux services et fonctions innovants d'interagir avec l'infrastructure réseaux à travers le contrôleur SDN. Cette interface permet également au contrôleur SDN de fournir une vue en continue des ressources disponibles et de l'état du réseau. De fait, cette interface de communication se doit d'être efficace et expressive afin de garantir un certain niveau de flexibilité mais également de réactivité.Dans ce domaine, le CEA LIST se veut à la pointe de l'innovation et propose ainsi un certain nombre de modes d'interaction avec son contrôleur SDN développé en interne.Ce stage s'articulera autour des objectifs suivants :- Optimiser le routage des messages Northbound (expression optimale du destinataire et réduction de la latence de traitements) dans le contrôleur au vu des fonctionnalités continuellement ajoutés.- Faire un état des lieux des meilleures méthodes d'expression des requêtes haut niveau- Étendre les méthodes d'interaction (au niveau type de protocole et langage) sur le Northbound afin d'optimiser les performances de traitements (latence, taille de messages)Ce stage se déroulera au sein du Laboratoire des Systèmes Communicants du CEA LIST en région parisienne (Gif-Sur-Yvette).

Vérification d'un micro­noyau sécurisé d'hyperviseur

DRT/LIST/DILS/LSL

Informatique - Informatique

Saclay

Région parisienne (91)

4-6 mois

Ingénieur/Master

3360473

Les candidatures doivent être adressées par email et sous forme d'un CV et d'une lettre de motivation détaillant les compétences à :
CEA Grenoble

17 rue des martyrs
38054 Grenoble
e-mail : Nikolai.Kosmatov@cea.fr

Cadre Le CEA LIST est un centre de recherche technologique sur les systèmes à logiciel prépondérant qui mène ses recherches en partenariat avec les grands acteurs industriels du nucléaire, de l’automobile, de l’aéronautique, de la défense et du médical pour étudier et développer des solutions innovantes adaptées à leurs besoins. Au sein du CEA LIST, le Laboratoire Sûreté des Logiciels (LSL), localisé à Palaiseau (Essonne), développe les outils d'aide à la validation et à la vérification de logiciels et de systèmes matériels/logiciels. L'un de ces outils, nommé Frama­C, permet de calculer les valeurs possibles des variables à chaque point de programme, trouver des menaces d'erreurs à l'exécution, prouver des propriétés du programme ou les vérifier à l'exécution, générer des cas de test, etc. Un micro­noyau sécurisé pour une solution d'hypervision dite « en aveugle » a été développé par un autre laboratoire du CEA LIST. Il garantit la confidentialité et l’intégrité des données des machines virtuelles. Notamment, l'hyperviseur en aveugle n'a pas accès à la partition mémoire réservée pour une machine virtuelle car seul le micro­noyau sécurisé possède un contrôle total de la mémoire. Objectifs Ce stage vise à vérifier des algorithmes du micro­noyau sécurisé à l'aide des méthodes formelles (preuve de programmes, analyse de valeurs), de vérification à l'exécution et de test structurel en utilisant la plate­forme Frama­C. Un des composants critiques à vérifier est lié à la gestion de la mémoire. Les algorithmes seront spécifiés et prouvés à l'aide des greffons de preuve de Frama­C. Des méthodes complémentaires (test, vérification à l'exécution) seront utilisées pour des fonctions qui ne seront pas entièrement prouvées. Ce stage permettra au stagiaire de découvrir divers outils de vérification de logiciels et les technologies utilisées, les appliquer à la vérification d'un cas d'étude réel, et d'acquérir ainsi des compétences de plus en plus demandées par les entreprises. Il existe des possibilités de continuer en thèse au CEA après le stage. Candidatures Bonnes connaissances en génie logiciel, un goût pour les mathématiques et la logique. Langage C, notions en architecture et systèmes d'exploitation souhaités. Capacité de travail en équipe. Les délais administratifs de recrutement au CEA étant de 2 à 3 mois minimum, merci de prendre contact le plus tôt possible. Encadrement : Nikolay Kosmatov Contact : nikolay.kosmatov@cea.fr Références [1] M, Aichouch and M. Ait Hmid. Towards an Implementation of a Blind Hypervisor. In : SEC2, https://sec2­2015.inria.fr/files/2015/06/aichouch­paper.pdf [2] F.Kirchner, N.Kosmatov, V.Prevosto, J.Signoles, B.Yakobowski: Frama­C ­ A Software Analysis Perspective. Formal Asp. Comput. 27(3): 573­-609 (2015) http://kosmatov.perso.sfr.fr/nikolai/publications/kirchner_kpsy_faoc_2015.pdf

Vérification d'un protocole de communication de réseau de capteurs à l'aide d'outils de vérification automatique

DRT/LIST/DILS/LSL

Informatique - Informatique

Saclay

Région parisienne (91)

4-6 mois

Ingénieur/Master

3360472

Les candidatures doivent être adressées par email et sous forme d'un CV et d'une lettre de motivation détaillant les compétences à :
CEA Grenoble

17 rue des martyrs
38054 Grenoble
e-mail : Nikolai.Kosmatov@cea.fr

Cadre Le CEA LIST est un centre de recherche technologique sur les systèmes à logiciel prépondérant qui mène ses recherches en partenariat avec les grands acteurs industriels du nucléaire, de l’automobile, de l’aéronautique, de la défense et du médical pour étudier et développer des solutions innovantes adaptées à leurs besoins. Au sein du CEA LIST, le Laboratoire de Sûreté des Logiciels (LSL), localisé à Saclay (Essonne), développe les outils d'aide à la validation et à la vérification de logiciels et de systèmes matériels/logiciels. L'un de ces outils, nommé Frama­C, permet de calculer les valeurs possibles des variables à chaque point de programme, trouver des menaces d'erreurs à l'exécution, prouver des propriétés du programme ou les vérifier à l'exécution, générer des cas de test, etc. Dans le cadre d'un projet collaboratif, le CEA LIST travaille sur l'implémentation et la validation de protocoles de réseaux de capteurs qui seront utilisés dans des domaines critiques (avionique, transport, etc.) Objectifs Ce stage vise à vérifier des logiciels embarqués dans un réseau de capteurs à l'aide des outils de vérification automatique. Dans un premier temps, il s'agira d'identifier et de spécifier des propriétés de sûreté et sécurité de fonctionnement, notamment, liées à la communication et diffusion de messages. Ces propriétés seront ensuite spécifiées dans le langage de spécification de la plate­forme Frama­C, incluant des preconditions, postconditions, assertions, etc. Ensuite, des outils de vérification seront appliqués pour vérifier les propriétés spécifiés et identifier des éventuelles erreurs. Les algorithmes seront spécifiés et ensuite prouvés à l'aide des greffons de preuve de Frama­ C. Le prototype développé au CEA LIST sera utilisé comme le point de départ des travaux. Les techniques de test ou vérification à l'exécution pourront être utilisées pour la validation des parties du code qui ne pourront pas être entièrement prouvées. Ce stage permettra au stagiaire de découvrir divers outils de vérification de logiciels et les technologies utilisées pour assurer la sûreté et la sécurité de logiciels, les appliquer à la vérification d'un cas d'étude réel, et d'acquérir ainsi des compétences de plus en plus demandées par les entreprises. Il existe des possibilités de continuer en thèse au CEA après le stage. Candidatures Des connaissances en génie logiciel, un goût pour les mathématiques et la logique. Bonnes connaissances du langage C, notions en protocoles de communication souhaitées. Capacité de travail en équipe. Les délais administratifs de recrutement au CEA étant de 2 à 3 mois minimum, merci de prendre contact le plus tôt possible. Encadrement : Nikolay Kosmatov Contact : nikolay.kosmatov@cea.fr Références : F.Kirchner, N.Kosmatov, V.Prevosto, J.Signoles, B.Yakobowski: Frama­C ­ A Software Analysis Perspective. Formal Asp. Comput. 27(3): 573­-609 (2015) http://kosmatov.perso.sfr.fr/nikolai/publications/kirchner_kpsy_faoc_2015.pdf

Extension d'une bibliothèque de simulation pour le monitoring de la mémoire

DRT/LIST/DILS/LSL

Informatique - Informatique

Saclay

Région parisienne (91)

5-6 mois

Ingénieur/Master

3360471

Les candidatures doivent être adressées par email et sous forme d'un CV et d'une lettre de motivation détaillant les compétences à :
CEA Grenoble

17 rue des martyrs
38054 Grenoble
e-mail : Nikolai.Kosmatov@cea.fr

Cadre Le CEA LIST est un centre de recherche technologique sur les systèmes à logiciel prépondérant qui mène ses recherches en partenariat avec les grands acteurs industriels du nucléaire, de l’automobile, de l’aéronautique, de la défense et du médical pour étudier et développer des solutions innovantes adaptées à leurs besoins. Au sein du CEA LIST, le Laboratoire Sûreté des Logiciels (LSL), localisé à Palaiseau (Essonne), développe les outils d'aide à la validation et à la vérification de logiciels et de systèmes matériels/logiciels. L'un des nos outils, nommé Frama­C (http://frama­c.com), offre différents greffons pour l'analyse et la vérification de code C. Dans Frama­C, un programme C peut être annoté, c'est­à­dire, contenir des propriétés à vérifier exprimées par des annotations dans un langage de spécification formelle. Un des greffons de Frama­C, nommé E­ACSL, permet d'évaluer les annotations lors de l'exécution grâce à une instrumentation de code C, et de rapporter des échecs éventuels. Certaines de ces annotations portent sur des locations mémoires du programme (validité, initialisation, etc.). Un autre outil développé au LSL, UNISIM, offre une bibliothèque de simulation permettant de simuler sur un PC et de surveiller, à la manière des outils de débogage, l'exécution d'un code embarqué. La version actuelle de la bibliothèque ne surveille pas spécifiquement la validité et l'initialisation des blocs mémoires dans l'exécution du programme simulé. Objectifs La version existante du greffon E­ACSL effectue une instrumentation qui rajoute des variables et du code supplémentaires, ce qui n'est pas souhaitable dans un contexte très contraint du code embarqué. Dans le cadre d'un projet de développement d'un nouvel outil de monitoring et d'évaluation des annotations à l’exécution pour le code embarqué, ce stage vise à réaliser une extension de la bibliothèque de simulation d'UNISIM pour le monitoring avancé de la mémoire. La première étape du stage consistera à identifier des moments dans l'exécution simulée et des informations qui doivent être signalées à l'outil de monitoring « à distance » afin de pouvoir mettre à jour le statut de la mémoire (allocation et libération des blocs mémoires, initialisation etc.). Ensuite, il faudra réaliser le transfert de ces informations vers l'outil de monitoring qui devra maintenir un modèle mémoire à jour afin de pouvoir évaluer les annotations sur l'état de la mémoire. Enfin, des expérimentations seront effectuées pour évaluer la solution développée. Ce stage permettra au stagiaire de contribuer à la réalisation d'un outil de simulation et monitoring innovant, de l'évaluer sur des études de cas, et d'acquérir ainsi des compétences en simulation et vérification du code embarqué. Il existe des possibilités de continuer en thèse au CEA après le stage. Candidatures Bonne maîtrise des langages C et C++ et de la programmation bas niveau. Connaissances en débogage et communication entre programmes souhaitées. Capacité de travail en équipe. Les délais administratifs de recrutement au CEA étant de 2 à 3 mois minimum, merci de prendre contact le plus tôt possible. Encadrement : Nikolay Kosmatov, Gilles Mouchard, Julien Silgnoles. Contact : nikolay.kosmatov@cea.fr Référence : M. Delahaye, N. Kosmatov, and J. Signoles. Common specification language for static and dynamic analysis of C programs. In SAC’13, pages 1230–1235, 2013. http://kosmatov.perso.sfr.fr/nikolai/publications/delahaye_ks_sac_2013.pdf

Développement d'un outil de monitoring à base de simulation pour le code embarqué

DRT/LIST/DILS/LSL

Informatique - Informatique

Saclay

Région parisienne (91)

5-6 mois

Ingénieur/Master

3360470

Les candidatures doivent être adressées par email et sous forme d'un CV et d'une lettre de motivation détaillant les compétences à :
CEA Grenoble

17 rue des martyrs
38054 Grenoble
e-mail : Nikolai.Kosmatov@cea.fr

Cadre Le CEA LIST est un centre de recherche technologique sur les systèmes à logiciel prépondérant qui mène ses recherches en partenariat avec les grands acteurs industriels du nucléaire, de l’automobile, de l’aéronautique, de la défense et du médical pour étudier et développer des solutions innovantes adaptées à leurs besoins. Au sein du CEA LIST, le Laboratoire Sûreté des Logiciels (LSL), localisé à Palaiseau (Essonne), développe les outils d'aide à la validation et à la vérification de logiciels et de systèmes matériels/logiciels. L'un des nos outils, nommé Frama­C (http://frama­c.com), offre différents greffons pour l'analyse et la vérification de code C. Dans Frama­C, un programme C peut être annoté, c'est­à­dire, contenir des propriétés à vérifier exprimées par des annotations dans un langage de spécification formelle. Un des greffons de Frama­C, nommé E­ACSL, permet d'évaluer les annotations lors de l'exécution grâce à une instrumentation de code C, et de rapporter des échecs éventuels. Un autre outil développé au LSL, UNISIM, offre une bibliothèque de simulation permettant de simuler sur un PC et de surveiller, à la manière des outils de débogage, l'exécution d'un code embarqué. Objectifs La version existante du greffon E­ACSL effectue une instrumentation du programme C qui rajoute des variables et du code supplémentaires, ce qui n'est pas souhaitable dans un contexte contraint du code embarqué. Ce stage vise à développer un nouvel outil de monitoring et d'évaluation des annotations à l’exécution adapté aux contraintes du code embarqué. Il sera basé sur la simulation du code non­instrumenté à l'aide de la bibliothèque de simulation d'UNISIM. La première étape du stage consistera à concevoir un protocole de communication avec une bibliothèque de simulation afin de pouvoir demander et transmettre les informations nécessaires pour évaluer les annotations (e.g. les valeurs des variables du programme). Ensuite, il faudra développer (en OCAML, dans un greffon de Frama­C) un outil de monitoring « à distance » qui fera des requêtes pour demander des informations nécessaires sur l'exécution simulée en utilisant le protocole défini, et réalisera l'évaluation des annotations. La version existante de E­ACSL pourra servir d'un point de départ pour cette implantation. Enfin, cet outil sera expérimenté sur des exemples de code embarqué. Ce stage permettra au stagiaire de réaliser un outil de monitoring innovant, de l'appliquer à la vérification d'études de cas, et d'acquérir ainsi des compétences en vérification de code embarqué. Il existe des possibilités de continuer en thèse au CEA après le stage. Candidatures Bonne maîtrise des langages OCAML, C/C++. Connaissances en débogage et communication entre programmes souhaitées. Capacité de travail en équipe. Les délais administratifs de recrutement au CEA étant de 2 à 3 mois minimum, merci de prendre contact le plus tôt possible. Encadrement : Nikolay Kosmatov, Gilles Mouchard, Julien Silgnoles. Contact : nikolay.kosmatov@cea.fr Référence : M. Delahaye, N. Kosmatov, and J. Signoles. Common specification language for static and dynamic analysis of C programs. In SAC’13, pages 1230–1235, 2013. http://kosmatov.perso.sfr.fr/nikolai/publications/delahaye_ks_sac_2013.pdf

Ergonomie tactile des outils graphique d’analyse CIVA

DISC/LDI

Informatique - Informatique

Saclay

Région parisienne (91)

6 mois

Ingénieur/Master

3355925

Les candidatures doivent être adressées par email et sous forme d'un CV et d'une lettre de motivation détaillant les compétences à :
CEA Grenoble

17 rue des martyrs
38054 Grenoble
e-mail : serena.buat@cea.fr

Dans le cadre de ses activités sur la thématique du Contrôle Non Destructif (CND), le CEA LIST développe la plate-forme CIVA, logiciel de simulation dédié à la simulation du contrôle non destructif. Ce logiciel est une plateforme d'expertise pour le contrôle non destructif, composée de modules de simulation, d'imagerie et d'analyse, qui permettent de concevoir et d'optimiser les méthodes d'inspection et de prédire leurs performances dans des configurations de contrôle réalistes.Son système d'imagerie associé à des modules de traitement de signal et de traitement d'image permet l'interprétation et l'expertise des résultats expérimentaux et de simulation.L'imagerie CIVA, intégrée à travers différents logiciels dont certains tactiles, a besoin d'améliorer son interactivité utilisateur. L'objectif du stage est de développer une panoplie d'outils graphiques au sein de l'imagerie de CIVA. En offrant des outils plus ergonomiques et intuitifs, on souhaite faciliter l'analyse de données ultra-sonore par l'utilisateur. Une liste détaillée de ces outils sera fournie au début du stage par la maitrise d'ouvrage. Travail proposé :- Prendre connaissance du logiciel CIVA, de son architecture et des graphiques d'analyse existants.- Développement des nouveaux outils graphiques.- Intégration et tests IHM (souris et tactile).

IHM d'un code de simulation pour les thérapies par ultrasons

DISC/LDI

Informatique - Informatique

Saclay

Région parisienne (91)

6 mois

Ingénieur/Master

3355924

Les candidatures doivent être adressées par email et sous forme d'un CV et d'une lettre de motivation détaillant les compétences à :
CEA Grenoble

17 rue des martyrs
38054 Grenoble
e-mail : vincent.bergeaud@cea.fr

Localisé en région parisienne, sur le plateau de Saclay, le CEA LIST est un centre de recherche technologique sur les systèmes à logiciel prépondérant. En particulier, le département DISC du LIST développe la plate-forme CIVA (http://www-civa.cea.fr), logiciel de simulation des Contrôles Non Destructifs qui s'appuie sur les travaux de recherches menés au laboratoire en modélisation tant en élasticité, en électromagnétisme qu'en rayons X. Le département dispose d'une forte expérience sur la modélisation de la propagation des ultrasons. Dans le cadre d'un partenariat avec l'INSERM, il cherche à développer une nouvelle application permettant de mettre en œuvre des simulations dans le cadre d'applications médicales. Il s'agit de simuler l'échauffement des tissus dans le cadre des thérapies par ultrasons de type HIFU, utilisées notamment pour le traitement de certains cancers. L'objectif du stage est de développer une IHM pour prendre en compte les dernières évolutions des travaux de modélisation. La spécification de cette IHM sera faite en concertation avec les partenaires du CEA. L'IHM sera basée sur les outils existants dans la plateforme CIVA, basée sur Java.L'étudiant intégrera l'équipe de développement informatique du laboratoire et sera encadré par un ingénieur chercheur. Le stagiaire perçoit une gratification mensuelle brute dépendant de son établissement. Par ailleurs le stagiaire bénéficie des facilités de transport du CEA.

Développement d'une méthode de calibration de l'instrumentation profilométrique des capteurs flexibles

LIST/DISC/LIC

Informatique - Informatique

Saclay

Région parisienne (91)

6 mois

Ingénieur/Master

3355856

Les candidatures doivent être adressées par email et sous forme d'un CV et d'une lettre de motivation détaillant les compétences à :
CEA Grenoble

17 rue des martyrs
38054 Grenoble
e-mail : thomas.desrez@cea.fr

Le département de Contrôle Non Destructif du CEA/LIST développe de nouvelles technologies (logiciel, capteur, méthode, instrumentation) afin d’améliorer les performances des Contrôles Non Destructif (CND). Les nouvelles problématiques industrielles mettent en jeu des géométries de plus en plus complexes qui nécessitent de mettre en oeuvre une instrumentation de plus en plus innovante. Dans ce cadre, le Laboratoire Instrumentation et Capteurs développe des algorithmes, des instruments et des capteurs innovants pour le contrôle non destructif (http://www-civa.cea.fr/). Les transducteurs multiéléments flexibles actuels intègrent une carte électronique, appelée profilomètre, permettant de mesurer une déformation afin de recalculer les paramètres d’excitation du capteur en temps réel. Le concept fonctionnel du profilomètre actuel est une série de couples diode/phototransistor mesurant l’altitude de plusieurs pistons sur des courses de l’ordre de 30mm. L’objet du stage consiste à développer une méthode permettant de calibrer le profilomètre. Pour cela, le stagiaire développera un logiciel supervisant le pilotage d’un banc motorisé, l’enregistrement des tensions des phototransistors du profilomètre et le traitement associé permettant de calibrer ce dernier. Le travail proposé se déroule en 3 temps :- Prise en main de l’instrumentation- Développement d’un logiciel synchronisant un banc motorisé et l’enregistrement de tensions- Étude, développement d’un algorithme de traitement Durant le stage, l’étudiant intégrera l’équipe de développement électronique du département et travaillera en liaison étroite avec les ingénieurs électronique et capteur. À l’issue, le stagiaire réalisera un démonstrateur préindustriel permettant de valider l’ensemble des développements. Pour mener à bien ce travail, l'étudiant devra posséder des connaissances en développement logiciel (langage JAVA). Le stagiaire percevra une gratification mensuelle brute et bénéficiera des facilités de transport du CEA.

Cosimulation de modèles qualitatifs de systèmes hybrides

DILS/LISE

Informatique - Informatique

Saclay

Région parisienne (91)

4 à 6 mois

Ingénieur/Master

3355446

Les candidatures doivent être adressées par email et sous forme d'un CV et d'une lettre de motivation détaillant les compétences à :
CEA Grenoble

17 rue des martyrs
38054 Grenoble
e-mail : Jean-Yves.PIERRON@cea.fr

Les systèmes complexes contiennent souvent des parties continues, et peuvent être modélisées par des automates hybrides. L'automate hybride est défini par un ensemble d'états et de variables discrètes et continues, sur lesquelles peuvent s'appliquer des transitions discrètes qui comprennent des gardes sur ces variables et des affectations. Pour les variables continues, des lois d'évolutions peuvent être décrites par des équations différentielles plus ou moins précises dans le cadre des différents formalismes possibles [TD03]. Les variables continues évoluent ainsi en suivant ces lois sur les états du système, qui sont temporisés (le temps s'écoule…). Entre les états du système le temps est supposé nul puisque le système réalise des affectations sur les variables qui sont instantanées.Pour simuler ce type de modèle, la simulation qualitative [TK02] qui est une alternative à la simulation numérique, est basée sur le principe de la discrétisation par partitionnement des domaines de variation des variables continues, en se basant sur l'évolution de ces variables (croissantes, décroissantes, ou constantes) donc sur les signes de leurs dérivées premières (positive, négative ou nulle). Ainsi on peut obtenir un arbre des comportements abstraits [RGLG03] qui permet de réaliser une couverture des états du système [GP14] . Cet arbre peut être utilisé en cosimulation pour valider d'autres systèmes en interaction avec le système hybride ainsi traité. En effet, la cosimulation fait généralement intervenir des simulateurs numériques dont les temps de calculs sont en général conséquents, et qui requièrent d'être paramétrés par des scénarios numériques, ce qui réduit l'exploration. Le simulation qualitative permet de s'affranchir de ces contraintes : temps de calculs réduits, exploration plus exhaustive.Dans le contexte de la cosimulation, FMI (Functional Mock-up Interface) est un standard qui fournit une interface pour le couplage de deux ou plusieurs modèles conçus dans différents outils de simulation et exportés sous forme de FMU (Functional Mock-up Unit). L'objectif du stage est de spécifier et implanter un outil pour exporter des FMUs à partir de modèles qualitatifs, dans le but de les intégrer dans une approche de co-simulation basée sur ce standard. Les développements réalisés durant le stage pour l'export de FMU incluent la génération d'un fichier XML (structure du modèle) et de code C (comportement du modèle) conformes à la spécification FMI et leur encapsulation dans une archive (.fmu). Les développements seront testés par l'intégration des FMUs exportées dans différents cas d'étude de co-simulation, en connectant les FMUs générées à d'autres FMUs, et en observant le comportement du système conçu dans l'environnement de co-simulation fourni par Moka (moteur d'exécution intégré au modeleur UML Papyrus). [GP14] Jean-Pierre GALLOIS et Jean-Yves PIERRON, INTERVAL, instanciation d'une plate-forme de validation pour les spécifications industrielles dans le cadre du projet CONNEXION, Génie Logiciel Hors-série « L'initiative Connexion : IDN et Contrôle-Commande »: 32-38, 2014.[RGLG03] Nicolas Rapin, Christophe Gaston, Arnault Lapitre, Jean-Pierre Gallois Behavioural Unfolding of Formal Specifications Based on Communicating extended automata ATVA 2003[TD03] Travé-Massuyès Louise, Dague Philippe, Modèles et raisonnements qualitatifs ; TraitéIC2, série Systèmes automatisés, ISBN : 9782746207448, 2003.[TK02] Tiwari, A., and Khanna, G. (2002). Series of abstractions for hybrid automata. In Hybrid Systems: Computation and Control, LNCS 2289, 465-478, Springer.

Mise au point d'un démonstrateur de calculs interactifs de champs ultrasonores dans la plateforme CIVA.

DISC/LDI

Informatique - Informatique

Saclay

Région parisienne (91)

6 mois

Ingénieur/Master

3354677

Les candidatures doivent être adressées par email et sous forme d'un CV et d'une lettre de motivation détaillant les compétences à :
CEA Grenoble

17 rue des martyrs
38054 Grenoble
e-mail : gilles.rougeron@cea.fr

Localisé en région parisienne, sur le plateau de Saclay, le CEA LIST est un centre de recherche technologique sur les systèmes à logiciel prépondérant. En particulier, le département DISC du LIST développe la plate-forme CIVA (http://www-civa.cea.fr), logiciel de simulation des Contrôles Non Destructifs qui s'appuie sur les travaux de recherches menés au laboratoire en modélisation tant en élasticité, en électromagnétisme qu'en rayons X. Le département dispose, d'une part, de codes de simulations de champs ultrasonores rapides développés sur CPU et GPU dans le cadre d'une thèse, et d'autre part d'une version de la plateforme CIVA dédié au traitement de flux de données d'acquisition. Il s'agit dans le cadre de ce stage développer un démonstrateur de calcul interactif de champ permettant à l'utilisateur lors de la modification des paramètres de la configuration de voir le plus rapidement possible une image de champ simulée dans la vue 3D. Pour cela on procédera à l'intégration du code de calcul de champ rapide dans la plateforme. Le code de calcul étant actuellement un exécutable devra prendre la forme d'une librairie externe offrant à travers une API des services de mise à jour des paramètres de configuration et de récupération de données résultats. Etant donné la lourdeur potentielle des simulations, la stratégie mise en place au cours de la thèse a été d'effectuer un calcul progressif permettant de fournir le plus rapidement possible un premier résultat interprétable puis de l'enrichir régulièrement par passes successives. Le plateforme devra donc lors des modifications de paramètres notifier le code de calcul, ce qui provoquera un redémarrage de la simulation et l'affichage de résultats partiels jusqu'à la prochaine modification significative.L'étudiant intégrera l'équipe de développement informatique du laboratoire et sera encadré par un ingénieur chercheur. Le stagiaire perçoit une gratification mensuelle brute dépendant de son établissement. Par ailleurs le stagiaire bénéficie des facilités de transport du CEA.

Mécanisme de plugin pour simulation numérique sur géométries CAO en Contrôle Non Destructif

DISC/LDI

Informatique - Informatique

Saclay

Région parisienne (91)

entre 4 et 6 mois

Ingénieur/Master

3354210

Les candidatures doivent être adressées par email et sous forme d'un CV et d'une lettre de motivation détaillant les compétences à :
CEA Grenoble

17 rue des martyrs
38054 Grenoble
e-mail : loic.sifferlen@cea.fr

Dans le cadre de ses activités sur la thématique du Contrôle Non Destructif (CND), le CEA LIST développe la plate-forme CIVA, logiciel de simulation dédié à la simulation du contrôle non destructif. Ce logiciel comprend de nombreux noyaux de simulation permettant de simuler des inspections menées avec les différentes techniques de CND étudiées au CEA LIST. Ces simulations peuvent être réalisées sur des géométries complexes, tenant compte de la variété des pièces industrielles inspectées. Dans le cadre de partenariats industriels, le CEA LIST a développé la possibilité d'intégrer à CIVA des noyaux de calculs externes, sous forme de plugins. Ces plugins sont des exécutables externes qui respectent un format de données d'entrée et de fichier résultat afin que l'IHM CIVA puisse éditer les paramètres et proposer des fonctionnalités d'analyse. Le sujet proposé ici consiste à étendre ce mécanisme de plugin à la mise en place de géométries 2D ou 3D, afin que de nouvelles études puissent proposer leurs propres géométries paramétriques. Le plugin externe sera donc un exécutable capable à partir d'un fichier XML de paramètres de fournir un fichier de CAO 3D ou de CAO 2D extrudée. Ce travail permettra d'utiliser des pièces CAO avec les variations paramétriques offertes par CIVA, ce qui est impossible avec les pièces CAO actuelles. Travail prévu :- Prise en main de l'architecture plugin de CIVA- Création du mécanisme plugin pièce- Création d'un plugin correspondant à une pièce industrielle- Validation sur une variation paramétrique

Mise en place d'un environnement pour caractérisation de circuit imageurs

DOPT/SLIR/LIV

Informatique - Informatique

Grenoble

Région Rhône-Alpes (38)

2/3 ans

Ingénieur/Master

3352324

Les candidatures doivent être adressées par email et sous forme d'un CV et d'une lettre de motivation détaillant les compétences à :
CEA Grenoble

17 rue des martyrs
38054 Grenoble
e-mail : sebastien-p.martin@cea.fr

Le contrat en alternance de professionnalistion se déroulera dans le Laboratoire Imagerie Visible du LETI qui mène divers développements autour de la thématique "imagerie visible"(pixel, filtre, imageur CMOS complet). Une activités importante du laboratoire est la caractérisation des composants issue des développements internes. Des moyens de caractérisation électro-optique ont été mis en place aux niveaux software (logiciel de séquençage sous LabView) et hardware (instrument du commerce et développement propre autour de FPGA et de cartes analogiques dédiées). Le stage s'inscrit dans un contexte de montée en charge de l'activité, tant au niveau des briques technologiques de bases qu'au niveau des imageurs, qui impose un durcissement et un enrichissement des outils mis en place à la création du laboratoire. Les missions confiées au stagiaires seront :- prise en main et rationalisation du logiciel de séquencement de test (correction des imperfections et amélioration de l'ergonomie),- sécurisation du flot de données au niveau du séquenceur,- développement d'algorithme de reconstruction d'image,- portage d'une partie des séquences de tests et de traitement de donnée sur FPGA (calcul de moyenne, écart type, reconstruction image, correction couleur...). A terme, l'ensemble permettra de réaliser des tests aussi bien sur mono-élément (test paramétrique) que sur

Détection proactive de configurations inadéquates de Papyrus.

LIST/DILS/LISE

Informatique - Informatique

Saclay

Région parisienne (91)

6 mois

Ingénieur/Master

3351743

Les candidatures doivent être adressées par email et sous forme d'un CV et d'une lettre de motivation détaillant les compétences à :
CEA Grenoble

17 rue des martyrs
38054 Grenoble
e-mail : mauricio.alferez@cea.fr

Contexte du sujet: Le sujet proposé s'inscrit dans le cadre de l'amélioration de l'outil open source Papyrus (http://www.eclipse.org/papyrus), composant de la plateforme Eclipse (http://www.eclipse.org/). Papyrus est un environnement de modélisation intégré pour éditer tout type de modèles basés sur la technologie GMF (Graphical Modeling Framework) et NatTable. L'outil supporte en natif le langage UML et les langages de modélisation qui étendent ce langage, comme SysML et MARTE. Papyrus propose des éditeurs de diagramme pour les langages de modélisation UML et SysML. L'outil offre également un support avancé aux profils UML, ce qui permet aux utilisateurs de définir leur propre langage spécifique au domaine (Domain Specific Language, DSL), basé sur le langage UML. La caractéristique principale de l'outil Papyrus pour ce dernier point est de fournir un ensemble de mécanismes de personnalisation de l'outil. Ces éléments permettent à l'utilisateur de définir ses propres perspectives, afin de rendre l'outil Papyrus semblable à un éditeur dédié.La personnalisation de l'outil offre de nombreuses options de configuration (ex. Types de tables, palettes personnalisées, options pour la génération de code, styles de visualisation) qui peuvent conduire à des comportements inattendus, ou erreurs d'exécution ou compilation. Donc, la personnalisation doit être accompagnée de messages de diagnostic qui sont essentiels pour les développeurs et utilisateurs de Papyrus. Dans de nombreux cas, les messages de diagnostic sont la seule source disponible pour comprendre une erreur ou découvrir la bonne configuration. Maintenant, les développeurs essaient souvent de corréler des messages de diagnostic aux portions de code source pour déduire les conditions qui probablement auraient pu conduire à l'erreur. Malheureusement ce travail est long et difficile car il est réalisé manuellement. Quand une erreur se produit, le système logiciel Papyrus doit fournir un message de diagnostic clair sur la cause du problème -ex. une option mal configurée et proposé une correction si possible.--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------Objectif:L'objectif de ce stage est de mettre en ?uvre une approche pour détecter pro-activement les configurations inadéquates et de fournir des diagnostics .Les tâches prévues sont: - Faire une taxonomie des options de configuration et leurs dépendances dans Papyrus utilisant Feature Diagrams (ex. Sequoia [1], FODA [2]).- Générer automatiquement des valeurs non valides pour les options modelées sur le Feature Diagram.- Examiner le fonctionnement du système en utilisant les valeurs générées.- Pour chaque test échoué du système, observer si Papyrus affiche ou non des messages de diagnostic, et si les des messages de diagnostic aident vraiment pour trouver l'option de configuration incorrecte.Note : L'outil Papyrus étant développé de manière agile, les travaux développés par le stagiaire sont susceptibles d'évoluer avant son arrivée au laboratoire.--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------Liens: - Lieu de travail: Centre d'intégration Nano-INNOV8 avenue de la Vauve91120 PALAISEAU- Laboratoire : LISE - LIST (http://www-list.cea.fr)- Tuteur: ALFEREZ SALINAS Edward Mauricio -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- References:[1] P. Tessier, S. Gerard, F. Terrier, and J. Geib. Using variation propagation for model-driven management of a system family. In J. H. Obbink and K. Pohl, editors, Software Product Lines, 9th International Conference, SPLC 2005, Rennes, France, September 26-29, 2005, Proceedings, volume 3714 of Lecture Notes in Computer Science, pages 222{233. Springer, 2005.[2] K. C. Kang, S. G. Cohen, J. A. Hess, W. E. Novak, and A. S. Peterson. Feature-oriented domain analysis (foda) feasibility study. Technical report, Carnegie-Mellon University Software Engineering Institute, November 1990.

Optimisation de l'analyse de la sûreté des systèmes cyber-physiques

DILS/LISE

Informatique - Informatique

Saclay

Région parisienne (91)

6 mois

Ingénieur/Master

3350721

Les candidatures doivent être adressées par email et sous forme d'un CV et d'une lettre de motivation détaillant les compétences à :
CEA Grenoble

17 rue des martyrs
38054 Grenoble
e-mail : onder.gurcan@cea.fr

Contexte:- Ingénierie dirigée par les modèles (IDM) pour les systèmes cyber-physiques (SCP).- Environnement de développement des systèmes à base des agents.- Les travaux s’appuieront sur des outils développés dans le laboratoire dont en particulier un outil de sûreté appelé Sofia, intégré avec le modeleur UML open source Papyrus (http://www.eclipse.org/papyrus). Systèmes cyber-physiques (SCP) sont des organisations complexes des systèmes attendus pour servir, l'aide et interagir avec les humains. Par conséquent SCP doit satisfaire à certaines exigences, notamment la qualité et la sécurité.L'objectif de ce stage est de réaliser l'adoption de techniques d'analyse de la sécurité et de l'auto-adaptation par des agents pour améliorer la qualité des SCP. Le stagiaire mettra en ?uvre une méthode qui se étend des modes de défaillance classique, Effets et de leur Criticité à développer l'auto-adaptable sécurité SCP. Il y a la possibilité de approfondir le sujet (ou un sujet dans le contexte) en thèse après le stage.

Informatique pour la biomécanique expérimentale

DIASI/LIST/LSI

Informatique - Informatique

Saclay

Région parisienne (91)

6 mois

Ingénieur/Master

3350437

Les candidatures doivent être adressées par email et sous forme d'un CV et d'une lettre de motivation détaillant les compétences à :
CEA Grenoble

17 rue des martyrs
38054 Grenoble
e-mail : xavier.merlhiot@cea.fr

Dans le cadre d'une campagne expérimentale en biomécanique portant sur la caractérisation et la modélisation des doigts humains, nous proposons un stage à dominante numérique au sein du CEA de Saclay. L'ensemble des expériences de cette campagne sera réalisé sous IRM en imposant des sollicitations mécaniques à la pulpe des doigts dans le but de mieux caractériser le comportement de la pulpe lors de tâches de manipulation fines. L'IRM fournira des images volumiques dont l'exploitation passe par la reconstruction de certaines structures anatomiques : peau, os, ongle... Le stage consiste à développer un ensemble de méthode adapté à la nature de cette expérience permettant de remonter aux grandeurs physiques d'intérêt pour le mécanicien (déplacement des différentes structures, déformation de la peau, position de l'os...) en fonction des différents chargements mécaniques. Dans la seconde partie du stage, l'étudiant appliquera les outils et méthodes qu'il aura développés au traitement du corpus de résultats. La programmation du post-traitement nécessite des connaissances avant tout en informatique, et en traitement de l'image. L'étudiant devra faire preuve de rigueur et d'organisation.% pour réaliser les nombreux essais que comporte cette campagne. Profil recherché : Informatique, Traitement d'image, traitement du signal, étudiant rigoureux, sérieux, organisé \\ Un intérêt pour la biomécanique et le traitement d'images médicales sera apprécié Encadrants : Xavier Merlhiot, Jérémy Dallard

Réalité virtuelle et nuage de points pour le Manufacturing

DIASI/LSI

Informatique - Informatique

Saclay

Région parisienne (91)

6 mois

Ingénieur/Master

3345623

Les candidatures doivent être adressées par email et sous forme d'un CV et d'une lettre de motivation détaillant les compétences à :
CEA Grenoble

17 rue des martyrs
38054 Grenoble
e-mail : claude.andriot@cea.fr

Au sein de la Direction de la Recherche Technologique du CEA, le LIST (Laboratoire d'Intégration des Systèmes et des Technologies qui regroupe environ 700 chercheurs) fait évoluer la technologie des systèmes complexes afin de soutenir les entreprises françaises et européennes dans leurs domaines d'activité. Les applications des technologies de Réalité Virtuelle sont nombreuses, en particulier dans le domaine du Manufacturing. Le stage proposé s'adresse à un élève ingénieur en robotique et informatique qui rejoindra l'équipe projet pour participer à la conception et à la mise au point d'un logiciel permettant d'interagir en Réalité Virtuelle avec un environnement industriel modélisé par nuage de points via un un système de type Kinect V2 afin de réaliser par exemple des études d'accessibilité ou d'ergonomie. Outre l'aspect développement informatique et robotique, ce stage est une opportunité d'aborder les usages de la réalité virtuelle pour des applications industrielles.

Réalisation d'une IHM pour un démonstrateur pour le diagnostic filaire embarqué

DACLE/LFSE

Informatique - Informatique

Saclay

Région parisienne (91)

6 mois

Ingénieur/Master

3339898

Les candidatures doivent être adressées par email et sous forme d'un CV et d'une lettre de motivation détaillant les compétences à :
CEA Grenoble

17 rue des martyrs
38054 Grenoble
e-mail : luca.incarbone@cea.fr

La présence de plus en plus massive des technologies dans les moyens de transport modernes implique la présence de réseaux de câbles complexes. Le vieillissement de ces câbles entraîne un risque important de défaillances liées à des défauts de connexions électriques. C'est pourquoi le CEA LIST travaille sur des solutions de diagnostic de câbles embarquées destinées à signaler ou même prédire en temps réel de telles défaillances. La méthode utilisée pour ce type de diagnostic est la réflectométrie basée sur l'injection de signaux électriques hautes fréquences. Cette méthode permet de localiser, dans un réseau, des défauts francs (court-circuit ou circuits-ouverts) ou non francs (vieillissement). Dans un réseau complexe, pour avoir une localisation univoque d'un défaut, plusieurs réflectomètres connectés à différents endroits sont nécessaires. L'objectif est de réaliser une interface graphique (IHM) capable de mettre en évidence de façon simple les résultats de localisation du défaut dans le câblage. Cette IHM s'exécutera sur une tablette Android et s'intégrera à un démonstrateur qui aura pour vocation d'être présenté à des industriels et des académiques. Le travail proposé ici consistera dans un premier temps à analyser le fonctionnement du démonstrateur, ensuite à proposer des scénarios pour la démonstration, et enfin à réaliser une IHM adaptée au problème pour l'environnement Android. Une approche de type réalité augmentée est envisageable pour rendre le démonstrateur plus agréable et interactif. Le candidat doit être dynamique et avoir des aptitudes pour le développement et l’innovation.La connaissance du VB.NET et de la programmation sur micro-contrôleur est un plus.

Outils de conversion CAO pour des capteurs industriels

DISC/LDI

Informatique - Informatique

Saclay

Région parisienne (91)

6 mois

Ingénieur/Master

3338449

Les candidatures doivent être adressées par email et sous forme d'un CV et d'une lettre de motivation détaillant les compétences à :
CEA Grenoble

17 rue des martyrs
38054 Grenoble
e-mail : thibaud.fortuna@cea.fr

Le Département Imagerie et Simulation pour le Contrôle développe la plate-forme CIVA (http://www-civa.cea.fr), logiciel dédié à la simulation du contrôle non destructif de pièces industrielles. La configuration d'une scène de contrôle nécessite d'intervenir sur un grand nombre de paramètres, permettant de définir les différents composants (capteurs, pièce, défauts). La géométrie de ces composants est modélisée sous deux formes : par une description B-Rep OpenCascade et par une description B-Rep adaptée au modèle de calcul. L'objectif du stage est de proposer une solution de conversion automatique entre ces deux descriptions, en s'appuyant sur une analyse de la description OpenCascade. Puis de mettre en application cette conversion en modélisant de nouveaux capteurs CAO. Travail proposé :Modélisation de capteurs CAO en utilisant une description B-Rep OpenCascade.Développement et intégration d'une solution de conversion entre les deux descriptions B-Rep, en s'appuyant sur une analyse fine de la description OpenCascade. Application de cette solution aux nouveaux capteurs modélisés.

Voir toutes nos offres