Nos Stages par théme
Résultats / Travaux
Pour avoir une vision globale des actions de ressourcement menées à la DRT, vous pouvez télécharger les documents ici.
Optimization of the FDK reconstruction algorithm on GPU
The CIVA software is a simulation platform developed at CEA LIST for three NDT/NDE (non-destructive testing / non-destructive evaluation) techniques: ultrasonic, Eddy currents and X-ray imaging. The computed tomography module (CIVA tomo) includes the realistic simulation of the projection data and the reconstruction of the projections into a volume. The development of various reconstruction algorithms is an important subject of our laboratory. The FDK algorithm [1] plays an important role in this field as a reference for the analytical reconstruction algorithms. In this context we aim to optimize our implementation of the algorithm by transferring the computation load onto GPUs. In a first phase the direct transfer of the existing code onto the GPU architecture should be done through CUDA. Then a transfer to GPU through OpenCL will be evaluated. The third phase will consist of the actual optimization of the code in order to improve the computation time and to reduce the memory load. All the results will be validated against the existing code and the outcome will be evaluated through benchmarks. [1] L.A. Feldkamp, I.C. Davis, J.W. Kress. Practical cone-beam algorithm. J. Opt. Soc. Am. A, 1(6):612 - 619, 1984.
Voir le résumé de l'offreCEA Saclay
Laurence LOURS, DRHRS / SCP / BSLDE
Bat 524
91191 Gif-sur-Yvette cedex
e-mail : stages@cea.fr
Optimization of the FDK reconstruction algorithm on GPU
The CIVA software is a simulation platform developed at CEA LIST for three NDT/NDE (non-destructive testing / non-destructive evaluation) techniques: ultrasonic, Eddy currents and X-ray imaging. The computed tomography module (CIVA tomo) includes the realistic simulation of the projection data and the reconstruction of the projections into a volume. The development of various reconstruction algorithms is an important subject of our laboratory. The FDK algorithm [1] plays an important role in this field as a reference for the analytical reconstruction algorithms. In this context we aim to optimize our implementation of the algorithm by transferring the computation load onto GPUs. In a first phase the direct transfer of the existing code onto the GPU architecture should be done through CUDA. Then a transfer to GPU through OpenCL will be evaluated. The third phase will consist of the actual optimization of the code in order to improve the computation time and to reduce the memory load. All the results will be validated against the existing code and the outcome will be evaluated through benchmarks. [1] L.A. Feldkamp, I.C. Davis, J.W. Kress. Practical cone-beam algorithm. J. Opt. Soc. Am. A, 1(6):612 - 619, 1984.
Voir le résumé de l'offreCEA Saclay
Laurence LOURS, DRHRS / SCP / BSLDE
Bat 524
91191 Gif-sur-Yvette cedex
e-mail : stages@cea.fr
Adaptation des comportements d'un robot à l'environnement.
Depuis plusieurs années le CEA développe des compétences sur la conception de robots, leur commande et leur supervision. Au cours des années précédentes un générateur de plan d'action a été mis en place ainsi qu'une représentation des connaissances a été établie. Ce stage est une contribution à rendre la génération de plan d'action automatique c'est-à-dire générer le plan d'action en fonction de l'interprétation de l'état courant issus du raisonnement de la représentation des connaissances. Le développement de cette fonction s'inscrit dans le cadre de la Compréhension dynamique du contexte pour l'aide aux opérateurs en robotique. Pour la mise en ?uvre de cette fonctionnalité, le stage s'appuiera sur la programmation par contrainte : Planning Domain Definition Language (pddl domaine ; pddl problème) et sur la manière de générer des plans d'action. On utilisera les outils :· Robot d'assistance SAM (Smart Autonomous Major-domo)· Environnement logiciel Aviso Ces tâches seront mises en ?uvre sur le robot SAM, mobile sur lequel est installé un bras manipulateur adapté au besoin des personnes handicapées. Le stage comportera trois étapes : état de l'art, recherche, implémentation, tests et validation des méthodes employées. Les algorithmes utilisés seront codés en C++ et insérés dans les codes sources du laboratoire. Selon l'innovation et les résultats, possibilité de proposition de publication.
Voir le résumé de l'offreCEA Saclay
Laurence LOURS, DRHRS / SCP / BSLDE
Bat 524
91191 Gif-sur-Yvette cedex
e-mail : stages@cea.fr
Développement d'un plugin Frama-C d’aide à l’élaboration de la pré-condition
Cadre du stage : 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 des outils d'aide à la validation et à la vérification de logiciels et de systèmes matériels/logiciels. Le LSL a développé la plateforme Frama-C (frama-c.com) d'accueil d'outils d'analyse de code source C, ainsi que différents outils d'analyse statique et dynamique sous forme de plugins de cette plateforme. Objectifs du stage : L'objectif du stage est de développer un plugin Frama-C pour aider les utilisateurs à formuler la pré-condition de la fonction C à analyser. Ce plugin servira notamment à l'outil de génération automatique de cas de test PathCrawler. PathCrawler est un plugin de Frama-C qui dispose actuellement de sa propre IHM graphique pour l'élaboration de la pré-condition, voir pathcrawler-online.com. Le plugin à développer permettrait de remplacer cette IHM dans le cas d'analyses effectuées par une collaboration entre PathCrawler et un autre plugin de Frama-C. Dans un premier temps, le nouveau plugin aurait une IHM purement textuelle.
Voir le résumé de l'offreCEA Saclay
Laurence LOURS, DRHRS / SCP / BSLDE
Bat 524
91191 Gif-sur-Yvette cedex
e-mail : stages@cea.fr
Développement d'un démonstrateur de génération de tests pour compléter la couverture du code source
Cadre du stage : 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 des outils d'aide à la validation et à la vérification de logiciels et de systèmes matériels/logiciels. L'un des nos outils, nommé PathCrawler, permet de générer des cas de test et de les exécuter afin d'activer tous les chemins d'exécution possibles d'un programme C. Il utilise une instrumentation fine du programme sous test, le traduit vers un ensemble de contraintes et applique une stratégie spécifique de parcours et de résolution de contraintes à l'aide de la programmation logique par contraintes. Objectifs du stage : L'objectif du stage est de développer un démonstrateur d'une application de PathCrawler souvent évoquée par des utilisateurs potentiels. Il s'agit d'utiliser PathCrawler pour compléter la couverture d'un jeu de tests existant. Etant données le code sous test et un jeu de tests, il faudrait générer des tests supplémentaires permettant de satisfaire un critère de couverture du code source. Il s'agit de concevoir, d'implémenter et de tester:l La saisie d'un jeu de tests existantl La modification de la stratégie de résolution des contraintes pour prendre en compte ces testsl Les extensions nécessaires de l'interface utilisateur.
Voir le résumé de l'offreCEA Saclay
Laurence LOURS, DRHRS / SCP / BSLDE
Bat 524
91191 Gif-sur-Yvette cedex
e-mail : stages@cea.fr
Mise en conformité OSLC et REST d’un service de test de logiciels
Cadre du stage : 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 des outils d'aide à la validation et à la vérification de logiciels et de systèmes matériels/logiciels. L'un des nos outils, nommé PathCrawler, permet de générer des cas de test et de les exécuter afin d'activer tous les chemins d'exécution possibles d'un programme C. Il utilise une instrumentation fine du programme sous test, le traduit vers un ensemble de contraintes et applique une stratégie spécifique de parcours et de résolution de contraintes à l'aide de la programmation logique par contraintes. Cet outil existe sous la forme d'un service web : PathCrawler-online.com. Le client soumet le code source à tester et le service propose un formulaire dans une page web lui permettant de définir les paramètres de test. Les cas de test sont automatiquement générés et exécutés par le serveur, qui affiche les résultats sur des pages du site web. Objectifs du stage : L'objectif du stage est d'assurer la mise en conformité OSLC et REST du service web PathCrawler-online. D'une part, il faudrait définir les entrées/sorties de PathCrawler-online sous forme de ressources OSLC. D'autre part, il faudrait définir des requêtes REST permettant de communiquer avec PathCrawler-online sans passer par les interfaces homme-machine graphiques actuelles. Ensuite, il faudrait réaliser les transformations des données dans les formats définis, les intégrer à PathCrawler-online et les valider. La réalisation d'une bonne documentation, en anglais, sera indispensable.
Voir le résumé de l'offreCEA Saclay
Laurence LOURS, DRHRS / SCP / BSLDE
Bat 524
91191 Gif-sur-Yvette cedex
e-mail : stages@cea.fr
