CEG4561/CSI4541 Conception de systèmes temps réel
|
|
- Adélaïde Savard
- il y a 8 ans
- Total affichages :
Transcription
1 CEG4561/CSI4541 Conception de systèmes temps réel Chapitre 4 Outils de spécification et de validation des systèmes en temps réel 4.1 Introduction Question : Pourquoi des outils de spécifications et de validation? Conception d un système temps réel Description et expression des contraintes temps réel Représentation simultanée de l évolution logique et temporelle du système Prédiction et estimation des temps de réponse Sélection de l architecture, du matériel et du logiciel Le matériel conditionne les coûts de production Le logiciel conditionne les coûts de développement Compromis et équilibre matériel-logiciel Outils de spécifications et de validation Spécifications et cahier des charges Tout système temps réel doit faire l objet d un cahier des charges ou spécification. Les problèmes techniques sont dénotés cahier des charges du système, ils sont solutionnés comme suit : Position du problème Étude et définitions, cahier des charges Analyse fine du problème Implémentation de la solution Essais et tests Chapitre IV - CEG4566/CSI4541 RNM SITE uottawa Hiver
2 Rédaction d un cahier des charges : La rédaction doit faire apparaitre : a. Les relations opératrices dans une expression claire sous forme graphique, les textes restant souvent imprécis, surtout lorsque le système évolue sur des voies parallèles. b. L importance des spécifications, qui sont de trois ordres : - Les spécifications fonctionnelles : - Les différentes fonctions que doit assurer le système doivent être décrites d une manière claire et précise. - La chronologie des actions doit être conforme au processus. - Faire apparaitre la sécurité de fonctionnement qui ne dépend pas de la technologie. - Les spécifications technologiques : - Ont un aspect physique et technique. - Les spécifications opérationnelles : - Utiliser le retour de service si le système a déjà fonctionné pour améliorer la fiabilité, élimination des pannes, facilité de la maintenance, etc Place de la simulation dans l étude des systèmes temps réel La simulation est un processus qui consiste à : - Concevoir un modèle du système (réel) étudié, - Mener des expérimentations sur ce modèle (et non pas des calculs), - Interpréter les observations fournies par le déroulement du modèle et formuler des décisions relatives au système. Outils de modélisation et de validation Méthodologie générale On distingue classiquement quatre phases distinctes : La modélisation (représenter le comportement du système), la programmation, l'expérimentation et l'interprétation des résultats (accompagnée d actions). Chapitre IV - CEG4566/CSI4541 RNM SITE uottawa Hiver
3 (a) Modèle conceptuel : Le modèle n'est qu'une approximation du système, il est conditionné par l'objectif de l'étude. (b) Expérimentation : Il s'agit de construire des théories, ou hypothèses, qui prennent en compte le comportement observé. Note : Le passage du système au modèle conceptuel est une étape essentielle pour la simulation L étape de modélisation L étape de modélisation est une phase essentielle à la simulation. Différents points doivent être abordés : Définir l'objectif de la modélisation (lié au cahier des charges) : Pourquoi modélise-t-on? Qu'étudie-t-on? Que veut-on améliorer, ou faire? Définir les éléments du système (via la réalisation d'une fonction, ou d'un processus) et les limites du système (les entrées, les sorties). Définir les interactions entre ces éléments (hiérarchie). Définir la dynamique du système (entités qui circulent entre les éléments, comportement du système au cours du temps). Abstraction (choisir les éléments du système pertinents pour l'étude). Formalisation, conceptualisation : Modèle mathématique, modèle logiciel (Esterel, Simulink), modèle graphique (réseaux de Petri, Grafcet, Automates) Notions sur les Automates finis Système à événements discrets avec variables dans {0,1} Les variables internes "codent" des états - Un état par variable pour rester simple - Y1 = 1 pour l'état 1, Y2 = 1 pour l'état 2 etc... (les autres Yi = 0) On se restreint à un ensemble fini d'états Dans un état on est "réceptif" à un petit nombre de variables d'entrée Chapitre IV - CEG4566/CSI4541 RNM SITE uottawa Hiver
4 Définition : C'est un triplet (E, Y, F) Y : Ensemble fini d'états E : Ensemble fini d'entrées F : fonction "états suivants", F : Y x E Y Y = {Y1, Y2, Y3, Y4, Y5, Y6} E = {E1, E2, E3, E4, E5} A chaque instant un seul Yi = 1 (état courant) tous les autre sont = Exemple pratique : Notion de séquence : le Pas 1 avant le pas 2, Un élément mémoire par pas Limite des automates finis : a. Explosion combinatoire des états b. La complexité des systèmes à événements discrets vient de : coopération : les automates décrivent des processus ayant un but commun compétition : les automates partagent des ressources Chapitre IV - CEG4566/CSI4541 RNM SITE uottawa Hiver
5 c. Pseudo parallélisme - entrelacement (interleaving) les événements sont tous ordonnés (ordre total), temps linéaire d. Parallélisme vrai évolutions simultanées des processus, indépendance entre des horloges locales les événements ne sont reliés que par des relations d'ordre partiel e. Risque de blocage mortel, incohérence dans les communications D où l idée des Réseaux de Petri Idées de départ de Carl Adam Petri ( ) Un ensemble d'automates à états finis qui communiquent Avoir à la fois la représentation des automates (indépendance des évolutions internes) et celle des communications par les mêmes primitives (communications asynchrones par échange de messages, communication synchrones par rendez-vous, synchronisations, ressources partagées) Graphes avec 2 types de nœuds "états" et "transitions" Histoire : 1962 thèse de Carl Adam Petri à Darmstadt, Bonn Domaines d application : 1977 Systèmes de production, Automate Programmable Industriel, Grafcet 1980 Évaluation des performances, simulation à événements discrets 1980 Validation de protocoles de communication 1986 Systèmes temps réels, systèmes distribués, génie logiciel 1986 Systèmes d'information, gestion, interfaces homme-machine 1989 Modèles de raisonnement, planification 4.2 Introduction aux réseaux de Petri Note : Pour une introduction aux réseaux de Petri et aux GRAFCET, voir les annexes du chapitre IV (partie 1 : RdP, partie 2 : Grafcet) 4.3 Introduction aux GRAFCET Note : Pour une introduction aux réseaux de Petri et aux GRAFCET, voir les annexes du chapitre IV (partie 1 : RdP, partie 2 : Grafcet) Chapitre IV - CEG4566/CSI4541 RNM SITE uottawa Hiver
6 4.4 Introduction au langage SDL (Specification and Description Language) Principes de l approche orientée modèle L approche orientée modèle : PIM: Platform Independent Model PDM: Platform Definition Model PSM: Platform Specific Model L intérêt de la démarche est de transformer le modèle abstrait (PIM) à l aide de la définition de la plateforme (PDM) pour obtenir un modèle concret (PSM). La plateforme PIM (Platform Independent Model) : Le modèle abstrait doit être indépendant de la plateforme d implémentation, Le modèle abstrait doit pouvoir être traduit sur une plateforme d implémentation, Pour cela on s appuie généralement sur une machine virtuelle qui offre: un certain nombre de services, une sémantique suffisamment forte pour être expressive Définition du langage SDL (Voir lien sur la page web du cours pour plus de détails) Le SDL est un standard de l ITU (International Telecommunication Union) sous la référence Z.100. Objectif est de décrire de manière non ambiguë les protocoles de télécommunications afin d assurer l interopérabilité des équipements, Utilisé par l ETSI (European Telecommunications Standards Institute) pour décrire les protocoles de télécommunications (X25, GSM, UMTS ), SDL est mis à jour tous les 4 ans, on admet que la première version mature du langage date de Les modèles SDL sont indépendants de l implémentation, Le SDL définit une sémantique forte, Le SDL intègre des types de données abstraits : Les types de données abstraits SDL offrent les types de base comme INTEGER, REAL, CHARSTRING et des types structurés comme les structure (STRUCT), les énumérés (LITERALS), les constantes (SYNONYMS). La syntaxe ressemble à celle du Pascal, par exemple une assignation s'écrira ':='. Orienté temps réel événementiel, Graphique, Chapitre IV - CEG4566/CSI4541 RNM SITE uottawa Hiver
7 Orienté objet depuis sa version de 1992: SDL 92. Les modèles SDL peuvent être informels (une action peut être décrite en langage naturel) Les modèles SDL peuvent être incomplets (les opérateurs sont définis à l extérieur du modèle) Les modèles SDL peuvent introduire une certaine forme d indéterminisme (opérateur ANY) Les modèles SDL peuvent être formels (complet et non ambiguë) La sémantique et les services intrinsèques au langage permettent de définir une SDL virtual machine qui répond à la définition d un Modèle Indépendant de la Plateforme (PIM). La définition des interfaces des opérateurs et l implémentation des services SDL définissent le modèle de la plateforme (PDM), Il est alors possible de générer le modèle d implémentation spécifique (PSM) comme par exemple la combinaison d un langage d implémentation (C/C++), d un exécutif temps réel (RTOS), et de drivers sur la cible (opérateurs) Avantages du SDL Code C: 35 à 50 fautes par 1000 lignes Code SDL: 8 fautes par 1000 lignes Réduction globale du cycle de développement de l ordre de 35% Réduction de près de 50% dans la branche gauche du cycle en V Réduction moindre dans la branche droite du fait du décalage avec la réalité technique Remarque : Des années de pratique ont permis de mesurer quantitativement les gains apportés par l utilisation du SDL Principes généraux - Décomposition arborescente System, block, substructure, process, procedure - Communication - Canaux de communication (canaux et routes) - Signaux avec paramètres optionnels - Comportement dans les processus et les procédures - Typage des données (ADT : Abstract Data Type) Chapitre IV - CEG4566/CSI4541 RNM SITE uottawa Hiver
8 a) Le system - Structure block, canaux de communication - Déclaration des signaux, des types b) Le block - Décomposition arborescente Substructure - Machine à état fini processus 1 ou plusieurs instances, un PID par instance (i,j) : création statique de i instances, et j nb max de création dynamique d instances Exécution parallèle des processus Chapitre IV - CEG4566/CSI4541 RNM SITE uottawa Hiver
9 - Communication par les routes - Déclarations Signaux internes procedure, types c) Description du comportement des processus Etat Un état de départ obligatoire Pas d état hiérarchique Pas d états concurrents Un état de fin Transition Signal ou garde déclenchant Corps Appel de procedure, task Alternatives Émission de signaux Retour dans un état Identique ou différent Hypothèse RTC «Run To Completion» i-e transition non préemptible d) Description des processus - Transition - (1) un signal non attendu est perdu sauf si sauvegarde explicite (save) du signal - (2) transition spontanée - (3) transition continue - (4) garde - (sauve s1 tant que x<3) Chapitre IV - CEG4566/CSI4541 RNM SITE uottawa Hiver
10 - Facilité d écriture - Tous les états, tous les signaux e) Les symboles disponibles sont les suivants: Définition du langage SDL-RT (Voir lien sur la page web du cours pour plus de détails) SDL-RT (Specification and Description Language - Real Time) est l extension temps réel du SDL, L extension temps réel introduit les caractéristiques qui manquaient à SDL, comme les manipulations de sémaphores et le langage C pour l embarqué, et elle les combine avec les avantages du langage original : représentations graphiques, orientation objet, précision. Note : SDL-RT est gratuit et téléchargeable via le site web Note : Pour continuer cette introduction, je vous renvoie vers la page web du cours. Chapitre IV - CEG4566/CSI4541 RNM SITE uottawa Hiver
11 4.4.6 Exemple de comportement Le comportement est décrit graphiquement sous forme d'une machine d'état étendue. Explication : MyVariable de type INTEGER est la seule variable locale au processus. La première transition est la transition start qui initialise la variable locale. Un message de demande de connexion est envoyé (conreq), un timer de 5 secondes est démarré (conreqtimer), et l'automate se met dans l'état connecting. Dans l'état connecting si le timer claque (ce qui est l'équivalent de la réception d'un message) on renvoie la demande de connexion jusqu'à 10 fois. Si on reçoit une confirmation de connexion, l'automate passe dans l'état connected. C'est un scénario typique dans les protocoles de télécommunications. Chapitre IV - CEG4566/CSI4541 RNM SITE uottawa Hiver
12 4.4.7 Exemple pratique : Description en langue humaine : Une machine à café fournit à l`utilisateur un verre de café ou un verre de thé, en supposant que le client a inséré les pièces de monnaie nécessaire pour ça. La machine à café peut accepter des pièces de monnaie de valeur 10 ou 5, où une pièce de 5 est insérée pour avoir un verre de thé et la pièce de 10 pour un verre de café. Voici les différents scénarios à considérer pour le fonctionnement correct du system de la figure ci-dessous. 1. si on insère une pièce de 10 et on appuie sur le bouton café alors la machine fournit un verre de café. 2. si on insère une pièce de 10 et on appuie sur le bouton thé alors la machine fournit un verre d eau chaude pour le thé, plus le reste de la monnaie. 3. si on insère une pièce de 5 et on appuie sur le bouton café alors la machine retourne la pièce insérée et n accepte pas la commande. 4. si on insère une pièce de 5 et on appuie sur le bouton thé alors la machine fournit un verre d`eau chaude pour le thé. Café Thé Machine à café Chapitre IV - CEG4566/CSI4541 RNM SITE uottawa Hiver
13 Description en langage SDL : Un système SDL est composé de blocks fonctionnels et chaque block peut être décomposé en sous-blocks et ainsi de suite. Le block de plus bas niveau est composé de un ou plusieurs processus qui sont décrits sous forme de machines d'états. Voici une description du système en SDL. System coffeemachine Customer CoffeeMachine SIGNAL CupOfCoffee, CupOfWater, ReturnChange; SIGNAL Coffee, Tea, Coin; Client : Customer [CupOfCoffee, CupOfWater, ReturnChange] [Coffee, Tea, Coin] Sr1 CM : CoffeeMachine Les composantes du système Les processus de l'architecture sont connectés entre eux à l aide de routes (canaux) qui portent les différents messages (ou signaux) qui sont échangés entre les processus. Block CM SIGNAL FillWater, WaterOK, FillCoffee CoffeeOK, HeatWater Warm; Controler Hardware C : Controler [list1] Sr2 [list2] H : Hardware Processus composant le bloque machine à café Chapitre IV - CEG4566/CSI4541 RNM SITE uottawa Hiver
14 Le comportement est décrit graphiquement sous forme d'une machine d'état étendue. Idle waitfill FillWater FillCoffee WaterOk() CoffeeOk() Comportement de la partie Hardware Idle Coin(value) value [05] [10] [else] Paidfive Paidten Idle Comportement de la partie Contrôleur Chapitre IV - CEG4566/CSI4541 RNM SITE uottawa Hiver
15 Paidfive Tea Coffee FillWater() ReturnChange MakingTea Idle Comportement de la partie Contrôleur (suite) Paidten Tea Coffee ReturnChange() FillWater() ReturnChange() MakingCoffe e MakingTea Comportement de la partie Contrôleur (suite) Chapitre IV - CEG4566/CSI4541 RNM SITE uottawa Hiver
16 MakinTea MakinTea WaterOK WaterOK HeatWater HeatWater WaterforTea Nboftea=nboftea + 1 Idle Comportement de la partie Contrôleur (suite) MakingCoffe e WaterforCoffee CoffeeandWater WaterOK() CoffeeOK() Warm FillCoffee HeatWater CupOfCoffee WaterforCoffee CoffeeandWater Nbofcoffee=nbofcoffee + 1 Idle Comportement de la partie Contrôleur (suite et fin) Chapitre IV - CEG4566/CSI4541 RNM SITE uottawa Hiver
RTDS G3. Emmanuel Gaudin emmanuel.gaudin@pragmadev.com
RTDS G3 Emmanuel Gaudin emmanuel.gaudin@pragmadev.com PragmaDev Dédiée au développement d un AGL pour le développement des applications temps réel et embarquées. Réseau de partenaires: Formations, Service,
Plus en détailProjet Active Object
Projet Active Object TAO Livrable de conception et validation Romain GAIDIER Enseignant : M. Noël PLOUZEAU, ISTIC / IRISA Pierre-François LEFRANC Master 2 Informatique parcours MIAGE Méthodes Informatiques
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étailJOURNEES SYSTEMES & LOGICIELS CRITIQUES le 14/11/2000. Mise en Œuvre des techniques synchrones pour des applications industrielles
JOURNEES SYSTEMES & LOGICIELS CRITIQUES le 14/11/2000 Mise en Œuvre des techniques synchrones pour des applications industrielles Mise en œuvre des techniques synchrones pour des applications industrielles
Plus en détail3. SPÉCIFICATIONS DU LOGICIEL. de l'expression des besoins à la conception. Spécifications fonctionnelles Analyse fonctionnelle et méthodes
PLAN CYCLE DE VIE D'UN LOGICIEL EXPRESSION DES BESOINS SPÉCIFICATIONS DU LOGICIEL CONCEPTION DU LOGICIEL LA PROGRAMMATION TESTS ET MISE AU POINT DOCUMENTATION CONCLUSION C.Crochepeyre Génie Logiciel Diapason
Plus en détailBPEL Orchestration de Web Services
Orchestration de Web Services Grégory Le Bonniec gregory.lebonniec@zenika.com 26 novembre 2009 1 Zenika Conseil / Développement / Formation Localisation : Paris et Rennes Nos partenaires Mon expérience
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étailLes diagrammes de modélisation
L approche Orientée Objet et UML 1 Plan du cours Introduction au Génie Logiciel L approche Orientée Objet et Notation UML Les diagrammes de modélisation Relations entre les différents diagrammes De l analyse
Plus en détailÉvaluation et implémentation des langages
Évaluation et implémentation des langages Les langages de programmation et le processus de programmation Critères de conception et d évaluation des langages de programmation Les fondations de l implémentation
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étailMachines virtuelles Cours 1 : Introduction
Machines virtuelles Cours 1 : Introduction Pierre Letouzey 1 pierre.letouzey@inria.fr PPS - Université Denis Diderot Paris 7 janvier 2012 1. Merci à Y. Régis-Gianas pour les transparents Qu est-ce qu une
Plus en détailINTRODUCTION AUX TESTS DE PERFORMANCE ET DE CHARGE
INTRODUCTION AUX TESTS DE PERFORMANCE ET DE CHARGE 1 Introduction aux tests de performance et de charge Sommaire Avertissement...2 Aperçu...3 1. Création du scénario de navigation web (Test web)...4 2.
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étailÉCOLE POLYTECHNIQUE DE MONTRÉAL. Département de Génie Électrique. La technologie de TEXAS INSTRUMENTS DSP pour le cours Analyse des Signaux ELE2700
ÉCOLE POLYTECHNIQUE DE MONTRÉAL Département de Génie Électrique La technologie de TEXAS INSTRUMENTS DSP pour le cours Analyse des Signaux ELE2700 M. Corinthios et Zaher Dannawi 29 août 2007 2 Tables des
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étailContrôleur de communications réseau. Guide de configuration rapide DN1657-0606
K T - N C C Contrôleur de communications réseau Guide de configuration rapide DN1657-0606 Objectif de ce document Ce Guide de configuration rapide s adresse aux installateurs qui sont déjà familiers avec
Plus en détailPROJET : ETNIC ESB JANUS. Guide technique : WS-Notification - Clustering. BULL Services et Solutions
PROJET : ETNIC ESB JANUS Guide technique : WS- BULL Services et Solutions Date : 20 novembre 2008 Version : 1.0 Référence Bull : ETNIC_ESB/ANA/00 Auteur : NOSEDA Anne Projet ETNIC ESB JANUS Guide technique
Plus en détailManuel d utilisation de la plate-forme de gestion de parc UCOPIA. La mobilité à la hauteur des exigences professionnelles
Manuel d utilisation de la plate-forme de gestion de parc UCOPIA La mobilité à la hauteur des exigences professionnelles 2 Manuel d utilisation de la plate-forme de gestion de parc UCOPIA 1 Table des matières
Plus en détailgestion des processus La gestion des processus
1 La Pseudo parallélisme 2 Plusieurs programmes en mémoire Le processeur exécute les instructions tantôt pour l'un tantôt pour l'autre P1 P2 programme de supervision Vu de l'utilisateur => programmes en
Plus en détailEléments de spécification des systèmes temps réel Pierre-Yves Duval (cppm)
Eléments de spécification des systèmes temps réel Pierre-Yves Duval (cppm) Ecole d informatique temps réel - La Londes les Maures 7-11 Octobre 2002 - Evénements et architectures - Spécifications de performances
Plus en détailModèles à Événements Discrets. Réseaux de Petri Stochastiques
Modèles à Événements Discrets Réseaux de Petri Stochastiques Table des matières 1 Chaînes de Markov Définition formelle Idée générale Discrete Time Markov Chains Continuous Time Markov Chains Propriétés
Plus en détailECTS CM TD TP. 1er semestre (S3)
Organisation du parcours M2 IRS en alternance De façon générale, les unités d enseignements (UE) sont toutes obligatoires avec des ECTS équivalents à 3 sauf le stage sur 27 ECTS et réparties sur deux semestres
Plus en détailPour signifier qu'une classe fille hérite d'une classe mère, on utilise le mot clé extends class fille extends mère
L'héritage et le polymorphisme en Java Pour signifier qu'une classe fille hérite d'une classe mère, on utilise le mot clé extends class fille extends mère En java, toutes les classes sont dérivée de la
Plus en détailStéphanie Lacerte. Document technique. Connextek. 31 mai 2013. Cloudtel
Stéphanie Lacerte Document technique Connextek 31 mai 2013 Cloudtel Introduction Le logiciel Cloudtel a été conçu dans le langage de programmation Java. Ce logiciel utilisant la voix sur IP, communique
Plus en détailProcessus! programme. DIMA, Systèmes Centralisés (Ph. Mauran) " Processus = suite d'actions = suite d'états obtenus = trace
Processus 1) Contexte 2) Modèles de Notion de Points de vue Modèle fourni par le SX Opérations sur les 3) Gestion des Représentation des Opérations 4) Ordonnancement des Niveaux d ordonnancement Ordonnancement
Plus en détailProtocoles DHCP et DNS
Protocoles DHCP et DNS DHCP (Dynamic Host Configuration Protocol) est un protocole qui permet à un serveur DHCP (Unix, Windows, AS400...) d'affecter des adresses IP temporaires (et d'autres paramètres)
Plus en détailTraduction des Langages : Le Compilateur Micro Java
BARABZAN Jean-René OUAHAB Karim TUCITO David 2A IMA Traduction des Langages : Le Compilateur Micro Java µ Page 1 Introduction Le but de ce projet est d écrire en JAVA un compilateur Micro-Java générant
Plus en détailClasses et Objets en Ocaml.
Classes et Objets en Ocaml. Didier Rémy 2001-2002 http://cristal.inria.fr/ remy/mot/2/ http://www.enseignement.polytechnique.fr/profs/informatique/didier.remy/mot/2/ Cours Exercices Slide 1 1. Objets 2.
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étailCréation du projet : 1 sur 13
Prise en main rapide de Vijéo Designer 5.0 Configuration de la communication API et pupitre sur Ethernet page1 API et pupitre sur Série page3 XBTGT1130 avec liaison ETHERNET API et PC Création du projet
Plus en détailWorkflow et Service Oriented Architecture (SOA)
White Paper Workflow et Service Oriented Architecture (SOA) Présentation Cet article offre une approche pragmatique de la SOA et du workflow à travers des problématiques d'entreprises, une méthodologie
Plus en détailNFP111 Systèmes et Applications Réparties
NFP111 Systèmes et Applications Réparties 1 de 34 NFP111 Systèmes et Applications Réparties Cours 7 - CORBA/Partie 1 Claude Duvallet Université du Havre UFR Sciences et Techniques 25 rue Philippe Lebon
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étailChapitre 1 : Introduction aux bases de données
Chapitre 1 : Introduction aux bases de données Les Bases de Données occupent aujourd'hui une place de plus en plus importante dans les systèmes informatiques. Les Systèmes de Gestion de Bases de Données
Plus en détail!-.!#- $'( 1&) &) (,' &*- %,!
0 $'( 1&) +&&/ ( &+&& &+&))&( -.#- 2& -.#- &) (,' %&,))& &)+&&) &- $ 3.#( %, (&&/ 0 ' Il existe plusieurs types de simulation de flux Statique ou dynamique Stochastique ou déterministe A événements discrets
Plus en détailMéthodes d évolution de modèle produit dans les systèmes du type PLM
Résumé de thèse étendu Méthodes d évolution de modèle produit dans les systèmes du type PLM Seyed Hamedreza IZADPANAH Table des matières 1. Introduction...2 2. Approche «Ingénierie Dirigée par les Modèles»
Plus en détailArchitecture N-Tier. Ces données peuvent être saisies interactivement via l interface ou lues depuis un disque. Application
Architecture Multi-Tier Traditionnellement une application informatique est un programme exécutable sur une machine qui représente la logique de traitement des données manipulées par l application. Ces
Plus en détailLes 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étailComment se connecter au dossier partagé?
Comment se connecter au dossier partagé? Physique Strasbourg Ingénierie 4 avril 2013 Table des matières 1 But du tutoriel 1 2 Client FTP : Filezilla 2 2.1 Téléchargement et installation du client de partage......................
Plus en détailAnalyse,, Conception des Systèmes Informatiques
Analyse,, Conception des Systèmes Informatiques Méthode Analyse Conception Introduction à UML Génie logiciel Définition «Ensemble de méthodes, techniques et outils pour la production et la maintenance
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étailOrganisation du parcours M2 IR Les unités d enseignements (UE) affichées dans la partie tronc commun sont toutes obligatoires, ainsi que le stage et
Organisation du parcours M2 IR Les unités d enseignements (UE) affichées dans la partie tronc commun sont toutes obligatoires, ainsi que le stage et l'anglais. L'étudiant a le choix entre deux filières
Plus en détailIntroduction à LDAP et à Active Directory... 15. Étude de cas... 37
Introduction à LDAP et à Active Directory... 15 Généralité sur l annuaire et LDAP... 16 Qu est-ce qu un annuaire?... 16 Un peu d histoire sur le protocole... 16 LDAP version 2 et version 3... 17 Le standard
Plus en détailDéclarer un serveur MySQL dans l annuaire LDAP. Associer un utilisateur DiaClientSQL à son compte Windows (SSO)
LDAP Mise en place Introduction Limitation et Sécurité Déclarer un serveur MySQL dans l annuaire LDAP Associer un utilisateur DiaClientSQL à son compte Windows (SSO) Créer les collaborateurs DiaClientSQL
Plus en détailCEG4566/CSI4541 Conception de systèmes temps réel
CEG4566/CSI4541 Conception de systèmes temps réel Chapitre 6 Vivacité, sécurité (Safety), fiabilité et tolérance aux fautes dans les systèmes en temps réel 6.1 Introduction générale aux notions de sécurité
Plus en détailMerise. Introduction
Merise Introduction MERISE:= Méthode d Etude et de Réalisation Informatique pour les Systèmes d Entreprise Méthode d Analyse et de Conception : Analyse: Etude du problème Etudier le système existant Comprendre
Plus en détailArchitecture d'entreprise : Guide Pratique de l'architecture Logique
Guides Pratiques Objecteering Architecture d'entreprise : Guide Pratique de l'architecture Logique Auteur : Version : 1.0 Copyright : Softeam Equipe Conseil Softeam Supervisée par Philippe Desfray Softeam
Plus en détailBONNE NOUVELLE, À PARTIR DE DEMAIN 15 AOÛT 2014, l inscription en ligne sera disponible à partir du site de l ARO.
ARO Inscription en ligne, Automne 2014 BONNE NOUVELLE, À PARTIR DE DEMAIN 15 AOÛT 2014, l inscription en ligne sera disponible à partir du site de l ARO. À partir de cette date, vous n aurez qu à vous
Plus en détailVeille Technologique : la VoIP
Veille Technologique : la VoIP CESI LA Vatine Intervenant : FACORAT Fabrice Sommaire Présentation de la VoIP Histoire Terminologie et Protocoles Enjeux de la VoIP H323 SIP Usages actuels de la VoIP Les
Plus en détailTP redondance DHCP. Gillard Frédéric Page 1/17. Vue d ensemble du basculement DHCP
Vue d ensemble du basculement DHCP Dans Windows Server 2008 R2, il existe deux options à haute disponibilité dans le cadre du déploiement du serveur DHCP. Chacune de ces options est liée à certains défis.
Plus en détailEnvoyez des minutes en ligne et restez connectés
Envoyez des minutes en ligne et restez connectés 1 Comment ça marche? Merci d'avoir choisi la recharge en ligne de Digicel, le moyen le plus rapide et le plus pratique de recharger un mobile Digicel peu
Plus en détailS8 - INFORMATIQUE COMMERCIALE
S8 - INFORMATIQUE COMMERCIALE Les savoirs de l Informatique Commerciale doivent être abordés en relation avec les autres savoirs (S4 à S7). Les objectifs généraux sont : o de sensibiliser les étudiants
Plus en détailLes 1 er pas sur. Guide d utilisation
Les 1 er pas sur Guide d utilisation 1 Quelles sont les particularités de SKYPE? Que faut-il faire pour assurer son fonctionnement? Quelles conditions faut-il réunir pour bien communiquer? Création d un
Plus en détailMISE A JOUR : 04 FEVRIER 2011 PROCÉDURE D INSTALLATION. Cegid Business COMMENT INSTALLER CEGID BUSINESS V9 SOUS WINDOWS XP, VISTA ET 7
PROCÉDURE D INSTALLATION Cegid Business V9 COMMENT INSTALLER CEGID BUSINESS V9 SOUS WINDOWS XP, VISTA ET 7 Sommaire 1. Introduction 2. Installation de SQL Server 2005 ou 2008 3. Installation de Cegid Business
Plus en détailModélisation multi-agents - Agents réactifs
Modélisation multi-agents - Agents réactifs Syma cursus CSI / SCIA Julien Saunier - julien.saunier@ifsttar.fr Sources www-lih.univlehavre.fr/~olivier/enseignement/masterrecherche/cours/ support/algofourmis.pdf
Plus en détailExcel Avancé. Plan. Outils de résolution. Interactivité dans les feuilles. Outils de simulation. La valeur cible Le solveur
Excel Avancé Plan Outils de résolution La valeur cible Le solveur Interactivité dans les feuilles Fonctions de recherche (ex: RechercheV) Utilisation de la barre d outils «Formulaires» Outils de simulation
Plus en détailUne dérivation du paradigme de réécriture de multiensembles pour l'architecture de processeur graphique GPU
Une dérivation du paradigme de réécriture de multiensembles pour l'architecture de processeur graphique GPU Gabriel Antoine Louis Paillard Ce travail a eu le soutien de la CAPES, agence brésilienne pour
Plus en détailProgrammation Objet - Cours II
Programmation Objet - Cours II - Exercices - Page 1 Programmation Objet - Cours II Exercices Auteur : E.Thirion - Dernière mise à jour : 05/07/2015 Les exercices suivants sont en majorité des projets à
Plus en détailCours d initiation à la programmation en C++ Johann Cuenin
Cours d initiation à la programmation en C++ Johann Cuenin 11 octobre 2014 2 Table des matières 1 Introduction 5 2 Bases de la programmation en C++ 7 3 Les types composés 9 3.1 Les tableaux.............................
Plus en détailNos solutions Cloud Kain, le 27 mars 2013 Laurent Guelton, Administrateur Délégué. Copyright 2013 Orditech. Tous droits réservés. Version 2.
Nos solutions Cloud Kain, le 27 mars 2013 Laurent Guelton, Administrateur Délégué Qu'est-ce que le Cloud Computing? Concept qui désigne l'externalisation des données sur des serveurs distants Avantages
Plus en détailOCL - Object Constraint Language
OCL - Object Constraint Language Laëtitia Matignon laetitia.matignon@univ-lyon1.fr Département Informatique - Polytech Lyon Université Claude Bernard Lyon 1 2012-2013 Laëtitia Matignon SIMA - OCL - Object
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étailWEB & DÉVELOPPEMENT LES BASES DU WEB LE LANGAGE HTML FEUILLES DE STYLES CSS HISTORIQUE D INTERNET ET DU WEB LES DIFFÉRENTS LANGAGES
WEB & DÉVELOPPEMENT LES BASES DU WEB HISTORIQUE D INTERNET ET DU WEB LES DIFFÉRENTS LANGAGES LE LANGAGE HTML STRUCTURE D UNE PAGE En-tête et corps Syntaxe INSÉRER DES CONTENUS Texte : formatage (titre,
Plus en détailDéclarer un serveur MySQL dans l annuaire LDAP. Associer un utilisateur DiaClientSQL à son compte Windows (SSO)
LDAP Mise en place Introduction Limitation et Sécurité Déclarer un serveur MySQL dans l annuaire LDAP Associer un utilisateur DiaClientSQL à son compte Windows (SSO) Créer les collaborateurs DiaClientSQL
Plus en détailNKGB - CNHB FCA Release 3.0
Information relative à l'enregistrement et l'accès des médiateurs de dettes 1. Introduction / Documents Par la loi du 14/01/2013, publiée au Moniteur Belge du 01/03/2013, tous les médiateurs de dettes
Plus en détailM1805 - Études et développement informatique
Appellations (Métiers courants) Analyste décisionnel - Business Intelligence Analyste organique informatique Analyste-programmeur / Analyste-programmeuse informatique Chef de projet étude et développement
Plus en détailGénéralités. Premier lancement
Initiation à la gestion des données avec Essential PIM 1/7 Qui n'a pas souhaité posséder un agenda portable et facile d'utilisation? Et bien ce dernier existe et il s'appelle : Essential PIM - EPIM pour
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étail2. MAQUETTAGE DES SOLUTIONS CONSTRUCTIVES. 2.2 Architecture fonctionnelle d un système communicant. http://robert.cireddu.free.
2. MAQUETTAGE DES SOLUTIONS CONSTRUCTIVES 2.2 Architecture fonctionnelle d un système communicant Page:1/11 http://robert.cireddu.free.fr/sin LES DÉFENSES Objectifs du COURS : Ce cours traitera essentiellement
Plus en détailMode d emploi. Appareil de programmation Multi
Appareil de programmation Multi Table des matières 1. AVANT-PROPOS... 3 1.1 PRINCIPE MECATRONIQUE... 3 1.2 COMPATIBILITE... 3 1.3 PHILOSOPHIES DE PROGRAMMATION... 3 1.4 PROFILS DE PRESTATIONS... 3 1.5
Plus en détailPlan. Exemple: Application bancaire. Introduction. OCL Object Constraint Language Le langage de contraintes d'uml
OCL Object Constraint Language Le langage de contraintes d'uml Plan 1. Introduction 2. Les principaux concepts d'ocl Object Constraint Language 1 Object Constraint Language 2 Exemple: une application bancaire
Plus en détailELP 304 : Électronique Numérique. Cours 1 Introduction
ELP 304 : Électronique Numérique Cours 1 Introduction Catherine Douillard Dépt Électronique Les systèmes numériques : généralités (I) En électronique numérique, le codage des informations utilise deux
Plus en détailITIL, une approche qualité pour la gestion des services(*) informatiques. Pourquoi et comment introduire ITIL dans son organisation
Livre blanc Le pragmatisme de votre système d information Rédacteur : Marc LORSCHEIDER / Expert ITIL Mise à jour : 05/06/2013 ITIL, une approche qualité pour la gestion des services(*) informatiques Pourquoi
Plus en détailManuel d installation et d utilisation du logiciel GigaRunner
Manuel d installation et d utilisation du logiciel GigaRunner Manuel Version : V1.6 du 12 juillet 2011 Pour plus d informations, vous pouvez consulter notre site web : www.gigarunner.com Table des matières
Plus en détailCompilation (INF 564)
Présentation du cours Le processeur MIPS Programmation du MIPS 1 Compilation (INF 564) Introduction & architecture MIPS François Pottier 10 décembre 2014 Présentation du cours Le processeur MIPS Programmation
Plus en détailUtilisation du site de retours Lexibook
1 Utilisation du site de retours Lexibook Se connecter au site 2 Remplir une demande de retour 3 Soumettre une demande de retour 4 Sauvegarder une demande de retour 4 Vérifier la validation d une demande
Plus en détailExtensions à la formation. Laurent Pérochon, 28-30 avril 2008, RMT Modelia, modélisation conceptuelle, formation UML, INRA Castanet Tolosan
Extensions à la formation Diagramme de timing FinEpreuve SautBarrière CourseAvantBarrière SautMur {>2 et 10 et 2 et 10 et
Plus en détailOutils logiciels pour la combinaison de vérification fonctionnelle et d évaluation de performances au sein de CADP
Outils logiciels pour la combinaison de vérification fonctionnelle et d évaluation de performances au sein de CADP Christophe Joubert Séminaire VASY 2002 30 Octobre 2002 Aix les Bains Contexte du projet
Plus en détailCréation d un formulaire de contact Procédure
Création d un formulaire de contact Procédure Description : Cette procédure explique en détail la création d un formulaire de contact sur TYPO3. Outil Procédure CMS: TYPO3 Auteur : hemmer.ch SA Extension:
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étailL ADMINISTRATION Les concepts
L ADMINISTRATION Les concepts Complexité des réseaux et systèmes besoins d outils d aide à la gestion Objectifs Superviser le fonctionnement du S.I. et des réseaux Optimiser l utilisation des ressources
Plus en détailTravail collaboratif. Glossaire
Glossaire Ajax Traduction anglaise : Ajax (Asynchronous JavaScript And XML) AJAX est un combiné de différents langages de développement Web comme XHTML, JavaScript ou XML, il est fréquemment utilisé pour
Plus en détailMode d emploi : Module SMS
Mode d emploi : Module SMS Vous avez maintenant la possibilité d envoyer des SMS à partir de divers endroits dans WHOMAN 2. Comment ça marche? Vous achetez des crédits SMS via Cellcom, notre fournisseur
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étailDiplôme de Comptabilité et de Gestion. D é c r e t N 2 0 0 6-1 7 0 6 d u 2 2 d é c e m b r e 2 0 0 6 - A r r ê t é d u 8 m a r s 2 0 1 0
Diplôme de Comptabilité et de Gestion DCG D é c r e t N 2 0 0 6-1 7 0 6 d u 2 2 d é c e m b r e 2 0 0 6 - A r r ê t é d u 8 m a r s 2 0 1 0 Validation des Acquis de l Expérience VAE R é f é r e n t i e
Plus en détailDescription générale des fonctions actuelles du PBX de PointCA Télécom (modèle PTCA-1280)
Description générale des fonctions actuelles du PBX de PointCA Télécom (modèle PTCA-1280) Performances du PBX : Jusqu à 8 lignes PSTN analogiques (versions 0, 4, ou 8 lignes) ; Version PRI disponible (23
Plus en détailBoîtier disque dur SATA 3,5 pouces Fonction économie d énergie
Boîtier disque dur SATA 3,5 pouces Fonction économie d énergie PX-1106 Chère cliente, Cher client, Nous vous remercions pour l achat de ce boîtier de disque dur. Faites de votre disque dur une mémoire
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é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étailArchitecture des ordinateurs TD1 - Portes logiques et premiers circuits
Architecture des ordinateurs TD1 - Portes logiques et premiers circuits 1 Rappel : un peu de logique Exercice 1.1 Remplir la table de vérité suivante : a b a + b ab a + b ab a b 0 0 0 1 1 0 1 1 Exercice
Plus en détailREPETEUR SANS FIL N 300MBPS
REPETEUR SANS FIL N 300MBPS Guide d installation rapide DN-70181 Introduction : Le DN-70181 est un répéteur Wi-Fi permettant une connexion réseau filaire/sans fil conçu spécialement pour les besoins des
Plus en détail1. Introduction...2. 2. Création d'une requête...2
1. Introduction...2 2. Création d'une requête...2 3. Définition des critères de sélection...5 3.1 Opérateurs...5 3.2 Les Fonctions...6 3.3 Plusieurs critères portant sur des champs différents...7 3.4 Requête
Plus en détailGuide plateforme FOAD ESJ Lille
Guide plateforme FOAD ESJ Lille v. 1.2 «étudiants» septembre 2014 Réalisé par Maxime Duthoit Ingénieur pédagogique multimédia à l ESJ Lille Sommaire Introduction... 1 1. Accueil et connexion... 2 2. Accueil
Plus en détailUtilisation des médias sociaux par les organes publics en conformité avec la protection
AIDE-MEMOIRE Utilisation des médias sociaux par les organes publics en conformité avec la protection des données I. Introduction Cet aide-mémoire s'adresse aux organes publics qui sont soumis à la législation
Plus en détailAtelier Introduction au courriel Utiliser www.yahoo.ca Guide de l apprenant
Atelier Utiliser www.yahoo.ca Guide de l apprenant Introduction... 1 Préalables... 2 Ce que vous allez apprendre... 2 Compte courriel en ligne... 2 Créer et utiliser un compte courriel Yahoo.ca... 3 Créer
Plus en détailINF 1250 INTRODUCTION AUX BASES DE DONNÉES. Guide d étude
INF 1250 INTRODUCTION AUX BASES DE DONNÉES Guide d étude Sous la direction de Olga Mariño Télé-université Montréal (Québec) 2011 INF 1250 Introduction aux bases de données 2 INTRODUCTION Le Guide d étude
Plus en détailLa démarche MDA. Auteur : Projet ACCORD (Assemblage de composants par contrats en environnement ouvert et réparti)*
La démarche MDA Auteur : Projet ACCORD (Assemblage de composants par contrats en environnement ouvert et réparti)* Référence : Livrable 1.1-5 Date : Mai 2002 * : Les partenaires du projet ACCORD sont CNAM,
Plus en détailExécutif temps réel Pierre-Yves Duval (cppm)
Exécutif temps réel Pierre-Yves Duval (cppm) Ecole d informatique temps réel - La Londes les Maures 7-11 Octobre 2002 Plan Exécutif Tâches Evénements et synchronisation Partage de ressources Communications
Plus en détailFiche méthodologique Rédiger un cahier des charges
Fiche méthodologique Rédiger un cahier des charges Plan de la fiche : 1 : Présentation de la fiche 2 : Introduction : les grands principes 3 : Contenu, 1 : positionnement et objectifs du projet 4 : Contenu,
Plus en détail