Search

Your search keyword '"Systèmes embarqués"' showing total 8 results
Start Over Descriptor "Systèmes embarqués" Publisher ieee computer society
8 results on '"Systèmes embarqués"'

1. Drowsy-DC: Data center power management system

Author

Daniel Hagimont, Willy Zwaenepoel, Grégoire Todeschi, Mathieu Bacou, Baptiste Lepers, Alain Tchana, Centre National de la Recherche Scientifique - CNRS (FRANCE), Ecole Polytechnique Fédérale de Lausanne - EPFL (SWITZERLAND), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Système d’exploitation, systèmes répartis, de l’intergiciel à l’architecture (IRIT-SEPIA), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Institut National Polytechnique (Toulouse) (Toulouse INP), and Ecole Polytechnique Fédérale de Lausanne (EPFL)

Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Long lived mostly idle, Computer science, Système d'exploitation, Réseaux et télécommunications, 02 engineering and technology, computer.software_genre, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], Idle, low-power state, Architectures Matérielles, Virtualization, long-lived mostly idle, 0202 electrical engineering, electronic engineering, information engineering, Overhead (computing), Power management system, business.industry, power consumption, 020206 networking & telecommunications, 020207 software engineering, Energy consumption, virtualization, Systèmes embarqués, Low power state, Virtual machine, Power consumption, Operating system, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, Data center, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS], business, consolidation, computer, Consolidation, Efficient energy use
Abstract

National audience; In a modern data center (DC), a large majority of costs arise from energy consumption. The most popular technique used to mitigate this issue is virtualization and more precisely virtual machine (VM) consolidation. Although consolidation may increase server usage by about 5-10%, it is difficult to actually witness server loads greater than 50%. By analyzing the traces from our cloud provider partner, confirmed by previous research work, we have identified that some VMs have sporadic moments of data computation followed by large periods of idleness. These VMs often hinder the consolidation system which cannot further increase the energy efficiency of the DC. In this paper we propose a novel DC power management system called Drowsy-DC, which is able to identify the aforementioned VMs which have matching patterns of idleness. These VMs can thus be colocated on the same server so that their idle periods are exploited to put the server to a low power mode (suspend to RAM) until some data computation is required. While introducing a negligible overhead, our system is able to significantly improve any VM consolidation system; evaluations showed improvements up to 81% and more when compared to OpenStack Neat.

Published
2019

2. Frequency Selection Approach for Energy Aware Cloud Database

Author

Jean-Marc Pierson, Chaopeng Guo, Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Centre National de la Recherche Scientifique - CNRS (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Système d’exploitation, systèmes répartis, de l’intergiciel à l’architecture (IRIT-SEPIA), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), and Université Fédérale Toulouse Midi-Pyrénées

Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Optimization, Computer science, Big data, Monte Carlo tree search, Système d'exploitation, Réseaux et télécommunications, 7. Clean energy, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], Architectures Matérielles, Genetic algorithm, Cloud database, DVFS, Frequency scaling, business.industry, Frequency selection, Systèmes embarqués, Energy efficiency, Computer engineering, Scalability, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS], business, Energy (signal processing), Efficient energy use
Abstract

International audience; A lot of cloud systems are adopted in industry and academia to face the explosion of the data volume and the arrival of the big data era. Meanwhile, energy efficiency and energy saving become major concerns for data centers where massive cloud systems are deployed. However, energy waste is quite common due to resource over-provisioning. In this paper, using Dynamic Voltage and Frequency Scaling (DVFS), a frequency selection approach is introduced to improve the energy efficiency of cloud systems in terms of resource over-provisioning. In the approach, two algorithms, Genetic Algorithm (GA) and Monte Carlo Tree Search Algorithm (MCTS), are proposed. Cloud database system is taken as an example to evaluate the approach. The results of the experiments show that the algorithms have great scalability which can be applied to a 120-nodes case with high accuracy compared to optimal solutions (up to 99.9% and 99.6% for GA and MCTS respectively). According to an optimality bound analysis, 21 % of energy can be saved at most using our frequency selection approach.

Published
2019

3. TLS Connection Validation by Web Browsers: Why do Web Browsers still not agree?

Author

Abdelmalek Benzekri, Ahmad Samer Wazan, Francois Barrere, Romain Laborde, David W. Chadwick, Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - INPT (FRANCE), University of Kent (UNITED KINGDOM), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Service IntEgration and netwoRk Administration (IRIT-SIERA), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, University of Kent [Canterbury], Université Toulouse III - Paul Sabatier (UT3), and Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)

Subjects
Web standards, [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Engineering, Web development, Internet privacy, 0211 other engineering and technologies, Navigation bar, Système d'exploitation, Réseaux et télécommunications, 02 engineering and technology, Web API, World Wide Web, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], Architectures Matérielles, Web design, Web page, 0202 electrical engineering, electronic engineering, information engineering, Data Web, 021110 strategic, defence & security studies, business.industry, 020206 networking & telecommunications, Certificate validation, Systèmes embarqués, Web Accessibility Initiative, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS], X.509 certificate, business, Web browsers
Abstract

International audience; The TLS protocol is the primary technology used for securing web transactions. It is based on X.509 certificates that are used for binding the identity of web servers' owners to their public keys. Web browsers perform the validation of X.509 certificates on behalf of Web users. Our previous research in 2009 showed that the validation process of Web browsers is inconsistent and flawed. We showed how this situation might have a negative impact on Web users. From 2009 until now, many new X.509 related standards have been created or updated. In this paper, we performed an increased set of experiments over our 2009 study in order to highlight the improvements and/or regressions in Web browsers' behaviours.

Published
2017

4. Evaluation of Learner Performance during Practical Activities: an Experimentation in Computer Education

Author

Philippe Vidal, Rémi Venant, Julien Broisin, Institut National Polytechnique de Toulouse - INPT (FRANCE), Centre National de la Recherche Scientifique - CNRS (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Service IntEgration and netwoRk Administration (IRIT-SIERA), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Université Toulouse III - Paul Sabatier (UT3), and Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)

Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Computer science, Learning analytics, Système d'exploitation, Réseaux et télécommunications, Remote laboratory, 02 engineering and technology, computer.software_genre, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], Architectures Matérielles, Learner performance, 0202 electrical engineering, electronic engineering, information engineering, Computer education, Multimedia, business.industry, 4. Education, 05 social sciences, 050301 education, Awareness tools, Systèmes embarqués, Visualization, Authentic learning, Business intelligence, Virtual learning environment, 020201 artificial intelligence & image processing, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, Metric (unit), [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS], business, 0503 education, Performance metric, computer, Cognitive load
Abstract

International audience; This paper addresses learning analytics for evaluation of learners performance in remote laboratories. The objectives we identified to provide self-and social awareness while learners are practicing in their virtual learning environment are threefold: (1) the definition of a performance metric that requires no assessment tests, (2) the tracking of data to infer that metric in real time, and (3) the visualization of the performance metric without impacting learners' cognitive load. To support these needs, we propose (i) a metric related to the technical rightness of instructions carried out by learners, (ii) a generic learning analytics framework featuring an enriching engine able to infer indicators, and (iii) two distinct visualization tools. These proposals have been implemented in Lab4CE, our remote laboratory for computer education, and experimented in an authentic learning context. This experimentation showed that most students have significantly used both visualization tools, and that their usage decreased while the overall learners performance increased.

Published
2016

5. A collaborative process for developing secure component-based applications

Author

Rahma Bouaziz, Bernard Coulette, Slim Kallel, Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Université de Sfax (TUNISIA), Institut National Polytechnique de Toulouse - INPT (FRANCE), Modèles, Architectures, Composants, Agilité et prOcessus (IRIT-MACAO), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Research Unit on Development and Control of Distributed Applications (ReDCAD), and École Nationale d'Ingénieurs de Sfax | National School of Engineers of Sfax (ENIS)

Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Component, Process (engineering), Computer science, Collaborative process, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Interface homme-machine, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Security engineering, Unified Modeling Language, Architectures Matérielles, Component (UML), Génie logiciel, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], computer.programming_language, Security patterns, business.industry, Collaborative engineering, Computer security model, Modélisation et simulation, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Systèmes embarqués, Security pattern, Software security assurance, Cryptographie et sécurité, CMSPEM, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, Component based systems, Software engineering, business, computer
Abstract

International audience; Security patterns describe security solutions that can be used in a particular context for recurring problems in order to solve a security problem in a more structured and reusable way. Patterns in general and Security patterns in particular, have become important concepts in software engineering, and their integration is a widely accepted practice. In this paper, we propose a model-driven methodology for security pattern integration. This methodology consists of a collaborative engineering process, called collaborative security pattern Integration process (C-SCRIP), and a tool that supports the full life-cycle of the development of a secure system from modeling to code.

Published
2014

6. From Inception to Execution: Query Management for Complex Event Processing as a Service

Author

Higashino, Wilson A., Eichler, Cédric, Capretz, Miriam, Monteil, Thierry, De Toledo, Maria Beatriz F., Stolf, Patricia, Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Institut National des Sciences Appliquées de Toulouse - INSA (FRANCE), Universidade Estadual de Campinas - Unicamp (BRAZIL), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), University of Western Ontario - UWO (CANADA), Laboratoire d'Analyse et d'Architecture des Systèmes - LAAS (Toulouse, France), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), Department of Computer Science, University of Western Ontario (UWO), Institute of Computing [Campinas] (IC), Universidade Estadual de Campinas = University of Campinas (UNICAMP), Équipe Services et Architectures pour Réseaux Avancés (LAAS-SARA), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Système d’exploitation, systèmes répartis, de l’intergiciel à l’architecture (IRIT-SEPIA), Institut de recherche en informatique de Toulouse (IRIT), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Institut National Polytechnique de Toulouse - INPT (FRANCE), Institute of Computing [Campinas] (UNICAMP), Universidade Estadual de Campinas (UNICAMP), Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), and Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1)

Subjects
Reconfigurable systems, Système d'exploitation, Automatic Query Optimization, Reconfigurable Systems, InformationSystems_DATABASEMANAGEMENT, Réseaux et télécommunications, ComputerApplications_COMPUTERSINOTHERSYSTEMS, Complex Event Processing, Systèmes embarqués, Complex event processing, [INFO.INFO-MA]Computer Science [cs]/Multiagent Systems [cs.MA], Architectures Matérielles, Automatic query optimization
Abstract

International audience; Complex Event Processing (CEP) is a set of tools and techniques that can be used to obtain insights from high- volume, high-velocity continuous streams of events. CEP-based systems have been adopted in many situations that require prompt establishment of system diagnostics and execution of reaction plans, such as in monitoring of complex systems. This article describes the Query Analyzer and Manager (QAM) mod- ule, a first effort toward the development of a CEP as a Service (CEPaaS) system. This module is responsible for analyzing user-defined CEP queries and for managing their execution in distributed cloud-based environments. Using a language-agnostic internal query representation, QAM has a modular design that enables its adoption by virtually any CEP system.

Published
2014

7. Multi-Objective Scheduling for Heterogeneous Server Systems with Machine Placement

Author

Jean-Marc Pierson, Patricia Stolf, Georges Da Costa, Hongyang Sun, Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Centre National de la Recherche Scientifique - CNRS (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), and Université Toulouse 1 Capitole - UT1 (FRANCE)

Subjects
Rate-monotonic scheduling, Computer science, Distributed computing, Système d'exploitation, Réseaux et télécommunications, 02 engineering and technology, Dynamic priority scheduling, Multi-objective optimization, Fair-share scheduling, Scheduling (computing), Architectures Matérielles, Server, 0202 electrical engineering, electronic engineering, information engineering, Machine placement, Job response time, Thermal imbalance, 020206 networking & telecommunications, Energy consumption, Systèmes embarqués, Tradeoffs, Online scheduling, Heterogeneous server systems, 020201 artificial intelligence & image processing, Heuristics
Abstract

Heterogeneous servers are becoming prevalent in many high-performance computing environments, including clusters and datacenters. In this paper, we consider multi-objective scheduling for heterogeneous server systems to optimize simultaneously the application performance, energy consumption and thermal imbalance. First, a greedy online framework is presented to allow the scheduling decisions to be made based on any well-defined cost function. To tackle the possibly conflicting objectives, we propose a fuzzy-based priority approach for exploring the tradeoffs of two or more objectives at the same time. Moreover, we present a heuristic algorithm for the static placement of physical machines in order to reduce the maximum temperature at the server outlets. Extensive simulations based on an emerging class of high-density server system have demonstrated the effectiveness of our proposed approach and heuristics in optimizing multiple objectives while achieving better thermal balance.

Published
2014

8. A Process for Maintaining Heterogeneous Models Consistency through Change Synchronization

Author

Sophie Ebersold, Adil Anwar, Mahmoud El Hamlaoui, Bernard Coulette, Mahmoud Nassar, Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Université Mohammed V - Agdal (MOROCCO), and Université Mohammed V - Souissi (MOROCCO)

Subjects
Context model, Iterative and incremental development, Correspondence model, Theoretical computer science, Process (engineering), Computer science, Evolution, Complex system, Context (language use), Viewpoints, Modélisation et simulation, Changes, Systèmes embarqués, Interface homme-machine, Synchronization, Consistency (database systems), Architectures Matérielles, Virtualization, Impacts, Cryptographie et sécurité, Génie logiciel
Abstract

This paper falls into the context of modeling complex systems according to various viewpoints. More precisely, it presents an iterative process of heterogeneous models consistency management - by taking into account various types of evolution - based on building a correspondence model. In the case of models evolution, this process is intended to capture changes in the models, to list modifications to be made in the impacted models and finally to update the correspondence model for a future iteration.

Published
2013

Catalog

Books, media, physical & digital resources
See catalog results