TACOS U FC. H. Mountassir LIFC, Université de Franche-Comté hmountassir@lifc.univ-fcomte.fr. Objectifs. Assemblage de composants digne de confiance
|
|
- Denise Labonté
- il y a 8 ans
- Total affichages :
Transcription
1 LI TACOS Trustworthy Assembling of Componts: from requiremts to Specifications H. Mountassir LI, niversité Franche-Comté L I F C LI Objectifs Assembge s digne confiance Assembge s digne confiance Depuis Depuis l'expression l'expression s s besoins besoins jusqu'à jusqu'à une une spécification formel spécification formel En En utilisant/adaptant utilisant/adaptant s s ngages ngages s s outils outils existants existants Domaine Domaine d'application d'application : : transport, transport, véhicu véhicu futur futur ( ( localisation, localisation, accrochage accrochage immatériel) immatériel) 2
2 LI Problèmatiques Gérer compxité par construction Pour fiabiliser un développemt incrémtal Diminuer compxité vérification Gérer l interopérabilité tre Composants Vérification l assembge s selon s contrats Substitutivité d un par un autre Développer vérification compositionnel 3 LI Vérification quantitative fonctionnel Tir compte s exigces fonctionnels non-fonctionnels Problème substitutivité indécidab Adaptation dynamique Garantir survie d un système Spécifier s politiques d adaptation fonction s l vironnemt Modéliser s reconfigurations (Ajout, Suppression) 4
3 LI Au niveau proj? Commt Commt prdre prdre compte compte s s non fonctionnels (ou fonctionnels) non fonctionnels (ou fonctionnels) Dès s premières étapes développemt? Dès s premières étapes développemt? Modè buts KAOS Modè buts KAOS Diagrammes ML, SysML Diagrammes ML, SysML Est-il possib d'utiliser métho formel B Est-il possib d'utiliser métho formel B Avec s extsions? Avec s extsions? Calcul Calcul s s rées rées Coopération avec CSP, automates temporisés, Coopération avec CSP, automates temporisés, Automates Automates d interfaces d interfaces 5 LI Trois tâches T1 T1 : : Expression Expression s s besoins besoins non-fonctionnels non-fonctionnels T2: T2: Spécification Spécification s s s s Vérification Vérification l assembge l assembge T3 T3 : : Traçabilité Traçabilité tre tre besoins besoins spécifications spécifications 6
4 LI Verrous Intification bonne abstraction Intification bonne abstraction L'expression L'expression d'un d'un L interopérabilité tre interfaces L interopérabilité tre interfaces Quels ngages haut niveau décrire Quels ngages haut niveau décrire Les Les s s Leur assembge Leur assembge Aspects qualitatifs Aspects qualitatifs temps réel, énergie, WCET, confiance, temps réel, énergie, WCET, confiance, précision, distance, position précision, distance, position Traction tre modè s besoins spécification Traction tre modè s besoins spécification 7 LI Commt? Expression Expression non-fonctionnels non-fonctionnels au niveau l'expression s besoins au niveau l'expression s besoins Spécification d' assembge Spécification d' assembge digne confiance au niveau digne confiance au niveau La spécification s s La spécification s s L'assembge s s L'assembge s s La vérification l'assembge La vérification l'assembge Traçabilité tre expression s besoins Traçabilité tre expression s besoins spécification s s spécification s s 8
5 LI Équipes partaires LACL, LAS, Paris 12 LACL, LAS, Paris 12 LAMIH, ROI-SID, Vancines LAMIH, ROI-SID, Vancines LI, VESONTIO, Besançon LI, VESONTIO, Besançon LORIA, Déda, Nancy LORIA, Déda, Nancy LORIA, MAIA, Nancy LORIA, MAIA, Nancy Entre personnes Entre personnes 5 Doctorants, Ing. étudiants Master 5 Doctorants, Ing. étudiants Master Environ Environ ½ ½ M M 9 LI Etus cas Spécifications proposées : Spécifications proposées : Kaos localisation Kaos localisation automates automates I/O I/O s s protocos protocos d interaction d interaction Fractal Fractal simur simur fonctionnemt fonctionnemt CyCab CyCab B B CSP CSP Ptooning Ptooning La La prise prise compte compte s s non-fonctionnels non-fonctionnels lors lors l opération l opération l assembge l assembge s s Energie Energie CyCab CyCab Confiance Confiance localisation localisation Distance Distance minima minima tre tre Ptooning Ptooning 10
6 LI Tâche 1 : Expression s besoins 11 LI Modè buts (fonctionnels non) Kaos 12
7 LI CyCab 13 LI Propositions Expression s besoins non fonctionnels Expression s besoins non fonctionnels n n modè modè besoins besoins KAOS KAOS Cycab Cycab ne spécification Evt-B d un modè buts ne spécification Evt-B d un modè buts fonctionnels fonctionnels KAOS KAOS (traçabilité (traçabilité Tache Tache T3) T3) Représtation Représtation connaissance connaissance domaine domaine Extsion Extsion KAOS KAOS prdre prdre compte compte concept concept variabilité variabilité Développemt Développemt d un d un outil outil 14
8 LI Modès Modès KAOS, KAOS, B, B, automates automates temporisés temporisés Ptooning : B, approche Influce-Réaction Ptooning : B, approche Influce-Réaction Extsion Extsion méta-modè méta-modè Kaos Kaos PNF PNF Différts types raffinemts s buts Kaos Différts types raffinemts s buts Kaos Règs traction Evt-B ainsi que s obligations Règs traction Evt-B ainsi que s obligations preuve vérifier raffinemt preuve vérifier raffinemt Définition d un modè traçabilité tre Evt-B/Kaos Définition d un modè traçabilité tre Evt-B/Kaos Extsion méta-modè SysML avec buts Extsion méta-modè SysML avec buts 15 LI Exemps Réalisations Tâche 2: Assembge s s
9 LI Composant Interface fournie Composant Interface requise Contrat n contrat spécifie s supposées par garanties n contrat spécifie s supposées par garanties par s s par s s LI Hypothèses Communique via ses interfaces requises/offertes Communique via ses interfaces requises/offertes Ne Ne peut peut pas pas être être modifié modifié N'affiche pas son co (vue «boîte grise») N'affiche pas son co (vue «boîte grise») A A s s hypothèses hypothèses d'vironnemt d'vironnemt ou ou un un contexte contexte d'utilisation d'utilisation Obéit Obéit à à un un contrat contrat s s contraintes contraintes
10 LI Contrats 4 types contrats : 4 types contrats : Vérification syntaxique signature Vérification syntaxique signature Vérification Vérification assertionnel assertionnel Invariant, pre, post conditions Invariant, pre, post conditions Vérification Vérification comportemta comportemta États illégaux, Absce blocage, États illégaux, Absce blocage, Vérification non-fonctionnels Vérification non-fonctionnels Qualité services, temps réponse, confiance Qualité services, temps réponse, confiance 19 LI B CSP : Ptooning Modè physique Modè physique véhicus véhicus autonomes autonomes (agts) (agts) Convoi doit garantir distance ( vitesse) idéa Convoi doit garantir distance ( vitesse) idéa tre véhicus tre véhicus n véhicu ar piloté par un humain n véhicu ar piloté par un humain Interactions locas tre véhicus i - 1 i Interactions locas tre véhicus i - 1 i
11 LI Propriétés Opérations d accrochage décrochage d un véhicu à un ptoon Propriété non-collision tre véhicus Garantir distance minima Validation B animation s spécifications ptooning 21 LI CyCab B CSP 22
12 LI Communication inter-véhicus LI Résultats Aspects Aspects méthodologiques méthodologiques tilisation tilisation CSP B CSP B Composition Composition Construction Construction incrémta incrémta Processus Processus vérification vérification consistance consistance avec avec FDR2 FDR2 B4Free B4Free D une D une machine machine contrôlée, contrôlée, CtrlDrivingSystem(mo) DrivingSystem CtrlDrivingSystem(mo) DrivingSystem Généralisation Généralisation à à une une colction colction machines machines Absce Absce blocage blocage cycs cycs indésirabs indésirabs 24
13 LI Automates d interfaces Composants munis d un protoco d interaction Composants munis d un protoco d interaction Etiqué Etiqué par par s s méthos méthos?? Et Et!! Pre post conditions Pre post conditions Vérification correction l assembge Vérification correction l assembge composabilité composabilité tre tre automates automates Compatibilité détectant s états illégaux Compatibilité détectant s états illégaux Composition ux interfaces composites Composition ux interfaces composites Algorithme Algorithme vérification vérification incrémta incrémta 25 LI Etu cas Composant Localisation Composant Localisation CyCab CyCab Ptooning: Ptooning: semb semb CyCabs CyCabs Etu Etu s s retions retions simution simution raffiner raffiner s s s s Lors Lors substitution substitution d un d un par par un un autre autre tiliser tiliser s s capacités capacités configuration configuration Fractal Fractal vérifier vérifier s s non-fonctionnels non-fonctionnels lors lors l assembge l assembge s s s. s. 26
14 LI Arborescce ADL 27 LI Résultats Spécifications Spécifications CyCab CyCab Algorithme Algorithme incrémtal incrémtal vérification vérification compatibilité compatibilité tre s tre s Basé Basé sur sur proit proit synchronisé synchronisé Construction Construction composite composite basé basé sur sur proit proit synchronisé synchronisé Algorithme Algorithme d adaptation d adaptation si si incompatibilité incompatibilité Substitution Substitution d un d un par par retion retion simution simution 28
15 LI Reconfiguration dynamique : Fractal tiliser s capacités reconfiguration tiliser s capacités reconfiguration dynamique Fractal dynamique Fractal Simur fonctionnemt Simur fonctionnemt localisation localisation Adapter dynamiquemt l architecture Adapter dynamiquemt l architecture localisation localisation fonction fonction s aspects non-fonctionnels. s aspects non-fonctionnels. 29 LI Composant localisation 30
16 LI Spécification Fractal Energie suffisante, connaissant stination, pouvoir alimter Composants participants: <Vehicu>, <Station>, <Depcemt> LI Politiques d adaptation Les Les urs urs domaines domaines property power : Real property power : Real evolves in [0, 100] as low medium high evolves in [0, 100] as low medium high ssor is gpower on Ctrl ssor is gpower on Ctrl Les Les règs règs d adaptation d adaptation wh power is high wh power is high if size($context/child::wifi) > 0 if size($context/child::wifi) > 0 th utility of addwifi is high th utility of addwifi is high 32
17 LI ne règ d adaptation Les reconfigurations architecturas Les reconfigurations architecturas action action addwifi(root){ addwifi(root){ newwifi = new("location.wifi") ; newwifi = new("location.wifi") ; s-name($newwifi, "wifi") ; s-name($newwifi, "wifi") ; add($root, add($root, $newwifi) $newwifi) ; ; bind($root/child::ctrl/interface::locate2, bind($root/child::ctrl/interface::locate2, $newwifi/interface : :loc) ; $newwifi/interface : :loc) ; start($newwifi) ; start($newwifi) ; } } 33 LI Résultats Reconfiguration Reconfiguration localisation localisation fonction s aspects non-fonctionnels fonction s aspects non-fonctionnels tels tels que que l énergie l énergie confiance confiance Extsion Extsion ces ces politiques politiques aux aux événemts événemts tilisation d une logique temporel EDL basée tilisation d une logique temporel EDL basée sur sur s s évènemts évènemts son son extsion extsion qmedl qmedl avec avec aspect aspect quantitatif quantitatif 34
18 LI Impntations Assembge s Langage simp scription s, protocos bindings Vérification incrémta assembge Reconfiguration dynamique (Fractal + événemts) Politiques d adaptation (ajout, suppression) Evaluation Séction d un d une bibliothèque (Xml) selon une propriété n outil transformation Kaos vers B 35 LI Merci votre atttion
Proposition de sujet de thèse CIFRE EUROCOPTER / LGI2P
EUROCOPTER SAS Groupe EADS Marignane Ecole des Mines d Alès Laboratoire de Génie Informatique et d Ingénierie de Production LGI2P Nîmes Proposition de sujet de thèse CIFRE EUROCOPTER / LGI2P Titre Domaine
Plus en détailGUIDE À L INTENTION DES ÉLÈVES
GUIDE À L INTENTION DES ÉLÈVES Octobre 2014 QU'EST-CE QUE L'ALTERNANCE TRAVAIL-ÉTUDES?* LES AVANTAGES DE L'ALTERNANCE TRAVAIL-ÉTUDES L alternance travail-études (A.T.E.) est une formule qui permet, pdant
Plus en détailIntroduction 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étailLa Certification de la Sécurité des Automatismes de METEOR
1 La Certification de la Sécurité des Automatismes de METEOR 2 un mot sur METEOR 3 Le projet METEOR, c'est... un système automatique complexe fortement intégré matériel roulant, équipements électriques,
Plus en détailSystème d administration autonome adaptable: application au Cloud
Système d administration autonome adaptable: application au Cloud Alain TCHANA - atchana@enseeiht.fr IRIT/ENSEEIHT, Equipe SEPIA Directeur de thèse : Daniel HAGIMONT et Laurent BROTO Rapporteurs : Jean-Marc
Plus en détailIFT2255 : Génie logiciel
IFT2255 : Génie logiciel Chapitre 6 - Analyse orientée objets Section 1. Introduction à UML Julie Vachon et Houari Sahraoui 6.1. Introduction à UML 1. Vers une approche orientée objet 2. Introduction ti
Plus en détailSciences de Gestion Spécialité : SYSTÈMES D INFORMATION DE GESTION
Sciences de Gestion Spécialité : SYSTÈMES D INFORMATION DE GESTION Classe de terminale de la série Sciences et Technologie du Management et de la Gestion Préambule Présentation Les technologies de l information
Plus en détailConception des systèmes répartis
Conception des systèmes répartis Principes et concepts Gérard Padiou Département Informatique et Mathématiques appliquées ENSEEIHT Octobre 2012 Gérard Padiou Conception des systèmes répartis 1 / 37 plan
Plus en détailCommuniqué de de Presse Presse Communiqué de Presse
Communiqué Presse Presse Communiqué Presse Communiqué Presse - L UNEDESEP fête son 50ème Congrès L UNEDESEP L UNEDESEP fête son 50ème Congrès Un réseau d associations Communiqué rouvelle toujours plus
Plus en détailUniversité de Bangui. Modélisons en UML
Université de Bangui CRM Modélisons en UML Ce cours a été possible grâce à l initiative d Apollinaire MOLAYE qui m a contacté pour vous faire bénéficier de mes connaissances en nouvelles technologies et
Plus en détailIdentification du module
Identification du module Numéro de module 475 Titre Développer une analyse pour une application Compétence Développer à partir des exigences fonctionnelles et non fonctionnelles pour une application, les
Plus en détailCours de Génie Logiciel
Cours de Génie Logiciel Sciences-U Lyon Diagrammes UML (2) http://www.rzo.free.fr Pierre PARREND 1 Avril 2005 Sommaire Les Diagrammes UML Diagrammes de Collaboration Diagrammes d'etats-transitions Diagrammes
Plus en détailbasée sur le cours de Bertrand Legal, maître de conférences à l ENSEIRB www.enseirb.fr/~legal Olivier Augereau Formation UML
basée sur le cours de Bertrand Legal, maître de conférences à l ENSEIRB www.enseirb.fr/~legal Olivier Augereau Formation UML http://olivier-augereau.com Sommaire Introduction I) Les bases II) Les diagrammes
Plus en détailLa solution IdéoSanté une suite Web 2.0
La solution IdéoSanté une suite Web 2.0 SQLI et la santé : Une Histoire Des engagements dans la durée Etapes clés de l industrialisation de la suite Idéo santé Conseil SIS MOA, Urbanisation Réseaux de
Plus en détailLe 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étailSynergies 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étailDEVELOPPEMENT ET MAINTENANCE DE LOGICIEL: OUTIL DE PILOTAGE
DEVELOPPEMENT ET MAINTENANCE DE LOGICIEL: OUTIL DE PILOTAGE Développement et maintenance de logiciel Automne 2006 François-Xavier RIU Thomas POUPART Seng LAO Zhe WU SOMMAIRE Introduction Introduction INTRODUCTION
Plus en détailSimplification de la présentation
Composants base Mu ongls Libellés messages Paramètres système Sécurité Céduleur Domaine valeurs Ai ligne Journalisation Surveilnce direct Gion cache Simplification préstation Sécurité Gion complète s mus,
Plus en détailMÉMOIRE DE STAGE DE MASTER SPÉCIALITÉ : Recherche en Informatique Mention : Informatique, Mathématiques, Statistiques
ACADÉMIE DE MONTPELLIER UNIVERSITÉ MONTPELLIER II SCIENCE ET TECHNIQUES DU LANGUEDOC MÉMOIRE DE STAGE DE MASTER SPÉCIALITÉ : Recherche en Informatique Mention : Informatique, Mathématiques, Statistiques
Plus en détailMASTER TRADUCTION ET INTERPRETATION PARCOURS TRADUCTION ECONOMIQUE ET JURIDIQUE
MASTER TRADUCTION ET INTERPRETATION PARCOURS TRADUCTION ECONOMIQUE ET JURIDIQUE Domaine ministériel : Arts, Ltres, Langues Présentation Nature la formation : Diplôme national l'enseignement supérieur Durée
Plus en détailSybase PowerAMC 16. Guide des nouvelles fonctionnalités générales. www.sybase.fr/poweramc DOCUMENTATION
Sybase PowerAMC 16 Guide des nouvelles fonctionnalités générales DOCUMENTATION 2 2 www.sybase.fr/poweramc A propos de PowerAMC 16 PowerAMC est une solution de modélisation d'entreprise graphique qui prend
Plus en détailConférence sur les marchés publics informatiques
Conférence sur les marchés publics informatiques Un moyen fiable pour aboutir à un appel d offres sans accroc : les processus métier comme pièce maîtresse d un projet informatique, de l adjudication à
Plus en détailRésumé CONCEPTEUR, INTEGRATEUR, OPERATEUR DE SYSTEMES CRITIQUES
Aristote ----- Cloud Interopérabilité Retour d'expérience L A F O R C E D E L I N N O V A T I O N Résumé Les systèmes d'information logistique (SIL) sont des outils qui amènent des gains de productivité
Plus en détailAlgorithmique des Systèmes Répartis Protocoles de Communications
Algorithmique des Systèmes Répartis Protocoles de Communications Master Informatique Dominique Méry Université de Lorraine 1 er avril 2014 1 / 70 Plan Communications entre processus Observation et modélisation
Plus en détailSujet de thèse CIFRE RESULIS / LGI2P
Ecole des Mines d Alès Laboratoire de Génie Informatique et d Ingénierie de Production LGI2P Nîmes Sujet de thèse CIFRE RESULIS / LGI2P Titre Domaine De l ingénierie des besoins à l ingénierie des exigences
Plus en détailW4 - Workflow La base des applications agiles
W4 - Workflow La base des applications agiles, W4 philippe.betschart@w4global.com Vous avez dit «workflow»? Processus : Enchaînement ordonné de faits ou de phénomènes, répondant à un certain schéma et
Plus en détailVérifica(on et Valida(on de Business Process. Ang Chen et Levi Lúcio
Vérifica(on et Valida(on de Business Process Ang Chen et Levi Lúcio Résumé Méthodologie de développement Architecture & environnement pour le développement des processus mé(er Modèle opéra(onnel Vérifica(on
Plus en détailNotes afférentes aux états financiers consolidés (sauf indication contraire, tous les montants sont en millions de dollars canadiens)
(sauf indication contraire, tous les montants sont en millions dolrs canadiens) La publication s états financiers consolidés a été autorisée par le conseil d administration le 23 mai 2012. NOTE 1 NATURE
Plus en détailDémarches d urbanisation : réorganiser le Système d Information en structurant ses fonctions dans des blocs fonctionnels communicants.
Plan du chapitre Master Informatique et Systèmes Urbanisation des Systèmes d Information Architecture d Entreprise 04 Architecture du SI : identifier et décrire les services, structurer le SI 1 2 3 4 5
Plus en détailLa conception d'une architecture et d'un urbanisme adaptés au milieu méditerranéen
La conception d'une architecture d'un urbanisme adaptés au milieu méditerranéen Milieu vie, mo vie Paris : CIHEAM Options Méditerranéennes; n. 13 1972 pages 94-102 Artic avaib on line / Artic disponib
Plus en détailExtrait des Exploitations Pédagogiques
Pédagogiques Module : Compétitivité et créativité CI Première : Compétitivité et créativité CI institutionnel : Développement durable et compétitivité des produits Support : Robot - O : Caractériser les
Plus en détailLE PRESTIGE DU NOM LA FORCE DE L ENSEIGNE!
LE PRESTIGE DU NOM LA FORCE DE L ENSEIGNE! Un supplémt au journal Meuse jeudi 2 octobre 2014 LE MEILLEUR SERVICE, LE MEILLEUR CHOIX LE LE MEILLEUR MEILLEUR SERVICE, SERVICE, LE LE MEILLEUR MEILLEUR CHOIX
Plus en détailUrbanisation de système d'information. PLM 6 (Product Lifecycle Management) Collaboration et partage d'informations
Urbanisation de système d'information PLM 6 (Product Lifecycle Management) Collaboration et partage d'informations Gestion de données techniques et Gestion électronique de documents Diversité des modalités
Plus en détailIntroduction au Déploiement
Introduction au Déploiement Noël De Palma - Projet SARDES - INRIA - IMAG LSR Remerciement à d. donsez 03/03/06 PLAN Définition et problématique OSGI FRACTAL JADE Conclusion 03/03/06 2 Définition Environnement
Plus en détailEnseignant: Lamouchi Bassem Cours : Système à large échelle et Cloud Computing
Enseignant: Lamouchi Bassem Cours : Système à large échelle et Cloud Computing Chapitre 1 : Introduction Introduction générale Origine du cloud Concepts prédécésseurs «liés aux serveurs» Concepts prédécesseurs
Plus en détailBusiness Process Modeling (BPM)
Business Process Modeling (BPM) Mineure SOA Cécile Hardebolle cecile.hardebolle@supelec.fr Programme 8 nov. 15 nov. Introduction. Enjeux, rôle de l'architecte SI Partie n 1 du cas d'étude Architecture
Plus en détailMODELISATION UN ATELIER DE MODELISATION «RATIONAL ROSE»
MODELISATION UN ATELIER DE MODELISATION «RATIONAL ROSE» Du cours Modélisation Semi -Formelle de Système d Information Du Professeur Jean-Pierre GIRAUDIN Décembre. 2002 1 Table de matière Partie 1...2 1.1
Plus en détailEvaluation, 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étailVérification formelle de la plate-forme Java Card
Vérification formelle de la plate-forme Java Card Thèse de doctorat Guillaume Dufay INRIA Sophia Antipolis Cartes à puce intelligentes Java Card : Environnement de programmation dédié. Dernières générations
Plus en détailUFR d Informatique. FORMATION MASTER Domaine SCIENCES, TECHNOLOGIE, SANTE Mention INFORMATIQUE 2014-2018
UFR d Informatique FORMATION MASTER Domaine SCIENCES, TECHNOLOGIE, SANTE Mention INFORMATIQUE 2014-2018 Objectif L UFR d informatique propose au niveau du master, deux spécialités sous la mention informatique
Plus en détailMineure Architectures Orientées Services SOA Business Process Modeling (BPM) Mineure SOA. Business Process Modeling (BPM)
Mineure SOA Business Process Modeling (BPM) Idir AIT SADOUNE idir.aitsadoune@supelec.fr Idir AIT SADOUNE - Plan 1 Notion de processus? 2 Modélisation des processus? 3 Langages
Plus en détailUE 8 Systèmes d information de gestion Le programme
UE 8 Systèmes d information de gestion Le programme Légende : Modifications de l arrêté du 8 mars 2010 Suppressions de l arrêté du 8 mars 2010 Partie inchangée par rapport au programme antérieur Indications
Plus en détailL'AUDIT DES SYSTEMES D'INFORMATION
L'AUDIT DES SYSTEMES D'INFORMATION ESCI - Bourg en Bresse (2005 2006) Audit s Système d'information - P2 1 lan d'ensemble Audit s Systèmes d'information GENERALITES SUR L'AUDIT AUDIT FONCTIONNEL OU D'APPLICATION
Plus en détailUML et les Bases de Données
CNAM UML et les Bases de Données UML et les Bases de Données. Diagramme de classes / diagramme d objets (UML)...2.. Premier niveau de modélisation des données d une application...2.2. Les éléments de modélisation...2.2..
Plus en détailModel checking temporisé
Model checking temporisé Béatrice Bérard LAMSADE Université Paris-Dauphine & CNRS berard@lamsade.dauphine.fr ETR 07, 5 septembre 2007 1/44 Nécessité de vérifier des systèmes... 2/44 Nécessité de vérifier
Plus en détailL importance de la fonction RH dans les organisations
ENSAIA, 2ème année - RH L importance de la fonction RH dans les organisations Organisation de la présentation I. Introduction : la fonction RH dans l organisation II. Présentation des missions de la GRH
Plus en détailPROGRAMME DETAILLE. Parcours en première année en apprentissage. Travail personnel. 4 24 12 24 CC + ET réseaux
PROGRAMME DETAILLE du Master IRS Parcours en première année en apprentissage Unités d Enseignement (UE) 1 er semestre ECTS Charge de travail de l'étudiant Travail personnel Modalités de contrôle des connaissances
Plus en détailRéférentiels d Interopérabilité
INFORMATION HOSPITALIERE STANDARDISEE Formation Maîtrise d Ouvrage Hospitalière Informatisation du circuit du médicament & des dispositifs médicaux Référentiels d Interopérabilité 7 ème édition : 14 janvier
Plus en détailGénérer du code à partir d une description de haut niveau
Cedric Dumoulin Générer du code à partir d une description de haut niveau Ce projet vise à fournir un environnement de développement permettant de modéliser des UI Android à un haut niveau d abstraction,
Plus en détailBrique BDL Gestion de Projet Logiciel
Brique BDL Gestion de Projet Logiciel Processus de développement pratiqué à l'enst Sylvie.Vignes@enst.fr url:http://www.infres.enst.fr/~vignes/bdl Poly: Computer elective project F.Gasperoni Brique BDL
Plus en détailPoursuivre ses études à l'université de Rouen Masters professionnels en Informatique et en Mathématiques. UFR Sciences et Techniques 20-03-2014 1/18
Poursuivre ses études à l'université de Rouen Masters professionnels en Informatique et en Mathématiques UFR Sciences et Techniques 20-03-2014 1/18 Masters pro GIL, SSI et AIMAF Taux d'insertion : 100
Plus en détailLot 4: Validation industrielle. Youness LEMRABET Pascal YIM, 19/11/2010
Lot 4: Validation industrielle Youness LEMRABET Pascal YIM, 19/11/2010 Partenaires Lot 1 Modèle du processus métier L4.1 Modèles PSM Lot 2 Guide d implantation L4.2 Développement & Recette prototype Lot
Plus en détailMonitoring continu et gestion optimale des performances énergétiques des bâtiments
Monitoring continu et gestion optimale des performances énergétiques des bâtiments Alexandre Nassiopoulos et al. Journée d inauguration de Sense-City, 23/03/2015 Croissance de la demande énergétique et
Plus en détailUrbanisation des Systèmes d Information Architecture d Entreprise. 04 Architecture du SI : identifier et décrire les services, structurer le SI
Plan du chapitre Master Informatique et Systèmes Urbanisation des Systèmes d Information Architecture d Entreprise 04 Architecture du SI : identifier et décrire les services, structurer le SI 1 2 3 1.1
Plus en détailLANGAGUE JAVA. Public Développeurs souhaitant étendre leur panel de langages de programmation
ING 01 LANGAGUE JAVA Durée : 21 heures 1090 HT / jour Dates : à définir en 2012 Concevoir et développer des programmes en langage Java Comprendre le fonctionnement de la machine virtuelle S approprier
Plus en détailSimulation de Réseaux Ferroviaires
Le projet de recherche Modélisation orientée objets dans le domaine ferroviaire a été conduit par l Institut des Transports et de Construction Routière et Ferroviaire (IVT, Institut für Verkehrsplanung,
Plus en détailProjet 2. Gestion des services enseignants CENTRE D ENSEIGNEMENT ET DE RECHERCHE EN INFORMATIQUE. G r o u p e :
CENTRE D ENSEIGNEMENT ET DE RECHERCHE EN INFORMATIQUE Projet 2 Gestion des services enseignants G r o u p e : B E L G H I T Y a s m i n e S A N C H E Z - D U B R O N T Y u r i f e r M O N T A Z E R S i
Plus en détailVers l'orchestration de grilles de PC par les mécanismes de publicationsouscription
Vers l'orchestration de grilles de PC par les mécanismes de publicationsouscription Présentée par Leila Abidi Sous la direction de Mohamed Jemni & Christophe Cérin Plan Contexte Problématique Objectifs
Plus en détailDéveloppement spécifique d'un système d information
Centre national de la recherche scientifique Direction des systèmes d'information REFERENTIEL QUALITE Procédure Qualité Développement spécifique d'un système d information Référence : CNRS/DSI/conduite-proj/developpement/proc-developpement-si
Plus en détailQ.U.I.D QUALITÉ ET URBANISATION DE L'INFORMATION DÉCISIONNELLE. Tom BIZET & Stéphane SITBON 2008
Q.U.I.D QUALITÉ ET URBANISATION DE L'INFORMATION DÉCISIONNELLE Tom BIZET & Stéphane SITBON 2008 SOMMAIRE Contexte de réalisation Open Source Pourquoi Ruby? Normes & Standard Architecture Outil au cœur
Plus en détailA. Architecture du serveur Tomcat 6
Administration du serveur A. Architecture du serveur Tomcat 6 La compréhension de l architecture interne du serveur Tomcat 6 est un pré-requis indispensable pour bien en maîtriser l administration et la
Plus en détailLes solutions National Instruments pour le Model In-The-Loop (MIL) et le prototypage rapide (RCP)
Les solutions National Instruments pour le Model In-The-Loop (MIL) et le prototypage rapide (RCP) Karine Rouelle Business Development Manager Real-Time Testing Au programme Mise en œuvre du Model-In-the-Loop
Plus en détailModèles système, modèles logiciel et modèles de code dans les applications spatiales
GÉNIE LOGICIEL N o 97 JUIN 2011 Modèles système, modèles logiciel et modèles de code dans les applications spatiales É RIC C ONQUET, FRANÇOIS-XAVIER D ORMOY, IULIA D RAGOMIR, A LAIN L E G UENNEC, DAVID
Plus en détailC est quoi le SWAT? Les équipes décrites par James Martin s appellent SWAT : Skilled With Advanced Tools.
1- RAD Quelle sont les avantages que apporte la méthode RAD à l entreprise? Une méthode RAD devrait, d après son auteur, apporter trois avantages compétitifs à l entreprise : Une rapidité de développement
Plus en détailVirtualisation de postes de travail et d application. Jean-Claude DAUNOIS Senior Systems Engineer VMware
Virtualisation de postes de travail et d application Jean-Claude DAUNOIS Senior Systems Engineer VMware Avantages du Cloud Computing pour les utilisateurs Meilleur confort d utilisation Disponibilité et
Plus en détailProgramme «Analyste Programmeur» Diplôme d état : «Développeur Informatique» Homologué au niveau III (Bac+2) (JO N 176 du 1 août 2003) (34 semaines)
Programme «Analyste Programmeur» Diplôme d état : «Développeur Informatique» Homologué au niveau III (Bac+2) (JO N 176 du 1 août 2003) (34 semaines) Module 1 : Programmer une application informatique Durée
Plus en détailCartographie des processus et urbanisation des SI
Cartographie des processus et urbanisation des SI Définitions Exemples Accostages Référentiels Cycle Web conférence AMUE 2013 : La cartographie des processus et l urbanisation des SI jean-philippe.auzelle@univ-lorraine.fr
Plus en détailMémoire de PFE : Maintenance des Installations Fixes de Traction Electrique Ferroviaire de Bourgogne Franche Comté
Résumé Mémoire de PFE : Maintenance des Installations Fixes de Traction Electrique Ferroviaire de Bourgogne Franche Comté Juin 2011 Raphaël DAVID INSA de Strasbourg - Spécialité Génie Electrique, Option
Plus en détail14/04/2014. un ensemble d'informations sur un sujet : exhaustif, non redondant, structuré, persistant. Gaëlle PERRIN SID2 Grenoble.
Gaëlle PERRIN SID2 Grenoble Le 10/04/2014 Base de Données (BD) : une grande quantité de données, centralisées ou non, servant pour les besoins d'une ou plusieurs applications, interrogeables et modifiables
Plus en détailChapitre I : le langage UML et le processus unifié
I. Introduction Les méthodes d analyse orientées objet sont initialement issues des milieux industriels. La préoccupation dominante de leurs auteurs est le génie logiciel, c est-àdire les principes et
Plus en détail2 LES BASES DU HTML 19 Qu est-ce que le HTML? 20 De quand date le HTML? 20 Écrire son propre code HTML 22
SOMMAIRE INTRODUCTION La collection Classroom in a Book TinyUrL Conditions requises Installation du programme Copie des fichiers Classroom in a Book ordre recommandé pour les leçons Démarrage instantané
Plus en détailMaster Informatique Aix-Marseille Université
Aix-Marseille Université http://masterinfo.univ-mrs.fr/ Département Informatique et Interactions UFR Sciences Laboratoire d Informatique Fondamentale Laboratoire des Sciences de l Information et des Systèmes
Plus en détailTRAAM STI 2013-2014 Acquisition et exploitations pédagogiques des données sur un système pédagogique
TRAAM STI 2013-2014 Acquisition et exploitations pédagogiques des données sur un système pédagogique Bilan technique et éléments de développement Fonctionnalités attendues Une vingtaine d établissements
Plus en détailS7 Le top 10 des raisons d utiliser PHP pour moderniser votre existant IBM i
Modernisation IBM i Nouveautés 2014-2015 IBM Power Systems - IBM i 19 et 20 mai 2015 IBM Client Center, Bois-Colombes S7 Le top 10 des raisons d utiliser PHP pour moderniser votre existant IBM i Mardi
Plus en détailCYCLE DE FORMATION EN COACHING (formation certifiante)
CYCLE DE FORMATION EN COACHING (formation certifiante) CIES : Coaching s Individus, s Équipes et s Structures Cies Professionnel 2 ème année 201, Boulevard Zerktouni Casablanca - Tél. : 05 22 94 19 00/02
Plus en détailSQL Server 2012 Implémentation d'une solution de Business Intelligence (Sql Server, Analysis Services...)
Avant-propos 1. À qui s'adresse ce livre? 15 2. Pré-requis 15 3. Objectifs du livre 16 4. Notations 17 Introduction à la Business Intelligence 1. Du transactionnel au décisionnel 19 2. Business Intelligence
Plus en détailPatrons de Conception (Design Patterns)
Patrons de Conception (Design Patterns) Introduction 1 Motivation Il est difficile de développer des logiciels efficaces, robustes, extensibles et réutilisables Il est essentiel de comprendre les techniques
Plus en détailDrive 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étailElasticité logicielle pour optimiser l empreinte énergétique
Ecole des Mines de Nantes Elasticité logicielle pour optimiser l empreinte énergétique Thomas Ledoux (équipe Ascola, INRIA-EMN, LINA) direction des études décembre 2010 page 1 Relation logiciel empreinte
Plus en détailMaster Information et communication spécialité Produits et services multimédia
18/09/2013 http://www.univ-fcomte.fr Master Information et communication spécialité Produits et services multimédia UFR Sciences, techniques, et gestion de l'industrie http://stgi.univ-fcomte.fr/ Dénomination
Plus en détailPrise en compte des ressources dans les composants logiciels parallèles
Prise en compte des ressources dans les composants logiciels parallèles Aperçus de l action RASC et du projet Concerto F. Guidec Frederic.Guidec@univ-ubs.fr Action RASC Plan de cet exposé Contexte Motivations
Plus en détailA B C D. Wireless Mobile Utility (ios) Manuel d utilisation D600, D7100, D5200 0 2 21 D3200, COOLPIX A 0 22 41. Nikon 1 : V2, J3, S1 0 42 59
Wireless Mobile Utility (ios) Manuel d utilisation Installez l'application Wireless Mobile Utility sur votre périphérique ios (iphone, ipad ou ipod) pour télécharger des images depuis un appareil photo
Plus en détailFormation Symantec Veritas Cluster Server 6.x pour Unix
La Pédagogie au service de la Technologie TECHNOLOGIE Formation Symantec Veritas Cluster Server 6.x pour Unix Objectif >> A la fin de ce cours, les stagiaires seront à même d effectuer les tâches suivantes
Plus en détailUNIVERSITE D'ORLEANS ISSOUDUN CHATEAUROUX
UNIVERSITE D'ORLEANS ISSOUDUN CHATEAUROUX PLAN
Plus en détailInformation. BASES LITTERAIRES Etre capable de répondre à une question du type «la valeur trouvée respecte t-elle le cahier des charges?
Compétences générales Avoir des piles neuves, ou récentes dans sa machine à calculer. Etre capable de retrouver instantanément une info dans sa machine. Prendre une bouteille d eau. Prendre CNI + convocation.
Plus en détailTraçabilité Du besoin à la mise en oeuvre
20/09/2007 Traçabilité Du besoin à la mise en oeuvre Joseph FELFELI, PDG Groupe ACTEOS 1 PRESENTATION ACTEOS Éditeur de progiciels et intégrateur de technologies avancées pour la synchronisation et l optimisation
Plus en détailGL - 2 2.1 Le Génie Logiciel
GL - 2 2.1 Le Génie Logiciel Lydie du Bousquet Lydie.du-bousquet@imag.fr En collaboration avec J.-M. Favre, I. Parissis, Ph. Lalanda 1 Rappels La production logicielle est une activité complexe de façon
Plus en détailMéthodologies de développement de logiciels de gestion
Méthodologies de développement de logiciels de gestion Chapitre 5 Traits caractéristiques des deux approches de méthodologie Présentation réalisée par P.-A. Sunier Professeur à la HE-Arc de Neuchâtel http://lgl.isnetne.ch
Plus en détailSurveillance 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étailIntégration de Données et Systèmes Décisionnels. Au cœur de la performance
Intégration de Données et Systèmes Décisionnels Au cœur de la performance Les données, cœur de la performance Réussir un projet d intégration de données, c est d abord l aborder de manière globale et structurée
Plus en détailIntroduction aux Bases de Données
Introduction aux Bases de Données I. Bases de données I. Bases de données Les besoins Qu est ce qu un SGBD, une BD Architecture d un SGBD Cycle de vie Plan du cours Exemples classiques d'applications BD
Plus en détailConduite de projets informatiques Développement, analyse et pilotage (2ième édition)
Avant-propos 1. Objectifs du livre 13 2. Structure du livre 14 Un projet informatique 1. Les enjeux 17 1.1 Les buts d'un projet 17 1.2 Les protagonistes d'un projet 18 1.3 Exemples de projets 19 2. Les
Plus en détailGénération de code à partir d une spécification B : Application aux bases de données
Génération de code à partir d une spécification B : Application aux bases de données Amel Mammar * Régine Laleau ** Université du Luxembourg, LACL, Université Paris 12 SE2C, 6 rue Richard Courdenhove-Kalergi
Plus en détailCycle de vie du logiciel. Unified Modeling Language UML. UML: définition. Développement Logiciel. Salima Hassas. Unified Modeling Language
Unified Modeling Language UML Salima Hassas Version Cycle de vie du logiciel Client Besoins Déploiement Analyse Test Conception Cours sur la base des transparents de : Gioavanna Di Marzo Serugendo et Frédéric
Plus en détailProblé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étailLivret de Stages 2014 / 2015
Livret de Stages 2014 / 2015 Paris & Niort www.bsc-france.com B.S.C. - Business Software Tour Montparnasse 33 Avenue du Maine 75015 Tel : +33(0)1 53 94 52 20 - Fax : +33(0)1 45 38 49 45 3 rue Archimède
Plus en détailMEGA Application Portfolio Management. Guide d utilisation
MEGA Application Portfolio Management Guide d utilisation MEGA 2009 SP5 R7 2ème édition (novembre 2012) Les informations contenues dans ce document pourront faire l objet de modifications sans préavis
Plus en détailopenarchitectureware & transformation de modèle Yannick Lizzi Architecte Logiciel itemis France Mail: lizzi@itemis.de
openarchitectureware & transformation de modèle Yannick Lizzi Architecte Logiciel itemis France Mail: lizzi@itemis.de itemis France 2009 All rights reserved 1 Itemis en quelques mots Spécialisé dans l
Plus en détailLe modèle Fabricants/Distributeurs
Le modèle Fabricants/Distributeurs Erwan CABILLIC DSI Credit Mutuel Arkea Département Distribution DSI Crédit Mutuel Arkea Sommaire Présentation du Crédit Mutuel Arkea La DSI dans ce contexte Le SI et
Plus en détail