31 |
A garantia da razoável duração da persecução penal / Le droit dêtre jusé dans um délai raisonnableLacava, Thaís Aroca Datcho 11 May 2009 (has links)
O artigo 5º, inciso LXXVIII, da Constituição da República Federativa do Brasil garante a todos, no âmbito judicial e administrativo, a razoável duração do processo. Trata-se de garantia de conteúdo vago e plurívoco, cuja eficácia depende de disciplina infraconstitucional que especifique o seu conteúdo e alcance. Pelo princípio da reserva legal, e em decorrência do princípio da separação dos poderes, cabe ao Poder Legislativo a delimitação temporal do poder de punir do Estado, restringindo o tempo de duração da coação proveniente da tramitação do processo. Apenas na ausência de prazos legais máximos de duração do processo é que se admite a atividade interpretativa integrativa por parte do Poder Judiciário, de molde a garantir a aplicabilidade imediata da norma, que versa sobre direito fundamental. Em auxílio a esta difícil tarefa hermenêutica, de estabelecer um marco a partir do qual não se justifica mais a continuidade do processo, porque ultrapassado o prazo razoável de sua duração, alguns critérios consagrados internacionalmente podem ser utilizados, como é o caso da complexidade da causa, comportamento das partes e conduta das autoridades responsáveis pela condução do processo. O princípio da razoabilidade também fornece importantes subsídios para esta análise, por meio dos critérios da adequação, necessidade e proporcionalidade, ressaltando-se que deve ser empregado sempre no sentido de conferir maior proteção ao indivíduo em face do pode estatal. / Larticle 5 inscrit dans la LXXVIII Constitution de la République Fédérative du Brésil garantit à tous, dans le domaine judiciaire et administratif, « le droit dêtre jugé dans un délai raisonnable. Il sagit dune garantie dont le contenu est vague et équivoque à plusieurs titres et dont lefficacité dépend dune discipline infraconstitutionnelle qui spécifie son contenu et son étendue. Selon le principe de réserve légale, et en conséquence du principe de séparation des pouvoirs, il appartient au Pouvoir Législatif la délimitation temporelle du pouvoir de punir de lEtat, en limitant la durée de la contrainte émanant du cheminement du procès. Cest seulement en labsence de délais légaux maximum de durée du procès que lon admet lactivité interprétative intégrative de la part du Pouvoir Judiciaire, de façon à garantir lapplicabilité immédiate de la règle concernant les droits fondamentaux. Pour aider à cette difficile tâche herméneutique, détablir une limite à partir de laquelle ne se justifie plus la poursuite du procès, parce que le délai raisonnable de sa durée a été dépassé, certains critères reconnus internationalement peuvent être utilisés, comme cest le cas pour la complexité de la cause, le comportement des parties et la conduite des autorités responsables de la direction du procès. Le principe de la proportionnalité fournit également de nombreux recours pour cette analyse, par lintermédiaire des critères de ladéquation, de la nécessité et de la proportionnalité, soulignant que lon doit toujours lutiliser dans le sens doctroyer une plus grande protection à lindividu face au pouvoir de létat.
|
32 |
Modeling and evaluation of the end-to-end delay in wireless sensor networks / Modélisation et évaluation des délais de bout-en-bout dans les réseaux de capteurs sans-filDespaux, François 15 September 2015 (has links)
Dans cette thèse, nous proposons une nouvelle approche pour modéliser et estimer les délais de bout-en-bout dans les réseaux de capteurs sans-fil (WSN). Notre approche combine les approches analytiques et expérimentales pour inférer un modèle Markovien modélisant le comportement d'un protocole de contrôle d'accès au médium (MAC) exécuté sur les nœuds d'un réseau de capteurs. À partir de ce modèle Markovien, le délai de bout en bout est ensuite obtenu par une approche analytique basée sur une analyse dans le domaine fréquentiel pour calculer la probabilité de distribution de délais pour un taux d'arrivée spécifique. Afin d’obtenir une estimation du délai de bout en bout, indépendamment du trafic en entrée, la technique de régression non-linéaire est utilisée sur un ensemble d’échantillons limités. Cette approche nous a permis de contourner deux problèmes: 1) la difficulté d'obtenir un modèle Markovien du comportement d’un protocole MAC en tenant compte de son implémentation réelle, 2) l'estimation du délai de bout-en-bout d’un WSN multi-sauts. L'approche a été validée sur un testbed réel (IOT-LAB) et pour plusieurs protocoles (X-MAC, ContikiMAC, IEEE 802.15.4) ainsi que pour un protocole de routage (RPL). / In this thesis, we propose an approach that combines both measurements and analytical approaches for infering a Markov chain model from the MAC protocol execution traces in order to be able to estimate the end to end delay in multi-hop transmission scenarios. This approach allows capturing the main features of WSN. Hence, a suitable Markov chain for modelling the WSN is infered. By means of an approach based on frequency domain analysis, end to end delay distribution for multi-hop scenarios is found. This is an important contribution of our approach with regard to existing analytical approaches where the extension of these models for considering multi-hop scenarios is not possible due to the fact that the arrival distribution to intermediate nodes is not known. Since local delay distribution for each node is obtained by analysing the MAC protocol execution traces for a given traffic scenario, the obtained model (and therefore, the whole end to end delay distribution) is traffic-dependant. In order to overcome this problem, we have proposed an approach based on non-linear regression techniques for generalising our approach in terms of the traffic rate. Results were validated for different MAC protocols (X-MAC, ContikiMAC, IEEE 802.15.4) as well as a well-known routing protocol (RPL) over real test-beds (IOT-LAB).
|
33 |
La constitutionnalisation de la justice administrative : Etude comparée des expériences française et italienne / The constitutionnalization of administrative justiceMaillafet, Céline 12 December 2015 (has links)
Longtemps négligé par la doctrine qui s’intéressait davantage aux sources conventionnelles, le processus de constitutionnalisation de la justice administrative est aujourd’hui à l’œuvre en France et en Italie. Il revêt différentes formes et fait intervenir différents acteurs. Ainsi, par exemple, en Italie, le législateur délégué, auteur de la codification du procès administratif en 2010, était contraint de mettre en conformité les règles relatives à la justice administrative aux données constitutionnelles (et conventionnelles) telles qu’interprétées par la Cour constitutionnelle. En France, le processus de constitutionnalisation, entamé dans les années quatre-vingt, s’intensifie au gré de la transmission des questions prioritaires de constitutionnalité et par une intervention du Conseil d’État dans l’adoption des projets de loi ou dans l’élaboration du droit souple régissant les rapports et activités des membres de la juridiction. Pour autant, le résultat de la constitutionnalisation est variable. Certains aspects comme l’indépendance, l’impartialité et la compétence de la juridiction administrative sont soumis à une réelle emprise constitutionnelle. En revanche, le procès administratif reçoit une influence constitutionnelle plus faible. Il n’en demeure pas moins que la justice administrative a été, est et sera encore réformée par un poids renforcé des sources constitutionnelles. / For long time, the doctrine took an active interest only in european conventionnal sources, but now constitutionalization of administrative justice is at work and of a great impact in France and Italy. A variety of aspects and many institutionnal players are intervening. For example, the Italian government in its legislative function, when was making new contentious administrative process rules, established in 2010, must take into account constitutionnal (and conventionnal) rules as interpreted by the Constitutionnal court. In France, constitutionalization, witch began in 1980’s, has intensified in accordance with the exam of constitutionality issues and even more so with the interventions of the Council of state in his advisory role in the preparation of laws and ordinances or in the internal rules about administrative justice’s member status and activities. However, constitutionalization results are variable. Independence, impartiality and administrative tribunal’s jurisdiction are under constitutionnal influence. On the other hand, the constitutionnal impact on the contentious administrative process is weak. The fact remains that administrative courts were, are and will be reformed with the impact of constitutionnal sources.
|
34 |
Etude statistique de l’énergie dans les circuits intégrés CMOS-FDSOI : caractérisation et optimisation / Statistical study of the energy in CMOS-FDSOI integrated circuits : characterization and optimizationKheirallah, Rida 19 October 2016 (has links)
Pour les nœuds technologiques avancés, la consommation statique des circuits intégrés est devenue un facteur essentiel de l'industrie microélectronique. L'efficacité énergétique des circuits est mesurée en fonction de leur performance et en fonction de leur consommation statique. Face à l'augmentation de la variabilité des paramètres physiques et environnementaux, la technologie silicium sur isolant complètement désertée (FD-SOI : Fully-Depleted Silicon-On-Insulator) permet de prolonger la loi de Moore dans le domaine nanométrique. Dans ce mémoire une étude statistique de l'énergie des circuits intégrés CMOS-FDSOI est réalisée. Des bibliothèques statistiques qui caractérisent le délai et la puissance statique des transistors CMOS-FDSOI sont mises en place. Compte tenu des avantages liés à la technologie FDSOI, des approches statistiques basées sur les bibliothèques sont appliquées pour estimer le délai et la puissance statique. En conservant l'exactitude de l'estimation, ces approches apportent un gain important en temps CPU. Suite à l'estimation du délai et de la puissance statique, les variations énergétiques des transistors CMOS-FDSOI sont étudiées en fonction de la tension d'alimentation et en fonction de la tension de polarisation. Ainsi, grâce à la détermination d'un compromis Délai-Puissance Statique efficace et l'élaboration d'un flow d'optimisation statistique, l'énergie statique d'un circuit a pu être optimisée. / For advanced technology nodes, static consumption of integrated circuits has become a key factor for the microelectronics industry. Circuit energy efficiency is measured in terms of performance and static consumption. With the increase of physical and environmental parameters, the Fully-Depleted Silicon-on-Insulator technology allows to extend Moore's law in the nanometer domain. In this work, a statistical study of CMOS-FDSOI integrated circuit energy is carried out. Statistical libraries characterizing delay and static power of CMOS-FDSOI transistors are presented. Given the advantages of the FDSOI technology, statistical approaches based on the libraries are applied in order to estimate delay and static power. While maintaining the accuracy of the estimations, these approaches provide a significant gain in CPU time. Following delay and static power estimation, CMOS-FDSOI transistors energy variations are considered according to supply voltage and voltage body biasing. Thus, by determining an efficient Delay-Static Power compromise and the development of a statistical optimization flow, static energy of a circuit has been optimized.
|
35 |
Choix du prix et du délai de livraison dans une chaîne logistique avec une demande endogène sensible au délai de livraison et au prix / Pricing decision and lead time quotation in supply chains with an endogenous demand sensitive to lead time and priceAlbana, Abduh-Sayid 26 January 2018 (has links)
Parallèlement au prix, le délai de livraison est un facteur clé de compétitivité pour les entreprises. De plus les entreprises sont plus que jamais obligées de respecter ce délai promis. La combinaison du choix du prix et du délai promis implique de nouveaux compromis et offre de nombreuses perspectives. Un délai plus court peut entraîner une augmentation de la demande, mais augmente également le risque de livraison tardive et donc décourager les clients. A contrario un délai plus long ou un prix plus élevé entraîne généralement une baisse de la demande. Or malgré le rôle stratégique conjoint du prix et des délais et leurs impacts sur la demande, dans la littérature en gestion des opérations on suppose très généralement une demande exogène (fixée a priori) même si la conception de la chaîne impacte fortement les délais (localisation des sites, positionnement des stocks,..) et donc la demande. Nous nous sommes donc intéressés à ces choix de fixation des délais promis et du prix dans un contexte de demande endogène.La littérature traitant du choix du délai et du prix sous demande endogène a principalement considéré un contexte de fabrication à la commande (Make to Order). Un papier fondateur de Palaka et al en 1998 a présenté cette problématique avec une modélisation de l’entreprise par une file d’attente M/M/1 et nos travaux se placent dans la suite de ce travail. Notre revue de la littérature a permis d'identifier de nouvelles perspectives et nous proposons trois extensions dans cette thèse.Dans notre première contribution, en utilisant le cadre de Palaka et al, nous considérons que le coût de production est une fonction décroissante du délai. Dans tous les articles publiés dans ce contexte, le coût de production unitaire a été supposé constant. Pourtant en pratique, le coût de production unitaire dépend du délai promis, l'entreprise pouvant mieux gérer le processus de production et réduire les coûts de production en proposant des délais plus longs aux clients.Dans la deuxième contribution, nous considérons toujours le cadre de Palaka et al, mais modélisons l'entreprise comme une file d'attente M/M/1/K, pour laquelle la demande est donc rejetée s'il y a déjà K clients dans le système. Dans la littérature issue du travail de Palaka seule la file d'attente M/M/1 a été utilisée, ce qui signifie que tous les clients sont acceptés, ce qui peut entraîner de longues durées de séjour dans le système. Notre idée est basée sur le fait que rejeter certains clients, même si cela peut apparaitre dans un premier temps comme une perte de demande, pourrait aider à proposer un délai plus court pour les clients acceptés, et finalement conduire à une demande et donc un profit plus élevé.Dans la troisième contribution nous étudions un nouveau cadre pour le problème du délai et du prix en fonction de la demande endogène, en modélisant une chaîne logistique composée de deux étapes de production, modélisée par un réseau de files d’attente tandem (M/M/1-M/M/1). Dans la littérature avec ce cadre multi-entreprise, tous les articles ont considéré qu'un seul acteur avait des opérations de production, l'autre acteur ayant un délai nul. Nous avons étudié les scénarios centralisés et décentralisés.Pour chacun des nouveaux problèmes nous avons proposé des formulations maximisant le profit composé du revenu diminué des coûts de production, de stockage et pénalité de retard, et fourni des résolutions optimales, analytiques ou numériques. Ces résolutions nous ont amenés à démontrer de nouveaux résultats (retard moyen dans une M/M/1/K ; condition pour que des contraintes de service locales permettent d’assurer une contrainte de service globale dans un système en tandem). Nous avons mené des expériences numériques pour voir l’influence des différents paramètres. / Along with the price, the delivery lead time has become a key factor of competitiveness for companies and an important purchase criterion for many customers. Nowadays, firms are more than ever obliged to meet their quoted lead time, which is the delivery lead time announced to the customers. The combination of pricing and lead time quotation implies new trade-offs and offers opportunities for many insights. For instance, on the one hand, a shorter quoted lead time can lead to an increase in the demand but also increases the risk of late delivery and thus may affect the firm’s reputation and deter future customers. On the other hand, a longer quoted lead time or a higher price generally yields a lower demand. Despite the strategic role of joint pricing and lead time quotation decisions and their impacts on demand, in the operations management literature an exogenous demand (a priory a known demand) is generally used in supply chain models, even if the design of the supply chain has a strong impact on lead times (i.e., sites location, inventory position, etc.) and thus affects the demand. Therefore, we are interested in the lead time quotation and pricing decisions in a context of endogenous demand (i.e., demand sensitive to price and quoted lead time).The literature dealing with pricing and lead time quotation under an endogenous demand mainly considered a make to order (MTO) context. A pioneer paper, Palaka et al. (1998), investigated this issue by modeling the company as an M/M/1 queue, and our work follows their footsteps. Our review of the literature allowed to identify new perspectives for this problem, which led to three main contributions in this thesis.In our first contribution, using Palaka et al.’s framework, we consider the unit production cost to be a decreasing function in quoted lead time. In most published papers, the unit production cost was assumed to be constant. In practice, the unit production cost generally depends on the quoted lead time. Indeed, the firm can manage better the production process and reduce the production cost by quoting longer lead time to the customers.In the second contribution, we still consider Palaka et al.’s framework but model the firm as an M/M/1/K queue, for which demand is rejected if there are already K customers in the system. In the literature on single firm setting following Palaka et al.’s research, only the M/M/1 queue was used, i.e., where all customers are accepted, which might lead to long sojourn times in the system. Our idea is based on the fact that rejecting some customers, might help to quote shorter lead time for the accepted ones, which might finally lead to a higher profitability, even if in the first glance we lose some demand.In the third contribution, we study a new framework for the lead time quotation and pricing problem under endogenous demand as we model the supply chain by two production stages in a tandem queue (M/M/1-M/M/1). In the literature with multi-firm setting, all papers considered that only one actor has production operations and the other actor has zero lead time. We investigated both the centralized and decentralized decision settings.For each problem studied, we formulated a profit-maximization model, where the profit consists of a revenue minus the production, storage and lateness penalty costs, and provides the optimum result (analytically or numerically). These resolutions led us to demonstrate new theoretical results (such as the expected lateness in an M/M/1/K, and the sufficient condition required to satisfy the global service constraint in a tandem queue by only satisfying the local service constraints). We also conducted numerical experiments and derived managerial insights.
|
36 |
Opportunistic spectrum usage and optimal control in heterogeneous wireless networks / Accès opportuniste au spectre et contrôle optimal dans les réseaux sans fil hétérogènesRaiss El Fenni, Mohammed 12 December 2012 (has links)
Durant cette thèse l’objectif été d’améliorer la manière d'utiliser la précieuse bande passante, qui est gaspillée à cause de la sous-utilisation des réseaux sans fil. Nous étions particulièrement intéressés à toutes les ressources qui peuvent être utilisées de façon opportuniste en utilisant différentes technologies. Nous avons conçu de nouveaux modèles pour une utilisation meilleure et plus efficace des systèmes sans fil. Dans ce sens nous nous sommes focalisés sur les réseaux de communication cognitifs dans la première partie, où un fournisseur de service cellulaire peut louer une partie de ses ressources à des utilisateurs secondaires ou des fournisseurs virtuels. Dans la deuxième partie, nous nous sommes intéressés aux réseaux tolérants au délai comme étant une alternative à l’augmentation importante de la charge de trafic dans le réseau cellulaire. Dans les régions où l'implémentation d'infrastructures réseaux est géographiquement difficile, l'utilisation des réseaux ad-hoc semble une solution adéquate. En effet, nous avons développé dans la dernière partie, une nouvelle modélisation analytique du protocole IEEE 802.11e utilisé dans ce type de réseaux / The present dissertation deals with how to use the precious wireless resources that are usually wasted by under-utilization of networks. We have been particularly interested by all resources that can be used in an opportunistic fashion using different technologies. We have designed new schemes for better and more efficient use of wireless systems by providing mathematical frameworks. In the first part, We have been interested in cognitive radio networks, where a cellular service provider can lease a part of its resources to secondary users or virtual providers. In the second part, we have chosen delay-tolerant networks as a solution to reduce the pressure on the cell traffic, where mobile users come to use available resources effectively and with a cheaper cost. We have focused on optimal strategy for smartphones in hybrid wireless networks. In the last part, an alternative to delay-tolerant networks, specially in regions that are not covered by the cellular network, is to use Ad-hoc networks. Indeed, they can be used as an extension of the coverage area. We have developed a new analytical modeling of the IEEE 802.11e DCF/EDCF. We have investigated the intricate interactions among layers by building a general cross-layered framework to represent multi-hop ad hoc networks with asymmetric topology and traffic
|
37 |
Les systèmes de communication entre les véhicules et l'infrastructure: leur contribution aux pratiques d'exploitation de la route. Le cas d'une application pour l'information des autoroutes (AIDA)Belarbi, Fahim 09 1900 (has links) (PDF)
L'exploitation de la route désigne l'ensemble des actions visant à rendre la circulation aussi sûre, fluide et confortable que possible. Ce domaine est aujourd'hui en pleine mutation grâce notamment aux progrès des nouvelles technologies de l'information et de la communication. Celles-ci ont favorisé l'émergence d'applications encore incertaines jusqu'à une date récente. Cette révolution technologique est en train de modifier les pratiques dans le domaine de l'exploitation routière. On assiste au développement accéléré des équipements embarqués et systèmes informatiques basés sur une communication entre la route et le véhicule. Ces nouveaux dispositifs sont-ils aptes à remplir des fonctions d'exploitation routière assurées aujourd'hui par des systèmes classiques ? Peuvent-ils constituer une alternative potentielle aux outils existants de recueil de données ? Cette thèse apporte des éléments de réponse à ces questions à travers l'exploration des potentialités des systèmes de communication entre la route et les véhicules à remplir des missions d'exploitation: maintien de la viabilité, gestion de trafic et aide au déplacement. Ces travaux tentent d'appréhender les apports d'un système de communication route - véhicule pour la sécurité et la gestion du trafic routier. Quels sont les enjeux économiques de ces dispositifs et quels en sont les principaux bénéficiaires ? L'étude d'un système déployé sur un tronçon autoroutier expérimental fournit des enseignements sur sa rentabilité économique pour la collectivité et financière pour le gestionnaire d'infrastructures. Les scénarios examinés permettent d'alimenter les réflexions sur des stratégies d'équipement en matière de nouveaux outils de recueil de données et de surveillance d'un réseau autoroutier.
|
38 |
Algorithmes et mécanismes pour la qualité de service dans des réseaux hétérogènesToumi, Leila 20 December 2002 (has links) (PDF)
La notion de qualité de service (QoS) est un concept important pour transporter sur les réseaux de l'information avec un maximum de fiabilité. Les métriques de la QoS sont le débit, le délai, la gigue et le taux de pertes. Par ailleurs, la multiplicité des applications conduit à une hétérogénéité des données : les flots élastiques requièrent un débit soutenu et les flots non élastiques exigeants en délai. Les algorithmes d'ordonnancement à différenciation proportionnelle permettent de partager équitablement les ressources entre les applications, selon leurs besoins. Toutefois, la proportionnalité ne s'est jusque-là effectuée que selon un seul critère de qualité (débit, délai ou taux de perte). Nous proposons un algorithme d'ordonnancement à différenciation proportionnelle, fondée sur la fonction de puissance mettant en rapport deux critères : le délai et le débit. L'ordonnanceur PSP (Power as a Scheduling Parameter) offre un partage équitable des ressources entre les applications à besoins différents de manière à ce qu'aucune classe ne subisse de phénomène de famine. L'implémentation et les tests de l'ordonnanceur ont été réalisés au moyen de l'outil de simulation ns-2.
|
39 |
Estimation de l’écart type du délai de bout-en-bout par méthodes passives / Passive measurement in Software Defined NetworksNguyen, Huu-Nghi 09 March 2017 (has links)
Depuis l'avènement du réseau Internet, le volume de données échangées sur les réseaux a crû de manière exponentielle. Le matériel présent sur les réseaux est devenu très hétérogène, dû entre autres à la multiplication des "middleboxes" (parefeux, routeurs NAT, serveurs VPN, proxy, etc.). Les algorithmes exécutés sur les équipements réseaux (routage, “spanning tree”, etc.) sont souvent complexes, parfois fermés et propriétaires et les interfaces de supervision peuvent être très différentes d'un constructeur/équipement à un autre. Ces différents facteurs rendent la compréhension et le fonctionnement du réseau complexe. Cela a motivé la définition d'un nouveau paradigme réseaux afin de simplifier la conception et la gestion des réseaux : le SDN (“Software-defined Networking”). Il introduit la notion de contrôleur, qui est un équipement qui a pour rôle de contrôler les équipements du plan de données. Le concept SDN sépare donc le plan de données chargés de l'acheminement des paquets, qui est opéré par des équipements nommés virtual switches dans la terminologie SDN, et le plan contrôle, en charge de toutes les décisions, et qui est donc effectué par le contrôleur SDN. Pour permettre au contrôleur de prendre ses décisions, il doit disposer d'une vue globale du réseau. En plus de la topologie et de la capacité des liens, des critères de performances comme le délai, le taux de pertes, la bande passante disponible, peuvent être pris en compte. Cette connaissance peut permettre par exemple un routage multi-classes, ou/et garantir des niveaux de qualité de service. Les contributions de cette thèse portent sur la proposition d'algorithmes permettant à une entité centralisée, et en particulier à un contrôleur dans un cadre SDN, d'obtenir des estimations fiables du délai de bout-en-bout pour les flux traversant le réseau. Les méthodes proposées sont passives, c'est-à-dire qu'elles ne génèrent aucun trafic supplémentaire. Nous nous intéressons tout particulièrement à la moyenne et l'écart type du délai. Il apparaît que le premier moment peut être obtenu assez facilement. Au contraire, la corrélation qui apparaît dans les temps d'attentes des noeuds du réseau rend l'estimation de l'écart type beaucoup plus complexe. Nous montrons que les méthodes développées sont capables de capturer les corrélations des délais dans les différents noeuds et d'offrir des estimations précises de l'écart type. Ces résultats sont validés par simulations où nous considérons un large éventail de scénarios permettant de valider nos algorithmes dans différents contextes d'utilisation / Since the early beginning of Internet, the amount of data exchanged over the networks has exponentially grown. The devices deployed on the networks are very heterogeneous, because of the growing presence of middleboxes (e.g., firewalls, NAT routers, VPN servers, proxy). The algorithms run on the networking devices (e.g., routing, spanning tree) are often complex, closed, and proprietary while the interfaces to access these devices typically vary from one manufacturer to the other. All these factors tend to hinder the understanding and the management of networks. Therefore a new paradigm has been introduced to ease the design and the management of networks, namely, the SDN (Software-defined Networking). In particular, SDN defines a new entity, the controller that is in charge of controlling the devices belonging to the data plane. Thus, in a SDN-network, the data plane, which is handled by networking devices called virtual switches, and the control plane, which takes the decisions and executed by the controller, are separated. In order to let the controller take its decisions, it must have a global view on the network. This includes the topology of the network and its links capacity, along with other possible performance metrics such delays, loss rates, and available bandwidths. This knowledge can enable a multi-class routing, or help guarantee levels of Quality of Service. The contributions of this thesis are new algorithms that allow a centralized entity, such as the controller in an SDN network, to accurately estimate the end-to-end delay for a given flow in its network. The proposed methods are passive in the sense that they do not require any additional traffic to be run. More precisely, we study the expectation and the standard deviation of the delay. We show how the first moment can be easily computed. On the other hand, estimating the standard deviation is much more complex because of the correlations existing between the different waiting times. We show that the proposed methods are able to capture these correlations between delays and thus providing accurate estimations of the standard deviation of the end-to-end delay. Simulations that cover a large range of possible scenariosvalidate these results
|
40 |
Worst-case delay analysis of real-time switched Ethernet networks with flow local synchronization / L’analyse pire cas de délai sur des réseaux Ethernet commuté temps réels avec la synchronisation locale de fluxLi, Xiaoting 19 September 2013 (has links)
Les réseaux Ethernet commuté full-duplex constituent des solutions intéressantes pour des applications industrielles. Mais le non-déterminisme d’un commutateur IEEE 802.1d, fait que l’analyse pire cas de délai de flux critiques est encore un problème ouvert. Plusieurs méthodes ont été proposées pour obtenir des bornes supérieures des délais de communication sur des réseaux Ethernet commuté full duplex temps réels, faisant l’hypothèse que le trafic en entrée du réseau peut être borné. Le problème principal reste le pessimisme introduit par la méthode de calcul de cette borne supérieure du délai. Ces méthodes considèrent que tous les flux transmis sur le réseau sont indépendants. Ce qui est vrai pour les flux émis par des nœuds sources différents car il n’existe pas, dans le cas général, d’horloge globale permettant de synchroniser les flux. Mais pour les flux émis par un même nœud source, il est possible de faire l’hypothèse d’une synchronisation locale de ces flux. Une telle hypothèse permet de bâtir un modèle plus précis des flux et en conséquence élimine des scénarios impossibles qui augmentent le pessimisme du calcul. Le sujet principal de cette thèse est d’étudier comment des flux périodiques synchronisés par des offsets peuvent être gérés dans le calcul des bornes supérieures des délais sur un réseau Ethernet commuté temps-réel. Dans un premier temps, il s’agit de présenter l’impact des contraintes d’offsets sur le calcul des bornes supérieures des délais de bout en bout. Il s’agit ensuite de présenter comment intégrer ces contraintes d’offsets dans les approches de calcul basées sur le Network Calculus et la méthode des Trajectoires. Une méthode Calcul Réseau modifiée et une méthode Trajectoires modifiée sont alors développées et les performances obtenues sont comparées. Le réseau avionique AFDX (Avionics Full-Duplex Switched Ethernet) est pris comme exemple d’un réseau Ethernet commuté full-duplex. Une configuration AFDX industrielle avec un millier de flux est présentée. Cette configuration industrielle est alors évaluée à l’aide des deux approches, selon un choix d’allocation d’offsets donné. De plus, différents algorithmes d’allocation des offsets sont testés sur cette configuration industrielle, pour trouver un algorithme d’allocation quasi-optimal. Une analyse de pessimisme des bornes supérieures calculées est alors proposée. Cette analyse est basée sur l’approche des trajectoires (rendue optimiste) qui permet de calculer une sous-approximation du délai pire-cas. La différence entre la borne supérieure du délai (calculée par une méthode donnée) et la sous-approximation du délai pire cas donne une borne supérieure du pessimisme de la méthode. Cette analyse fournit des résultats intéressants sur le pessimisme des approches Calcul Réseau et méthode des Trajectoires. La dernière partie de la thèse porte sur une architecture de réseau temps réel hétérogène obtenue par connexion de réseaux CAN via des ponts sur un réseau fédérateur de type Ethernet commuté. Deux approches, une basée sur les composants et l’autre sur les Trajectoires sont proposées pour permettre une analyse des délais pire-cas sur un tel réseau. La capacité de calcul d’une borne supérieure des délais pire-cas dans le contexte d’une architecture hétérogène est intéressante pour les domaines industriels. / Full-duplex switched Ethernet is a promising candidate for interconnecting real-time industrial applications. But due to IEEE 802.1d indeterminism, the worst-case delay analysis of critical flows supported by such a network is still an open problem. Several methods have been proposed for upper-bounding communication delays on a real-time switched Ethernet network, assuming that the incoming traffic can be upper bounded. The main problem remaining is to assess the tightness, i.e. the pessimism, of the method calculating this upper bound on the communication delay. These methods consider that all flows transmitted over the network are independent. This is true for flows emitted by different source nodes since, in general, there is no global clock synchronizing them. But the flows emitted by the same source node are local synchronized. Such an assumption helps to build a more precise flow model that eliminates some impossible communication scenarios which lead to a pessimistic delay upper bounds. The core of this thesis is to study how local periodic flows synchronized with offsets can be handled when computing delay upper-bounds on a real-time switched Ethernet. In a first step, the impact of these offsets on the delay upper-bound computation is illustrated. Then, the integration of offsets in the Network Calculus and the Trajectory approaches is introduced. Therefore, a modified Network Calculus approach and a modified Trajectory approach are developed whose performances are compared on an Avionics Full-DupleX switched Ethernet (AFDX) industrial configuration with one thousand of flows. It has been shown that, in the context of this AFDX configuration, the Trajectory approach leads to slightly tighter end-to-end delay upper bounds than the ones of the Network Calculus approach. But offsets of local flows have to be chosen. Different offset assignment algorithms are then investigated on the AFDX industrial configuration. A near-optimal assignment can be exhibited. Next, a pessimism analysis of the computed upper-bounds is proposed. This analysis is based on the Trajectory approach (made optimistic) which computes an under-estimation of the worst-case delay. The difference between the upper-bound (computed by a given method) and the under-estimation of the worst-case delay gives an upper-bound of the pessimism of the method. This analysis gives interesting comparison results on the Network Calculus and the Trajectory approaches pessimism. The last part of the thesis, deals with a real-time heterogeneous network architecture where CAN buses are interconnected through a switched Ethernet backbone using dedicated bridges. Two approaches, the component-based approach and the Trajectory approach, are developed to conduct a worst-case delay analysis for such a network. Clearly, the ability to compute end-to-end delays upper-bounds in the context of heterogeneous network architecture is promising for industrial domains.
|
Page generated in 0.0307 seconds