Direction scientifique
Transfert de connaissances vers l'industrie

Programme de stages

Informatique >> Génie logiciel
6 proposition(s).

Intégration d'un système à base de connaissances pour la mise en cohérence d'un modèle de données.

LIST/DISC/LDI

Informatique - Génie logiciel

Saclay

Région parisienne (91)

Ingénieur

3361960

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.tardif@cea.fr

Le Département Instrumentation des Systèmes et Contrôles développe la plate-forme CIVA (http://www-civa.cea.fr), dédiée à la simulation du contrôle non destructif de pièces industrielles. Ce logiciel scientifique propose différents modules de simulation pour les différentes techniques de contrôle (ultrasons, courant de Foucault, radiographie), et de nombreux outils de traitements et d'imagerie pour l'analyse des données expérimentales ou simulées. Ce stage s'intéresse plus particulièrement au modèle de configuration. Celui-ci est maintenu cohérent et bridé grâce au pattern Mediator. Au fur et à mesure de l'évolution de CIVA plusieurs problèmes ont été mis en évidence : - Complexité du système : La complexité du système est devenue telle qu'il n'est plus possible pour une seule personne d'appréhender l'intégralité des règles de cohérence.- Difficultés de maintenabilité : Intervenir sur le système (pour évolution ou correction) sans être certain de ne pas provoquer de conflit dans les règles de cohérences est impossible.- Rétro-engineering impossible : Fournir les règles de cohérences appliquées pour une modification donnée demande de rentrer dans le code en debug et de tracer les cohérences appliquées.- Documentation : Pouvoir fournir aux utilisateurs une liste des règles de cohérences appliquées serait un gros plus. Et une garantie de la rigueur de notre modèle de donnée.Ce stage a pour but de réaliser une maquette utilisant un système à base de connaissance DROOLS pour modéliser et appliquer les règles de mise en cohérence du modèle.Cette maquette devra permettre de valider un modèle dans un état donné et fournir les règles enfreintes si tel n'est pas le cas. Elle devra permettre une amélioration des problèmes listés plus haut. A l'issu de la validation de cette maquette, ce stage pourra comprendre l'industrialisation de cette maquette par son intégration dans plusieurs sous-modules du modèle de configuration.

Approche dirigée par les modèles pour le développement d'applications orientées services

DILS/LISE

Informatique - Génie logiciel

Saclay

Région parisienne (91)

4 à 6 mois

Ingénieur/Master

3361167

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 : saadia.dhouib@cea.fr

L'architecture dirigée par les modèles ou MDA (Model Driven Architecture) est une démarche répandue pour gérer la complexité des systèmes distribués. Elle se base sur deux principes très importants dans le développement logiciel : l'abstraction et l'automatisation.L'abstraction permet de raisonner à un niveau où on exclut certains détails du système. L'idée de base est de représenter un système en utilisant un ou plusieurs modèles, afin d'en exprimer la structure et le comportement. L'automatisation consiste à exploiter ces modèles de manière outillée, pour la génération et le déploiement de ces systèmes, afin de limiter les risques d'erreurs et pour réduire les coûts de développement.Ce stage a pour objectif de développer et de tester un outillage informatique qui implémente une démarche d'ingénierie dirigée par les modèles, pour réduire l'écart entre les phases de conception, de développement (codage) et de déploiement de services Web. Cet outil sera développé sous la forme d'un plugin Eclipse et intégré à l'outil de modélisation Papyrus [1]. Le sujet proposé s'inscrit dans le cadre d'une thèse au sein de l'équipe LISE (Laboratoire d'Ingénierie dirigée par les modèles pour les Systèmes Embarqués) du LIST/DILS au CEA SACLAY NANO-INNOV. Les taches de ce sujet de stage sont les suivantes :1- Familiarisation avec l'environnement de modélisation SoaML [2] et l'environnement de développement des web service et de composition de services BPEL [3]. 2- Conception et développement d'un générateur de code SoaML vers services Web. Le générateur permettra la génération des éléments suivants: (1) les services fonctionnels (WSDL, XSD) à partir de l'architecture du système (les participants et les interfaces de services), (2) les compositions de services (BPEL) à partir des chorégraphies SoaML. L'outil de développement du générateur de code sera basé sur QVTo et Xtend2.3- Validation du générateur de code sur une application logicielle qui sera modélisée dans SoaML et déployée automatiquement sur des Serveurs web.[1] http://eclipse.org/papyrus/[2] Object Management Group, “Service oriented architecture modelinglanguage (soaml),” 2012, http://www.omg.org/spec/SoaML/[3] http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.html

Approche dirigée par les modèles pour le développement d'applications orientées services

DILS/LISE

Informatique - Génie logiciel

Saclay

Région parisienne (91)

4 à 6 mois

Ingénieur/Master

3361166

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 : saadia.dhouib@cea.fr

L'architecture dirigée par les modèles ou MDA (Model Driven Architecture) est une démarche répandue pour gérer la complexité des systèmes distribués. Elle se base sur deux principes très importants dans le développement logiciel : l'abstraction et l'automatisation.L'abstraction permet de raisonner à un niveau où on exclut certains détails du système. L'idée de base est de représenter un système en utilisant un ou plusieurs modèles, afin d'en exprimer la structure et le comportement. L'automatisation consiste à exploiter ces modèles de manière outillée, pour la génération et le déploiement de ces systèmes, afin de limiter les risques d'erreurs et pour réduire les coûts de développement.Ce stage a pour objectif de développer et de tester un outillage informatique qui implémente une démarche d'ingénierie dirigée par les modèles, pour réduire l'écart entre les phases de conception, de développement (codage) et de déploiement de services Web. Cet outil sera développé sous la forme d'un plugin Eclipse et intégré à l'outil de modélisation Papyrus [1]. Le sujet proposé s'inscrit dans le cadre d'une thèse au sein de l'équipe LISE (Laboratoire d'Ingénierie dirigée par les modèles pour les Systèmes Embarqués) du LIST/DILS au CEA SACLAY NANO-INNOV. Les taches de ce sujet de stage sont les suivantes :1- Familiarisation avec l'environnement de modélisation SoaML [2] et l'environnement de développement des web service et de composition de services BPEL [3]. 2- Conception et développement d'un générateur de code SoaML vers services Web. Le générateur permettra la génération des éléments suivants: (1) les services fonctionnels (WSDL, XSD) à partir de l'architecture du système (les participants et les interfaces de services), (2) les compositions de services (BPEL) à partir des chorégraphies SoaML. L'outil de développement du générateur de code sera basé sur QVTo et Xtend2.3- Validation du générateur de code sur une application logicielle qui sera modélisée dans SoaML et déployée automatiquement sur des Serveurs web.[1] http://eclipse.org/papyrus/[2] Object Management Group, “Service oriented architecture modelinglanguage (soaml),” 2012, http://www.omg.org/spec/SoaML/[3] http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.html

Développement d'algorithmes de cryptographie en GPU

DSIS/STCS/LSOC

Informatique - Génie logiciel

Grenoble

Région Rhône-Alpes (38)

6 mois

Ingénieur/Master

3359849

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 : florian.pebay@cea.fr

Le laboratoire LSOC mène des activités de sécurité pour les objets connectés et l'internet des objets. Dans le cadre de cette activité, le laboratoire souhaite évaluer les performances des algorithmes cryptographiques embarqués dans les GPU. Le travail du stage consiste d'abord à sélectionner un ou plusieurs crypto-systèmes (AES, RSA ou ECC par exemple) comme candidat à l'implémentation sur GP-GPU. Les GPU permettant d'optimiser les calculs avec des architectures massivement parallèles, les algorithmes sélectionnés devront être compatibles avec cette approche. Dans un second temps le candidat portera et développera les algorithmes sélectionnés sur GPU en utilisant la plateforme d'abstraction matérielle OpenCL. Le candidat validera ses développements de manière fonctionnelle. Dans un dernier temps, le candidat réalisera une étude comparative des performances des algorithmes, notamment en termes de sécurité.

Model-based safety analysis based on standards.

DILS/LISE

Informatique - Génie logiciel

Saclay

Région parisienne (91)

6 mois

Ingénieur/Master

3353981

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 : nataliya.yakymets@cea.fr

The LISE lab (Laboratory for Model Driven Engineering of Embedded Systems), which is part of CEA-List research laboratories in France (http://www-list.cea.fr/), is conducting core research in the application of model-driven engineering methods and tools to the development of complex cyber-physical systems including, notably, Papyrus [1], the UML modeling tool supported through the Eclipse Foundation, Sophia [2], the Papyrus extension for model-based safety analysis, Moka [3], the Papyrus extension for execution of UML models, and Papyrus extension for business process modeling BPMN.Modern cyber-physical systems must satisfy certain requirements including safety. Safety standards indicate the content and life-cycle of safety assessment related to different domains but the guidelines described in those standards can significantly benefit from tighter coupling with model-based environments. In this context, CEA has an opening for stage on the development of methods and algorithms for model-based safety analysis of automotive systems in Papyrus based on ISO26262. The scope of the stage includes several objectives:- Propose a method to perform safety analysis based on safety life-cycle recommended in ISO26262 suitable for representation with BPMN and simulation with Moka tool.- Using Sophia environment, develop a tool to implement the proposed method and provide an interactive guideline for safety analysis based on ISO26262.The candidate should have a strong background in computer science, as well as good Java programming skills. The knowledge of model-base engineering, safety concepts, BPMN, UML/SysML/fUML, Eclipse, Papyrus modeling platform would also be useful.References : [1] Papyrus web page, available at: http://www.eclipse.org/modeling/mdt/papyrus/[2] N. Yakymets, S. Dhouib, H. Jaber, A. Lanusse, “Model-Driven Safety Assessment of Robotic Systems,” 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS'2013, November 3-7, Tokyo, Japan, 2013.[3] Formalizing Execution Semantics of UML Profiles with fUML Models. MODELS 2014. Tatibouet, J., Cuccuru, A., Gérard, S., & Terrier, F. (2014).

Modélisation et simulation de comportements dysfonctionnes du système en utilisant machines à états.

DILS/LISE

Informatique - Génie logiciel

Saclay

Région parisienne (91)

6 mois

Ingénieur/Master

3351208

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 : nataliya.yakymets@cea.fr

Le LISE (Laboratoire d'ingénierie dirigée par les modèles pour les systèmes embarqués), intégré à l'institut CEA LIST (http://www-list.cea.fr/), conduit des activités de recherche et développement sur l'application de méthodes et outils d'ingénierie dirigée par les modèles pour le développement des systèmes physiques. Cela inclue notamment Papyrus [1], l'outil de modélisation UML de la fondation Eclipse, Sophia [2], l'extension de Papyrus pour l'analyse de sûreté dirigée par les modèles, et Moka [3], l'extension de Papyrus pour l'exécution de modèles UML.Les systèmes cyber-physiques modernes doivent satisfaire un certain nombre d'exigences, et notamment des exigences de sûreté. La modélisation et l'analyse des comportements du système permettent d'identifier et d'éviter des dysfonctionnements, dès les premières phases de développement du système.Dans ce contexte, le CEA propose un stage sur le développement de méthodes et algorithmes pour la modélisation de comportements dysfonctionnels dans l'outil Papyrus, à l'aide de machines à états. Cela inclue les objectifs suivants :- Proposer une méthodologie pour spécifier les comportements dysfonctionnels du système en utilisant UML et SysML. Les modèles produits devront être simulable avec l'outil Moka.- Développer un outil pour implémenter la méthodologie proposée et simuler les comportements dysfonctionnels du système.Le candidat devra avoir un fort background en informatique, ainsi que des compétences solides en programmation Java. La maîtrise des concepts relatifs au MBSE (Model-Based Safety Engineering), UML/SysML/fUML, Eclipse, et la platforme de modélisation Papyrus seront un plus apprécié. References : [1] Papyrus web page, available at: http://www.eclipse.org/modeling/mdt/papyrus/[2] N. Yakymets, S. Dhouib, H. Jaber, A. Lanusse, “Model-Driven Safety Assessment of Robotic Systems,” 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS'2013, November 3-7, Tokyo, Japan, 2013.[3] Formalizing Execution Semantics of UML Profiles with fUML Models. MODELS 2014. Tatibouet, J., Cuccuru, A., Gérard, S., & Terrier, F. (2014).

Voir toutes nos offres