Mars 2003 Numéro 14. EDITORIAL Système et Processus. Gilles Motet (Directeur du Lesia)

Transcription

1 EDITORIA Système et Processus a majeure partie des activités de recherche conduites au ESIA traite de l'étude des systèmes : conception de nouveaux moyens de modélisation, proposition de nouvelles techniques d'évaluation des modèles, élaboration de nouvelles technologies de mise en œuvre, etc. Si ces études fondamentales sont nécessaires, elles ne sont pas suffisantes et oublient souvent une composante essentielle : un système (ses modèles ou son implantation) a besoin d'être créé. Cette création est parfois automatisable (cf. par exemple, les travaux du ESIA sur l'identification génétique), mais est plus souvent le fruit d'une activité humaine de développement. es caractéristiques des systèmes (qualité, fiabilité, robustesse, adaptabilité, etc.) sont alors fortement dépendantes du processus utilisé pour conduire cette activité. Si le processus de développement peut être l'objet d'études spécifiques, processus et systèmes doivent être plus généralement associés. Ainsi, les travaux de recherche conduits au ESIA dans le domaine de la robotique médicale combinent-ils des études sur des technologies de mise en œuvre compliantes (muscles artificiels) à des travaux sur les processus de développement et d'évaluation des dispositifs de contrôle-commande basés sur UM. Ces deux volets sont en effet indispensables pour assurer l absence de dommages causés par ces systèmes. De même, le projet intitulé UM & certification étudie non seulement la technologie UM et les moyens d'évaluation des modèles UM mais propose aussi des guides de développement pour aider au processus de modélisation. Dans le domaine de l'électronique, les règles de conception proposées pour réduire l'émission de champs électromagnétiques des composants ou pour prévenir ou détecter les dysfonctionnements des systèmes électroniques dus à ces champs, allient aussi processus et système. Gilles Motet (Directeur du esia) SOMMAIRE Editorial page 1 EMC Compo 02 page 2 Enrique amoureux obtient page 2 un prix de la SEE Bienvenue au ESIA page 2 Certification des systèmes page 5 informatiques NF ogiciel page 5 UM & Certification page 5 Technologie Java page 5 inux embarqué page 5 es génies du génétique page 6 Babar agressé page 6 Projet ROMS page 6 Crytographie chaotique page 7 Crytographie à courbes page 7 elliptiques Un Picasso au ESIA page 7 Séminaire sur les page 7 cryptosystèmes Bifurcation appliquées page 8 Ubicus page 8 Publications 2002 page 9 Composition ESIA page 10 Institut National des Sciences Appliquées - Département Génie Electrique & Informatique Page 1 sur 10

2 EMC COMPO 02 Vue de l assemblée à EMC Compo 02 e ESIA a organisé, en coopération avec l'ierset ( les 14 et 15 novembre 2002 à l'hotel ATRIA, Toulouse, le 3 ème Workshop International sur la Compatibilité Electromagnétique des Circuits Intégrés (EMC Compo 02). Cet événement a attiré environ 80 spécialistes français, européens, américains, et asiatiques de ce domaine, autant du secteur industriel qu académique. Cet événement fait suite aux éditions de janvier 1999 et de juin 2000, organisées elles aussi par le ESIA - INSA et l IERSET. ENRIQUE AMOUREUX OBTIENT UN PRIX DE A SEE E nrique amoureux, étudiant de 5ème MMM promotion 2001/2002 de l INSA a obtenu le prix EADS dans le cadre du concours organisé fin décembre 2002 par la société savante SEE Midi- Pyrénées pour les meilleurs rapports de diplôme d'ingénieurs. e prix, d'une valeur de 500 euros a été remis par M. Denis GRIOT, Directeur de Motorola Europe. Deux autres prix ont été décernés (Prix SEE pour un candidat de l'ups, prix Motorola pour un candidat de l'eni Tarbes). Enrique amoureux poursuit avec une thèse CIFRE au ESIA en partenariat avec EADS-CCR et Airbus, des travaux sur la Susceptibilité des circuits intégrés aux ultrahautes fréquences. BIENVENUE AU ESIA De gauche à droite : Ross Carlton (Motorola USA), Etienne SICARD (ESIA), Bob Ross (Mentor Graphics) Plus d informations : ucien BENETEAU ucien BENETEAU, professeur au Département de Génie Mathématique et Modélisation de l'insa, a rejoint le ESIA depuis septembre Il collaborait depuis deux ans au groupe SYD sur le projet Cryptographie Chaotique. Ses compétences dans le domaine de la cryptographie classique et par fonctions elliptiques se sont révélées utiles au groupe pour développer ce sujet. beneteau@insa-tlse.fr Tél : Pièce 04 au GMM Institut National des Sciences Appliquées - Département Génie Electrique & Informatique Page 2 sur 10

3 M Munzer ABOU HASHISH unzer ABOU HASHISH est étudiant en thèse au Département de Génie Mathématique et Modélisation de l'insa, sous la direction de ucien BENETEAU. De nationalité Palestinienne, il conduit des recherches sur les courbes elliptiques généralisées, pour application à la cryptographie. a soutenance de thèse est prévue en Hashish@gmm.insa-tlse.fr Tél : Pièce 106 au GMM. E Enrique AMOUREUX nrique AMOUREUX a débuté une thèse encadrée par Etienne SICARD, financée par une bouse CIFRE avec EADS. Ses travaux portent sur la susceptibilité rayonnée des composants logiques. e but est de mieux comprendre le couplage entre onde incidente et circuit intégré. Enrique.lamoureux@eads.net /~lamoureux Tél : Pièce 217 au DGEI M Mustapha HEDABOU ustapha HEDABOU est étudiant en thèse au Département de Génie Mathématique et Modélisation de l'insa, sous la direction de ucien BENETEAU. Il conduit des recherches sur les cryptosystèmes basés sur les courbes elliptiques, traitées d'un point de vue plutôt pratique, en vue d'une implantation réelle. Inscrit en 1ère année de thèse, il rejoint le ESIA dans le groupe Systèmes Dynamiques. hedabou@gmm.insa-tlse.fr Tél : Pièce 105 au GMM. S Samira MERABTI amira MERABTI titulaire d un BTS Assistant de Direction, a été choisie pour occuper le poste de secrétaire du laboratoire. merabti@insa-tlse.fr Tél : Secrétariat de Direction au DGEI Institut National des Sciences Appliquées - Département Génie Electrique & Informatique Page 3 sur 10

4 Informatiques de l Ecole Doctorale Systèmes de Toulouse en jpseuma@insa-tlse.fr Tél : Pièce 219 au DGEI A Ayumi OKAMOTO yumi OKAMOTO, consultante à EADS-CCR (Centre Commun de Recherches) est détachée au ESIA à partir du 13 Janvier 2003 jusqu en Octobre 2003 pour travailler avec Sonia BENDHIA et Etienne SICARD sur le projet Européen IMA en e- learning dans le domaine de la compatibilité électromagnétique des circuits intégrés. Ayumi a notamment la charge de transformer et alimenter le serveur de cours, situé en Allemagne chez le partenaire IZM, et d insérer diverses animations Flash et Java développées pour le projet. ayumi_o@mac.com Tél : Pièce : 217 au DGEI Tél : à EADS-CCR : ouise TYSK ouise TYSK a été au ESIA du 1 er Octobre 2002 à fin Février 2003 pour finaliser son diplôme de Master of Sciences de l Université de inkoping, Suède, sous la direction d'etienne SICARD et de Gilles MOTET. e thème de son Master est l étude de l influence du logiciel embarqué sur l immunité des micro-controleurs aux agressions d origine électromagnétique. ouise a travaillé avec Stéphane Baffreau sur la carte Motorola «BABAR». louty209@student.liu.se Tél : Pièce 217 au DGEI J Jean-Pierre SEUMA-VIDA ean-pierre Seuma Vidal débute une thèse dans le cadre du projet "UM et Certification" dans le groupe Sûreté de Fonctionnement des Systèmes, sous la direction de Gilles MOTET. Ses travaux de recherche vont concerner la proposition d'un processus de développement basé sur la notation UM facilitant la certification de systèmes critiques. Ils sont financés grâce à une bourse MENRT de l Ecole Doctorale Systèmes. Après une formation d'ingénieur au Département de Génie Electrique et Informatique de l'insa, orientation Temps-Reel et Systèmes, Jean-Pierre Seuma Vidal a obtenu le DEA Systèmes B Bertrand VRIGNON ertrand VRIGNON a débuté une thèse au ESIA au 1er Octobre 2002 sous la direction de Sonia BENDHIA du ESIA et ionel COURAU de ST- Microelectronics (lionel.courau@st.com). Ses travaux de recherche portent sur la modélisation de la compatibilité électromagnétique et du bruit de fonctionnement des circuits intégrés. a thèse est financée par une bourse CIFRE avec ST- Microelectronics à Crolles. Après un diplôme d ingénieur à l'eseo (Ecole Supérieure d'electronique de l'ouest, Angers), Bertrand Vrignon a obtenu un DEA d'électronique, option "dispositifs et micro-technologie" à l'insa de Rennes. bertrand.vrignon@st.com Tél : Institut National des Sciences Appliquées - Département Génie Electrique & Informatique Page 4 sur 10

5 CERTIFICATION DES SYSTEMES INFORMATIQUES Q u'elle soit exigée par des autorités publiques ou qu'elle fournisse une garantie au client, la certification des systèmes informatiques constitue un enjeu majeur tant scientifique et technique (pour les chercheurs et les ingénieurs), que stratégique (pour les entreprises) ou sociétal (pour les citoyens et les élus). En effet, l'importance croissante des responsabilités allouées à ces systèmes nécessite de s'interroger sur les dommages qu'ils peuvent causer et les garanties qu'ils doivent apporter quant à l absence de risques de tels dommages. e ESIA contribue aux avancées de ce sujet à travers 4 actions décrites ci-après : la norme NFlogiciel, et les trois projets UM et Certification, Java et Systèmes Critiques et inux et Systèmes Critiques. entreprises françaises et européennes du domaine de l'aéronautique et de l'espace, des transports terrestres (automobiles et ferroviaires), du nucléaire, de l'automatisation de processus, et des télécommunications soutiennent ce projet qui a reçu un label du CNRT (Centre National de la Recherche Technologique) Aéronautique et Espace. Jean- Pierre Seuma Vidal a débuté une thèse dans ce cadre, au sein du ESIA. Un projet RNT a été déposé par Airbus, Aonix, le CEAT, Thales-Avionics et le ESIA. U n projet sur l'utilisation de la Technologie Java pour le développement des systèmes temps-réel embarqués et critiques a été lancé l année passée. Une bourse CIFRE a été demandée par Thales- Avionics et le ESIA pour ouise Tysk, étudiante suédoise ayant effectué son stage de Master of Sciences au ESIA. e laboratoire participe à la création d'une norme NF-ogiciel ( principalement basée sur la norme ISO dans le cadre d'un groupe d'experts animé par INFOCERT ( e projet UM & Certification a pour but d'évaluer la technologie UM, de proposer des techniques d'évaluation des modèles ainsi que des guides de modélisation facilitant l'emploi de ces techniques afin d'augmenter la garantie en terme de sécurité-innocuité (traduction du terme anglais safety) des systèmes conçus. De très nombreuses U n projet sur l'utilisation et l'implantation de inux pour programmer et exécuter des applications temps-réel embarquées et critiques porte sur les primitives du noyau (évaluation des primitives et guides de programmation) et sur sa conception (ordonnancement des tâches et gestion de la mémoire prédictibles et offrant des garanties). Ces travaux sont pour partie financés par Airbus et le CNES dans le cadre d'un contrat avec l'ierset (Institut Européen de Recherche pour les Systèmes Electroniques pour les Transports). Une première Institut National des Sciences Appliquées - Département Génie Electrique & Informatique Page 5 sur 10

6 étude a été conduite en juillet et aôut 2002 par MM. Antonio Diaz et Christophe Moine sur une implantation de INUX basée sur un micro-noyau (RTAI de l Université Polytechnique de Milan). MM. Sylvain Bonhomme, Christophe ogerot et Hugues Malgouyres, étudiants en 5 ème année de l'insa ou en DEA Systèmes Informatiques participent à l'étude de plusieurs aspects du projet dans le cadre de leurs stages de DEA. Ces travaux contribueront également au Réseau Thématique Pluridisciplinaire du département STIC du CNRS intitulé Sûreté de fonctionnement des systèmes ouverts auquel le ESIA participe. Gilles.motet@insa-tlse.fr Tél : ES GENIES DU GENETIQUE es Travaux sur l identification d automates basée sur les algorithmes génétiques ont donné lieu au développement d un outil par trois étudiants actuellement en 5 ème année de l INSA : Mlle Karine Guilley et MM. Guillaume Audriffen et Florent Felten. Cet outil sera utilisé par Cézar Zamilpa dans le cadre de sa thèse afin de montrer l efficacité de ces approches pour reconstruire des modèles comportementaux de systèmes sous forme d automates à partir de scénarios définis par des séquences d entrées / sorties. Jean-claude.geffroy@insa-tlse.fr Claude.baron@insa-tlse.fr Tél (JC Geffroy) : Tél (C.Baron) : U BABAR AGRESSÉ! ne plate-forme de test nommé BABAR a été développée dans le groupe SFS. Construite autour d'un micro-contrôleur 16 bits de Motorola (MC9S12DP256), son principal objectif est de permettre une évaluation expérimentale des mécanismes logiciels pour la détection des dysfonctionnements matériels induits par des perturbations électromagnétiques en utilisant le logiciel embarqué. Ce travail de recherche est réalisé par ouise Tysk, dans le cadre de son "master of science", Jean-Christophe e Breton et Frédéric acour (projet de 4 ème année physique) et Stéphane Baffreau (Thèse sur la susceptibilité des microcontrôleurs aux agressions d'origine électromagnétiques). Stéphane.baffreau@insa-tlse.fr Tél : PROJET ROMS e ESIA a signé un contrat avec le laboratoire TIMC du CNRS de Grenoble dans le cadre du programme multidisciplinaire CNRS ROBEA (ROBotique et Entités Artificielles). es autres partenaires de ce projet sont le CERMAV/CNRS, la société PRAXIM et le CHU de Grenoble. Dans ce projet intitulé ROMS (Robotique Osmotique Médicale au Sucre), la possibilité de transformer l'énergie osmotique en énergie mécanique sera étudiée et un muscle artificiel développé. Bertrand.tondu@insa-tlse.fr Serge.ippolito@insa-tlse.fr Tél : Institut National des Sciences Appliquées - Département Génie Electrique & Informatique Page 6 sur 10

7 CRYTOGRAPHIE CHAOTIQUE N os études ont pour but d utiliser les signaux chaotiques pour réaliser du cryptage. Trois directions ont été dégagées : se servir d un signal chaotique numérisé comme suite pseudo aléatoire à combiner avec le signal supportant l information ; utiliser deux générateurs chaotiques pour représenter les deux valeurs binaires ; transposer le shéma de Diffi-Hellman en terme chaotique. Ces travaux sont basés sur l utilisation de l extrême volatilité et imprévisibilité des signaux chaotiques pour protéger la confidentialité des informations, nécessité dont on voit tous les jours l importance grandissante. image jointe représente un attracteur chaotique permettant de générer un signal utilisé pour la mise en place d un cryptosystème. Membres du ESIA impliqués : François Alary, Danièle Fournier-Prunaret, Véronique Guglielmi, Samir Rouabhi, Abdelkadous Taha. Danièle.fournier@insa-tlse.fr Abdelkadous.taha@insa-tlse.fr Tél : CRYPTOGRAPHIE A COURBES EIPTIQUES A vec le même soucis de préservation de la confidentialité des informations, le ESIA étudie également d'autres techniques, de nature algébrique, basées sur l'utilisation de fonctions elliptiques sur des corps finis. Ces études portent à la fois sur l'approfondissement des aspects mathématiques et sur l'amélioration des algorithmes associés. Ces travaux sont soutenus par la Région Midi-Pyrénées. Membres du ESIA impliqués : Munzer Abu Hashish, ucien Bénéteau, Mustapha Hedabou, Pierre Pinel. ucien.beneteau@insa-tlse.fr Pierre.pinel@insa-tlse.fr Tél : U UN PICASSO AU ESIA n financement Picasso/Egide a été attribué au groupe SYD du ESIA pour développer une collaboration avec l'université de Sarragosse, Espagne (Pr. Rocardo-opez Ruiz), en Il permettra des rencontres entre les chercheurs des deux équipes à Toulouse et Sarragosse sur le thème Etude de transformations logistiques de dimension 2 et 3. Une communication au congrès ECIT 2002 à Evora, Portugal, a déjà eu lieu sur ce sujet. Un article commun doit également paraître en 2003 dans la revue International Journal of Bifurcations and Chaos. Danièle.fournier@insa-tlse.fr Abdelkadous.taha@insa-tlse.fr Tél : SEMINAIRE SUR ES CRYPTOSYSTEMES e groupe SYD a organisé une journée de séminaire le 10 septembre 2002 à l'insa en collaboration avec le groupe de recherche GRIMM (Groupe de Recherche en Informatique et Mathématiques du Mirail) de l'universite du Mirail sur le thème : ES CRYPTOSYSTEMES DISCRETS ET ES SYSTEMES DYNAMIQUES es exposes ont été les suivants: Introduction aux logarithmes discrets et à Diffi- Helman (Jean-Marc Couveignes) Introduction au chaos (Danièle Fournier) es cryptosystèmes basés sur le chaos (Pierre Pinel) Cryptographie et action de conjugaison dans les groupes (ucien Bénéteau) Institut National des Sciences Appliquées - Département Génie Electrique & Informatique Page 7 sur 10

8 Mars 2003 Numéro 14 BIFURCATIONS APPIQUEES A pplications de la théorie des bifurcations à un circuit de Boucle à Verrouillage de phase pour une illustration concrète de résultats théoriques originaux résultant du travail de thèse de Pascal Acco (groupe SYD), celui-ci et Jean-ouis Noullet entreprennent la fabrication d'une boucle à verrouillage de phase (Phase ock oop ou P en Anglais) au fonctionnement quasi-ideal (dans un certain domaine). Cette expérience pourra confirmer une validation déjà effectuée au moyen de simulations basées sur le langage VerilogA (Verilog Analogique). UBICUS es résultats montrent qu'avec une étude non-lineaire on peut observer la stabilité de la P dans des zones où une étude linéaire conclut l'instabilité. analyse des systèmes dynamiques nonlinéaires est souvent basée sur le tracé des diagrammes de bifurcations du plan paramétrique. Une solution classique consiste à balayer ce plan des paramètres afin de trouver les singularités du système et ensuite, à tracer par couleur l ordre obtenu, le plus grand parmi toutes les singularités détectées. Ce type de calcul est souvent très long mais en général très simple à effectuer. Ubicus est en fait un programme permettant de paralléliser ce calcul. e plan des paramètres peut être vu comme une immense matrice à analyser et Ubicus va donner à chaque processus disponible une fraction de cette matrice à fractionner. Ce type de code étant parallélisable à 98%, le temps de restitution du calcul est quasiment inversement proportionnel aux nombres de processeurs jusqu à une certaine limite due aux inévitables communications entre les processeurs. Pour un facteur parallélisme de 98%, le facteur d accélération maximum (rapport entre temps de restitution en monoprocesseur et temps de restitution avec p rocesseurs) est de 50. François.alary@insa-tlse.fr Pascal.acco@insa-tlse.fr Tél : Contact: jean-louis.noullet@aime.insa-tlse.fr Institut National des Sciences Appliquées - Département Génie Electrique & Informatique Page 8 sur 10

9 OUVRAGES PUBICATIONS 2002 GEFFROY J-C, MOTET G. "Design of Dependable Computing Systems", Kluwer Academic Publishers, 672 pages (2002) JOHN W, BARKE E, de BOER W, COENEN M, COURAU, BEN DHIA S, FERRANTE G, FIORI F, FRANZINI B, JOHN W, NICOAIDIS M, NOVARI E, SCHMIDT M, SICARD E, SOUBEYRAN A, STEINECKE T, STÜRMER A, STRACHAN T "Design Automation Solutions for Europe", Contribution to the MEDEA+ Design Automation Roadmap 3rd release, Joseph Borel editor (2002) SICARD E (editor) Proceedings of the EMC Compo 02, Nov 14-15th 2002, IBSN (2002) SICARD E (co-auteur) IEC "EMC for Component - Part 3 : Integrated Circuits Electrical Model (ICEM)" (2002) SICARD E, MAROT C, FOURNIOS J-Y, RAMDANI M "Electromagnetic Compatibility for Integrated Circuits" in "Advances in 3G, Cryptography, Computer Security, EMC for Ics, remote sensing and Radio Astronomy", IEEE Review of Radio-Science , IEEE publisher (2002) TONDU B. "Génération de Mouvements", in "a Commande des Robots Manipulateurs", Collection "es Bases de la Robotique", vol. 2, Hermes Paris (2002) REVUES CHEN XI, SICARD E, HUANG J "CMOS IC Parasite Electromagnetic emission measurement and EMC model Proposal", in the Journal of Electronic Measurement and Instrumentation, vol. 16, n 3 (sept 2002) ESKIIZMIRER S, FORESTIER N, TONDU B, DAROT C "A model of the cerebellar pathways applied to the control of a mobile mechanical segment", in Biological Cybernetics, vol. 86, Springer (2002) MIRA C, ROUABHI S, MIERIOUX G "Two Applications of Models in the Form of Noninvertible Maps in Communication and Information Storage", European Journal of Operational Research, vol. 139, Elsevier publisher (2002) MOTET G "Certification of real-time systems: consequences on modelling tools and modelling processes", in Sicherheit und Verfugbarkeit in Echtzeit- und Automatisierungs-Systemen, Informatik Aktuell series, Springer publisher (2002) SICARD E, BEN DHIA S "Introduction à la micro-électronique submicronique", in Journal sur l'enseignement des Sciences et Technologies de l'information et des Systèmes, vol. 1, n 1, EDP Sciences editor (2002) TARAOVA I, FOURNIER-PRUNARET D "Dynamical Study of a Second Order DPCM Transmission System Modeled by a Piece-Wise inear Function", Transactions of Circuits and Systems, vol. 49, n 11, IEEE publisher (november 2002) CONFERENCES ACCO P "Inverse Model of the CP-P", Workshop on Nonlinear Dynamics of Electronic Systems (NDES'02), Izmir, Turquie (june 2002) ACCO P, FEEY O, FOURNIER-PRUNARET D "The Digital Charge Pump P", International Conference on Nonlinear Theory and Applications (NOTA'02), Xian, Chine (october 2002) AARY F, ACCO P, FOURNIER-PRUNARET D "Towards an automatic extraction of bifurcation diagrams", International Conference on Nonlinear Theory and Applications (NOTA'02), Xian, Chine (october 2002) BAFFREAU S, CAVET S, SICARD E, MAROT C, HUET C "A Standard Model for Predicting the Parasitic Emission of Micro-Controllers", International Conference on Design Automation and Test in Europe (DATE) 2002, Paris, France (march 2002) BAFFREAU S, BENDHIA S, RAMDANI M, SICARD E "Characterisation of Microcontroller Susceptibility to Radio Frequency Interference", International Caracas Conference on Devices, Circuits and Systems (ICCDCS) 2002, Aruba, Venezuela (april 2002) BAFFREAU S, BENDHIA S, RAMDANI M, SICARD E "On the susceptibility of micro-controller to radio frequency interference", 3rd International Workshop on Electromagnetic Compatibility for Components, Toulouse, France (november 2002) BAFFREAU S, MOTET G, SICARD E "a protection des micro-contrôleurs aux agressions électromagnétiques", Cem Expo 02, Paris (octobre 2002) BAFFREAU S, SICARD E, HUET C, MAROT C, CAVET S "A standard model for predicting the parasitic emission of micro-controller", 5th international symposium on Electromagnetic compatibility EMC EUROPE, Sorrento, Italy (september 2002) BENDHIA S, BAFFREAU S, CAVET S, SICARD E "Characterisation of Microcontroller Electromagnetic Emission : Models for an International Standard", International Caracas Conference on Devices, Circuits and Systems (ICCDCS) 2002, Aruba, Venezuela (April 2002) FOURNIER-PRUNARET D Institut National des Sciences Appliquées - Département Génie Electrique & Informatique Page 9 sur 10

10 "Basin Bifurcation in a 2-dimensional logistic map", European Conference on Iteration Theory (ECIT), Evora, Portugal (septembre 2002) FOURNIER-PRUNARET D "Study of an order two DPCM transmission system with zero input", International Conference on Nonlinear Theory and Applications (NOTA'02), Xian, Chine (october 2002) GUGIEMI V, FOURNIER-PRUNARET D, TAHA A.K, PINE P, BENETEAU "Chaotic dynamics applied to cryptography", International Conference on Nonlinear Theory and Applications (NOTA'02), Xian, Chine (october 2002) GUGIEMI V, FOURNIER-PRUNARET D, TAHA A.K, PINE P, ROUABHI S, BENETEAU "Encryption using chaotic dynamics of two noninvertible maps", Workshop on Nonlinear Dynamics of Electronic Systems (NDES'02), Izmir, Turquie (june 2002) GUIOCHET J "Certification en Robotique Médicale - Analyse du Risque et intégration avec UM", 2ème Workshop de l'institut de la Sûreté de Fonctionnement (ISDF) Midi-Pyrénées, Toulouse, France (november 2002) GUIOCHET J, VICHIS A "Safety Analysis of a Medical Robot for Tele-echography", Second IARP IEEE/RAS joint workshop on Technical Challenge for Dependable Robots in Human Environments, Toulouse, France (october 2002) OCHOT C, CAVET E, BEN DHIA S, SICARD E "REGINA test mask: Research on EMC guidelines for integrated automotive circuits", 3rd International Workshop on Electromagnetic Compatibility for Components, Toulouse, France (november 2002) MOTET G, TYSK "Software detection of hardware platform failures due to electromagnetic fields", 3rd International Workshop on Electromagnetic Compatibility for Components, Toulouse (november 2002) ROUABHI S "Two solutions for information storage using 2-D maps", Workshop on Nonlinear Dynamics of Electronic Systems (NDES'02), Izmir, Turquie (june 2002) ZAMIPA C, BARON C "Identification Génétique de Systèmes Structurés", 7èmes Journées Evolutionnaires Trimestrielles (JET7) 2002, École Nationale Supérieure des Techniques Avancées (ENSTA), Paris, France (mars 2002) ZUBERT M, NAPIERASKA M, NAPIERASKI A, NOUET J.- "Reduced Model Generation for the Over-Heated Actuator", 9th International Conference on Mixed Design of Integrated Circuits and Systems (MIXDES'2002), Wroclaw, Poland (june 2002) COMPOSITION DU ESIA S. Merabti, Secrétaire du laboratoire ENSEIGNANTS CHERCHEURS C. Baron, Maître de Conférences INSAT DGEI Responsable du groupe «Sûreté de Fonctionnement des Systèmes». Bénéteau, Professeur INSA GMM M. Cubero-Castan, Professeur INSA-DGEI S. Delmas-Bendhia, Maître de Conférences INSA-DGEI D. Fournier-Prunaret, Professeur INSA-DGEI, Responsable du groupe «Systèmes Dynamiques» J-C. Geffroy, Professeur INSA-DGEI V. Guglielmi, Maître de Conférences INSA-DGEI S. Ippolito, Maître de Conférences INSA-DGM P. opez, Professeur émérite INSA-DGEI G. Motet, Professeur INSA-DGEI, Directeur du ESIA J- Noullet, Maître de Conférences INSA-DGEI P. Pinel, Maître de Conférences INSA-DGEI E. Sicard, Professeur INSA-DGEI A. K. Taha, Chargé d Enseignement B. Tondu, Professeur INSA-DGEI DOCTEURS M. Qriouet, Docteur UPS (1993), Université Errachidia, Maroc S. Rouabhi, Docteur INSA (2000) DOCTORANTS ou INGENIEURS DE RECHERCHE M. Abbou Hashish, Boursier Ministère des Affaires Etrangères (2000) P. Acco, Allocataire MENESR Systèmes (1999), ATER Univ. Toulouse F. Alary, Allocataire MENESR Systèmes (2001) S.Baffreau, Allocataire MENESR GEET (2000) S. Calvet, CIFRE Motorola (2000) J. Guiochet, Allocataire MENESR Systèmes (1999) M. Hedabou, Boursier du gouvernement Marocain (2002) E. amoureux, CIFRE EADS (2002) C. ochot, Ingénieur de Recherche Motorola (2001) A. Okamoto, Consultante EADS-CCR (2002) J-P. Seuma-Vidal, Allocataire MENESR Systèmes (2002). Tysk, Master of Sciences ( ) B. Vrignon, CIFRE ST-Microelectronics (2002) C. Zamilpa, Boursier du gouvernement Mexicain (2000) Institut National des Sciences Appliquées - Département Génie Electrique & Informatique Page 10 sur 10