Portage de l environnement de simulation d un composant FPGA développé pour l aéronautique (DO254 DAL-A) vers un banc de validation physique

Dimension: px
Commencer à balayer dès la page:

Download "Portage de l environnement de simulation d un composant FPGA développé pour l aéronautique (DO254 DAL-A) vers un banc de validation physique"

Transcription

1 Portage de l environnement de simulation d un composant FPGA développé pour l aéronautique (DO254 DAL-A) vers un banc de validation physique L objectif Réaliser la vérification physique d'un composant FPGA en réutilisant son environnement de simulation virtuel, suivant un flot de méthodologie DO254 niveau A (recommandation de développement des composants matériels destinés aux équipements aéronautiques). La solution Concevoir un système de test à l aide d un châssis PXI-1073 équipé de deux cartes FlexRIO PXIe- 7962R associées à deux NI 6581 ayant les mêmes caractéristiques que l environnement de simulation du composant à vérifier. Programmer les FPGA des cartes FlexRIO à l aide de LabVIEW FPGA afin d intégrer les constituants du banc de test virtuel. Gérer l échange des données avec le matériel PXI et générer l'ensemble des patterns de tests et les fiches de résultats associées. L ensemble de test NI est composé d un châssis PXI-1073 équipé de deux cartes PXIe- 7962R associées à deux cartes NI Avec une fréquence d acquisition de 100 MHz max., l'ensemble permet le monitoring des signaux d entrée ou de sortie du FPGA. Page 1 of 5

2 La vérification de composants FPGA et ASIC est réalisée à l aide d outils de simulation permettant d en assurer le bon comportement fonctionnel. Ce type de vérification permet de tester un FPGA à partir de sa représentation RTL (Register Transfer Level - description de l architecture), ainsi qu au niveau portes logiques (Gate Level), tout en intégrant les notions de délais associées. Elle est ainsi basée sur la mise en œuvre de modèles des éléments qui constituent le FPGA (portes logiques, Pll, mémoires, etc.). Cette approche nécessite cependant d apporter la preuve du bon comportement physique (le silicium) de ce composant afin de satisfaire les exigences de la DO254 niveau A. Barco Silex a donc développé un banc de test mettant en œuvre du matériel National Instruments ainsi qu un PCB réalisé sur mesure afin de reproduire l environnement de vérification virtuel, au niveau physique, tout en tirant parti des activités de simulation déjà réalisées. Le banc de test virtuel et le banc de test physique acceptent les mêmes données d entrée et générèrent le même type de données de sortie. Les procédures de tests peuvent donc être écrites en commun. Page 2 of 5

3 Un jeu de procédure de test unique À l aide d un programme développé en langage Perl, le banc de test virtuel décode les procédures à jouer décrites sous forme d instructions afin de piloter un moteur de test ainsi que les interfaces du composant à vérifier. LabVIEW permet d appeler ce programme Perl et autorise l utilisation des mêmes vecteurs de tests que ceux joués sur le banc de test virtuel. Ainsi, le jeu de procédures écrit et validé pour simuler le FPGA peut être utilisé sans aucune modification sur le banc de test physique. Une architecture commune L architecture du moteur de test, développée et validée par Barco Silex, ainsi que les interfaces avec le composant à vérifier, sont écrites en langage VHDL et interprétables par le simulateur utilisé pour la vérification virtuelle du FPGA. La spécification et la conception de cet environnement ont intégré comme contrainte la portabilité vers l architecture matérielle National Instruments. Ce code VHDL est utilisé dans les cartes FlexRIO afin de produire un environnement identique pour la réalisation du test physique. À l aide de LabVIEW FPGA, il a été possible d intégrer ce code sans aucune modification tout en ajoutant les interfaces nécessaires pour gérer les échanges entre le bus PXI et le PC de test. Des outils flexibles Ainsi, trois types de description du matériel de la carte FlexRIO ont été combinés : l utilisation des IP intégrées à LabVIEW FPGA, l utilisation de la génération de code VHDL depuis l interface graphique LabVIEW FPGA et l intégration de code VHDL réalisé selon les standards Barco Silex. Cela permet à l utilisateur de tirer le meilleur parti de chacune de ces trois solutions et de les intégrer dans un même environnement. Une mise au point facilitée Grâce aux exemples de mise en œuvre des blocs IP de LabVIEW FPGA, la mise au point des mécanismes d échanges de données sur le bus PXI a été rapide. Par ailleurs, la partie code VHDL spécifique réalisée par Barco Silex était déjà validée sur l environnement de test d origine. L intégration des différents éléments aussi bien matériels que logiciel a été réalisée en ajoutant des indicateurs tout au long de la chaîne de traitement, à savoir dans les FPGA des cartes FlexRIO, et dans l applicatif LabVIEW. Page 3 of 5

4 Une adéquation précise aux exigences de la DO-254 et un gain de temps considérable Le banc de test physique réalisé permet d obtenir les même performances que le banc de test virtuel, à savoir une fréquence de génération/acquisition des signaux à 100 MHz, tout en délivrant les résultats des essais 30 fois plus rapidement qu à l aide d un simulateur. 70 Temps de vérification d'un FPGA (heures) Simulation FPGA - Gate Level Vérification physique Exécution de l ensemble des procédures de vérification du FPGA : 64,5 h par simulation du composant au niveau portes logiques vs 2 h par test physique du composant. Le gain de temps est de l ordre d un facteur 30. De plus, le taux de couverture du code VHDL obtenu dans l environnement de simulation virtuel du FPGA peut être appliqué directement au silicium du FPGA pour l environnement de validation physique de celui-ci. Il est donc possible de fournir les métriques qui permettent de démontrer l exhaustivité de la vérification réalisée sur carte. Enfin, la solution proposée a passé avec succès les audits de certification (SOI#4) auprès de la FAA et de l'easa sur six programmes aéronautiques différents. Page 4 of 5

5 A propos de Barco Silex Filiale du Groupe Barco, Barco Silex est une société d'études en électronique réalisant des développements Hardware sur cahier des charges (ASIC, FPGA et cartes embarquées) et proposant une gamme de produits IP-cores dans les domaines de la Vidéo (compression, traitement et transport) et de la Cryptographie (AES, Public Key, solutions de contre-mesures). Barco Silex possède également une expertise forte et une expérience de plus de 10 ans dans les développements d'asic et de FPGA sous recommandation DO-254 pour des clients prestigieux comme Airbus, Safran, Thales, etc. Contact Francis RAGUIN Barco Silex Tél : +33 (0) : Page 5 of 5

Technologies SOC (System On Chip) (Système sur une seule puce)

Technologies SOC (System On Chip) (Système sur une seule puce) Technologies SOC (System On Chip) (Système sur une seule puce) Pierre LERAY et Jacques WEISS Équipe de recherche ETSN Supélec Campus de Rennes février, 02 Technologies SoC ; P. Leray, J. Weiss 1 Évolution

Plus en détail

Expert ou chef de projet en contrôle-commande

Expert ou chef de projet en contrôle-commande Expert ou chef de projet en contrôle-commande C1C25 Electronique, électrotechnique ou contrôle-commande - IR Spécialités L expert ou chef de projet en contrôle-commande peut être amené à se spécialiser

Plus en détail

Chef de projet ou Expert en conception du contrôle/commande en instrumentation C1C25

Chef de projet ou Expert en conception du contrôle/commande en instrumentation C1C25 BAP C Sciences de l ingénieur et instrumentation scientifique Chef de projet ou Expert en conception du contrôle/commande en instrumentation C1C25 Contrôle - Commande en instrumentation - IR Mission Le

Plus en détail

De la conception jusqu'au déploiement de systèmes embarqués

De la conception jusqu'au déploiement de systèmes embarqués De la conception jusqu'au déploiement de systèmes embarqués Nacer MOKHTARI Ingénieur d application La conception graphique de systèmes Conception interactive Conception de systèmes de contrôle Simulation

Plus en détail

Analog Power Lab. Votre partenaire en électronique

Analog Power Lab. Votre partenaire en électronique Analog Power Lab Votre partenaire en électronique 1 Services Services rendus dans notre laboratoire et / ou sur site. Validation électronique Développement électronique Développement logiciel Analyse thermique

Plus en détail

Réalisation de travaux pratiques de systèmes embarqués

Réalisation de travaux pratiques de systèmes embarqués Réalisation de travaux pratiques de systèmes embarqués Yannick DEGLA National Instruments, Ingénieur Commercial pour l Enseignement et la Recherche Sud de la France Sommaire Solutions National Instruments

Plus en détail

Systèmes critiques et solutions logicielles

Systèmes critiques et solutions logicielles www.thalesgroup.com THALES CANADA, Systèmes critiques et solutions logicielles Thales Canada, Avionique Synonyme de satisfaction de la clientèle À votre service, une équipe d ingénierie entièrement intégrée

Plus en détail

Smart Grids : la modernisation des réseaux électriques. Maxime RENAUD Ingénieur Marketing National Instruments France. france.ni.

Smart Grids : la modernisation des réseaux électriques. Maxime RENAUD Ingénieur Marketing National Instruments France. france.ni. Smart Grids : la modernisation des réseaux électriques Maxime RENAUD Ingénieur Marketing National Instruments France Surveillance des transformateurs Centaines de modules Consignateur d'alarme Contrôle/commande

Plus en détail

Validation de systèmes intégrant des COTS : comment accommoder les inconnues sur la qualification des COTS dans le processus de validation?

Validation de systèmes intégrant des COTS : comment accommoder les inconnues sur la qualification des COTS dans le processus de validation? Validation de systèmes intégrant des COTS : comment accommoder les inconnues sur la qualification des COTS dans le processus de validation? L I S EDF Electricité de France technicatome THOMSON-CSF Philippe

Plus en détail

Mettre en place l ingénierie des exigences

Mettre en place l ingénierie des exigences Présentation Viveris Technologies Autour des Normes Intégration des outils NI Comment Viveris Technologies peut vous aider? Présentation Viveris Technologies 2 Viveris est un groupe de Conseil et d'ingénierie

Plus en détail

Bernard Bordonado Motorola Semiconducteurs

Bernard Bordonado Motorola Semiconducteurs LabVIEW et l automatisation de mesures de circuits intégrés RF pour applications automobiles Bernard Bordonado Motorola Semiconducteurs Page 1 Plan de la présentation Introduction Circuits intégrés RF

Plus en détail

Développer des solutions technologiques basées sur de l électronique

Développer des solutions technologiques basées sur de l électronique Altronic Tunisie ALTRONIC s attache à faciliter la diffusion et le transfert des technologies et des connaissances en électronique vers les laboratoires de recherche publics, industriels, les start-up

Plus en détail

Quoi de neuf en contrôle/commande et systèmes embarqués (RIO, WSN...)?

Quoi de neuf en contrôle/commande et systèmes embarqués (RIO, WSN...)? Quoi de neuf en contrôle/commande et systèmes embarqués (RIO, WSN...)? Mathieu PACE National Instruments, Ingénieur d applications L architecture RIO se développe Processeur FPGA E/S E/S E/S personnalisées

Plus en détail

NI System on Module (SoM) : le dernier né des systèmes embarqués

NI System on Module (SoM) : le dernier né des systèmes embarqués 1 NI System on Module (SoM) : le dernier né des systèmes embarqués Antonin GOUDE Ingénieur Produit pour l Embarqué National Instruments France Système sur module (SOM) NI sbrio-9651 3 Rôle d un système

Plus en détail

Les méthodes formelles dans le cycle de vie. Virginie Wiels ONERA/DTIM Virginie.Wiels@onera.fr

Les méthodes formelles dans le cycle de vie. Virginie Wiels ONERA/DTIM Virginie.Wiels@onera.fr Les méthodes formelles dans le cycle de vie Virginie Wiels ONERA/DTIM Virginie.Wiels@onera.fr Plan Introduction Différentes utilisations possibles Différentes techniques pour différentes propriétés à différents

Plus en détail

Découvrez le prototypage virtuel avec LabVIEW NI SoftMotion et SolidWorks

Découvrez le prototypage virtuel avec LabVIEW NI SoftMotion et SolidWorks Découvrez le prototypage virtuel avec LabVIEW NI SoftMotion et SolidWorks Maxime RENAUD Ingénieur marketing, National Instruments Sommaire Les défis de la mécatronique Prototypage virtuel Avantages économiques

Plus en détail

Système reconfigurable et durci pour la surveillance et le contrôle

Système reconfigurable et durci pour la surveillance et le contrôle Système reconfigurable et durci pour la surveillance et le contrôle Sabri JATLAOUI, Ingénieur avant-vente. Des challenges récurrents Le contrôle haute vitesse (numérique/compteur à 1MHz, PID analogique/

Plus en détail

Les processeurs embarqués dans les FPGA couplés à Linux

Les processeurs embarqués dans les FPGA couplés à Linux RTS 07 Les processeurs embarqués dans les FPGA couplés à Linux email http : kadionik@enseirb.fr : http://www.enseirb.fr/~kadionik http://www.enseirb.fr/cosynux/ Patrice KADIONIK IMS ENSEIRB Université

Plus en détail

EADS TEST & SERVICES PERENNISATION SYSTÈME VIRTUALISATION

EADS TEST & SERVICES PERENNISATION SYSTÈME VIRTUALISATION PERENNISATION SYSTÈME VIRTUALISATION PLEAS : Virtualisation de système informatique de banc de test. CLUB AUTOMATION 10 JUIN 2010 Richard.Boyer@eads.com EADS Defence and Security 2009 All rights reserved

Plus en détail

Élaboration d un testeur de production et personnalisation de l'environnement TestStand à travers deux exemples d'applications

Élaboration d un testeur de production et personnalisation de l'environnement TestStand à travers deux exemples d'applications Élaboration d un testeur de production et personnalisation de l'environnement TestStand à travers deux exemples d'applications Benjamin NONDIER, ARCALE Jean-François MULLET, ARCALE Clients Solution Compétences

Plus en détail

MÉTHODOLOGIE DE CONCEPTION DES CIRCUITS INTÉGRÉS DIGITAUX

MÉTHODOLOGIE DE CONCEPTION DES CIRCUITS INTÉGRÉS DIGITAUX MODULE: SYSTEMES NUMERIQUES COMPLEXES Cours 1 MÉTHODOLOGIE DE CONCEPTION DES CIRCUITS INTÉGRÉS DIGITAUX H.Boumeridja 1 Introduction Méthodologie de conception des circuits intégrés digitaux: approche descendante

Plus en détail

Etudes / Développement / Application. Développer notre vision d avance

Etudes / Développement / Application. Développer notre vision d avance Développer notre vision d avance 1 - Ingénieur application système de freinage ESP 2 - Ingénieur développement système contrôle moteur 3 - Ingénieur essai moteur 4 - Ingénieur développement logiciel 5

Plus en détail

Introduction à la programmation FPGA avec LabVIEW

Introduction à la programmation FPGA avec LabVIEW Introduction à la programmation FPGA avec LabVIEW Mathieu BREGEON National Instruments, Ingénieur d applications Sommaire Qu est-ce qu un FPGA et pourquoi sont-ils utiles? Applications courantes en FPGA

Plus en détail

Cours architectures des ordinateurs

Cours architectures des ordinateurs Université KASDI MERBAH Ouargla Faculté des Nouvelles Technologies de l Information et de la Communication Département d Informatique et Technologie de l information Cours architectures des ordinateurs

Plus en détail

Conclusions et Perspectives

Conclusions et Perspectives 8 Conclusions et Perspectives Ce chapitre conclut la thèse en donnant un bilan du travail effectué et les perspectives envisageables au terme de cette recherche. Nous rappelons tout d abord les principales

Plus en détail

Organisation des études conduisant au DUT, spécialité «Génie Électrique et Informatique Industrielle»

Organisation des études conduisant au DUT, spécialité «Génie Électrique et Informatique Industrielle» Organisation des études conduisant au DUT, spécialité «Génie Électrique et Informatique Industrielle» Programme Pédagogique National s du Cœur de Compétence 3 Sommaire 1s de l 3 : Informatique des Systèmes

Plus en détail

RESUME DESCRIPTIF DE LA CERTIFICATION (FICHE OPERATIONNELLE METIERS)

RESUME DESCRIPTIF DE LA CERTIFICATION (FICHE OPERATIONNELLE METIERS) RESUME DESCRIPTIF DE LA CERTIFICATION (FICHE OPERATIONNELLE METIERS) Intitulé (cadre 1) DUT Génie électrique et informatique industrielle (GEII) 3 Parcours possibles : Automatismes et Réseaux Locaux Energies

Plus en détail

ACI Sécurité ALIDECS:

ACI Sécurité ALIDECS: ACI Sécurité ALIDECS: Langages et Atelier Integrés pour le Développement de Composants Embarqués Sûrs Réunion de démarrage LIP6, 21 et 22 octobre 2004 Marc Pouzet 1 Page web http://www-verimag.imag.fr/synchrone/alidecs/

Plus en détail

Prototypage virtuel de système sur puce pour une simulation rapide et fidèle

Prototypage virtuel de système sur puce pour une simulation rapide et fidèle Prototypage virtuel de système sur puce pour une simulation rapide et fidèle Séminaire Collège de France, 29 Janvier 2014 Laurent Maillet-Contoz STMicroelectronics Laurent.Maillet-Contoz@st.com Matthieu

Plus en détail

Présentation de SILICOM

Présentation de SILICOM Présentation de SILICOM PRÉSENTATION GÉNÉRALE En quelques chiffres 31 ans d existence 200 Collaborateurs 8 M de capital Plus de 14 M de CA Plus de 15 clients grands comptes 3 établissements pour couvrir

Plus en détail

Introduction aux systèmes bouclés

Introduction aux systèmes bouclés Introduction aux systèmes bouclés Séminaire des Sciences de l Ingénieur Académie de Versailles 16 Mai 2012 Christophe DEBERNARDI Version 1.32 Lycée Richelieu - Rueil-Malmaison 1 Plan Lycée Richelieu -

Plus en détail

PARTENAIRE EN AuTomATIsATIoN

PARTENAIRE EN AuTomATIsATIoN PARTENAIRE en automatisation Orbital Solutions Intégrées est un collectif d entreprises spécialisées en automatisation, réunies pour vous offrir des solutions intégrées en systèmes d emballage, de palettisation

Plus en détail

Travaux soutenus par l ANR. Jean-François CAPURON (DGA) Bruno LEGEARD (Smartesting)

Travaux soutenus par l ANR. Jean-François CAPURON (DGA) Bruno LEGEARD (Smartesting) Travaux soutenus par l ANR Jean-François CAPURON (DGA) Bruno LEGEARD (Smartesting) 03 Avril 2012 1. Test de sécurité et génération de tests à partir de modèle 2. Le projet SecurTest à DGA Maîtrise de l

Plus en détail

Les approches pour améliorer la validation de systèmes grâce au test temps réel et hardware-in-the-loop

Les approches pour améliorer la validation de systèmes grâce au test temps réel et hardware-in-the-loop Les approches pour améliorer la validation de systèmes grâce au test temps réel et hardware-in-the-loop Surveillance et stimulus sur une cellule de test Système de test Cellule de test Logging / Analyse

Plus en détail

Portage de l architecture sécurisée CryptoPage sur un microprocesseur x86

Portage de l architecture sécurisée CryptoPage sur un microprocesseur x86 Portage de l architecture sécurisée CryptoPage sur un microprocesseur x86 Guillaume Duc Ronan Keryell Département Informatique École Nationale Supérieure des Télécommunications de Bretagne Symposium en

Plus en détail

INSTRUCTION N 02 - ACM/DANA/SNA. relative au processus de conception des procédures de vols aux instruments

INSTRUCTION N 02 - ACM/DANA/SNA. relative au processus de conception des procédures de vols aux instruments INSTRUCTION N 02 - ACM/DANA/SNA relative au processus de conception des procédures de vols aux instruments 1 GÉNÉRALITÉS 1.1 La présente Instruction contient des dispositions générales pour le processus

Plus en détail

HUTCHINSON TUNISIE INGENIEUR ELECTRONIQUE

HUTCHINSON TUNISIE INGENIEUR ELECTRONIQUE HUTCHINSON TUNISIE FILIALE DU GROUPE MONDIAL HUTCHINSON, PARTENAIRE DE RÉFÉRENCE DES INDUSTRIES AÉRONAUTIQUE, INDUSTRIE, FERROVIAIRE ET AUTOMOBILE RECHERCHE POUR SON SITE BASÉ A SOUSSE. INGENIEUR ELECTRONIQUE

Plus en détail

SÛRETÉ DE FONCTIONNEMENT ET ARCHITECTURE GVA SÉMINAIRE ARCHITECTURES AGILES DE SYSTÈMES COMPLEXES BASÉES SUR DDS, LA VÉTRONIQUE EN CAS D EXEMPLE

SÛRETÉ DE FONCTIONNEMENT ET ARCHITECTURE GVA SÉMINAIRE ARCHITECTURES AGILES DE SYSTÈMES COMPLEXES BASÉES SUR DDS, LA VÉTRONIQUE EN CAS D EXEMPLE SÛRETÉ DE FONCTIONNEMENT ET ARCHITECTURE GVA SÉMINAIRE ARCHITECTURES AGILES DE SYSTÈMES COMPLEXES BASÉES SUR DDS, LA VÉTRONIQUE EN CAS D EXEMPLE PLAN Architecture GVA et NGVA SDF dans Architecture GVA

Plus en détail

I OBJECTIF PROFESSIONNEL DU CQPM

I OBJECTIF PROFESSIONNEL DU CQPM COMMISSION PARITAIRE NATIONALE DE L'EMPLOI DE LA METALLURGIE Qualification : 2012 07 31 0297 Catégorie : C* Dernière modification : 31/07/2012 REFERENTIEL DU CQPM TITRE DU CQPM : Gestionnaire de configuration

Plus en détail

Méthodes et Outils pour maîtriser la complexité et la sûreté des systèmes

Méthodes et Outils pour maîtriser la complexité et la sûreté des systèmes La Recherche Technologique au CEA : Méthodes et Outils pour maîtriser la complexité et la sûreté des systèmes Contact : Didier JUVIN didier.juvin@cea.fr 1 Le CEA/LIST : un pôle de Recherche Technologique

Plus en détail

Les applications d acquisition autonomes portables. ni.com/fr

Les applications d acquisition autonomes portables. ni.com/fr Les applications d acquisition autonomes portables Sommaire Les fonctionnalités attendues d applications d acquisition portables Sur PC Sur systèmes embarqués Exemple d un système d acquisition autonome

Plus en détail

TECHNOLOGIES Innover et vous accompagner dans les Technologies

TECHNOLOGIES Innover et vous accompagner dans les Technologies Présentation France 2014 www.anthemis-technologies.com ANTHEMIS TECHNOLOGIES Innover et vous accompagner dans les Technologies L électronique, notre métier depuis 2006 CARTE D IDENTITE Une société de prestations

Plus en détail

11 Février 2014 Paris nidays.fr

11 Février 2014 Paris nidays.fr 11 Février 2014 Paris nidays.fr Mise en œuvre d'un banc HIL 3D statique pour démonstrateur de véhicule électrique Ahmed HARRAR NIDays du 11 Février 2014 3 Sommaire Présentation du projet POLLUX Démonstrateur

Plus en détail

Les évolutions en cours

Les évolutions en cours Les évolutions en cours version 1.0 Plan Back-end / Front-end ASIC / FPGA 2 Le problème des longs fils Relative delay Temps de propagation dans les longs fils Temps de propagation dans les portes (fanout

Plus en détail

Les standards et la prise en compte des COTS : comment se concilient l utilisation des COTS et les normes actuelles?

Les standards et la prise en compte des COTS : comment se concilient l utilisation des COTS et les normes actuelles? Les standards et la prise en compte des COTS : comment se concilient l utilisation des COTS et les normes actuelles? L I S EDF Electricité de France technicatome THOMSON-CSF Marie-Hélène Durand Aerospatiable

Plus en détail

Projet S.P.I.R.O. Franck GASTALDI Journées RHIC France - 28 juin 2005

Projet S.P.I.R.O. Franck GASTALDI Journées RHIC France - 28 juin 2005 Projet S.P.I.R.O Journées RHIC France - 28 juin 2005 Plan Caractéristiques de la carte S.P.I.R.O Conception du prototype - I Banc de tests Conception du prototype - II État d avancement Calendrier État

Plus en détail

Conception et Intégration de Systèmes Critiques

Conception et Intégration de Systèmes Critiques Conception et Intégration de Systèmes Critiques 15 12 18 Non 50 et S initier aux méthodes le développement de projet (plan de développement, intégration, gestion de configuration, agilité) Criticité temporelle

Plus en détail

De l idée au produit

De l idée au produit Chapitre 1 De l idée au produit 1.1. Introduction La conjonction de l évolution des technologies de fabrication des circuits intégrés et de la nature du marché des systèmes électroniques fait que l on

Plus en détail

Présentation des cartes lyonnaises DIF-IB-ASU

Présentation des cartes lyonnaises DIF-IB-ASU Présentation des cartes lyonnaises DIF-IB- Renaud Gaglione gaglione@ipnl.in2p3.fr +33 4 72 44 83 96 version.2 23 avril 28 Je vous invite à prendre connaissance des présentations des dernières réunions

Plus en détail

Introduction à SCADE. F. Touchard Polytech Marseille Département d'informatique SICA 5ème année 2015-16 1

Introduction à SCADE. F. Touchard Polytech Marseille Département d'informatique SICA 5ème année 2015-16 1 Introduction à SCADE F. Touchard Polytech Marseille Département d'informatique SICA 5ème année 2015-16 1 Introduction SCADE : Safety-Critical Application Development Environment environnement de développement

Plus en détail

La Physique et l'electronique à travers les Systèmes en BTS Systèmes Electroniques

La Physique et l'electronique à travers les Systèmes en BTS Systèmes Electroniques La Physique et l'electronique à travers les Systèmes en BTS Systèmes Electroniques LES CHAMPS TECHNOLOGIQUES CHOISIS Multimédia, son et image, radio et télédiffusion Régie Lumière DMX 512 Distribution

Plus en détail

Architecture FPGA Outils avancés pour tous niveaux

Architecture FPGA Outils avancés pour tous niveaux Colloque GEII 2007 Architecture FPGA Outils avancés pour tous niveaux Vincent Frick IUT de Haguenau ULP Strasbourg Plan Mise en œuvre de FPGA : approche de base Électronique numérique en DUT Exemples de

Plus en détail

MAITRISE de la TECHNIQUE et de la QUALITE

MAITRISE de la TECHNIQUE et de la QUALITE 6 MAITRISE de la TECHNIQUE et de la QUALITE 1 6.1 MAITRISE de la TECHNIQUE 2 MAITRISE DE LA TECHNIQUE 1 UN BON DEPART 2 DES MOYENS D OBSERVATION ET D ANALYSE 3 UN SUIVI EFFICACE 3 MAITRISE DE LA TECHNIQUE

Plus en détail

Ref. TRDF / 071 : Conception d un séquenceur de test mettant en œuvre des principes de test statistique

Ref. TRDF / 071 : Conception d un séquenceur de test mettant en œuvre des principes de test statistique Ref. TRDF / 071 : Conception d un séquenceur de test mettant en œuvre des principes de test statistique Test industriel des produits développés sur le site, essentiellement des décodeurs de TV numérique.

Plus en détail

Bâtiments - Infrastructures

Bâtiments - Infrastructures 93 CONCEPTEUR D OUVRAGE ET D ÉQUIPEMENT Code : INF01 Concepteur d ouvrage et d équipement FPEINF01 Il conduit ou participe à des opérations d infrastructures dans le cadre de la réalisation d opérations

Plus en détail

Opquast Certified Référentiel de compétences Bonnes pratiques qualité Web (BPQW)

Opquast Certified Référentiel de compétences Bonnes pratiques qualité Web (BPQW) Opquast Certified Référentiel de compétences Bonnes pratiques qualité Web (BPQW) Page 1/10 Sommaire 1. Maîtriser les fondamentaux et standards du Web...3 2. Connaître l accessibilité, les contextes utilisateurs

Plus en détail

Tous droits réservés SELENIS

Tous droits réservés SELENIS 1. Objectifs 2. Etapes clefs 3. Notre proposition d accompagnement 4. Présentation de SELENIS 2 Un projet est une réalisation spécifique, dans un système de contraintes donné (organisation, ressources,

Plus en détail

Introduction. Le logiciel Flowcode vous permet de développer rapidement et facilement des systèmes électroniques et électromécaniques complexes.

Introduction. Le logiciel Flowcode vous permet de développer rapidement et facilement des systèmes électroniques et électromécaniques complexes. Introduction Le logiciel vous permet de développer rapidement et facilement des systèmes électroniques et électromécaniques complexes. est un des environnements les plus avancés au monde pour le développement

Plus en détail

Conception de FPGA et communications inter-fpga dans le cadre du projet de recherche DreamWafer

Conception de FPGA et communications inter-fpga dans le cadre du projet de recherche DreamWafer Conception de FPGA et communications inter-fpga dans le cadre du projet de recherche DreamWafer Vendredi 17 septembre 2010 Stage réalisé du 15 mars au 31 août 2010 Stagiaire : Romain Clochard (Master 2

Plus en détail

Modèle de cahier des charges pour un appel d offres relatif à une solution de gestion des processus métier (BPM)

Modèle de cahier des charges pour un appel d offres relatif à une solution de gestion des processus métier (BPM) LA BOITE A OUTILS DE L ACHETEUR DE BPM Modèle de cahier des charges pour un appel d offres relatif à une solution de gestion des processus métier (BPM) La boîte à outils de l acheteur de solution BPM -

Plus en détail

Une approche modèle dans la conception de systèmes sur puce hétérogènes

Une approche modèle dans la conception de systèmes sur puce hétérogènes Une approche modèle dans la conception de systèmes sur puce hétérogènes Jean-Luc Dekeyser et Lossan Bondé FETCH 07 IP dans le SoC 100% Réutilisé 80% Spécifique 60% 40% 20% 0% 1999 2002 2005 2008 2011 2014

Plus en détail

Le génie logiciel. maintenance de logiciels.

Le génie logiciel. maintenance de logiciels. Le génie logiciel Définition de l IEEE (IEEE 1990): L application d une approche systématique, disciplinée et quantifiable pour le développement, l opération et la maintenance de logiciels. Introduction

Plus en détail

Proposition émise par : Société QDATA Groupe QUANTA MEDICAL Lot II W 27 B Ankorahotra 101 Antananarivo Tél. 00 261 20 22 276 86 E-mail.

Proposition émise par : Société QDATA Groupe QUANTA MEDICAL Lot II W 27 B Ankorahotra 101 Antananarivo Tél. 00 261 20 22 276 86 E-mail. Revue du processus de développement informatique Version 1-0 24 avril 2014 Proposition émise par : Société QDATA Groupe QUANTA MEDICAL Lot II W 27 B Ankorahotra 101 Antananarivo Tél. 00 261 20 22 276 86

Plus en détail

Les approches d enseignement supporté dans l ingénierie

Les approches d enseignement supporté dans l ingénierie Les approches d enseignement supporté dans l ingénierie Jan Bujnak Université de Zilina Slovaquie La parole dite et le texte écrit sur papier étaient la base ainsi que le seul moyen de transférer les informations

Plus en détail

C1 S informer. C1.1 Rechercher, Exploiter des documents

C1 S informer. C1.1 Rechercher, Exploiter des documents C1 S informer C1.1 Rechercher, Exploiter des documents Une commande Un besoin exprimé Expliciter le besoin*. Le service rendu, les utilisateurs, les conditions d'utilisation sont listés. Les performances

Plus en détail

DU MODÈLE À LA PLATE-FORME EMBARQUÉE

DU MODÈLE À LA PLATE-FORME EMBARQUÉE 1 DU MODÈLE À LA PLATE-FORME EMBARQUÉE Versailles, 29 novembre 2011 Journée «Des spécifications à la validation temps réel» 2 DU MODÈLE À LA PLATE-FORME EMBARQUÉE Versailles, 29 novembre 2011 UTILISATION

Plus en détail

Réussir la Conception des FPGA Complexes.

Réussir la Conception des FPGA Complexes. ALSE - Sept 2001 Réussir la Conception des FPGA Complexes. -do it right, the first time- Bertrand CUZEAU Technical Manager - ALSE ASIC / FPGA Design Expert Doulos HDL Instructor (Verilog-VHDL) info@alse-fr.com

Plus en détail

Expérience : Plus de 20 ans d expérience constante dans le domaine de l accompagnement de projet.

Expérience : Plus de 20 ans d expérience constante dans le domaine de l accompagnement de projet. Mme Sylvie LACOSTA Consultante confirmée Qualité Sécurité Environnement Auditrice Qualité certifiée : ICA (Institut de Certification des Auditeurs) ICAE (Institut de Certification des Auditeurs Environnement)

Plus en détail

TaskMapper Gestion de projet : Analyse

TaskMapper Gestion de projet : Analyse Gestion de projet : Analyse P. Combier, V. Comiti, M. Hubert, R. Jamet, M. Le Du, P. Lelouette, J. L Hermitte, A. Morvan, N. Premillieu, L. Ren, C. Souti, F. Tesniere, Y. Zhao Encadrés par S. Derrien 11

Plus en détail

Catalogue de stages D été

Catalogue de stages D été Catalogue de stages Page : 1/13 Catalogue de stages D été Juin - Juillet - Août 2014 Catalogue de stages Page : 2/13 SOMMAIRE 1. MOT DE LA DIRECTION... 3 2. PRESENTATION ARDIA... 4 3. APPROCHE DE STAGE

Plus en détail

Union particulière pour le dépôt international des dessins et modèles industriels (Union de La Haye)

Union particulière pour le dépôt international des dessins et modèles industriels (Union de La Haye) F H/A/32/1 ORIGINAL : ANGLAIS DATE : 24 JUIN 2013 Union particulière pour le dépôt international des dessins et modèles industriels (Union de La Haye) Assemblée Trentième-deuxième session (19 e session

Plus en détail

LPNHE X. Objectif : PHENIX JUILLET 2002. 10/05/01 Alain Debraine et Franck Gastaldi 1

LPNHE X. Objectif : PHENIX JUILLET 2002. 10/05/01 Alain Debraine et Franck Gastaldi 1 LPNHE X Objectif : PHENIX JUILLET 2002 10/05/01 Alain Debraine et Franck Gastaldi 1 Groupe électronique PHENIX X Alain Debraine Franck Gastaldi Akli Karar 10/05/01 Alain Debraine et Franck Gastaldi 2 Sommaire

Plus en détail

Comptage de photons multi-canal

Comptage de photons multi-canal Comptage de photons multi-canal MASTER 2 PHOTONIQUE SIGNAL ET IMAGERIE UFR SCIENCE DE L UNIVERSITE D ANGERS 2014-2015 Présenté par Karim MROURTI Sous la direction de Mr Dominique Guichaoua Plan Introduction

Plus en détail

ÉLECTRONIQUE NUMÉRIQUE AVANCÉE

ÉLECTRONIQUE NUMÉRIQUE AVANCÉE ÉLECTRONIQUE NUMÉRIQUE AVANCÉE Filière : InfoTronique Chap. 1 : Introduction Dr. Abdelhakim Khouas Email : akhouas@hotmail.fr Département de Physique Faculté des Sciences Objectifs de ce chapitre Comprendre

Plus en détail

Industrialisation du logiciel Temps Réel Critique Annexes

Industrialisation du logiciel Temps Réel Critique Annexes Industrialisation du logiciel Temps Réel Critique Annexes «CS et les projets opérationnels» Alarmes (AIRBUS) Filière Myriade (CNES) Projet CSS D2X6Z9 (PSA) Alarmes AIRBUS Alarmes : Objectifs! Centraliser

Plus en détail

CQP Inter-branches Technicien de la Qualité

CQP Inter-branches Technicien de la Qualité CQP Inter-branches Technicien de la Qualité Référentiels d activités et de compétences Référentiel de certification OBSERVATOIRE DES INDUSTRIES CHIMIQUES Désignation du métier ou des composantes du métier

Plus en détail

Chaîne numérique de conception et de prototypage de cartes électroniques

Chaîne numérique de conception et de prototypage de cartes électroniques Chaîne numérique de conception et de prototypage de cartes électroniques L ambition du projet Le département Génie Electrique se doit d offrir aux étudiants une formation de qualité en parfaite adéquation

Plus en détail

ENSEIGNEMENTS TECHNOLOGIQUES TRANSVERSAUX. Travail demandé :

ENSEIGNEMENTS TECHNOLOGIQUES TRANSVERSAUX. Travail demandé : VOITURE ENSEIGNEMENTS TECHNOLOGIQUES TRANSVERSAUX Centre d intérêt : FORMES ET CARACTERISTIQUES DE L ENERGIE, AMELIORATION DE L EFFICACITE ENERGETIQUE Connaissances visées AGENCEMENT DES SOLUTIONS TECHNOLOGIQUES

Plus en détail

Bonnes pratiques pour l enregistrement de données et mise en œuvre sur CompactRIO avec SmartLOG

Bonnes pratiques pour l enregistrement de données et mise en œuvre sur CompactRIO avec SmartLOG 1 Bonnes pratiques pour l enregistrement de données et mise en œuvre sur CompactRIO avec SmartLOG Benjamin CHARLES Chef de projets, ACTIO 3 Ingénierie Electronique et Mécanique Ingénierie Aéronautique

Plus en détail

GE Measurement & Control. 4Sight. Logiciel de gestion d étalonnage en ligne

GE Measurement & Control. 4Sight. Logiciel de gestion d étalonnage en ligne GE Measurement & Control 4Sight Logiciel de gestion d étalonnage en ligne Gardez le contrôle total de toutes vos tâches d étalonnage et de maintenance. Le logiciel d étalonnage et de maintenance en ligne

Plus en détail

Projet Informatique. Philippe Collet. Licence 3 Informatique S5 2014-2015. http://deptinfo.unice.fr/twiki/bin/view/linfo/projetinfo201415

Projet Informatique. Philippe Collet. Licence 3 Informatique S5 2014-2015. http://deptinfo.unice.fr/twiki/bin/view/linfo/projetinfo201415 Projet Informatique Philippe Collet Licence 3 Informatique S5 2014-2015 http://deptinfo.unice.fr/twiki/bin/view/linfo/projetinfo201415 Réalisation d'un développement de taille conséquente? r Firefox? Ph.

Plus en détail

! Vous aurez pris connaissance de l'évolution. ! Vous comprendrez pourquoi on utilise le binaire en. ! Vous serez capable de construire un circuit

! Vous aurez pris connaissance de l'évolution. ! Vous comprendrez pourquoi on utilise le binaire en. ! Vous serez capable de construire un circuit Architecture élémentaire Un cours d architecture pour des informaticiens Samy Meftali Samy.meftali@lifl.fr Bureau 224. Bâtiment M3 extension Sans architecture pas d informatique Comprendre comment çà marche

Plus en détail

Cours 01 - Fiches Synthèses - Analyse Structurelle des Systèmes Complexes

Cours 01 - Fiches Synthèses - Analyse Structurelle des Systèmes Complexes Fiche 01 - Démarche Ingénieur en CPGE MPSI/MP Un système complexe pluri-technologique remplit une fonction globale qui est directement liée à un (ou plusieurs) besoin(s) d un client utilisateur. Ce système

Plus en détail

L évaluation de systèmes ou de programmes informatiques

L évaluation de systèmes ou de programmes informatiques L évaluation de systèmes ou de programmes informatiques Congrès 2008 de la Société canadienne d évaluation Valéry Roy-Gosselin Direction de la planification et de l évaluation MInistère des Ressources

Plus en détail

6761 Validation de la conformité 21.03.2007

6761 Validation de la conformité 21.03.2007 6761 Validation de la conformité 21.03.2007 Peter DAEHNE 1 Tests de stress Les tests de stress permettent d étudier le comportement du logiciel lorsque celui-ci est mis dans des situations extrêmes, aux

Plus en détail

Sûreté de fonctionnement. Cyber-sécurité et sécurité informatique Similitudes d approche avec la sécurité fonctionnelle

Sûreté de fonctionnement. Cyber-sécurité et sécurité informatique Similitudes d approche avec la sécurité fonctionnelle Sûreté de fonctionnement Cyber-sécurité et sécurité informatique Similitudes d approche avec la sécurité fonctionnelle Sommaire Evolution des réseaux industriels et conséquences Modèle de prévention selon

Plus en détail

Génie logiciel Test logiciel A.U. 2013/2014 (Support de cours) R. MAHMOUDI (mahmoudr@esiee.fr) 1 Plan du chapitre - Définition du test logiciel - Principe de base du test logiciel - Les différentes étapes

Plus en détail

Support matériel, logiciel et cryptographique pour

Support matériel, logiciel et cryptographique pour Support matériel, logiciel et cryptographique pour une exécution sécurisée de processus Guillaume Duc Thèse dirigée par Jacques Stern (Ens Ulm) et encadrée par Ronan Keryell (Enst Bretagne) Journées des

Plus en détail

Drive your success. «Un écosystème complexe implique une capacité de gestion temps réel des aléas» www.imagina-international.com

Drive your success. «Un écosystème complexe implique une capacité de gestion temps réel des aléas» www.imagina-international.com Drive your success «Un écosystème complexe implique une capacité de gestion temps réel des aléas» www.imagina-international.com ATEN, dix avantages au service de votre entreprise Qualité de mise en œuvre

Plus en détail

Evaluation, Certification Axes de R&D en protection

Evaluation, Certification Axes de R&D en protection 2009 Evaluation, Certification Axes de R&D en protection Dr CEA/LETI Alain.merle@cea.fr 1 Evaluation, Certification, Axes de R&D en protection Evaluation / Certification Le Schéma Français de Certification

Plus en détail

Gestion des projets moteurs. p. 105 à 109

Gestion des projets moteurs. p. 105 à 109 ff p. 105 à 109 Découverte Gérer un développement GMP avec un partenaire chinois 2 Jours MOT / SINGMP MOT / SINGMP-E Préparer les ingénieurs et managers français à mieux travailler avec des interlocuteurs

Plus en détail

Quel lien existe-t-il entre le besoin et le design des objets?

Quel lien existe-t-il entre le besoin et le design des objets? Séquences 1-2 Quel lien existe-t-il entre le besoin et le design des objets? Pourquoi trouve-t-on différents modèles pour ce produit de communication? Nous avons chez nous différents modèles de téléphones

Plus en détail

GPC Computer Science

GPC Computer Science CYCLE ISMIN P2015 GPC Computer Science P LALEVÉE lalevee@emse.fr @p_lalevee A3.01 0442616715 C YUGMA yugma@emse.fr A3.01 0442616715 01/09/2014 Présentation GPC CS - Ph. Lalevée - C Yugma 1 Scolarité Site

Plus en détail

Acquisition de données avec une carte multi-fonctions sous LabVIEW. Cours LabVIEW ENSPS J2 Serio@unistra.fr V1.04-2011

Acquisition de données avec une carte multi-fonctions sous LabVIEW. Cours LabVIEW ENSPS J2 Serio@unistra.fr V1.04-2011 Acquisition de données avec une carte multi-fonctions sous LabVIEW 1 1 Objectifs de la séance Acquisition de données avec un module d acquisition de données multifonctions (USB 6009) et traitement sous

Plus en détail

MAGTROL. Frein à courant de Foucault haute vitesse WB 23. WB 23 Fiche Technique CARACTÉRISTIQUES COMMANDE PAR PC DESCRIPTION

MAGTROL. Frein à courant de Foucault haute vitesse WB 23. WB 23 Fiche Technique CARACTÉRISTIQUES COMMANDE PAR PC DESCRIPTION Fiche Technique Frein à courant de Foucault haute vitesse CARACTÉRISTIQUES nominal : 80 mnm Vitesse de rotation élevée 100 000 tmin -1 de freinage : 120 W en permanence et 400 W en intermittence Faible

Plus en détail

QUELQUES MOTS CLES ET DEFINITIONS.

QUELQUES MOTS CLES ET DEFINITIONS. CH. 2 QUELQUES MOTS CLES ET DEFINITIONS. ASIC : Application Spécific Integrated Circuit = HW circuit intégré pour application spécifique SOC : System On Chip = HW et SW Système sur puce IP : FPGA : CAD

Plus en détail

Cisco Unified Business Attendant Console

Cisco Unified Business Attendant Console Cisco Unified Business Attendant Console Cisco Unified Communications est un système étendu de communications IP, d applications et de produits voix, vidéo, données et mobilité. Il rend les communications

Plus en détail