From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id E4B18BB9C for ; Fri, 23 Dec 2005 16:57:33 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id jBNFvXG7016917 for ; Fri, 23 Dec 2005 16:57:33 +0100 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id QAA20785 for ; Fri, 23 Dec 2005 16:57:33 +0100 (MET) Received: from smtp6.clb.oleane.net (smtp6.clb.oleane.net [213.56.31.26]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id jBNFvWDc016914 for ; Fri, 23 Dec 2005 16:57:32 +0100 Received: from [192.168.12.203] (49-48.206-83.static-ip.oleane.fr [83.206.48.49]) (authenticated) by smtp6.clb.oleane.net with ESMTP id jBNFvVml008581; Fri, 23 Dec 2005 16:57:31 +0100 Message-ID: <43AC1E6B.3060809@amesim.com> Date: Fri, 23 Dec 2005 16:57:31 +0100 From: =?windows-1252?Q?S=E9bastien_Furic?= User-Agent: Mozilla Thunderbird 1.0.7 (X11/20050923) X-Accept-Language: en-us, en MIME-Version: 1.0 To: caml-list@inria.fr Cc: Marc Alirand , "'Philippe Pralus'" , loustalot@amesim.com, David Gagne , Denis Fargeton Subject: Proposition de stage - Societe Imagine Content-Type: text/plain; charset=windows-1252; format=flowed Content-Transfer-Encoding: 8bit X-Miltered: at nez-perce with ID 43AC1E6D.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 43AC1E6C.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; furic:01 furic:01 compilation:01 compilation:01 paradigmes:01 compilateurs:01 integrant:01 potentielle:01 d'examiner:01 evaluer:01 l'impact:01 lexicale:01 implanter:01 semantique:01 clientele:98 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 Bonjour, La société Imagine (http://www.amesim.com), propose un stage dans le domaine de la compilation pour des étudiants de niveau ingénieur. Le descriptif de la société ainsi que le sujet du stage sont disponibles à la fin de ce mél. Si vous avez des questions, n'hésitez pas prendre contact avec moi ou notre chargé des relations universitaires, Dr Marc Alirand (alirand@amesim.com, 04 77 23 60 30). Merci de votre attention. Cordialement, Sébastien FURIC R&D Engineer IMAGINE SA Advanced Tools & Expertise in Systems Engineering CONSULTING - TRAINING - SIMULATION SOFTWARE AMESim(r) Visit our Web site http://www.amesim.com IMAGINE - 5, rue Brison - 42300 Roanne - France Tel: +33 4 77 23 74 31 Fax: +33 4 77 23 60 31 -------------------------------------------------------------------- SUJET : Spécification, conception et implantation d'un traducteur du langage VHDL-AMS vers le langage Modelica NIVEAU REQUIS : * Niveau ingénieur * Très bonnes connaissances générales en matière de compilation des langages de programmation * Maîtrise des paradigmes objet et fonctionnel (en particulier, connaissance du langage de programmation Objective Caml) * Expérience en utilisation d'outils de développement de compilateurs * Esprit créatif et goût pour le travail en équipe * Anglais nécessaire PERIODE & INDEMNISATION : * 5 mois sur 2006 * 30% smic (330 € net/mois) + frais (prime d’hébergement 380 €) Total 710 € LIEU : IMAGINE – Roanne (Loire, à 80 km de Lyon) CONTACTS * Responsable Technique : Sébastien FURIC (04 77 23 60 31, furic@amesim.com) * Service du Personnel : Philippe PRALUS (04 77 23 60 30, pralus@amesim.com * Relations Universités/Ecoles : Marc ALIRAND (04 77 23 60 30, alirand@amesim.com) SUJET DE STAGE POUR UNE PERIODE DE 5 MOIS : La société IMAGINE est depuis longtemps spécialisée en simulation des systèmes dynamique et développe le logiciel de simulation dynamique 1D AMESim® largement utilisé dans les secteurs aéronautique et automobile. Le logiciel permet une approche macroscopique multi-domaine grâce à de nombreuses bibliothèques. Auparavant orienté hydraulique et mécanique, le logiciel s'est ensuite diversifié, intégrant diverses bibliothèques métiers (pneumatique, thermodynamique, électromagnétisme, systèmes de refroidissement, transmission de puissance…). Plus récemment, la société IMAGINE a entrepris une démarche d'intégration du langage de description de systèmes hybrides Modelica dans AMESim® pour couvrir les besoins en modélisation dite « acausale » (Cf. http://www.modelica.org). Cependant, certains clients (et prospects) d'IMAGINE utilisent pour le développement de leurs modèles hybrides le langage VHDL-AMS, issu d'une extension du langage de description de circuits électroniques VHDL. La société IMAGINE, ne voulant pas réduire sa clientèle potentielle par une adhésion exclusive au langage Modelica, a décidé d'examiner la possibilité de supporter des modèles écrits en langage VHDL-AMS. Deux grandes tâches seront à réaliser : * Dresser un comparatif des langages Modelica et VHDL-AMS et évaluer l'impact du support de VHDL-AMS sur l'environnement Modelica en cours de développement * Développer en Objective Caml un traducteur de VHDL-AMS vers Modelica Les buts de ce stage sont : * Comprendre et décrire les difficultés liées à l'intégration d'un nouveau langage dédié à la simulation hybride dans l'environnement AMESim® * Faire l'analyse lexicale et grammaticale du langage VHDL-AMS * Implanter l'analyse sémantique d'un sous-ensemble jugé « intéressant » du langage VHDL-AMS ainsi qu'un générateur de code vers le langage Modelica Envoyer curriculum vitae et lettre de motivation par courrier ou par mél directement au Responsable Technique du stage. Référence : PT0106CS