Algorithmique du Network Calculus Participants : Laurent Jouhet et Eric Thierry Le Network CalculusLes objetsLes opérations Etat de lartObjectifs Premiers.

Slides:



Advertisements
Présentations similaires
Les concepts de bases de la simulation
Advertisements

QUALIFICATION COMPORTEMENTALE DES BASES DE DONNEES CLIENTS
NEGOCIER LA NEGOCIATION
Résolution de problèmes et logiciel de calcul symbolique
Treuil IRD Abdelwahed FSSM-Marrakech
10/31/02 Leïla Merghem - LIP6 Une approche Multi-Agents pour la Simulation de Réseaux de Télécommunications Leïla Merghem (LIP 6) Dominique Gaïti (LIP.
Série statistique à deux variables
Calcul géométrique avec des données incertaines
Introduction à l’Algorithmique
Présentation des programmes de terminale STG Juin 2006.
1 Projet « URC » Urbanisme des RadioCommunications COPIL Technique SP3 08 juin 2007.
I. Bases de logique , théorie des ensembles
Outils chimiques pour létude des biomolécules 2 ème partie : Outils chimiques théorique : Modélisation Moléculaire 2) La modélisation moléculaire : optimisation.
Synthèse Stage Algorithmique Académie de la Réunion.
Connaissances Logiciel de géométrie dynamique Epreuve Expérimentale Série S 2007/08.
LES FONCTIONS DANS LE NOUVEAU PROGRAMME DE SECONDE
Géométrie cristallographique
"Recherche de scénarios redoutés à partir d'un modèle réseau de Petri"
Modélisation des systèmes non linéaires par des SIFs
Application à la méthode des
Programmes du cycle terminal
Organisation et gestion de données, fonctions
MRP, MRP II, ERP : Finalités et particularités de chacun.
Julien MATHEVET PRESENTE : Projet MACSI DEA RACOR - P2002 Copyright ©
Introduction à la conception de Bases de Données Relationnelles
La fiscalisation de léconomie numérique. 2 CIAT 22 avril 2013 Des caractéristiques nouvelles et une logique différente Léconomie numérique accélère le.
ALGORITHMIQUE en classe de seconde
1 Le programme de 3 e Rentrée 2008 (daprès un diaporama dAndré Pressiat)
Méthode des k plus proches voisins
Sylvie Alayrangues Jacques-Olivier Lachaud
SCIENCES DE L ’INGENIEUR
Programme de Seconde 21/10/2009 Rentrée 2009 – 2010.
Geovan Tavares, Thomas Lewiner, Hélio Lopes Laboratório Mat&Mídia, Departamento de Matemática, PUC-Rio Théorie de Morse discrète.
C6E2 Positionnement de C6E2 par rapport à SimPA2 et Modelica
Chapitre 5 : Etude de la Stabilité des systèmes dynamiques
1 Algotel /05/04 Modélisation analytique des algorithmes dordonnancement GPS & WFQ BOCKSTAL Charles, GARCIA J.M. et BRUN Olivier.
SurePaths Réunion finale Novembre Problématique Mesure de la disponibilité et de la fiabilité des systèmes redondants Comment évaluer les probabilités.
Etienne Craye – Jean-Marc Faure INCOS GDR MACS INCOS INgénierie de la COmmande et de la Supervision des SED -DES Control and Monitoring Engineering Fusion.
Résolution de problèmes Analyse : « Le programme sinscrit, comme celui de la classe de seconde, dans le cadre de la résolution de problèmes. Les situations.
L ABORATOIRE d I NGÉNIERIE des S YSTÈMES A UTOMATISÉS EA 4014 – Université dAngers Institut des Sciences et Techniques de lIngénieur dAngers Master2 Recherche.
Raisonnement flou Variables linguistiques et propositions floues
L’adaptativité pour un solveur de l’équation de Vlasov
Modélisation géométrique de base
Conditions aux Frontières Ouvertes
Soutenance de stage 16 Mai au 5 Août 2011
La géométrie tropicale
ALGORITHME DE TRI Le tri par insertion.
Amélioration de la simulation stochastique
INFORMATIQUE et SYSTEMES de PRODUCTION
1 Alain Casali Christian Ernst Extraction de Règles de Corrélation Décisionnelles 29 Janvier 2009.
Le contenu est basé aux transparents du 7 ème édition de «Software Engineering» de Ian Sommerville«Software Engineering» de Ian Sommerville B.Shishedjiev.
Informatique Quantique
Guy Gauthier, ing., Ph.D. 6 janvier 2015
Initiation à la conception des systèmes d'informations
François CARCENAC,Frédéric BONIOL ONERA-DTIM Zoubir MAMMERI IRIT
Deuxième séance de regroupement PHR004
LIRMM, MONTPELLIER, FRANCE FTFC 2003 Définition d’une métrique d’insertion de buffers X. Michel, A. Verle N. Azémard, P. Maurine, D. Auvergne Paris, France.
Introduction et Généralités sur l’Algorithmique
Du discours aux modèles… Une tentative d’articulation
Soutenance de Stage DEA / DESS
Décision incertaine et logistique : Grille typologique
Sujet 5 : Intégration d’une loi d’ordonnancement dans un modèle
TICE et enseignement des maths au collège
Cours 5 - Trois algorithmes de tri d'un tableau
Jacques Paradis Professeur
L’ALGORITHMIQUE DANS LE PROGRAMME DE SECONDE Nouvelle Calédonie 2010.
Proposition de possibilité d’évolution de nos spécialités Deux projets (liés) : Projet 1 : Informatique Computationnelle – Etudiants 4 e et 5 e IR Projet.
Modélisation des Actions Mécaniques Première sti2d
Les stratégies de calcul 5 e et 6 e année. Addition.
LE PROJET EN TERMINALE.
Transcription de la présentation:

Algorithmique du Network Calculus Participants : Laurent Jouhet et Eric Thierry Le Network CalculusLes objetsLes opérations Etat de lartObjectifs Premiers pasPistesQuestions connexes Géométrie algorithmique Algorithmique du Network Calculus Algèbre (min,+) Systèmes à événements discrets Caractéristiques du système modélisées par des courbes. Analyse du système en combinant les courbes avec les opérations suivantes : Théorie développée depuis les années 90 (Chang, Cruz, Le Boudec, Thiran), comprenant des travaux de formalisation, de modélisation et de mathématiques mais pratiquement pas dalgorithmique. Analogies avec la théorie classique (+,x) des systèmes peu exploitables. Quelques logiciels existent (Disco), mais font des calculs partiels ou ont des restrictions à des cas très particuliers. Librairies (max,+) de Scilab pour le cas discret avec des fonctions à valeurs et arguments entiers (par manipulation de séries formelles). Identifier des classes de fonctions permettant des calculs effectifs. Développer des algorithmes pour les opérations du Network Calculus et les analyser. Implanter les algorithmes, en vue dune intégration à Scilab. A plus long terme, développer un outil danalyse de performances reposant sur le Network Calculus (prenant en compte la topologie du réseau et ses caractéristiques locales, les contraintes imposées au trafic, les politiques de service). Courbes darrivées (pour le trafic) : Courbes de service min. (du système) : Exhiber des bases de fonctions permettant de décomposer les courbes et accélérer les calculs. Mettre au point des transformations simplifiant les calculs (comme la transformée de Legendre-Fenchel pratiquée pour les fonctions convexes). Calculs exacts vs. calculs approchés. Liens avec la géométrie algorithmique (problèmes darrangement de courbes). Questions de complexité, voire de décidabilité. Questions de stabilité numérique. Etendre le formalisme : étendre les règles de combinaisons ou introduire de nouvelles opérations pour intégrer de nouvelles politiques de services. Optimisation : comment optimiser le dimensionnement et/ou le contrôle du réseau pour garantir une bonne qualité de service ? Analyse de trafic réel : comment calculer efficacement la courbe darrivée dun trafic réel à partir dun échantillon ou à la volée ? Addition: (f + g)(t)= f(t)+g(t) Minimum: min(f,g)(t)= min(f(t),g(t)) Convolution: (f g)(t)= inf (f(s)+g(t-s)) Déconvolution: (f g)(t)=sup (f(t+s)-g(s)) Clôture: f *(t)=inf f (n) (t), f (n) =f ··· f s 0 0 s t Exemple : n 0 n fois bits reçus entre 0 et t A(t) temps t α(t) A est α- contraint si s t, A(t)-A(s) α(t-s) bits servis entre 0 et t temps t S(t) β(t) S est un β- serveur si t, B(t) inf A(s)+β(t-s) Lecture des performances : temps t bits α β charge max délai max flux α- contraint dans un β- serveur. flux α 1 -contraint flux α 2 -contraint β 1 -serveur β 2 -serveur α 2 = (α 1 (β 1 β 2 ))* Formulaire de calcul de garanties déterministes sur les performances des réseaux de communications. Principe: avec les spécifications limites dun système (p.ex. garanties locales sur le service fourni ou sur le trafic), calculer des bornes sur les performances (p.ex. délais ou charge) en se ramenant à des systèmes (min,+) linéaires. Calcul de bornes de pire cas sûreté de systèmes critiques (avions, voitures, satellites), optimisation de QoS dans des réseaux à trafic très contrôlé. Une classe stable pour toutes les opérations du Network Calculus : les fonctions affines par morceaux, ultimement pseudo-périodiques, c.à.d. T,c,d>0, t>T, f(t+d)=f(t)+c. Premiers algorithmes pour cette classe en cours danalyse et en cours dimplantation. 0 s t