T algilanmis içsel girdi

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

Download "T algilanmis içsel girdi"

Transcription

1 T adi türevsel denklem T akil yürütme hatasi I ordinary differential I reasoning error equation F erreur de raisonnement A F équation différentielle T akil yürütmeli model ordinaire I reasoning model T ag F modèle de raisonnement T açik bildirim I network T akilli benzetim I explicit declaration F réseau I intelligent simulation F déclaration explicite T ag dili F simulation intelligente T açik davranis I Web language T akilli benzetim ortami I public behavior F langage de Web I intelligent simulation F comportement public T ag modeli environment T açik döngü denetim sistemi; I network model F environnement de simulation açik döngülü denetim sistemi F modèle de réseau intelligent I open-loop control system T ag servisi T akilli denetim F système de contrôle en boucle I Web service I intelligent control ouverte F service de Web F contrôle intelligent T açik döngülü oyun T ag tabanli commande intelligente I open loop game I Web-based T akilli model F jeu en boucle ouverte F basé sur Internet I intelligent model T açik esgüdüm T ag tabanli ögrenim F modèle intelligent I explicit coordination I Web-based training T akilli sistem benzetimi F coordination explicite F entraînement basé Web I intelligent system simulation T açik oyun T ag üzerinde benzetim F simulation de système I open game I networked simulation intelligent F jeu ouvert F simulation en réseau T akis degiskeni T açik varsayim T ag; örün; Internet I flow variable I explicit assumption I Web F variable de flux F hypothèse explicite F Web T aksama T açik; belirtik T aga bagli dizge I failure I explicit I networked system F faute F explicite F système en réseau T aktarim islevi benzetimi T açiklama modeli T agaç biçimdesi I transfer function simulation I explanatory model I tree formalism F simulation de fonction de F modèle explicatif F formalisme pour la transfert T açisal hata représentation des arbres T aktör I angular error T agaç modeli I actor F erreur angulaire I tree model F acteur T aday altmodel F modèle arborescent T aktör model I candidate submodel T agaç tabanli modelleme I actor model F sous-modèle candidat I tree-based modeling F modèle d'acteurs T aday deger F modélisation arborescente T aktör programlama modeli I candidate value T agda erisilebilir I actor-programming model F valeur candidate I Web accessible F modèle de programmation par T aday model F accessible via Internet acteurs I candidate model T agda erisilebilir ontoloji T aktör tabanli F modèle candidat I Web-accessible ontology I actor-based T adim F ontologie accessible sur Web F centré acteur I step T agirlikli deger T alan çözümlemesi F pas I weighted value I domain analysis T adim adim F valeur pondérée F analyse du domaine I step-by-step T akademik benzetim T alan isterleri F pas à pas I academic simulation I domain requirements T adim büyüklügü F simulation académique F besoins du domaine I step size T akil yürütme T alan modeli F incrément du pas I reasoning I domain model F raisonnement F modèle du domaine T I akil yürütme benzetimi reasoning simulation F simulation du raisonnement

2 T alan sinamasi T algilanmis içsel girdi T alisilagelmis girdi I field testing I perceived internal input I conventional input F test sur le terrain F entrée perçue de façon F entrée conventionnelle test en ligne interne T ALPS'a (KDBP'ye) uyumlu T alan uzmani T algilanmis olay benzetim sistemi I subject matter expert I perceived event I ALPS-compliant simulation F expert du domaine F événement perçu system T alan; ilgi alani; tanim T algilayici F système de simulation kümesi I sensor compatible ALPS I domain F capteur T ALSP uyumlu F domaine senseur I ALSP compliant T alet hatasi T algilayici dizge F conforme à ALSP I instrument error I sensor system T alt düzey bilesen F erreur instrumentale F système de capteurs I low level component T alet; aygit T algilayici girdisi F composant de bas niveau I instrument I sensor input T alt düzey dil F instrument F entrée par capteur I low-level language T algilama T algilayici hatasi F langage à bas niveau I perception I sensor error T alt düzey uyari F perception F erreur du capteur I low-level stimulus T algilama hatasi T algilayici tabanli dizge F stimulus de bas niveau I perception error I sensor-based system T alt sinir F erreur de perception F système basé capteurs I lower bound T algilama tabanli modelleme T algilayici tümlestirme lower limit I perception-based modeling I sensor fusion F borne inférieure F modélisation basée sur la F fusion des capteurs limite inférieure perception T algilayici verisi T altamaç T algilamak I sensor data I subgoal I perceive (v) F données de capteur F sous-but F percevoir T algisal girdi T altbaglasim T algilanabilir I perceptual input I sub-coupling I perceivable F entrée perceptuelle F sous couplage F perceptible T algisal model; duyusal model T altbilesen T algilanan amaç I sensory model I subcomponent I perceived goal F modèle sensoriel F sous-composant F objectif perçu T algisal veri; duyusal veri T altbirim T algilanan gerçek I sensory data I submodule I perceived truth F données sensorielles F sous-module F vérité perçue T algoritma T altbirimsellik T algilanan model I algorithm I submodularity I perceived model F algorithme F sous-modularité F modèle perçu T algoritma esdegerligi T altçati T algilanan veri I algorithm equivalence I subframe I perceived data F équivalence d'algorithme F souscadre F données perçues T algoritma tabanli T altmodel T algilanan; algilanmis I algoritm-based I submodel I perceived F à base d'algorithme F sous-modèle F perçu T algoritmanin denetimi T altmodel geçerliligi T algilanmis dissal girdi I algoritm check I submodel validity I perceived external input F algorithme de contrôle F validité de sous-modèle F entrée perçue de façon T algoritmik hata T altmodel sinamasi externe I algoritmic error I submodel testing T algilanmis girdi F erreur algoritmique F test de sous-modèle I perceived input T algoritmik model T altmodelin etkinlestirilmesi sensed input I algorithmic model I submodel activation F entrée perçue F modèle algorithmique F activation du sous-modèle T alisilagelmemis girdi T altmodelin I unconventional input etkisizlestirilmesi F entrée non-conventionnelle I submodel deactivation F désactivation de sous-modèle

3 T altolay T amaç bilesenlerinin T anahtarlama I subevent tutarliligi I switching F sous-événement I consistency of goal F changement de T altsimgeli degisken components T analitik I subscripted variable F cohérence des composants de I analytic F variable indicée l'objectif F analytique T alttan sinirli T amaç degisken T analitik benzetim I bounded below I goal variable I analytic simulation F bornée inférieurement F variable de but F simulation analytique T altyapi T amaç dosya T analitik bilissel model I infrastructure I object file I analytical cognitive model substructure F fichier des objets F modèle cognitif analytique F infrastructure T amaç islev T analitik model sous structure I objective function I analytic model T amacin etik degerlendirimi F fonction objective F modèle analytique I ethical assessment of the T amaç kod T analog benzetim; örneksel goal I object code benzetim ethical goal assessment F code object I analog simulation F évaluation éthique de T amaç model F simulation analogique l'objectif I target model T analog bilgisayar; örneksel évaluation éthique F modèle cible bilgisayar d'objectif T amaç sürümlü yöntembilim I analog computer T amaç I objectives driven methodology F calculateur analogique I goal F méthodologie dirigée par les T analog giris; örneksel giris objective objectifs I analog input purpose T amaç üreten model F entrée analogique F objectif I teleogenic model T analog model; örneksel model but F modèle téléogénique I analog model T amaç benzetim dili T amaç yapisi F modèle analogique I object SL I goal structure T analog; örneksel target SL F structure d'un objectif I analog F LS objet T amaç yönlendirmeli F analogique LS cible I goal- directed T analog-sayisal çevirici T amaç benzetim programi F dirigé par les objectifs I analog-to-digital converter I object simulation program T amaç yönlendirmeli çoklu F convertisseur F programme de simulation par model analogique-numérique objets I goal-directed multimodel T anilabilir deger programme de simulation F multi-modèle centré objectifs I referential value orienté-objets T amaç yönlendirmeli dizge F valeur référentielle T amaç bileseni modeli T ani degismeli benzetim dili I goal component I goal-directed system model I catastrophic SL F composant de l'objectif F modèle centré objectifs F LS des catastrophes T amaç bilesenlerinin çeliskisi T amaçla belirli T ani degismeli davranis I contradiction of goal I goal-determined I catastrophic behavior components F déterminé par objectif F comportement catastrophique F contradiction des composants T amaçli model T anlambilimsel ag de l'objectif I teleological model I semantic Web T amaç bilesenlerinin F modèle téléologique F Web sémantique indirgenebilirligi T ana bilgisayar T anlambilimsel bellek modeli I reducibility of goal I host simulation computer I semantic memory model components F ordinateur hôte de la F modèle de mémoire sémantique F réductibilité des composants simulation T anlambilimsel de l'objectif T anahtar deger birlestirilebilirlik I key value I semantic composability F valeur clé F composabilité sémantique T anahtar degisken T anlambilimsel deger I key variable I semantic value F variable clé F valeur sémantique

4 T anlambilimsel degerlendirim T araci modeli T ardil I semantic assessment I brokered model I successor F évaluation sémantique F modèle issu d'un courtier F successeur T anlambilimsel hata T aracili suivant I semantic error I mediated T ardil iliskisi F erreur sémantique F avec médiation I successor relation T anlambilimsel model T aracilik F relation successeur I semantic model I brokering T ardisik F modèle sémantique F courtage I sequential T anlambilimsel modelleme T araç F séquentiel I semantic modeling I tool T ardisik benzetim F modélisation sémantique F outil I sequential simulation T anlambilimsel varlik T araç destegi F simulation séquentielle I semantic entity I tool support T ardisik benzetim dili F entité sémantique F support d'outil I sequential SL T anlambilimsel veri modeli T aradegerleme F LS séquentièl I semantic data model I interpolation T ardisik çoklu model F modèle de données sémantiques F interpolation I sequential multimodel T anlambilimsel yapi T aradegerleme hatasi F multi-modèle séquentiel I semantic structure I interpolation error T ardisik durum F structure sémantique F erreur d'interpolation I sequential state T anlambilimsel yararci model T aralik; ara F état séquentiel I semantic-pragmatic model I interval T ardisik oyun F modèle sémantico-pragmatique F intervalle I sequential game T anlami belirsiz veri T aralik; süre F jeu séquentiel I ambiguous data I period T ardistirma F données ambiguës F période I sequencing T anlasilir model T arama bölgesi F séquençage I comprehensible model I search region T arindirma teknigi; F modèle compréhensible F région de recherche arindirilma teknigi T anlasilirlik T arama modeli I refinement technique I comprehensibility I search model F technique de raffinement intelligibility F modèle de recherche T arindirma; arindirilma F compréhensibilité T arastirma modeli I refinement intelligibilité I exploration model F raffinement T anlatimsal model research model T ariza sezimi I narrative model F modèle d'exploration I fault detection F modèle narratif modèle de recherche F détection de panne T anma degeri T arastirma oyunu T ariza; bozukluk I nominal value I research game I fault F valeur nominale F jeu de recherche F faute T aplet T arastirmasal benzetim T arizali I applet I exploratory simulation I faulty F applette F simulation exploratoire F défectueux appliquette T arastirmasal çoklu model incorrect T ara deger I exploratory multimodel T arizali benzetim I intermediate value F multi-modèle exploratoire I faulty simulation F valeur intermédiaire T arastirmasal model F simulation erronée T ara model I exploratory model T arizali bilesen I intermediate model F modèle exploratoire I faulty component F modèle intermédiaire T arastirmasal modelleme F composant défectueux T ara yazilim I exploratory modeling T arizali model I middleware F modélisation exploratoire I faulty model F intergiciel T arayüz birimi F modèle erroné T arabirim belirtimi; arayüz I interface module T arizaya dayaniklik belirtimi F module d'interface I fault tolerance I interface specification T arayüz; arabirim F tolérance aux fautes F spécification d'interface I interface T aritmetik yanilti F interface I arithmetic mistake F erreur arithmétique

5 T artimsal benzetim T ayirici özellik T ayrik durumlu dizge I incremental simulation I characteristic I discrete-state system F simulation incrémentale F caractéristique F système à états discrets T arttirilmis gerçek T ayirt edilir; sezilir T ayrik model I augmented reality I discernible I discrete model F réalité augmentée F perceptible F modèle discret T arttirilmis gerçek benzetimi T aykirimsi T ayrik olay I augmented reality simulation I antithetic I discrete event F simulation de réalité F antithétique F événement discret augmentée T aykirimsi benzetim geçisi T ayrik olay biçimdesi T askeri oyun I antithetic simulation run I discrete event formalism I military game F exécution d'une simulation F formalisme à événement F jeu militaire antithétique discret T askeri oyun oynama T aykirimsi benzetim incelemesi T ayrik olay dizgesi I military gaming I antithetic simulation study I discrete-event system F jeu militaire F étude de simulation F système à événements discrets T asagidan yukariya kurma antithétique T ayrik olay dizgesi belirtimi I bottom-up construction T aykirimsi degiske I discrete event system F construction de bas en haut I antithetic variate specification T asagidan yukariya sinama F variation antithetic F spécification des systèmes à I bottom-up testing T aykirimsi degisken événements discrets F test ascendant I antithetic variable T ayrik olay modelleme T asagidan yukariya tasarim F variable antithétique I discrete event modeling I bottom-up design T aykirimsi geçis F modélisation par événements F conception ascendante I antithetic run discrets T asamali baglasim F exécution antithétique T ayrik olayli benzetim I cascade coupling T aykirimsi inceleme I discrete event simulation F couplage en cascade I antithetic study F simulation à événements T asiri kestirim hatasi F étude antithétique discrets I overestimation error T ayrik T ayrik olayli model F erreur de surestimation I discrete I discrete-event model T ata F discret F modèle à événements discrets I ancestor T ayrik benzetim T ayrik uzay F ancêtre I discrete simulation I discrete space T ata modeli F simulation discrète F espace discret I ancestor model T ayrik benzetim dili T ayrik uzay ayrik zaman modeli F modèle ancêtre I discrete SL I discrete-space discrete-time T atama F LS discret model I assignment T ayrik dagilim F modèle à espace discret et F affectation I discrete distribution temps discret T atomik model F distribution discrète T ayrik uzay modeli I atomic model T ayrik degisen degisken I discrete-space model F modèle atomique I discrete-change variable F modèle à espace discret T atomik model belirtimi F variable à changement discret T ayrik uzay sürekli zaman I atomic model specification T ayrik degisen model modeli F spécification de modèles I discrete-change model I discrete-space atomiques F modèle d'évolution discrète continuous-time model T atomik varlik T ayrik degisimli benzetim F modèle à espace discret et I atomic entity I discrete-change simulation temps continu F entité atomique F simulation à changements T ayrik zaman entité élémentaire discrets I discrete time T aygit gecikmesi T ayrik degisken F temps discret I device latency I discrete variable T ayrik zamanli benzetim F latence de dispositif F variable discrète I discrete-time simulation T ayirici çözümleme T ayrik dizge F simulation à temps discret I discriminatory analysis I discrete system T ayrik zamanli degisken F analyse discriminatoire F système discret I discrete-time variable T ayirici model T ayrik durum modeli F variable à temps discret I disjunctive model I discrete-state model F modèle disjonctif F modèle à états discrets

F abstraction en simulation

F abstraction en simulation F abstraction de haut niveau F acceptation A high-level abstraction A acceptance T üst düzey soyutlama accepting A F abstraction de processus T onama A process abstraction onayan T süreç soyutlamasi seçme

Plus en détail

Prise de position de la section 7. travail sur une possible partition

Prise de position de la section 7. travail sur une possible partition Prise de position de la section 7 travail sur une possible partition Notre prise de position est structurée comme suit : dans une première partie, nous expliquons le contexte dans lequel notre travail

Plus en détail

AUTOMATIQUE Glossaire

AUTOMATIQUE Glossaire AUTOMATIQUE Glossaire J.J. Orteu 22 septembre 2005 Table des matières 1 Français Anglais 2 2 Anglais Français 5 1 1 Français Anglais Action dérivée Action intégrale Action proportionnelle Actionneur Amorti

Plus en détail

Analyses de Sûreté de Fonctionnement multi-systèmes

Analyses de Sûreté de Fonctionnement multi-systèmes 27/11/2007 Présenté par BERNARD Romain (Airbus, EAT) Encadrants: ZEITOUN Marc, GRIFFAULT Alain (LaBRI) BIEBER Pierre (ONERA) METGE Sylvain (Airbus, EADA) Analyses de Sûreté de Fonctionnement multi-systèmes

Plus en détail

Chapitre 9 HLA distributed simulation approaches for supply chain

Chapitre 9 HLA distributed simulation approaches for supply chain Présentation livre Simulation for Supply Chain Management Chapitre 9 HLA distributed simulation approaches for supply chain B. Archimède, P. Charbonnaud, F. Ounnar, P. Pujo Contexte et motivation Problématique

Plus en détail

Technologies pour le developpement durabe des produits intelligents

Technologies pour le developpement durabe des produits intelligents Technologies pour le developpement durabe des produits intelligents Dimitris Kyritsis (Kiritsis) EPFL, ICT for Sustainable Manufacturing dimitris.kiritsis@epfl.ch EPFL/STI/IGM/ICT for Sustainable Manufacturing

Plus en détail

Synergies entre Artisan Studio et outils PLM

Synergies entre Artisan Studio et outils PLM SysML France 13 Novembre 2012 William Boyer-Vidal Regional Sales Manager Southern Europe Synergies entre Artisan Studio et outils PLM 2012 2012 Atego. Atego. 1 Challenges & Tendances Complexité des produits

Plus en détail

Ingénierie et gestion des connaissances

Ingénierie et gestion des connaissances Master Web Intelligence ICM Option Informatique Ingénierie et gestion des connaissances Philippe BEAUNE Philippe.Beaune@emse.fr 18 novembre 2008 Passer en revue quelques idées fondatrices de l ingénierie

Plus en détail

Problématiques de recherche. Figure Research Agenda for service-oriented computing

Problématiques de recherche. Figure Research Agenda for service-oriented computing Problématiques de recherche 90 Figure Research Agenda for service-oriented computing Conférences dans le domaine ICWS (International Conference on Web Services) Web services specifications and enhancements

Plus en détail

Introduction aux systèmes temps réel. Iulian Ober IRIT ober@iut-blagnac.fr

Introduction aux systèmes temps réel. Iulian Ober IRIT ober@iut-blagnac.fr Introduction aux systèmes temps réel Iulian Ober IRIT ober@iut-blagnac.fr Définition Systèmes dont la correction ne dépend pas seulement des valeurs des résultats produits mais également des délais dans

Plus en détail

Systems Modeling Language SysML

Systems Modeling Language SysML Systems Modeling Language SysML Lionel GENDRE et Jean-Marie VIRELY ENS Cachan -1- SysML (Systems Modeling Language) Le langage SysML signifiés : éléments d un modèle signifiants : symboles + textes «Diagrammes

Plus en détail

Évaluation de la sûreté de fonctionnement d applications basées sur le Web

Évaluation de la sûreté de fonctionnement d applications basées sur le Web Évaluation de la sûreté de fonctionnement d applications basées sur le Web Mohamed Kaâniche, Karama Kanoun {Mohamed.Kaaniche; Karama.Kanoun}@laas.fr Journée SEE «Sûreté de fonctionnement des réseaux de

Plus en détail

Analyse abstraite de missions sous PILOT

Analyse abstraite de missions sous PILOT Analyse abstraite de missions sous PILOT Damien Massé EA 3883, Université de Bretagne Occidentale, Brest damien.masse@univ-brest.fr Résumé Nous étudions la possibilité de réaliser un analyseur par interprétation

Plus en détail

Surveillance et maintenance prédictive : évaluation de la latence de fautes. Zineb SIMEU-ABAZI Univ. Joseph Fourier, LAG)

Surveillance et maintenance prédictive : évaluation de la latence de fautes. Zineb SIMEU-ABAZI Univ. Joseph Fourier, LAG) Surveillance et maintenance prédictive : évaluation de la latence de fautes Zineb SIMEU-ABAZI Univ. Joseph Fourier, LAG) SURVEILLANCE Analyser une situation et fournir des indicateurs! Détection de symptômes!

Plus en détail

Il y a de l'ia dans les programmes de l'agence Nationale de la Recherche Bertrand Braunschweig Responsable de programmes Paris, 3 Novembre 2006

Il y a de l'ia dans les programmes de l'agence Nationale de la Recherche Bertrand Braunschweig Responsable de programmes Paris, 3 Novembre 2006 Il y a de l'ia dans les programmes de l'agence Nationale de la Recherche Bertrand Braunschweig Responsable de programmes Paris, 3 Novembre 2006 www.agence-nationale-recherche.fr Bref historique Un objectif

Plus en détail

Projet Industriel Identification des contraintes DO 178C en implémentant l approche «Model Based Testing» avec l aide de l outil MaTeLo

Projet Industriel Identification des contraintes DO 178C en implémentant l approche «Model Based Testing» avec l aide de l outil MaTeLo Projet Industriel Identification des contraintes DO 178C en implémentant l approche «Model Based Testing» avec l aide de l outil MaTeLo Encadrement : Mihaela BARREAU Anthony FAUCOGNEY René Christian TUYISHIME

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

Estimation d état des systèmes non-linéaires à temps continu par une approche ensembliste

Estimation d état des systèmes non-linéaires à temps continu par une approche ensembliste Estimation d état des systèmes non-linéaires à temps continu par une approche ensembliste Luc Jaulin Laboratoire d Ingénierie des Systèmes Automatiséss, 62 avenue Notre Dame du Lac 49 000 Angers, France

Plus en détail

Résultats des projets CARROLL. Bilan et perspectives. Ingénierie logicielle orientée modèle MDD

Résultats des projets CARROLL. Bilan et perspectives. Ingénierie logicielle orientée modèle MDD Résultats des projets CARROLL Bilan et perspectives Ingénierie logicielle orientée modèle MDD Serge Salicki, THALES Workshop CARROLL 23 septembre 2005 THALES et le MDE Le MDE est dans la strategie de THALES

Plus en détail

Radio cognitive et Réception à complexité adaptative

Radio cognitive et Réception à complexité adaptative Radio cognitive et Réception à complexité adaptative Journées Scientifiques du CNFRS 28/03/2006 Nicolas Colson France Telecom R&D Plan de la présentation La radio Cognitive Objectifs et étude de cas Simulation

Plus en détail

GÉNIE LOGICIEL (SOFTWARE ENGINEERING)

GÉNIE LOGICIEL (SOFTWARE ENGINEERING) GÉNIE LOGICIEL (SOFTWARE ENGINEERING) 5ÈME PARTIE UML (UNIFIED MODELING LANGUAGE) Faculté des Sciences et Techniques http://labh-curien.univ-st-etienne.fr/~fj/gl Francois.Jacquenet@univ-st-etienne.fr Plan

Plus en détail

BUSINESSVALUATOR. Management presentation

BUSINESSVALUATOR. Management presentation BUSINESSVALUATOR Management presentation English pages 2 to 12, French pages 13 to 23 Jean-Marc Bogenmann Designer of BusinessValuator Accredited consultant in business transfer jeanmarcbogenmann@iib.ws

Plus en détail

Noureddine Kerzazi noureddine.kerzazi@polymtl.ca

Noureddine Kerzazi noureddine.kerzazi@polymtl.ca Domaine de la modélisation des processus pour le génie logiciel. Noureddine Kerzazi noureddine.kerzazi@polymtl.ca DSL4SPM Domain-Specific-Language for Software Process Modeling Il s agit d un nouveau cadre

Plus en détail

Software integration in mobile robotics, a science to scale up machine intelligence

Software integration in mobile robotics, a science to scale up machine intelligence Software integration in mobile robotics, a science to scale up machine intelligence THÈSE N O 4783 (2010) PRÉSENTÉE LE 12 AOÛT 2010 À LA FACULTÉ SCIENCES ET TECHNIQUES DE L'INGÉNIEUR LABORATOIRE DE SYSTÈMES

Plus en détail

Ingénierie Dirigée par les Modèles IDM

Ingénierie Dirigée par les Modèles IDM Ingénierie Dirigée par les Modèles Pierre Laforcade Master EIAH 2007 Présentation personnelle Statut Enseignements Lieu : IUT de Laval Matières : modélisation objet en UML, programmation objet, JavaEE/EJB,...

Plus en détail

Analyse qualitative et quantitative des Systèmes Automatisés de Production

Analyse qualitative et quantitative des Systèmes Automatisés de Production Analyse qualitative et quantitative des Systèmes Automatisés de Production Jean-Luc Cojan Laboratoire LISyC Université de Bretagne Occidentale Encadrants : M. Philippe Le Parc M. Loïc Plassart M. Franck

Plus en détail

Utilisation de l'outil GATeL pour l'évaluation des tests de logiciels critiques à l'irsn

Utilisation de l'outil GATeL pour l'évaluation des tests de logiciels critiques à l'irsn Journée SEE "Certification et méthodes formelles" Utilisation de l'outil GATeL pour l'évaluation des tests de logiciels critiques à l'irsn ONERA Toulouse, 3 février 2004 Jean Gassino (jean.gassino@irsn.fr).

Plus en détail

Tamago: Une plateforme pour des comportements

Tamago: Une plateforme pour des comportements Tamago: Une plateforme pour des comportements d agent sûre Séminaire DESIR Hakim Belhaouari Encadrant: Frederic Peschanski Laboratoire d Informatique de Paris 6 & UMPC Paris Universitas Equipe SMA 18 février

Plus en détail

modèles génériques applicables à la synthèse de contrôleurs discrets pour l Internet des Objets

modèles génériques applicables à la synthèse de contrôleurs discrets pour l Internet des Objets modèles génériques applicables à la synthèse de contrôleurs discrets pour l Internet des Objets Mengxuan Zhao, Gilles Privat, Orange Labs, Grenoble, France Eric Rutten, INRIA, Grenoble, France Hassane

Plus en détail

Enjeux de la conception des systèmes critiques automobiles

Enjeux de la conception des systèmes critiques automobiles Enjeux de la conception des systèmes critiques automobiles Systèmes actuels et à venir Comparaison à d autres secteurs Processus du projet SETTA Limitations Conclusion Systèmes actuels et à venir ABS Direction

Plus en détail

- Couches - Éléments - Domaines - ArchiMate et les techniques du BABOK

- Couches - Éléments - Domaines - ArchiMate et les techniques du BABOK ArchiMate et l architecture d entreprise Par Julien Allaire Ordre du jour Présentation du langage ArchiMate - Couches - Éléments - Domaines - ArchiMate et les techniques du BABOK Présentation du modèle

Plus en détail

Filière de formation :

Filière de formation : Filière de formation : CONSULTANT TESTING HP FOR SAP DOSSIER PEDAGOGIQUE Renseignements et moyens pédagogiques Contenus de cours détaillés Durée : 26 jours (en centre FITEC) Sommaire Sommaire...1 Sommaire...2

Plus en détail

Développement logiciel pour l Architecture Orientée Services avec IBM Rational Software Development Platform

Développement logiciel pour l Architecture Orientée Services avec IBM Rational Software Development Platform IBM Software Group Développement logiciel pour l Architecture Orientée Services avec IBM Rational Software Development Platform Thierry Bourrier, Techical Consultant thierry.bourrier@fr.ibm.com L Architecture

Plus en détail

www.vitro-fp7.eu Project No: FP7-ICT- 257245

www.vitro-fp7.eu Project No: FP7-ICT- 257245 Virtualiser des réseaux de capteurs par des services : l approche VIRO séminaire de recherche INF élécom SudParis, 25-26 Juin 2012 Zahra Movahedi, l équipe Simbad Plan Introduction Présentation VIRO Ma

Plus en détail

MODELE DE SIMULATION RECURSIVE ET OPTIMISATION

MODELE DE SIMULATION RECURSIVE ET OPTIMISATION MODELE DE SIMULATION RECURSIVE ET OPTIMISATION CABARBAYE André 1&2, LAULHERET Roland 1 1 Centre National d Etudes Spatiales (CNES), 18 av. Edouard Belin, 31401, Toulouse, France 05 61 28 27 41 / 05 61

Plus en détail

RFID: Middleware et intégration avec le système d'information Olivier Liechti

RFID: Middleware et intégration avec le système d'information Olivier Liechti RFID: Middleware et intégration avec le système d'information Olivier Liechti Sun Microsystems, Inc. Agenda Introduction > Vision et architecture Le rôle du middleware RFID > Gestion des données > Administration

Plus en détail

UN ENVIRONNEMENT G-DEVS/HLA :APPLICATION A LA MODELISATION ET SIMULATION DISTRIBUEE DE WORKFLOW

UN ENVIRONNEMENT G-DEVS/HLA :APPLICATION A LA MODELISATION ET SIMULATION DISTRIBUEE DE WORKFLOW UN ENVIRONNEMENT G-DEVS/HLA :APPLICATION A LA MODELISATION ET SIMULATION DISTRIBUEE DE WORKFLOW Gregory Zacharewicz To cite this version: Gregory Zacharewicz. UN ENVIRONNEMENT G-DEVS/HLA :APPLICATION A

Plus en détail

Étalonnage de la sûreté de fonctionnement de systèmes d'exploitation

Étalonnage de la sûreté de fonctionnement de systèmes d'exploitation Étalonnage de la sûreté de fonctionnement de systèmes d'exploitation Karama KANOUN LAAS-CNRS Club SEE Systèmes Informatiques de Confiance Atelier du 20 octobre 2005 Logiciels sur étagère (libres ou commerciaux)

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

AMSI - Chapitre 3 Perspectives de modélisation et UML

AMSI - Chapitre 3 Perspectives de modélisation et UML AMSI - Chapitre 3 Perspectives de modélisation et UML Philippe Thiran Année académique 2010-2011 Notes de cours: Patrick Heymans, Isabelle Pollet & Philippe Thiran The University Of Namur Version du vendredi

Plus en détail

Programme de l enseignement obligatoire commun de mathématiques Cycle terminal de la série sciences et technologies du management et de la gestion

Programme de l enseignement obligatoire commun de mathématiques Cycle terminal de la série sciences et technologies du management et de la gestion Programme de l enseignement obligatoire commun de mathématiques Cycle terminal de la série sciences et technologies du management et de la gestion L enseignement des mathématiques au collège et au lycée

Plus en détail

Le Futur de la Visualisation d Information. Jean-Daniel Fekete Projet in situ INRIA Futurs

Le Futur de la Visualisation d Information. Jean-Daniel Fekete Projet in situ INRIA Futurs Le Futur de la Visualisation d Information Jean-Daniel Fekete Projet in situ INRIA Futurs La visualisation d information 1.Présentation 2.Bilan 3.Perspectives Visualisation : 3 domaines Visualisation scientifique

Plus en détail

Software Requirements. Cahier des Charges des Logiciels. LFI2, Automne 2008, Genie Logiciel

Software Requirements. Cahier des Charges des Logiciels. LFI2, Automne 2008, Genie Logiciel Software Requirements المتطلبات البرمجية Cahier des Charges des Logiciels LFI2, Automne 2008, Genie Logiciel Cahier des Charges Document qui stipule Services rendus par le systeme envisage. Contraintes

Plus en détail

Génération de code binaire pour application multimedia : une approche au vol

Génération de code binaire pour application multimedia : une approche au vol Génération de binaire pour application multimedia : une approche au vol http://hpbcg.org/ Henri-Pierre Charles Université de Versailles Saint-Quentin en Yvelines 3 Octobre 2009 Présentation Présentation

Plus en détail

Dossier d'étude technique

Dossier d'étude technique Centre national de la recherche scientifique Direction des systèmes d'information REFERENTIEL QUALITE Guide méthodologique Dossier d'étude technique Référence : CNRS/DSI/conduite-projet/developpement/technique/guide-etude-technique

Plus en détail

Knowledge Enabled Real-Time Recommendation System

Knowledge Enabled Real-Time Recommendation System Knowledge Enabled Real-Time Recommendation System Syed Gillani, Jules Chevalier syed.gillani@univ-st-etienne.fr jules.chevalier@univ-st-etienne.fr Institut Henri Fayol, École des Mines de Saint-Étienne

Plus en détail

IEEE Learning Technology Standards Committee Comité des Normes en Technologies d Apprentissage de l IEEE

IEEE Learning Technology Standards Committee Comité des Normes en Technologies d Apprentissage de l IEEE IEEE Learning Technology Standards Committee Comité des Normes en Technologies d Apprentissage de l IEEE Robby Robson Chair, LTSC Président, LTSC rrobson@eduworks.com 19 March, 2003 What is the LTSC? Le

Plus en détail

Environnements de Développement

Environnements de Développement Institut Supérieur des Etudes Technologiques de Mahdia Unité d Enseignement: Environnements de Développement Mme BEN ABDELJELIL HASSINE Mouna m.bnaj@yahoo.fr Développement des systèmes d Information Syllabus

Plus en détail

IODAA. de l 1nf0rmation à la Décision par l Analyse et l Apprentissage / 21

IODAA. de l 1nf0rmation à la Décision par l Analyse et l Apprentissage / 21 IODAA de l 1nf0rmation à la Décision par l Analyse et l Apprentissage IODAA Informations générales 2 Un monde nouveau Des données numériques partout en croissance prodigieuse Comment en extraire des connaissances

Plus en détail

Approche organisationnelle basée sur le paradigme agent pour la synthèse & la réutilisation des connaissances en ingénierie collaborative

Approche organisationnelle basée sur le paradigme agent pour la synthèse & la réutilisation des connaissances en ingénierie collaborative Approche organisationnelle basée sur le paradigme agent pour la synthèse & la réutilisation des connaissances en ingénierie collaborative Hind Darwich, doctorante en thèse CIFRE au sein de la société TDC

Plus en détail

Introduction aux bases de données Cours 2 : Modélisation d une base de données

Introduction aux bases de données Cours 2 : Modélisation d une base de données Cours 2 : Modélisation d une base de données ESIL Université de la méditerranée Odile.Papini@esil.univmed.fr http://odile.papini.perso.esil.univmed.fr/sources/bdmat.html Plan du cours 1 Modélisation d

Plus en détail

Modélisation: outillage et intégration

Modélisation: outillage et intégration Modélisation: outillage et intégration Emmanuel Gaudin emmanuel.gaudin@pragmadev.com Un réel besoin Le logiciel double tous les deux ans. Le volume final rend extrêmement difficile de garantir le niveau

Plus en détail

Retour d expérience évaluation de H2020 (ou 8 ème PCRD de EU)

Retour d expérience évaluation de H2020 (ou 8 ème PCRD de EU) Retour d expérience évaluation de H2020 (ou 8 ème PCRD de EU) Edwige Pissaloux pissaloux@sfr.fr 18/11/2014 Plan 1. De l idée au projet. 2. Principales règles de participation. 3. Evaluation des projets.

Plus en détail

P R O G R A M M E E T I N S T R U C T I O N S O F F I C I E L L E S

P R O G R A M M E E T I N S T R U C T I O N S O F F I C I E L L E S P R O G R A M M E E T I N S T R U C T I O N S O F F I C I E L L E S POUR L ENSEIGNEMENT DE L INFORMATIQUE MPSI première année I. Objectifs de la formation II-1 Développement de compétences et d aptitudes

Plus en détail

SOA : le futur des bâtiments intelligents?

SOA : le futur des bâtiments intelligents? SOA : le futur des bâtiments intelligents? Philippe Nappey Schneider Electric Strategy & Innovation IN Tech 20 janvier 2011 Contexte Les bâtiments deviennent de plus en plus intelligents Ils intègrent

Plus en détail

Objectif : Programme: Projet coordonné par l Office International de l Eau. Evènement labellisé World Water Forum 6

Objectif : Programme: Projet coordonné par l Office International de l Eau. Evènement labellisé World Water Forum 6 Atelier WaterDiss2.0: Valoriser les résultats de la recherche sur l'eau comme catalyseur de l'innovation. Paris, Pollutec, 1 er Décembre 2011 De 14h à 17h Salle 617 Objectif : L'objectif du projet WaterDiss2.0

Plus en détail

Les systèmes de base de données temps réels. Pokrovskaya Natalia, Kabbali Nadia

Les systèmes de base de données temps réels. Pokrovskaya Natalia, Kabbali Nadia Les systèmes de base de données temps réels Pokrovskaya Natalia, Kabbali Nadia Année académique 2008-2009 Table des matières 1 Introduction 2 2 Système de gestion de bases de données classiques 3 3 Systèmes

Plus en détail

Cours 7: Conception des systèmes interactifs (partie 1)

Cours 7: Conception des systèmes interactifs (partie 1) Cours 7: Conception des systèmes interactifs (partie 1) Anastasia.Bezerianos@lri.fr (plusieurs slides sont basés sur des slides de T. Tsandilas, W. Mackay, M. Beaudouin Lafon, D. Vogel et S. Greenberg)

Plus en détail

Librairie BDD+APRON pour domaines logico-numériques

Librairie BDD+APRON pour domaines logico-numériques Librairie BDD+APRON pour domaines logico-numériques Bertrand Jeannet INRIA Rhône-Alpes January 26, 2009 Architecture typique d un analyseur statique Programme Transformation Équations sémantiques Solveur

Plus en détail

Bases de données Cours 2 : Modélisation d une base de données

Bases de données Cours 2 : Modélisation d une base de données Cours 2 : Modélisation d une base de données POLYTECH Université d Aix-Marseille odile.papini@univ-amu.fr http://odile.papini.perso.esil.univmed.fr/sources/bd.html Plan du cours 1 Modélisation d une base

Plus en détail

Réseau Sociaux Plan. 1. Historique. 2. Définition et fonctionnalités. 3. Usages actuels. 4. Tendances. 5. Problématiques de recherche

Réseau Sociaux Plan. 1. Historique. 2. Définition et fonctionnalités. 3. Usages actuels. 4. Tendances. 5. Problématiques de recherche Réseaux Sociaux Révolution des usages sur Internet, et nouvelles problématiques de recherche Pierre Maret, Laboratoire Hubert Curien, St-Etienne Adrien Joly, Alcatel-Lucent Bell Labs France, Villarceaux

Plus en détail

Rapport d étude bibliographique

Rapport d étude bibliographique Rapport d étude bibliographique David SUAREZ Janvier 2011 Encadrants : Joël CHAMPEAU, Stephen CREFF Equipe : LISyC équipe IDM, ENSIETA Plan 1. Introduction... 3 2. Ingénierie Dirigée par les Modèles (IDM)...

Plus en détail

Big Data -Comment exploiter les données et les transformer en prise de décisions?

Big Data -Comment exploiter les données et les transformer en prise de décisions? IBM Global Industry Solution Center Nice-Paris Big Data -Comment exploiter les données et les transformer en prise de décisions? Apollonie Sbragia Architecte Senior & Responsable Centre D Excellence Assurance

Plus en détail

Conditions de l'examen

Conditions de l'examen Conditions de l'examen Gestion des selon la norme ISO/CEI 20000 Consultant/Manager (IS20CM.FR) Date de publication 01-07-2010 Date de parution 01-07-2010 Résumé Groupe cible Le qualification Consultant/Manager

Plus en détail

Offre de formation de troisième cycle (LMD)

Offre de formation de troisième cycle (LMD) Offre de formation de troisième cycle (LMD) (Arrêté n 250 du 28 juillet 2009, fixant l organisation de la formation de troisième en vue de l obtention du diplôme de doctorat) Etablissement Faculté / Institut

Plus en détail

Détection d'intrusions en environnement haute performance

Détection d'intrusions en environnement haute performance Symposium sur la Sécurité des Technologies de l'information et des Communications '05 Détection d'intrusions en environnement haute performance Clusters HPC Fabrice Gadaud (fabrice.gadaud@cea.fr) 1 Sommaire

Plus en détail

Le traitement du Big Data inclue la collecte, la curation, le stockage, l enrichissement, le croisement, la partage, l analyse et la visualisation.

Le traitement du Big Data inclue la collecte, la curation, le stockage, l enrichissement, le croisement, la partage, l analyse et la visualisation. Les infrastructure du Big Data Le «Big Data» vise à tirer un avantage concurrentiel au travers de méthodes de collecte, d analyse et d exploitation des données qu on ne pouvait utiliser jusqu à présent

Plus en détail

Les sections 6 et 7. du ComitéNational de la RechercheScientifique

Les sections 6 et 7. du ComitéNational de la RechercheScientifique Les sections 6 et 7 du ComitéNational de la RechercheScientifique (CoNRS) Frédérique Bassino et Michèle Basseville Plan Le comité national Les missions des sections Les sections 6 et 7 Le comiténational

Plus en détail

Chaire de Recherche du Canada Modélisation de la Qualité de l Eau

Chaire de Recherche du Canada Modélisation de la Qualité de l Eau modeleau Chaire de Recherche du Canada Modélisation de la Qualité de l Eau Cours en gestion des eaux pluviales Peter Vanrolleghem & Leiv Rieger 17 juin 08 Chaire de Recherche du Canada en Modélisation

Plus en détail

Tests de logiciel. Considérations pratiques, Documentation et Activités de test

Tests de logiciel. Considérations pratiques, Documentation et Activités de test Tests de logiciel Considérations pratiques, Documentation et Activités de test 1 Documentation de tests, risques et niveaux d intégrité Environnement de développement et exécution des tests Évaluation

Plus en détail

AADL. un langage pour la modélisation et la génération d applications. Thomas Vergnaud, thomas.vergnaud@enst.fr

AADL. un langage pour la modélisation et la génération d applications. Thomas Vergnaud, thomas.vergnaud@enst.fr AADL un langage pour la modélisation et la génération d applications, thomas.vergnaud@enst.fr Les langages de description d architecture la conception des systèmes devient complexe difficulté de compréhension

Plus en détail

Usine Numérique Intégration Produit Production

Usine Numérique Intégration Produit Production Usine Numérique Intégration Produit Production Bernard Hoessler Manufacturing Business Group EMEA Paris 25 Novembre 2010 Du monde virtuel au monde réél Page 2 Stratégie développée dans l industrie Exploiter

Plus en détail

Aide à la conception de Système d Information Collaboratif, support de l interopérabilité des entreprises

Aide à la conception de Système d Information Collaboratif, support de l interopérabilité des entreprises Aide à la conception de Système d Information Collaboratif, support de l interopérabilité des entreprises Jihed Touzi, Frédérick Bénaben, Hervé Pingaud Thèse soutenue au Centre de Génie Industriel - 9

Plus en détail

LOGICIEL DE SIMULATION NUMERIQUE DES SYSTEMES PHYSIQUES

LOGICIEL DE SIMULATION NUMERIQUE DES SYSTEMES PHYSIQUES LOGICIEL DE SIMULATION NUMERIQUE DES SYSTEMES PHYSIQUES PRESENTATION SIMULATION NUMÉRIQUE DES SYSTÈMES PHYSIQUES Développé par la société Atemi, SiNuSPhy est un logiciel de simulation numérique destiné

Plus en détail

PERSYVAL-lab Pervasive Systems and Algorithms

PERSYVAL-lab Pervasive Systems and Algorithms PERSYVAL-lab Pervasive Systems and Algorithms Responsable scientifique et technique: Marie-Christine Rousset Coordination scientifique du montage du projet: Yassine Lakhnech, Marie-Christine Rousset, Jean-Marc

Plus en détail

Master "Generating Eco Innovation"

Master Generating Eco Innovation International chair in "Generating Eco-innovation" Master "Generating Eco Innovation" Programme pédagogique 2009-2010 UE 1 : Prospective et compétitivité internationale (88 heures) UE 11 : Nature de l

Plus en détail

Sémantique formelle et synthèse de client pour services Web

Sémantique formelle et synthèse de client pour services Web Sémantique formelle et synthèse de client pour services Web Séminaire «Services Web» 24 Janvier 2006 sylvain.rampacek@univ-reims.fr CReSTIC LAMSADE Plan Introduction Services Web Description de la plate-forme

Plus en détail

M3301-2: Méthodologie de la production de logiciels Modélisation et construction des logiciels (C. Attiogbé) Travaux dirigés/pratiques - 2015/2016

M3301-2: Méthodologie de la production de logiciels Modélisation et construction des logiciels (C. Attiogbé) Travaux dirigés/pratiques - 2015/2016 M3301-2: Méthodologie de la production de logiciels Modélisation et construction des logiciels (C. Attiogbé) Travaux dirigés/pratiques - 2015/2016 encadrés par Christian Attiogbé, Amine Aouadhi Cahier

Plus en détail

Thierry Déléris. BMC Mainview Data Server Synthèse & Mise en œuvre

Thierry Déléris. BMC Mainview Data Server Synthèse & Mise en œuvre Thierry Déléris BMC Mainview Data Server Synthèse & Mise en œuvre SOMMAIRE BMC Mainview Data Server - Synthèse STEEDd - Mise en œuvre de BMC Mainview Data Server BMC Mainview Data Server Synthèse BMC Mainview

Plus en détail

La décision par algorithme

La décision par algorithme La décision par algorithme les effets de la transition numérique dans les sciences de l'ingénieur, le marketing et la médecine Nicolas Vayatis (CMLA - ENS Cachan & CNRS) La mort des experts Des métiers

Plus en détail

Configuration et Déploiement d Applications Réparties par Intégration de l Hétérogénéité des Implémentations dans un Langage de Description d

Configuration et Déploiement d Applications Réparties par Intégration de l Hétérogénéité des Implémentations dans un Langage de Description d Configuration et Déploiement d Applications Réparties par Intégration de l Hétérogénéité des Implémentations dans un Langage de Description d Architecture Doctorant: Directeurs de thèse: Bechir ZALILA

Plus en détail

Analyse de données électroniques et intelligence d affaires

Analyse de données électroniques et intelligence d affaires Analyse de données électroniques et intelligence d affaires Valoriser les données internes et externes 3 avril 2014 Ordre du jour UNE INTRODUCTION À L ANALYSE DE DONNÉES Analyse de données et l intelligence

Plus en détail

AL5L Architecture logicielle. Séance 3 Paradigmes de programmation

AL5L Architecture logicielle. Séance 3 Paradigmes de programmation AL5L Architecture logicielle Séance 3 Paradigmes de programmation Sébastien Combéfis mardi 3 février 2015 Ce(tte) œuvre est mise à disposition selon les termes de la Licence Creative Commons Attribution

Plus en détail

Thierry BELLET INRETS-LESCOT

Thierry BELLET INRETS-LESCOT Modélisation et simulation cognitive du conducteur automobile : De l analyse des représentations mentales à la simulation dynamique de la prise de décision Thierry BELLET INRETS-LESCOT Le programme COSMODRIVE

Plus en détail

Présentation de la Gestion des Exigences (REQM) SopraGroup / Direction de la Transformation et de la Performance : Qualité, Méthode & Outils

Présentation de la Gestion des Exigences (REQM) SopraGroup / Direction de la Transformation et de la Performance : Qualité, Méthode & Outils emedia Présentation de la Gestion des Exigences (REQM) SopraGroup / Direction de la Transformation et de la Performance : Qualité, Méthode & Outils Unissons nos Talents T A L E N T E D T O G E T H E R

Plus en détail

Théorie des Langages

Théorie des Langages Théorie des Langages AntLR - Générateur d analyseurs Claude Moulin Université de Technologie de Compiègne Printemps 2015 Sommaire 1 Introduction 2 AntLR ANTLR : ANother Tool for Language Recognition URL

Plus en détail

Système tutoriel intelligent pour l apprentissage de travail procédural et collaboratif

Système tutoriel intelligent pour l apprentissage de travail procédural et collaboratif Système tutoriel intelligent pour l apprentissage de travail procédural et collaboratif Cédric Buche buche@enib.fr Pierre De Loor deloor@enib.fr Ronan Querrec querrec@enib.fr Laboratoire d Ingénierie Informatique

Plus en détail

DSL. Domain Specific Language. À l'aide des technologies Eclipse Modeling. Goulwen Le Fur goulwen.lefur@obeo.fr. Le 23 novembre 2012

DSL. Domain Specific Language. À l'aide des technologies Eclipse Modeling. Goulwen Le Fur goulwen.lefur@obeo.fr. Le 23 novembre 2012 DSL Domain Specific Language À l'aide des technologies Eclipse Modeling Le 23 novembre 2012 Goulwen Le Fur goulwen.lefur@obeo.fr Le but de cette session Montrer : Ce qu'est-un DSL/DSM Comment implémenter

Plus en détail

Auto-explication des Chorégraphies de Services

Auto-explication des Chorégraphies de Services Mario Cortes Cornax Sophie Dupuy-Chessa Dominique Rieu Université de Grenoble, LIG Auto-explication des Chorégraphies de Services 1 Problématique Chorégraphie de services Vision globale des processus distribués

Plus en détail

Usine numérique. La roadmap vers une plateforme technologique. Bernard BOIME. EADS Innovation Works

Usine numérique. La roadmap vers une plateforme technologique. Bernard BOIME. EADS Innovation Works Usine numérique La roadmap vers une plateforme technologique Bernard BOIME EADS Innovation Works Rappel des finalités Objectifs & Thèmes : o Plate-forme de Simulation des systèmes de production : Process,

Plus en détail

Résumé étendu. Martin Cortès

Résumé étendu. Martin Cortès Résumé étendu «Si ardu étant ce chemin qu il serait difficile de le donner à entendre par des paroles ou de l écrire avec la plume. La meilleure explication qu ait trouvé pour cela le génie des hommes

Plus en détail

FACULTE DE L'INFORMATIQUE

FACULTE DE L'INFORMATIQUE FACULTE DE L'INFORMATIQUE Présentation : La faculté a créé en 1992, au nom de l institut lis pour les sciences informatiques, ou la création de l institut est lie à l association lit de bienfaisance qui

Plus en détail

Analyse et modélisation de tâches

Analyse et modélisation de tâches Analyse et modélisation de tâches 1. Introduction La conception de logiciel interactif (ou conception d'interface homme-machine [IHM], ou conception d'interface) est l'activité qui vise à définir le fonctionnement

Plus en détail

SGBDR. Systèmes de Gestion de Bases de Données (Relationnelles)

SGBDR. Systèmes de Gestion de Bases de Données (Relationnelles) SGBDR Systèmes de Gestion de Bases de Données (Relationnelles) Plan Approches Les tâches du SGBD Les transactions Approche 1 Systèmes traditionnels basés sur des fichiers Application 1 Gestion clients

Plus en détail

Managements des risques industriels : quelques verrous scientifiques et techniques à résoudre pour le futur. Le point de vue d'un industriel.

Managements des risques industriels : quelques verrous scientifiques et techniques à résoudre pour le futur. Le point de vue d'un industriel. Managements des risques industriels : quelques verrous scientifiques et techniques à résoudre pour le futur. Le point de vue d'un industriel. Workshop du GIS 3SGS Reims, 29 septembre 2010 Sommaire Missions

Plus en détail

Management des Systèmes d information (SI) S1 - Gouvernance des SI

Management des Systèmes d information (SI) S1 - Gouvernance des SI 2015 / 2016 - Semestre 1&2 DSCG - UE5 Management des Systèmes d information (SI) S1 - Gouvernance des SI Module 5 - Gestion des Processus Métiers (BPM) Yves MEISTERMANN DSCG UE 5 - Bulletin officiel DSCG

Plus en détail

RÉTRO-INGÉNIERIE D APPLICATION

RÉTRO-INGÉNIERIE D APPLICATION Les contenus de ce document sont la propriété exclusive de la société REVER. Ils ne sont transmis qu à titre d information et ne peuvent en aucun cas être considérés comme un engagement de la société REVER.

Plus en détail

Innovative BI with SAP Jean-Michel JURBERT D. de Marché BI, HANA, BIG DATA _ SAP France

Innovative BI with SAP Jean-Michel JURBERT D. de Marché BI, HANA, BIG DATA _ SAP France Innovative BI with SAP Jean-Michel JURBERT D. de Marché BI, HANA, BIG DATA _ SAP France 2013 SAP AG. All rights reserved. Customer 1 Rôles et Attentes Instantanéité BIG DATA Users IT Real Time SAP HANA

Plus en détail

Scilab Le logiciel libre pour le calcul numérique

Scilab Le logiciel libre pour le calcul numérique Scilab Le logiciel libre pour le calcul numérique 4 février 2010 Claude Gomez Consortium Scilab Directeur Plan Le logiciel libre Le logiciel Scilab Les forces de Scilab L organisation Scilab Le futur Le

Plus en détail

Le génie Logiciel (suite)

Le génie Logiciel (suite) Le génie Logiciel (suite) Lors du cours précédent, on a étudié différents cycles de vie, dont la cascade, ou la spirale. Analyse des besoins L analyse des besoins est une étape menant à l élaboration de

Plus en détail