Informatique temps-réel Chapitre 1: introduction au temps-réel
|
|
- Carole Bruneau
- il y a 6 ans
- Total affichages :
Transcription
1 Informatique temps-réel Chapitre 1: introduction au temps-réel Prof. Pierre Manneback Service d Informatique FACULTE POLYTECHNIQUE DE MONS Pierre.Manneback@fpms.ac.be Informatique Temps-Réel 1.1
2 Source Les slides de ce chapitre sont tirés du cours «Temps-réel et Systèmes d Exploitation» de Claude Baron et Frédéric Bagnol, ONERA et ENSEHEIT, Toulouse. Informatique Temps-Réel 1.2
3 Plan du chapitre 1 1. Cadre général 2. Architecture générale et mode de fonctionnement 3. Introduction sur les contraintes d exécution des tâches 4. Introduction à la conception de systèmes T.R. 5. Introduction aux O.S. (Operating System) Temps Réel 6. Introduction aux langages du Temps Réel Informatique Temps-Réel 1.3
4 Qu'est-ce le temps réel? Non seulement des résultats exacts Mais aussi fournis dans un temps donné, compatible avec l'évolution du système L'échelle de temps dépend du système de quelques millisecondes pour un système de navigation aérienne à plusieurs minutes ou heures pour le contrôle d'un réacteur chimique Dans un système temps réel, un résultat de calcul mathématiquement exact mais arrivant au delà d'une échéance prédéfinie est un résultat faux Informatique Temps-Réel 1.4
5 Définition du T.R. Un système temps réel est un système dans lequel l'exactitude des applications ne dépend pas seulement de l'exactitude des résultats mais aussi du temps auquel ce résultat est produit. Si les contraintes temporelles de l'application ne sont pas respectées, on parle de défaillance du système. Il est donc essentiel de garantir le respect des contraintes temporelles du système. Informatique Temps-Réel 1.5
6 Un système T.R. interagit avec son environnement Un système T.R. ou système réactif est assujetti à l'évolution dynamique de l'environnement qui lui est connecté et dont il doit contrôler le comportement. rythme de l'interaction Système informatique données mesures événements Environnement (ex : une chaîne de production, une réaction chimique ) temps de réponse imposé par la dynamique de l'environnement commandes Informatique Temps-Réel 1.6
7 Les systèmes T.R. par rapport aux autres systèmes informatiques Système Transformationnel Activité de calcul, qui lit ses données et ses entrées lors de son démarrage, qui fournit ses sorties, puis meurt. Système Interactif Système en interaction quasi-permanente avec son environnement. La réaction du système est déterminée par les événements reçus et par l'état courant. Le rythme de l'interaction est déterminé par le système et non par l'environnement. Système Réactif ou Temps Réel Système en interaction permanente avec son environnement. La réaction du système est déterminée par les événements reçus et par l'état courant. Le rythme de l'interaction est déterminé par l'environnement et non par le système. Informatique Temps-Réel 1.7
8 Caractéristiques du T.R. Un système Temps Réel reçoit des événements émanant du procédé à contrôler. Ces événements peuvent être périodiques ou non. Le système doit réagir avant un délai ou une date fixée Aucun événement ne doit être raté par le système Ne pas réagir à temps est considéré comme une défaillance Un système Temps Réel est souvent critique et doit souvent être tolérant aux pannes nécessité de mécanismes de tolérance aux pannes (réplications matérielles, vérification formelles ) Informatique Temps-Réel 1.8
9 Ordre de grandeur des contraintes temporelles très différents suivant les systèmes 1h Temps Contrôle En chimie 1 min Contrôle fabrication 1 s Contrôle stockage 10 ms 1 ms 1 µs Systèmes vocaux Systèmes radar Systèmes Mesures scientifiques Robotique Informatique Temps-Réel 1.9
10 Nécessité de synchronisation Deux entités : l'environnement (ou le procédé) à contrôler et le système informatique Temps Réel deux temps : le temps de l'environnement et le temps du système Temps Réel Temps de l'environnement = temps chronométrique (le temps réel) Temps du système informatique = temps chronologique, constitué de la suite des événements ou des instructions du système Informatique Temps-Réel 1.10
11 Nécessité de synchronisation (2) Exigence du temps réel = concordance entre le temps chronologique de l'environnement et le temps chronométrique du système Le système informatique doit mettre ses actions en phase avec le temps chronométrique de l'environnement Les actions du système seront des tâches et des communications => Nécessité de techniques de synchronisation et d'ordonnancement des tâches et des communications Informatique Temps-Réel 1.11
12 Définition de tâche, job, processus et thread Une tâche est l exécution d une action bien spécifique. Elle sera normalement codée par une suite d instructions contiguës dans un programme informatique (fonction, procédure). Elle aura un temps de démarrage et un temps de fin. Elle pourra être constituée d un certain nombre de jobs (ou sous-tâches). Un processus est un programme en cours d exécution. Il peut être constitué d un ou plusieurs «threads» (ou processus légers) représentant les fils d exécution. Il y aura correspondance entre tâches et processus ou threads. A un processus (thread) correspondra une (de préférence) ou plusieurs tâches. Informatique Temps-Réel 1.12
13 Quelques exemples de systèmes T.R. Commande et contrôle de chaînes de production Guidage de systèmes mobiles (robotique ) Systèmes embarqués (avion, train, automobile ) Surveillance de réactions ou phénomènes physiques (nucléaire, chimie, ) Contrôle de malades et assistance d'opérations médicales Systèmes de communication et multimédia Systèmes dédiés (conduite d'expérience scientifique, traitement du signal ) Informatique Temps-Réel 1.13
14 Exemple 1: robot de production Un robot, réalisant une activité spécifique (peinture, assemblage, tri) sur une chaîne de production, doit effectuer son travail en des temps fixés par la cadence de fabrication. S'il agît trop tôt ou trop tard, l'objet traité sera détruit ou endommagé conduisant des conséquences financières ou humaines graves. Informatique Temps-Réel 1.14
15 Exemple 2: téléphone mobile Le système de contrôle-commande doit remplir plusieurs fonctions dont certaines ont des contraintes temporelles fortes pour avoir une bonne qualité de service. La première fonction est de transmettre et de recevoir les signaux de la parole. En parallèle, il est nécessaire de localiser en permanence le relais le plus proche et donc de synchroniser les envois par rapport à cette distance. Des messages de traces de la communication sont aussi émis avec une périodicité de plusieurs secondes. Les contraintes temporelles imposées au système doivent être imperceptibles à l'utilisateur. Informatique Temps-Réel 1.15
16 Exemple 3: système de vidéoconférence Le système doit permettre l'émission et la réception d'images numérisées à une cadence de 30 images par seconde pour avoir une bonne qualité de service. Afin de minimiser le débit du réseau, une compression des images est effectuée. D'autre part la parole doit être aussi transmise; bien que correspondant à un débit d'information moindre, la régularité de la transmission est nécessaire pour une reproduction correcte. De plus ce signal doit être synchronisé avec le flux d'images. L'ensemble de ces traitements (numérisations images et parole, transmission, réception, synchronisation, ) sont réalisés en cascade, mais avec une cohérence précise et des contraintes temporelles fortes. Informatique Temps-Réel 1.16
17 Temps Réel Processeur rapide Dépend de la spécification des besoins besoin d'un temps de réaction court (1 ms) pour le contrôle d'un avion de combat besoin d'un temps de réaction moins court (10 s) pour le contrôle d'un chaîne de production besoin d'un temps de réaction plus lent (1min) pour le contrôle d'une réaction chimique l'important est de respecter l'échéance réagir trop tôt est parfois également une faute Temps Réel = Ponctualité = respect des contraintes temporelles Informatique Temps-Réel 1.17
18 Temps réel dur ou lâche Deux notions de criticité face au manquement d'une échéance Contraintes temps réel strictes : le dépassement d'une échéance est catastrophique =>T.R. dur (hard R.T.) Contrainte temps réel relatives : le dépassement d'une échéance peut être toléré (dans une certaine mesure) => temps réel lâche (soft R.T.) Dans le cas des systèmes Temps Réel durs, on cherchera à obtenir un comportement prévisible, déterministe et fiable Dans le cas des systèmes Temps Réel lâches, on cherchera à minimiser la probabilité de rater une échéance plusieurs fois de suite... Informatique Temps-Réel 1.18
19 Plan du chapitre 1 1. Cadre général 2. Architecture générale et mode de fonctionnement 3. Introduction sur les contraintes d exécution des tâches 4. Introduction à la conception de systèmes T.R. 5. Introduction aux O.S. (Operating System) Temps Réel 6. Introduction aux langages du Temps Réel Informatique Temps-Réel 1.19
20 Principe général Quelle que soit la nature et la complexité du système, on décompose un système temps réel en : un système contrôlé un système de contrôle Interface capteurs capteurs Système informatique Procédé Interface actionneurs actionneurs Environnement Informatique Temps-Réel 1.20
21 Principe général (2) Le système contrôlé = environnement équipé d'une instrumentation qui réalise l'interface avec le système de contrôle Le système de contrôle = système informatique (hardware et software) dont la mission est d'agir sur l environnement en fonction de son état de manière à le contrôler Interface capteurs capteurs Objet de ce cours Système informatique Système de contrôle Interface actionneurs actionneurs Procédé Système contrôlé Informatique Temps-Réel 1.21
22 Exemples de systèmes contrôlés Equipements isolés : robot, machine à laver, caméra, radar, moteur Systèmes complexes : chaîne de production, avion, centrale nucléaire, contrôle aérien, surveillance médicale... Informatique Temps-Réel 1.22
23 Interaction environnement/système informatique Via les mesures issues des capteurs et les commandes envoyées aux actionneurs Acquisition des mesures périodiques à une cadence compatible avec la dynamique de l environnement Elaboration et envoi des commandes dans un laps de temps compatible avec la dynamique de l environnement Double rôle du système de contrôle observateur : acquisition des mesures contrôleur : mise en œuvre des lois de commandes et émission des commandes vers des actionneurs spécifiques Informatique Temps-Réel 1.23
24 Le système de contrôle peut être varié, suivant les besoins Système de contrôle données mesures événements Environnement Peut être réalisé par commandes un automate programmable un système électronique un système informatique (harware et logiciels) Objet de ce cours Informatique Temps-Réel 1.24
25 Principe de fonctionnement des systèmes informatiques de contrôle: boucle infinie Tant que VRAI faire Acquisition des entrées (données capteurs, mesures ) Calcul des ordres à envoyer à l environnement Émission des ordres modes de fonctionnement : fonctionnement cyclique ou cadencé (time driven) fonctionnement événementiel (event driven) fonctionnement mixte : traitements périodiques et apériodiques (déclenchés sur événements) Informatique Temps-Réel 1.25
26 Fonctionnement cyclique scrutation périodique d'une mémoire d'entrée (polling) A chaque top d'horloge faire Lecture de la mémoire des entrées Calcul des ordres à envoyer au procédé Émission des ordres système peu "réactif" si l'environnement produit des informations à des fréquences différentes => oblige à prévoir toutes les réactions du système dans la même boucle ou, à imbriquer des boucles de fréquences multiples => difficultés de réalisation, de lisibilité du code, d'évolution Ne convient que pour les systèmes de contrôles très simples Informatique Temps-Réel 1.26
27 Fonctionnement événementiel activation du système à chaque événement ( notion d'interruption) while (1) { -Attendre les événements (interruption) A chaque interruption faire - Lecture de l'information arrivée - Activation du traitement correspondant - Émission des ordres issus de ce traitement } Informatique Temps-Réel 1.27
28 Fonctionnement événementiel (2) Que faire si une interruption survient alors que le système est en train de traiter une interruption précédente? notion de priorité des interruptions notion de tâche associée à une ou plusieurs interruptions mécanisme de préemption (réquisition du processeur) et de reprise de tâche gestion de l'exécution concurrente des tâches (ordonnancement) Un système temps réel est un système multitâche incluant un gestionnaire de tâches (ordonnanceur) Informatique Temps-Réel 1.28
29 Système multitâche => Pour des raisons de facilité de conception, de mise en œuvre et d'évolutivité, une application temps réel est un système multitâche : tâches associées à un ou des événements tâches associées à une ou des réactions tâches associées à une entité externe à contrôler tâches associées à un traitement particulier programme temps réel = ensemble de tâches coopérantes Coopération entre tâches tâche : tâche Informatique Temps-Réel 1.29
30 L ordonnanceur La partie logicielle d'une application temps réel est un ensemble de tâches synchronisées, communicantes et partageant des ressources critiques. Le rôle essentiel du système informatique temps réel est donc de gérer l'enchaînement et la concurrence des tâches en optimisant l'occupation de l'unité centrale : c est la fonction de l ordonnanceur. Informatique Temps-Réel 1.30
31 Organisation générale d'un système temps réel tâches Ordonnanceur Services de base Noyau Noyau + primitives (de services) + ordonnanceur = système d'exploitation temps-réel Informatique Temps-Réel 1.31
32 Un système T.R. est réduit Moins de fonctionnalités que Linux ou Windows! Capacité d embarquement sur des systèmes à mémoire et CPU limités Vitesse de réaction plus rapide Fonctionnalités différentes Ordonnanceurs spécialisés Horloge, Synchronisation précises Informatique Temps-Réel 1.32
33 Plan du chapitre 1 1. Cadre général 2. Architecture générale et mode de fonctionnement 3. Introduction sur les contraintes d exécution des tâches 4. Introduction à la conception de systèmes T.R. 5. Introduction aux O.S. (Operating System) Temps Réel 6. Introduction aux langages du Temps Réel Informatique Temps-Réel 1.33
34 Contraintes d exécution des tâches Ces contraintes sont à spécifier de la manière la plus précise possible dans le cahier des charges. Elles sont notamment des contraintes du système d implantation de criticité des tâches d activation temporelles etc Informatique Temps-Réel 1.34
35 Contraintes au niveau système des contraintes d environnement Mémoire CPU Consommation énergétique Performances des contraintes de bon fonctionnement Economiques Sécuritaires de certification d intégration Informatique Temps-Réel 1.35
36 Contraintes d implantation Portent sur l identité du processeur sur lequel une tâche est autorisée à s'exécuter Problème crucial en cas de redondance matérielle/logicielle pour la conception de systèmes sûrs de fonctionnement Informatique Temps-Réel 1.36
37 Contraintes de criticité Sensibilité de la tâche (mesurée par les conséquences de l occurrence d une faute) sur le bon fonctionnement du système. Non-respect des dates de réveil et échéance d une tâche conséquences dont la sévérité est variable (perte acceptable à catastrophique) A chaque tâche est affecté un niveau de criticité qui conduira à privilégier l'exécution des tâches de grande importance (priorités) Informatique Temps-Réel 1.37
38 Contraintes d activation L exécution d une activité peut commencer au plus tôt après la réalisation d une condition d activation (par exemple occurrence d un événement externe, disponibilité de ressources, fin d une autre activité, condition de synchronisation) Possibilité de contraindre la condition dans le temps (time-out) Informatique Temps-Réel 1.38
39 Contraintes temporelles Différents types de contraintes temporelles selon que l activité est : périodique (cyclique) : activité réalisée une fois par période T, ex: acquisition d informations sporadique (asynchrone) : réalisée à la demande ou sous des conditions d activation non périodiques ex: événements, détection d une faute, intervention humaine Informatique Temps-Réel 1.39
40 Contraintes temporelles (2) date de début au plus tôt, date de début au plus tard La date réelle de début devra être : postérieure à la date de réalisation de la condition d activation et à la date de début au plus tôt antérieure à la date de début au plus tard date de fin au plus tôt, date de fin au plus tard La date de fin d activité (deadline) devra être : postérieure à la date de fin au plus tôt antérieure à la date de fin au plus tard Informatique Temps-Réel 1.40
41 Plan du chapitre 1 1. Cadre général 2. Architecture générale et mode de fonctionnement 3. Introduction sur les contraintes d exécution des tâches 4. Introduction à la conception de systèmes T.R. 5. Introduction aux O.S. (Operating System) Temps Réel 6. Introduction aux langages du Temps Réel Informatique Temps-Réel 1.41
42 Caractéristiques nécessaires à un système T.R. Les contraintes d un système T.R. impliquent des propriétés à satisfaire pour développer un système T.R. Fiabilité Prédictibilité Préemptibilité des tâches Bonne gestion des communications inter-tâches Prise en compte du non-déterminisme d ordre d exécution des tâches Informatique Temps-Réel 1.42
43 Nécessité de fiabilité Un système T.R. est souvent un système critique (devant être valide à presque 100%) approche qualité par l utilisation systématique de méthodologies rigoureuses pour la conception, réalisation, validation, évolution et maintenance des systèmes logiciels Informatique Temps-Réel 1.43
44 Nécessité de prédictibilité Prédictibilité : qualité d un système qui, à partir de la connaissance de son état présent permet d assurer la connaissance de son comportement dans le futur et garantit la maîtrise de son fonctionnement en cas de défaillance potentielle La prédictibilité doit permettre de déterminer à l'avance si un système va respecter ses contraintes temporelles. Elle nécessite La connaissance des paramètres liés aux calculs des activités et des défaillances potentielles Informatique Temps-Réel 1.44
45 Nécessité de préemptibilité Préemptibilité: réquisition possible des ressources par une tâche Une tâche doit pouvoir être interrompue par tâche de plus haute priorité retrait possible des ressources (processeur, mémoire) d une tâche pour les affecter à une autre tâche (reprise ultérieure quand les circonstances le permettront) Informatique Temps-Réel 1.45
46 Nécessité d une bonne gestion des communications inter-tâches Les tâches concourent à contrôler/commander un environnement Elles interagissent entre elles (émission/réception de signaux de synchronisation + informations) : tenir compte de délais de communication contrôler la cohérence des horloges Informatique Temps-Réel 1.46
47 Nécessité de prise en compte du nondéterminisme Le problème du non-déterminisme: imprévisibilité de l ordre d exécution de tâches dû à des séquences d actions interrompues par des événements externes asynchrones à des instants et dans un ordre imprévisibles pose de sérieux problèmes pour s assurer de la maîtrise du comportement du système (respect des contraintes temporelles) Ordonnancer strictement pour réduire le non-déterminisme Informatique Temps-Réel 1.47
48 Conception et développement d un système T.R. Etape 1: définition du cahier des charges La satisfaction de ces besoins nécessitent le suivi d une méthodologie rigoureuse de conception et développement du logiciel Etapes classiques du développement 1. définition du cahier des charges (analyse des besoins) établir clairement les exigences du client (nature du problème, performances exigées, ressources matérielles, criticité des tâches, contraintes temporelles, etc) Informatique Temps-Réel 1.48
49 Conception et développement d un système T.R. Etape 2: spécification fonctionnelle formaliser les exigences du client et les faire valider recensement de tous les signaux et interruptions, les états qui traduisent l'évolution du comportement du procédé analyse fonctionnelle (décomposition en tâches et fonctionnalités de ces tâches + analyse temporelle) Informatique Temps-Réel 1.49
50 Conception et développement d un système T.R. Etape 3: conception générale identification de l'architecture matérielle et logicielle identification de ce qui sera réalisé par du matériel identification de la topologie matérielle de l'architecture identification des tâches» forte cohésion interne à chaque tâche» faible cohésion entre les tâches choix d'une stratégie d'ordonnancement et éventuellement d'un OS temps réel Informatique Temps-Réel 1.50
51 Conception et développement d un système T.R. Etape 4: conception détaillée + programmation conception des composants matériels conception détaillée des tâches : définition des attributs des tâches : priorité caractéristiques temporelles (durée, échéances ) ressources nécessaires programmation des tâches Informatique Temps-Réel 1.51
52 Conception et développement d un système T.R. Etape 5: tests Tests par simulation Ces tests amènent bien souvent à préciser et revoir les étapes 1, 2 et 3 Tests sur installation pilote Ces tests amènent bien souvent à préciser et revoir les étapes 1, 2 et 3 Livraison Pour les systèmes critiques, les tests doivent être remplacés par des vérifications formelles Informatique Temps-Réel 1.52
53 Plan du chapitre 1 1. Cadre général 2. Architecture générale et mode de fonctionnement 3. Introduction sur les contraintes d exécution des tâches 4. Introduction à la conception de systèmes T.R. 5. Introduction aux O.S. (Operating System) Temps Réel 6. Introduction aux langages du Temps Réel Informatique Temps-Réel 1.53
54 Architecture logicielle d'un système temps réel Application Mesures Tâche i Tâche j Tâche k Tâche x Tâche y Commandes Requête Activation, Horloge temps réel Noyau ou Exécutif T.R. Gestion du temps Gestion des événements Interruptions Gestion des interruptions Primitives Ordonnanceur Informatique Temps-Réel 1.54
55 Relation tâches et noyau temps réel Une application temps-réel étant un système multi-tâche, le rôle essentiel du noyau temps réel est donc de gérer l'enchaînement et la concurrence des tâches Ainsi le système temps réel centralise toutes les demandes d'activation de tâches et gère des tables lui permettant de comparer les priorités et l'état de ces diverse tâches, ainsi que l'état d'occupation des ressources. La décision d'activation d'une tâche étant prise, le système temps réel lance les modules de programmes correspondant à cette tâche et lui alloue les ressources disponibles. Une tâche activée peut appeler le noyau temps réel par une requête. Les différentes requêtes sont servies par des modules du système temps réel appelées primitives. La tâche activée occupe le processeur jusqu'à la fin de son exécution sous le respect des conditions suivantes : elle ne réalise pas d'opérations d'entrées-sorties les ressources utilisées sont disponibles aucun événement extérieur ne revendique le déroulement d'une tâche plus prioritaire. Tâche i Requête Noyau temps réel Activation Tâche j Exécution Exécution Exécution programme primitive et ordonnanceur programme Informatique Temps-Réel 1.55
56 Les services de coopération entre les tâches synchronisation événements - SIGNAL_EVT(signaler l'occurrence d'un événement) - ATTENDRE_EVT(attendre l'occurrence d'un événement) Primitive bloquante sémaphores - PRENDRE_SEM (demande d'un sémaphore) Primitive bloquante (sémaphore déjà pris) - RENDRE_SEM (libération d'un sémaphore) rendez-vous communication boîtes aux lettres - DEPOSER_DONNEE (écriture d'une donnée) Primitive bloquante (BAL pleine) - RETIRER_DONNEE (lecture d'une donnée) Primitive bloquante (BAL vide) tubes partage de ressources critiques sémaphores d'exclusion mutuelle (mutex) Tâche i Tâche i Tâche i xxx Tâche j Tâche j Informatique Temps-Réel 1.56 R Tâche j
57 Besoins des RT-OS (real-time operating systems) Un RT-OS doit être: Configurable Il ne doit inclure que les composants nécessités par l application (ressources limitées ) Modulaire Différents modules sans trop d inter-dépendances Modules chargeables ou non, suivant les besoins Prévisible Validation possible Bornes supérieures pour les fonctions-systèmes au niveau utilisation des resources (CPU, mémoire) Informatique Temps-Réel 1.57
58 Conception de RTOS 2 approches: Extension d OS généraux par des fonctionnalités TR (notamment nouveaux ordonnancements, timers) RTLinux, Windows CE, etc OS spécialisés Noyaux rapides, petits et adaptés QNX, VxWORKS, etc Avantages pour les 2 approches extensions OS: programmation, compatibilité, terrain connu OS spécialisés: taille, performance, adaptation Informatique Temps-Réel 1.58
59 Conception RTOS (2) Special purpose kernel General purpose kernel (léger) (lourd) Informatique Temps-Réel 1.59
60 Extensions d OS généralistes: RT-Linux Task Task Task scheduler Linux driver interrupts I/O Hardware RT-Linux RT-Task RT-Scheduler interrupts RT-Task interrupts Informatique Temps-Réel 1.60
61 RT-OS spécialisés RT-Task RT-Task Task Task Task Hardware POSIX 1.b scheduler RT Kernel drivers I/O, interrupts Informatique Temps-Réel 1.61
62 Plan du chapitre 1 1. Cadre général 2. Architecture générale et mode de fonctionnement 3. Introduction sur les contraintes d exécution des tâches 4. Introduction à la conception de systèmes T.R. 5. Introduction aux O.S. (Operating System) Temps Réel 6. Introduction aux langages du Temps Réel Informatique Temps-Réel 1.62
63 sémantique synchrone / sémantique asynchrone Sémantique synchrone (Lustre, Esterel ) Sémantique asynchrone (Ada, C, Java ) durées des actions considérées "nulles" (négligeables devant la dynamique de l'environnement) déterminisme et simplicité possibilité de vérifier formellement le comportement du système contexte d utilisation limité plusieurs tâches concurrentes entrelacement de ces tâches synchronisation par rendezvous et sémaphore non-déterminisme complexité Informatique Temps-Réel 1.63
64 Quels critères pour le choix de langage de programmation de systèmes temps réel? Standard international large diffusion portabilité et réutilisabilité aisées qualité des Ateliers Logiciel associés (outils de test, d'analyse, de gestion de configuration ) pérennité (20 à 30 ans par exemple dans l'avionique) abstraction face au système et aux exécutifs temps réel simplicité de programmation, notamment pour la programmation de tâches ou processus communicants maîtrise des temps d'exécution (est-il possible de prédire ces temps?) modularité du développement et du programme qualité du code généré (correction et performance du code généré par les compilateurs ) Informatique Temps-Réel 1.64
65 ADA 95??? Standard international large diffusion portabilité et réutilisabilité aisées qualité des Ateliers Logiciel pérennité abstraction face à la cible et aux exécutifs temps réel simplicité de programmation, maîtrise des temps d'exécution modularité du développement et du programme qualité du code généré (correction et performance ) concepts offerts : typage fort, programmation objet... programmation multitâche, synchronisation par rendez-vous et sémaphore, gestion des exceptions Informatique Temps-Réel 1.65
66 C associé à un O.S. Temps Réel :???? Standard international large diffusion portabilité et réutilisabilité aisées qualité des Ateliers Logiciel pérennité abstraction face à la cible et aux exécutifs temps réel simplicité de programmation maîtrise des temps d'exécution (est-il possible de prédire ces temps) modularité du développement et du programme qualité du code généré (correction et performance ) Informatique Temps-Réel 1.66
67 Langages synchrones (Esterel, )? standard international large diffusion portabilité et réutilisabilité aisées qualité des Ateliers Logiciel pérennité abstraction face à la cible et aux exécutifs temps réel simplicité de programmation maîtrise des temps d'exécution (est-il possible de prédire ces temps) modularité du développement et du programme qualité du code généré Informatique Temps-Réel 1.67
68 Conclusion de l introduction Informatique temps-réel = développement logiciel d un système de contrôle Nécessite la décomposition de ce système en tâches «fonctionnelles» Nécessite l ordonnancement, la synchronisation, la communication entre ces tâches suivant les exigences temporelles de l environnement à contrôler Informatique Temps-Réel 1.68
69 Conclusion de l introduction (2) A chaque tâche, faire correspondre un processus ou un thread (processus léger) Nécessité de bien maîtriser la gestion et la communication entre processus (chapitre 2 et TP, sous Linux et en C). Avoir une méthodologie de développement adapté au T.R. (chapitre 3) Comprendre les mécanismes d ordonnancement T.R. (chapitre 4) Savoir programmer les threads (chapitre 5) Informatique Temps-Réel 1.69
Elé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étailInformatique industrielle A7-19571 Systèmes temps-réel J.F.Peyre. Partie I : Introduction
Informatique industrielle A7-19571 Systèmes temps-réel J.F.Peyre Partie I : Introduction Plan de la première partie Quelques définitions Caractéristiques communes des applications temps-réel Exemples d
Plus en détailORDONNANCEMENT CONJOINT DE TÂCHES ET DE MESSAGES DANS LES RÉSEAUX TEMPS RÉELS 4. QUELQUES EXEMPLES DU DYNAMISME ACTUEL DU TEMPS RÉEL
i LE TEMPS RÉEL 1. PRÉSENTATION DU TEMPS RÉEL 1.1. APPLICATIONS TEMPS RÉEL 1.2. CONTRAINTES DE TEMPS RÉEL 2. STRUCTURES D'ACCUEIL POUR LE TEMPS RÉEL 2.1. EXÉCUTIFS TEMPS RÉEL 2.2. RÉSEAUX LOCAUX TEMPS
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étailIntroduction à l informatique temps réel Pierre-Yves Duval (cppm)
Introduction à l informatique temps réel Pierre-Yves Duval (cppm) Ecole d informatique temps réel - La Londes les Maures 7-11 Octobre 2002 -Définition et problématique - Illustration par des exemples -Automatisme:
Plus en détailTemps Réel. Jérôme Pouiller <j.pouiller@sysmic.org> Septembre 2011
Temps Réel Jérôme Pouiller Septembre 2011 Sommaire Problèmatique Le monotâche Le multitâches L ordonnanement Le partage de ressources Problèmatiques des OS temps réels J. Pouiller
Plus en détailIntroduction au temps réel
Introduction au temps réel Laurent.Pautet@enst.fr Version 2.0 Définition d un système temps réel Un système temps réel se compose d'un ou plusieurs sous-systèmes devant répondre en un temps fini et spécifié
Plus en détailREALISATION d'un. ORDONNANCEUR à ECHEANCES
REALISATION d'un ORDONNANCEUR à ECHEANCES I- PRÉSENTATION... 3 II. DESCRIPTION DU NOYAU ORIGINEL... 4 II.1- ARCHITECTURE... 4 II.2 - SERVICES... 4 III. IMPLÉMENTATION DE L'ORDONNANCEUR À ÉCHÉANCES... 6
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étailDé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étailCours A7 : Temps Réel
Cours A7 : Temps Réel Pierre.Paradinas / @ / cnam.fr Cnam/Cedric Systèmes Enfouis et Embarqués (SEE) Organisation des cours 12 prochaines séances 6 janvier au 24 mars, Partiel le 27 janvier, Les 3 et 24
Plus en détailSugarCubes. Jean-Ferdinand Susini Maître de Conférences, CNAM Chaire systèmes enfouis et embarqués. Paris, le 9 janvier, 2009
SugarCubes Jean-Ferdinand Susini Maître de Conférences, CNAM Chaire systèmes enfouis et embarqués Paris, le 9 janvier, 2009 Plan 2 Les SugarCubes au dessus de J2ME Quelques résultats expérimentaux Les
Plus en détailIntroduction aux systèmes temps réel
Introduction aux systèmes temps réel Frank Singhoff Bureau C-203 Université de Brest, France LISyC/EA 3883 singhoff@univ-brest.fr UE applications de l informatique, Université de Brest Page 1/22 Plan du
Plus en détailOrdonnancement temps réel
Ordonnancement temps réel Laurent.Pautet@enst.fr Version 1.5 Problématique de l ordonnancement temps réel En fonctionnement normal, respecter les contraintes temporelles spécifiées par toutes les tâches
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étailOrdonnancement temps réel
Ordonnancement temps réel Ordonnancement centralisé par Francis COTTET Professeur d université (ENSMA, Poitiers Futuroscope) Ingénieur de l Institut national polytechnique de Grenoble Docteur ès sciences
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étailBrève introduction à la recherche d!information sur le Web à base d!agents logiciels
Plan Brève introduction à la recherche d!information sur le Web à base d!agents logiciels Bernard ESPINASSE Université d!aix-marseille 2010 Rappels sur les agents logiciels Problématique de la RI sur le
Plus en détail1 Mesure de la performance d un système temps réel : la gigue
TP TR ENSPS et MSTER 1 Travaux Pratiques Systèmes temps réel et embarqués ENSPS ISV et Master TP1 - Ordonnancement et communication inter-processus (IPC) Environnement de travail Un ordinateur dual-core
Plus en détailProgrammation temps-réel Cours 1 et 2 Introduction et ordonnancement
Master 2 pro Programmation temps-réel Cours 1 et 2 Introduction et ordonnancement Isabelle PUAUT / Rémi COZOT Université de Rennes I 1 Applications temps-réel embarquées Systèmes en interaction avec l
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étailImplémentation Matérielle des Services d un RTOS sur Circuit Reconfigurable
Implémentation Matérielle des Services d un RTOS sur Circuit Reconfigurable Pierre Olivier*, Jalil Boukhobza*, Jean-Philippe Babau +, Damien Picard +, Stéphane Rubini + *Lab-STICC, + LISyC, Université
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Éléments d'architecture des ordinateurs
Chapitre 1 Éléments d'architecture des ordinateurs Machines take me by surprise with great frequency. Alan Turing 1.1 Le Hardware Avant d'attaquer la programmation, il est bon d'avoir quelques connaissances
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étailService de réplication des données HP pour la gamme de disques Continuous Access P9000 XP
Service de réplication des données HP pour la gamme de disques Continuous Access P9000 XP Services HP Care Pack Données techniques Le service de réplication des données HP pour Continuous Access offre
Plus en détailConservation des documents numériques
Conservation des documents numériques Qu'est ce qu'un document numérique? Matthieu GIOUX matthieu.gioux@bnf.fr Contexte de la préservation des documents numériques Une croissance en expansion Développement
Plus en détailJulien MATHEVET Alexandre BOISSY GSID 4. Rapport RE09. Load Balancing et migration
Julien MATHEVET Alexandre BOISSY GSID 4 Rapport Load Balancing et migration Printemps 2001 SOMMAIRE INTRODUCTION... 3 SYNTHESE CONCERNANT LE LOAD BALANCING ET LA MIGRATION... 4 POURQUOI FAIRE DU LOAD BALANCING?...
Plus en détailEPREUVE OPTIONNELLE d INFORMATIQUE CORRIGE
EPREUVE OPTIONNELLE d INFORMATIQUE CORRIGE QCM Remarque : - A une question correspond au moins 1 réponse juste - Cocher la ou les bonnes réponses Barème : - Une bonne réponse = +1 - Pas de réponse = 0
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étailIntelligence Artificielle et Systèmes Multi-Agents. Badr Benmammar bbm@badr-benmammar.com
Intelligence Artificielle et Systèmes Multi-Agents Badr Benmammar bbm@badr-benmammar.com Plan La première partie : L intelligence artificielle (IA) Définition de l intelligence artificielle (IA) Domaines
Plus en détailNom-Projet MODELE PLAN DE MANAGEMENT DE PROJET
Nom-Projet MODELE PLAN DE MANAGEMENT DE PROJET Glossaire La terminologie propre au projet, ainsi que les abréviations et sigles utilisés sont définis dans le Glossaire. Approbation Décision formelle, donnée
Plus en détailCours de Java. Sciences-U Lyon. Java - Introduction Java - Fondamentaux Java Avancé. http://www.rzo.free.fr
Cours de Java Sciences-U Lyon Java - Introduction Java - Fondamentaux Java Avancé http://www.rzo.free.fr Pierre PARREND 1 Octobre 2004 Sommaire Java Introduction Java Fondamentaux Histoire de Java Machine
Plus en détailArchitecture de la grille
1 2 Diversité des applications et des utilisateurs (profile, nombre,...) supposent des solutions différentes architectures différentes avec des services communs Services de base authentification: établir
Plus en détailLe Collège de France crée une chaire pérenne d Informatique, Algorithmes, machines et langages, et nomme le Pr Gérard BERRY titulaire
Communiquédepresse Mars2013 LeCollègedeFrancecréeunechairepérenned Informatique, Algorithmes,machinesetlangages, etnommeleprgérardberrytitulaire Leçoninauguralele28mars2013 2009avait marquéunpas importantdans
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étailUn tempo de Reel sur un rythme de Java
Un tempo de Reel sur un rythme de Java Jean-Louis Dillenseger, Christine Toumoulin To cite this version: Jean-Louis Dillenseger, Christine Toumoulin. Un tempo de Reel sur un rythme de Java. Cetsis, Mar
Plus en détailArgument-fetching dataflow machine de G.R. Gao et J.B. Dennis (McGill, 1988) = machine dataflow sans flux de données
EARTH et Threaded-C: Éléments clés du manuel de références de Threaded-C Bref historique de EARTH et Threaded-C Ancêtres de l architecture EARTH: Slide 1 Machine à flux de données statique de J.B. Dennis
Plus en détailBase de l'informatique. Généralité et Architecture Le système d'exploitation Les logiciels Le réseau et l'extérieur (WEB)
Base de l'informatique Généralité et Architecture Le système d'exploitation Les logiciels Le réseau et l'extérieur (WEB) Généralité Comment fonctionne un ordinateur? Nous définirons 3 couches Le matériel
Plus en détailNIVEAU D'INTERVENTION DE LA PROGRAMMATION CONCURRENTE
NIVEAU D'INTERVENTION DE LA PROGRAMMATION CONCURRENTE Une application se construit par étapes 1) CAHIER DES CHARGES + ANALYSE FONCTIONNELLE = organisation fonctionnelle (QUE FAIRE) 2) ANALYSE OPERATIONNELLE
Plus en détailApplications Embarquées Critiques
Applications Embarquées Critiques Jean-Marc Pierson pierson@irit.fr Cours DL Jean-Marc Pierson Applications Embarquées Critiques (1/50) Applications Embarquées Critiques: Plan Caractéristiques générales,
Plus en détailProjet E-formation. Système MOODLE_ COLLABORATIF. Spécifications fonctionnelles
1/15 Projet E-formation Système MOODLE_ COLLABORATIF Spécifications fonctionnelles Date : 10/11/2006 Version :1.3 Auteurs :Lahcen Oubahssi, xxxx, xxxx Contributeurs : xxxxx, xxxx, xxxx, xxxxx 2/15 Spécifications
Plus en détailWEA Un Gérant d'objets Persistants pour des environnements distribués
Thèse de Doctorat de l'université P & M Curie WEA Un Gérant d'objets Persistants pour des environnements distribués Didier Donsez Université Pierre et Marie Curie Paris VI Laboratoire de Méthodologie et
Plus en détailCIRSEE POLE INFORMATIQUE TECHNIQUE. Support et service après vente.
CIRSEE POLE INFORMATIQUE TECHNIQUE Support et service après vente. Lyonnaise des Eaux - CIRSEE Pôle Informatique Technique Jean-Marc Ponté 59 Avenue Emile Thiébaut 78110 Le Vésinet Tél : 01 30 15 40 00
Plus en détailPROGRAMME DU CONCOURS DE RÉDACTEUR INFORMATICIEN
PROGRAMME DU CONCOURS DE RÉDACTEUR INFORMATICIEN 1. DÉVELOPPEMENT D'APPLICATION (CONCEPTEUR ANALYSTE) 1.1 ARCHITECTURE MATÉRIELLE DU SYSTÈME INFORMATIQUE 1.1.1 Architecture d'un ordinateur Processeur,
Plus en détailNécessité de concevoir un outil de recherche PDF... 3. Présentation des fonctionnalités d'indexation et de recherche... 3
1 Table des matières Nécessité de concevoir un outil de recherche PDF... 3 Présentation des fonctionnalités d'indexation et de recherche... 3 Architecture IFilter... 4 Performances et extensibilité : des
Plus en détailX-Rite RM200QC. Spectrocolorimètre d'imagerie portable
Spectrocolorimètre d'imagerie portable X-Rite RM200QC Le spectrocolorimètre d'imagerie RM200QC d X-Rite permet d'établir un lien entre l'apparence de la couleur et la couleur des matériaux des lots entrants
Plus en détailObjectifs : piloter l organisation à travers des indicateurs (regroupés dans un tableau de bord), et informer des résultats la hiérarchie.
C HAPI TRE 8 Tableau de bord et reporting Objectifs : piloter l organisation à travers des indicateurs (regroupés dans un tableau de bord), et informer des résultats la hiérarchie. 1 Principes A Le tableau
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étailHubert & Bruno Lundi 12 octobre 2009 SAINT-QUENTIN (02)
Hubert & Bruno Lundi 12 octobre 2009 SAINT-QUENTIN (02) Ne rien livrer au hasard, c est économiser du travail Pont Sainte Maxence(O C est quoi USB? Comment ça marche? Les standards? La technique en détail
Plus en détailTAI049 Utiliser la virtualisation en assistance et en dépannage informatique TABLE DES MATIERES
TAI049 Utiliser la virtualisation en assistance et en dépannage informatique TABLE DES MATIERES 1 DECOUVERTE DE LA VIRTUALISATION... 2 1.1 1.2 CONCEPTS, PRINCIPES...2 UTILISATION...2 1.2.1 Formation...2
Plus en détailCAHIER DE S CHARGE S Remote Workload Manager
CAHIER DE S CHARGE S Remote Workload Manager équipe Regis Rouyard (rouyar_r) Jonathan Bouchot (boucho_o) Johan Massin (massin_j) Jacky Rouquette (rouque_j) Yannick Boillon (boillo_o) EPITECH INOVATION
Plus en détailProgramme de la 1ère année
Programme de la 1ère année de master informatique Recopié du Syllabus M1 Informatique. 2004-2005 (UPS Toulouse) TC1 - Conception et Programmation Parallèle et Orientée Objet (96h) Objectif : Ce cours a
Plus en détailIntroduction : présentation de la Business Intelligence
Les exemples cités tout au long de cet ouvrage sont téléchargeables à l'adresse suivante : http://www.editions-eni.fr Saisissez la référence ENI de l'ouvrage RI3WXIBUSO dans la zone de recherche et validez.
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é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étailService d'installation et de démarrage de la solution de stockage réseau HP StoreEasy 1000/3000
Service d'installation et de démarrage de la solution de stockage réseau Services HP Données techniques Le service d'installation et de démarrage de la solution de stockage réseau offre l'installation
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étailRuntime. Gestion de la réactivité des communications réseau. François Trahay Runtime, LaBRI sous la direction d'alexandre Denis Université Bordeaux I
Runtime Gestion de la réactivité des communications réseau François Trahay Runtime, LaBRI sous la direction d'alexandre Denis Université Bordeaux I 1 Le calcul hautes performances La tendance actuelle
Plus en détailAnalyse de performance, monitoring
Analyse de performance, monitoring Plan Principes de profilage Projet TPTP dans Eclipse Utilisation des profiling tools de TPTP Philippe Collet Master 1 Informatique 2009-2010 http://deptinfo.unice.fr/twiki/bin/view/minfo/gl
Plus en détailAnnexe : La Programmation Informatique
GLOSSAIRE Table des matières La Programmation...2 Les langages de programmation...2 Java...2 La programmation orientée objet...2 Classe et Objet...3 API et Bibliothèque Logicielle...3 Environnement de
Plus en détailCLAIRE, UN OUTIL DE SIMULATION ET DE TEST DE LOGICIELS CRITIQUES. Jean GASSINO, Jean-Yves HENRY. Rapport IPSN/Département d'évaluation de sûreté N 280
FR9704668 PC CLAIRE, UN OUTIL DE SIMULATION ET DE TEST DE LOGICIELS CRITIQUES Jean GASSINO, Jean-Yves HENRY eci Rapport IPSN/Département d'évaluation de sûreté N 280 Octobre 1996 INSTITUT DE PROTECTION
Plus en détailLivre blanc Mesure des performances sous Windows Embedded Standard 7
Livre blanc Mesure des performances sous Windows Embedded Standard 7 Table des matières Résumé... 1 Introduction... 1 Utilisation de la boîte à outils Windows Performance Analysis... 2 Fonctionnement...
Plus en détailMODULE I1. Plan. Introduction. Introduction. Historique. Historique avant 1969. R&T 1ère année. Sylvain MERCHEZ
MODULE I1 Plan Chapitre 1 Qu'est ce qu'un S.E? Introduction Historique Présentation d'un S.E Les principaux S.E R&T 1ère année Votre environnement Sylvain MERCHEZ Introduction Introduction Rôles et fonctions
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étailPROGRAMMATION EVENEMENTIELLE sur EXCEL
MASTERs SMaRT & GSI PROGRAMMATION EVENEMENTIELLE sur EXCEL Pierre BONNET Programmation évènementielle La programmation évènementielle permet un appel de procédure depuis l'interface HMI d'excel (ou d'un
Plus en détailORACLE DIAGNOSTIC PACK 11G
ORACLE DIAGNOSTIC PACK 11G PRINCIPALES CARACTÉRISTIQUES : Surveillance automatique des diagnostics (ADDM Automatic Database Diagnostic Monitor) Référentiel automatique de la charge (AWR Automatic Workload
Plus en détailAJAX. (Administrateur) (Dernière édition) Programme de formation. France, Belgique, Suisse, Roumanie - Canada
AJAX (Administrateur) (Dernière édition) Programme de formation Microsoft Partner France, Belgique, Suisse, Roumanie - Canada WWW.SASGROUPE.COM Formez vos salariés pour optimiser la productivité de votre
Plus en détailProgrammation de services sensibles au contexte en téléphonie sur IP
Programmation de services sensibles au contexte en téléphonie sur IP Présentation de mémoire Grégory Estienne Sous la supervision du Dr. Luigi Logrippo Introduction La téléphonie sur IP comme support à
Plus en détailSuite IBM Tivoli IT Service Management : comment gérer le système d information comme une véritable entreprise
Suite IBM Tivoli IT Service Management : comment gérer le système d information comme une véritable entreprise Europe Lettre d'annonce du 27 juin 2006 ZP06-0279 En bref Introduction Description Accessibilité
Plus en détailRappel. Analyse de Données Structurées - Cours 12. Un langage avec des déclaration locales. Exemple d'un programme
Rappel Ralf Treinen Université Paris Diderot UFR Informatique Laboratoire Preuves, Programmes et Systèmes treinen@pps.univ-paris-diderot.fr 6 mai 2015 Jusqu'à maintenant : un petit langage de programmation
Plus en détailDocument d accompagnement pour le référentiel national du C2i niveau 2 Métiers de l environnement et de l aménagement durables
Document d accompagnement pour le référentiel national du C2i niveau 2 Métiers de l environnement et de l aménagement durables A - Compétences générales et transversales liées à l exercice des métiers
Plus en détailConduite et Gestion de Projet - Cahier des charges
Conduite et Gestion de Projet - Cahier des charges 1 Introduction Sophie Toulouse LIPN - Université Paris 13 +33.1.49.40.40.73 99 av. Jean-Baptiste Clément toulouse@lipn.univ-paris13.fr 93430 Villetaneuse
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étailConditions : stage indemnisé, aide au logement possible, transport CEA en Ile-de-France gratuit.
Proposition de stage de BAC+4 ou BAC+5 Pro ou Recherche Etude comparative des outils de vérification d'algorithmes parallèles Logiciels (LSL), localisé à Palaiseau (Essonne), développe les outils d'aide
Plus en détailITIL V2. La gestion des changements
ITIL V2 La gestion des changements Création : novembre 2004 Mise à jour : août 2009 A propos A propos du document Ce document de référence sur le référentiel ITIL a été réalisé en 2004 et la traduction
Plus en détailRTDS 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étailCH.3 SYSTÈMES D'EXPLOITATION
CH.3 SYSTÈMES D'EXPLOITATION 3.1 Un historique 3.2 Une vue générale 3.3 Les principaux aspects Info S4 ch3 1 3.1 Un historique Quatre générations. Préhistoire 1944 1950 ENIAC (1944) militaire : 20000 tubes,
Plus en détailVérifier la qualité de vos applications logicielle de manière continue
IBM Software Group Vérifier la qualité de vos applications logicielle de manière continue Arnaud Bouzy Kamel Moulaoui 2004 IBM Corporation Agenda Analyse de code Test Fonctionnel Test de Performance Questions
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étailEL48 Machines electriques. Energie et environnement C 28 TD 28 TP 18 THE 46. Niveau GXO 1-GX02 Connaissances scientifiques EL47 Oui Oui
EL48 Machines electriques STANDARD HORAIRE C 28 TD 28 TP 18 THE 4 Langue d' enseignement Connaitre les principes theoriques et pratiques des differentes machines electriques toumantes. Gonversion electromecanique
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étailExclusion Mutuelle. Arnaud Labourel Courriel : arnaud.labourel@lif.univ-mrs.fr. Université de Provence. 9 février 2011
Arnaud Labourel Courriel : arnaud.labourel@lif.univ-mrs.fr Université de Provence 9 février 2011 Arnaud Labourel (Université de Provence) Exclusion Mutuelle 9 février 2011 1 / 53 Contexte Epistémologique
Plus en détailLe modèle conceptuel des traitements
Le modèle conceptuel des traitements 1 Le Modèle Conceptuel des Traitements Il décrit le fonctionnement du SI d une organisation au niveau conceptuel : on fait abstraction des contraintes d organisation
Plus en détailBoîtier pour disque dur externe 3,5" (8,89cm) USB 2.0
Boîtier pour disque dur externe 3,5" (8,89cm) USB 2.0 Guide d'utilisation DA-71051 Avant-propos Nous tenons à vous féliciter d'avoir choisi l'un de nos produits! Nous allons vous montrer un nouveau concept
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étailMéthodes de développement
1 / 9 Méthodes de développement Méthodes agiles 1 - Introduction... 2 2 -Le manifeste agile et les méthodes agiles... 2 2.1 Le manifeste agile... 2 2.2 Les méthodes agiles... 3 3 - Caractéristiques communes
Plus en détailAnne Tasso. Java. Le livre de. premier langage. 10 e édition. Avec 109 exercices corrigés. Groupe Eyrolles, 2000-2015, ISBN : 978-2-212-14154-2
Anne Tasso Java Le livre de premier langage 10 e édition Avec 109 exercices corrigés Groupe Eyrolles, 2000-2015, ISBN : 978-2-212-14154-2 Table des matières Avant-propos Organisation de l ouvrage..............................
Plus en détailCircuit du médicament informatisé
Circuit du médicament informatisé Points de vigilance axe technique SOMMAIRE... 1 FICHE N 1- DISPONIBILITE ET PERFORMANCE... 2 FICHE N 2- ENVIRONNEMENT DE TEST... 4 FICHE N 3- VERSIONNING... 5 FICHE N
Plus en détailConditions générales d utilisation
Conditions générales d utilisation de l Espace Client TOUTM du site malakoffmederic.com Les présentes conditions générales précisent les modalités d accès aux informations en ligne proposées sur l Espace
Plus en détailNOUVELLES FONCTIONNALITÉS DE MYQ 4.4
NOUVELLES FONCTIONNALITÉS DE MYQ 4.4 1. Serveur Version disponible MyQ Eleven 4.4 (novembre 2013) MyQ Eleven 4.4 (novembre 2013) NEW Gestion centralisée & synchronisation intégrée entre les sites NEW Licences
Plus en détailCours de Programmation en Langage Synchrone SIGNAL. Bernard HOUSSAIS IRISA. Équipe ESPRESSO
Cours de Programmation en Langage Synchrone SIGNAL Bernard HOUSSAIS IRISA. Équipe ESPRESSO 24 septembre 2004 TABLE DES MATIÈRES 3 Table des matières 1 Introduction 5 1.1 La Programmation Temps Réel.........................
Plus en détailÉCONOMIE ET GESTION LYCÉES TECHNOLOGIQUE ET PROFESSIONNEL
ÉCONOMIE ET GESTION LYCÉES TECHNOLOGIQUE ET PROFESSIONNEL Au niveau du second degré, l'économie et gestion recouvre un ensemble de champs disciplinaires relevant de l'économie, du droit, des sciences de
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étailCATALOGUE FORMATION 2014/2015 Produits & Logiciels
CATALOGUE FORMATION 2014/2015 Produits & Logiciels [1] I. Formation produits & Logiciels. Une offre complète de qualité : Nous vous proposons de vous familiariser avec les instruments que nous commercialisons
Plus en détailEfficace et ciblée : La surveillance des signaux de télévision numérique (2)
Efficace et ciblée : La surveillance des signaux de télévision numérique (2) La première partie de cet article publié dans le numéro 192 décrit la méthode utilisée pour déterminer les points de surveillance
Plus en détailExigences système Edition & Imprimeries de labeur
Exigences système Edition & Imprimeries de labeur OneVision Software France Sommaire Asura 9.5, Asura Pro 9.5, Garda 5.0...2 PlugBALANCEin 6.5, PlugCROPin 6.5, PlugFITin 6.5, PlugRECOMPOSEin 6.5, PlugSPOTin
Plus en détailPlan de la conférence. Virtualization. Définition. Historique. Technique. Abstraction matérielle
Plan de la conférence Virtualization Microclub 7 mars 2008 Yves Masur - quelques définitions - technique utilisée - exemples d'émulations - la virtualisation x86 - VMWare - mise en oeuvre - conclusion
Plus en détailGuide d'installation. Release Management pour Visual Studio 2013
1 Guide d'installation Release Management pour Visual Studio 2013 Le contenu de ce document est fourni «en l'état». Les informations et les points de vue contenus dans ce document, y compris les URL et
Plus en détail