Search

Your search keyword '"Architectures Matérielles"' showing total 170 results
Start Over Descriptor "Architectures Matérielles" Language undetermined

Refine your results

more »

more »

more »
170 results on '"Architectures Matérielles"'

1. Cacol: A zero overhead and non-intrusive double caching mitigation system

Author

Grégoire Todeschi, Alain Tchana, Boris Teabe, Daniel Hagimont, Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Institut National de la Recherche en Informatique et en Automatique - INRIA (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Université Côte d'Azur (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), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (... - 2019) (UNS), and COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)

Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Software_OPERATINGSYSTEMS, Computer Networks and Communications, Computer science, Double caching, 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], Architectures Matérielles, Virtualization, Server, 0202 electrical engineering, electronic engineering, information engineering, Overhead (computing), Page cache, Hardware_MEMORYSTRUCTURES, 020206 networking & telecommunications, Hypervisor, Resource (Windows), Systèmes embarqués, Zero (linguistics), Hardware and Architecture, Operating system, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, 020201 artificial intelligence & image processing, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS], computer, Software
Abstract

International audience; In a virtualized server, a page cache (which caches I/O data) is managed in both the hypervisor and the guest Operating System (OS). This leads to a well-known issue called double caching. Double caching is the presence of the same data in both the hypervisor page cache and guest OS page caches. Some experiments we performed show that almost 64% of the hypervisor page cache content is also present in guest page caches.Therefore, double caching is a huge source of memory waste in virtualized servers, particularly when I/O disk-intensive workloads are executed (which is common in today’s data centers). Knowing that memory is the limiting resource for workload consolidation, double caching is a critical issue.This paper presents a novel solution (called Cacol) to avoid double caching. Unlike existing solutions, Cacol is not intrusive as it does not require guest OS modification and induces very little performance overhead for user applications. We implemented Cacol in KVM hypervisor, a very popular virtualization system. We evaluated Cacol and compared it with Linux default solutions. The results confirm the advantages (no guest modification and no overhead) of Cacol against existing solutions.

Published
2020

2. Elderly monitoring system in a smart city environment using LoRa and MQTT

Author

Abdennaceur Kachouri, Thierry Val, Abdelfatteh Lachtar, Laboratoire d'électronique et des technologies de l'Information [Sfax] (LETI), École Nationale d'Ingénieurs de Sfax | National School of Engineers of Sfax (ENIS), Réseaux, Mobiles, Embarqués, Sans fil, Satellites (IRIT-RMESS), 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 - Jean Jaurès (UT2J), 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), École Nationale d'Ingénieurs de Sfax - ENIS (TUNISIA), and Université de Sfax (TUNISIA)

Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Walking stick, Computer science, Internet of Things, Interoperability, Système d'exploitation, Réseaux et télécommunications, Context (language use), 02 engineering and technology, 01 natural sciences, Industrial and Manufacturing Engineering, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], Architectures Matérielles, Smart city, 11. Sustainability, 0202 electrical engineering, electronic engineering, information engineering, Telemetry, Open systems, Middleware, Patient monitoring, MQTT, business.industry, Node (networking), 010401 analytical chemistry, 020206 networking & telecommunications, Systèmes embarqués, 0104 chemical sciences, Machine to machine, Queueing theory, Geriatrics, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS], business, Message queue, Protocols, Smart cities, Computer network
Abstract

International audience; With the rapid surge of M-Health and smart city systems, the need to accommodate sensors and actuators to achieve effective automation turns out to be imposed, for an efficient machine-to-machine communication to be maintained. In this regard, the key elements necessary for a successful M-Health system to take place are discovered to be the power consumption and interoperability maintaining factors. In this context, the present study is conducted to devise a special elderly tracking and monitoring system, closely connected to a walking stick device. The proposed design involves a cane cased transmitter node, enabling to send data related to the position and the state of the elderly to a base station, through implementation of the LoRa technology. The latter would then apply the message queuing telemetry transport (MQTT) protocol to interact with the environment once a fall proves to take place. For the purpose of evaluating the advanced design associated coverage range and power consumption rate, as enhanced via LoRa network, several experimental tests have been administered. The achieved results appear to reveal that the suggested architecture recorded average covered area turns out to be of the rate of 6 km2.

Published
2020

3. Performances Analysis of a System of Localization by Angle of Arrival UWB Radio

Author

Salick Diagne, Abdou Karim Farota, Thierry Val, Ognadon Assogba, Bouya Diop, 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é Gaston Berger de Saint-Louis - UGB (SENEGAL), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), Université Gaston Berger de Saint-Louis Sénégal (UGB), Réseaux, Mobiles, Embarqués, Sans fil, Satellites (IRIT-RMESS), 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, and Université Toulouse - Jean Jaurès (UT2J)

Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Computer science, Real-time computing, Système d'exploitation, 0211 other engineering and technologies, Réseaux et télécommunications, Context (language use), 02 engineering and technology, Signal, Set (abstract data type), [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], UWB, Architectures Matérielles, Angle of arrival, 0202 electrical engineering, electronic engineering, information engineering, PDoA, 021103 operations research, Observational error, Bandwidth (signal processing), 020206 networking & telecommunications, Systèmes embarqués, Angle of Arrival (AoA), Localization, Temporal resolution, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS], Actuator
Abstract

International audience; The increasingly widespread use of sensor and actuator networks and in general of the Internet of Things (IoT) in several areas of precision, imposes upon localization systems that can often equip them with a robust and more precise localization. It is in this sense that UWB technology has proved to be one of the most powerful communication technologies for these localization systems; thanks, in particular to the bandwidth occupied instantaneously by the signal allowing a very fine temporal resolution. Constructors have set up localization kits based on various technologies. These kits facilitate in a way the work of localization of users. In this paper, we present results on the performance study of the Decawave PDoA Kit. This Kit uses the PDoA (Phase Difference of Arrival) to determine the Angle of Arrival (AoA) parameter with UWB technology. This study is in context of localization by AoA for an application to protect agricultural crops against grain-eating birds. The results of the study show overall AoA measurement errors around 10 degrees in an ideal environment.

Published
2020

4. Preventing the propagation of a new kind of illegitimate apps

Author

Alain Tchana, Giang Son Tran, Lavoisier Wapet, Daniel Hagimont, Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université des Sciences et des Technologies de Hanoi - USTH (VIETNAM), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Institut National Polytechnique de Toulouse - INPT (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, Hanoi University of Science and Technology (HUST), and Institut National Polytechnique (Toulouse) (Toulouse INP)

Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Focus (computing), Computer Networks and Communications, Computer science, Système d'exploitation, Mobile apps, Réseaux et télécommunications, 020206 networking & telecommunications, 02 engineering and technology, Computer security, computer.software_genre, Systèmes embarqués, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], Detection, Architectures Matérielles, Fake apps, Hardware and Architecture, 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, 020201 artificial intelligence & image processing, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS], computer, Software
Abstract

International audience; A significant amount of apps submitted to mobile market places (MMP) are illegitimate, resulting in a negative publicity for these MMPs. To our knowledge, all scanning solutions in this domain only focus on the detection of illegitimate apps which mimic existing ones. However, recent attack analysis reveal the appearance of a new category of victims: enterprises which did not yet publish their app on the MMP. Thereby, an attacker may be one step ahead and publish a malicious app using the graphic identity of a trusted enterprise. Famous enterprises such as Blackberry, Netflix, and Niantic (Pokemon Go) have been subject of such attacks. We designed and implemented a security check system called IMAD (IllegitimateMobile App Detector) which is able to limit aforementioned attacks. The evaluation results show that IMAD can protect companies from such attacks with an acceptable error rate and at a low cost for MMPs.

Published
2019

5. Design and evaluation of braced touch for touchscreen input stabilisation

Author

Catherine Trask, Christine Gris, Damien Masson, Marcus Yung, Alix Goguey, Carl Gutwin, Philippe Palanque, Andy Cockburn, Airbus (FRANCE), Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), University of Canterbury - UC (NEW ZEALAND), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), University of Saskatchewan (CANADA), and Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France)

Subjects
Computer science, Target selection, Human Factors and Ergonomics, Interface homme-machine, Vibration, Education, law.invention, Touchscreen, Architectures Matérielles, law, Génie logiciel, Selection (genetic algorithm), Simulation, General Engineering, Vehicles, Modélisation et simulation, Systèmes embarqués, Bracing, Cockpit, Turbulence, Human-Computer Interaction, Hardware and Architecture, Cryptographie et sécurité, Touch interaction, Aviation, Software
Abstract

Incorporating touchscreen interaction into cockpit flight systems offers several potential advantages to aircraft manufacturers, airlines, and pilots. However, vibration and turbulence are challenges to reliable interaction. We examine the design space for braced touch interaction, which allows users to mechanically stabilise selections by bracing multiple fingers on the touchscreen before completing selection. Our goal is to enable fast and accurate target selection during high levels of vibration, without impeding interaction performance when vibration is absent. Three variant methods of braced touch are evaluated, using doubletap, dwell, or a force threshold in combination with heuristic selection criteria to discriminate intentional selection from concurrent braced contacts. We carried out an experiment to test the performance of these methods in both abstract selection tasks and more realistic flight tasks. The study results confirm that bracing improves performance during vibration, and show that doubletap was the best of the tested methods.

Published
2019

6. On a unifying product form framework for redundancy models

Author

Ina Maria Verloop, Tejas Bodas, Urtzi Ayesta, Basque Foundation for Science ( Ikerbasque ), Institut de recherche en informatique de Toulouse ( IRIT ), Institut National Polytechnique [Toulouse] ( INP ) -Université Toulouse 1 Capitole ( UT1 ) -Université Toulouse - Jean Jaurès ( UT2J ) -Université Paul Sabatier - Toulouse 3 ( UPS ) -Centre National de la Recherche Scientifique ( CNRS ), Équipe Services et Architectures pour Réseaux Avancés ( LAAS-SARA ), Laboratoire d'analyse et d'architecture des systèmes [Toulouse] ( LAAS ), Institut National Polytechnique [Toulouse] ( INP ) -Institut National des Sciences Appliquées - Toulouse ( INSA Toulouse ), Institut National des Sciences Appliquées ( INSA ) -Institut National des Sciences Appliquées ( INSA ) -Université Paul Sabatier - Toulouse 3 ( UPS ) -Centre National de la Recherche Scientifique ( CNRS ) -Institut National Polytechnique [Toulouse] ( INP ) -Institut National des Sciences Appliquées - Toulouse ( INSA Toulouse ), Institut National des Sciences Appliquées ( INSA ) -Institut National des Sciences Appliquées ( INSA ) -Université Paul Sabatier - Toulouse 3 ( UPS ) -Centre National de la Recherche Scientifique ( CNRS ), Centre National de la Recherche Scientifique - CNRS (FRANCE), IKERBASQUE (SPAIN), 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), Universidad del País Vasco - Euskal Herriko Unibertsitatea - EHU (SPAIN), Laboratoire d'Analyse et d'Architecture des Systèmes - LAAS (Toulouse, France), Ikerbasque - Basque Foundation for Science, Réseaux, Mobiles, Embarqués, Sans fil, Satellites (IRIT-RMESS), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-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)-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), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Centre National de la Recherche Scientifique (CNRS), Équipe Services et Architectures pour Réseaux Avancés (LAAS-SARA), Laboratoire d'analyse et d'architecture des systèmes (LAAS), 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), Basque Foundation for Science (Ikerbasque), 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 - 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), and Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1)

Subjects
Exponential distribution, Redundancy-d, Computer science, Computer Networks and Communications, Generalization, Système d'exploitation, 0211 other engineering and technologies, Réseaux et télécommunications, 02 engineering and technology, 01 natural sciences, Combinatorics, 010104 statistics & probability, Redundancy (information theory), Architectures Matérielles, Server, Cancel-on-start, 0202 electrical engineering, electronic engineering, information engineering, Redundancy (engineering), 0101 mathematics, Queue, [ INFO.INFO-RO ] Computer Science [cs]/Operations Research [cs.RO], Mathematics, 020203 distributed computing, 021103 operations research, Stationary distribution, business.industry, Product-form distribution, [INFO.INFO-RO]Computer Science [cs]/Operations Research [cs.RO], Queueing system, Systèmes embarqués, [ INFO.INFO-PF ] Computer Science [cs]/Performance [cs.PF], [MATH.MATH-PR]Mathematics [math]/Probability [math.PR], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], Hardware and Architecture, Independence assumption, Modeling and Simulation, Product (mathematics), Closed-form expression, business, [ MATH.MATH-PR ] Mathematics [math]/Probability [math.PR], Software, Computer network
Abstract

In this paper, we present a unifying analysis for redundancy systems with cancel-on-start ( c . o . s . ) and cancel-on-complete ( c . o . c . ) with exponentially distributed service requirements. With c . o . s . ( c . o . c . ) all redundant copies are removed as soon as one of the copies starts (completes) service. As a consequence, c . o . s . does not waste any computing resources, as opposed to c . o . c . We show that the c . o . s . model is equivalent to a queueing system with multi-type jobs and servers, which was analyzed in Visschers et al., (2012), and show that c . o . c . (under the assumption of i.i.d. copies) can be analyzed by a generalization of Visschers et al., (2012) where state-dependent departure rates are permitted. This allows us to show that the stationary distribution for both the c . o . c . and c . o . s . models has a product form. We give a detailed first-time analysis for c . o . s and derive a closed form expression for important metrics like mean number of jobs in the system, and probability of waiting. We also note that the c . o . s . model is equivalent to Join-Shortest-Work queue with power of d (JSW( d )). In the latter, an incoming job is dispatched to the server with smallest workload among d randomly chosen ones. Thus, all our results apply mutatis-mutandis to JSW( d ). Comparing the performance of c . o . s . with that of c . o . c . with i.i.d. copies gives the unexpected conclusion (since c . o . s . does not waste any resources) that c . o . s . is worse in terms of mean number of jobs. As part of ancillary results, we illustrate that this is primarily due to the assumption of i.i.d. copies in case of c . o . c . (together with exponentially distributed requirements) and that such assumptions might lead to conclusions that are qualitatively different from that observed in practice.

Published
2018

7. Fast maximum coverage of system behavior from a performance and power point of view

Author

Jean-Marc Pierson, Georges Da Costa, Leandro Fontoura-Cupertino, 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), Université Fédérale Toulouse Midi-Pyrénées, and Université Toulouse III - Paul Sabatier (UT3)

Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Computer Networks and Communications, Computer science, media_common.quotation_subject, Système d'exploitation, Réseaux et télécommunications, 02 engineering and technology, computer.software_genre, Theoretical Computer Science, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], Architectures Matérielles, 0202 electrical engineering, electronic engineering, information engineering, Range (statistics), Quality (business), media_common, SIMPLE (military communications protocol), Performance counters, System coverage, 020206 networking & telecommunications, Systèmes embarqués, Computer Science Applications, Power (physics), Benchmarking, Computational Theory and Mathematics, Power, Key (cryptography), [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, 020201 artificial intelligence & image processing, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS], Performance indicator, Metric (unit), Data mining, computer, Software
Abstract

International audience; This article proposes a methodology for constructing and assessing the quality of benchmark-suites dedicated to understand server behavior. Applications are multiple:behavioral models creation, power capping, abnormal behavior detection, model validation. To reach all the operating points of one server, an automatic operating range detection is necessary. To get the knowledge of the operating range, an exhaustive search of possible reachable states must be conducted. While many works use for this purpose only simplistic benchmark-suites in their research, we show in this article that using simple assumptions (leading to simple models such as linear ones) introduces large bias. We identify the bias due to individual hardware components. The key for understanding and modeling of the system behavior (from performance and power consumption points of view) is to stress the system and its subsystems on a large set ofconfigurations, and to collect values spanningover a large spectrum.We define a coverage metric for evaluating the coverage of measured performance indicators and power values. We evaluate different benchmarks using that metric, and thoroughly analyze their impact on the collected values. Finally, we propose a benchmark-suite providing a large coverage, adapted to general cases.

Published
2020

8. DV-Hop Localization With Protocol Sequence Based Access

Author

Feng Shu, Huang Xinyu, Fu Xiao, Wei Jun, Yijin Zhang, Linqing Gui, Thierry Val, 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), Nanjing University of Science and Technology - NUST (CHINA), Nanjing University of Posts and Telecommunications - NJUPT (CHINA), Southeast University - SEU (CHINA), National Mobile Communications Research Laboratory - NCRL (Nanjing, Chine), Institut National Polytechnique de Toulouse - INPT (FRANCE), Nanjing University of Information Science and Technology (NUIST), Nanjing University of Posts and Telecommunications, National Mobile Communications Research Laboratory [Jiangsu], Southeast University [Jiangsu], Réseaux, Mobiles, Embarqués, Sans fil, Satellites (IRIT-RMESS), 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, and Université Toulouse - Jean Jaurès (UT2J)

Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Protocol sequence, Computer Networks and Communications, Computer science, Système d'exploitation, Time division multiple access, Réseaux et télécommunications, Aerospace Engineering, Access control, 02 engineering and technology, Broadcasting, Distance Vector Hop (DV-Hop), Hop (networking), [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], 0203 mechanical engineering, Architectures Matérielles, Computer Science::Networking and Internet Architecture, 0202 electrical engineering, electronic engineering, information engineering, Electrical and Electronic Engineering, business.industry, Network packet, ComputerSystemsOrganization_COMPUTER-COMMUNICATIONNETWORKS, 020302 automobile design & engineering, 020206 networking & telecommunications, Systèmes embarqués, Range-free, Localization, Automotive Engineering, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS], business, Wireless sensor network, Computer network
Abstract

International audience; Among typical range-free localization schemes for sensor networks, DV-Hop has its distinguishing advantage of the capability to localize unknown nodes, which have less than three or even no neighbor anchors. However, existing DV-Hop based localization methods have not considered the problem of packet collisions, which can frequently happen during the throughout-whole-network broadcast of numerous data packets at the first two steps of DV-Hop. In order to effectively improve the success rate of packet transmission between nodes, this paper proposes a medium access control (MAC) method based on Chinese Remainder Theorem (CRT) protocol sequence for DV-Hop localization. First, a broadcasting strategy is designed for the proposed MAC method. Then, dedicated procedures for both anchor nodes and unknown nodes are presented to implement the designed MAC method in DV-Hop localization. Through simulation and evaluation, the performance of DV-Hop localization with the proposed MAC method is thoroughly investigated. Simulation results show that when the number of protocol sequences is larger than a certain number, the proposed MAC method can provide DV-Hop with better localization accuracy than E-CSMA/CA, while keeping similar localization time.

Published
2018

9. Modeling, classifying and generating large-scale Google-like workload

Author

Ines de Courchelle, Georges Da Costa, Léo Grange, 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), 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, Université Toulouse III - Paul Sabatier (UT3), Équipe Services et Architectures pour Réseaux Avancés (LAAS-SARA), Laboratoire d'analyse et d'architecture des systèmes (LAAS), 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), Institut National Polytechnique de Toulouse - INPT (FRANCE), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-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)-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), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), and Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J)

Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], General Computer Science, 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], Architectures Matérielles, Schema (psychology), 0202 electrical engineering, electronic engineering, information engineering, Electrical and Electronic Engineering, Reference implementation, Workload generation, Workload analysis, Large scale, 020206 networking & telecommunications, Workload, Classification, Google dataset, Systèmes embarqués, Reproducible experiments, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, 020201 artificial intelligence & image processing, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS], Data mining, computer
Abstract

International audience; One of the key elements needed to test most large-scale scheduling algorithms is a testing infrastructure. Large scale is of upmost importance as failures and complex behaviors are common occurrences only at such scale. In order to test the reaction of a system to failures or extreme behaviors, it is necessary to be able to create large scale environments. Such an infrastructure must be reproducible so that several studies are able to compare themselves but also capable of diversity as otherwise it would risk to limit them to particular subcases. In this article, we propose a generic adaptable and reusable model of large scale workload. The original schema comes from the Google Cluster Workload Traces which is a perfect representative of large scale production workload. The methodology to produce the model can be used at different precision levels and can classify the input level without human supervision. Contrary to most model analysis of such traces, we propose along with our model a reference implementation in order for other studies using our results to produce comparable experiments.

Published
2018

10. Network Lifetime Management in Wireless Sensor Networks

Author

Adrien van den Bossche, Thierry Val, Ahmed Zouinkhi, Mohamed Naceur Abdelkrim, Hayfa Ayadi, 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 Gabès (TUNISIA), Institut National Polytechnique de Toulouse - INPT (FRANCE), Modélisation, Analyse et Commande de Systèmes - MACS (Gabès, Tunisie), Université de Gabès, Réseaux, Mobiles, Embarqués, Sans fil, Satellites (IRIT-RMESS), 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, and Université Toulouse - Jean Jaurès (UT2J)

Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], 0301 basic medicine, Computer science, Système d'exploitation, Réseaux et télécommunications, 02 engineering and technology, 7. Clean energy, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], 03 medical and health sciences, Architectures Matérielles, 0202 electrical engineering, electronic engineering, information engineering, Wireless, Electrical and Electronic Engineering, Instrumentation, Auto-adaptation, IOT, Energy, business.industry, Node (networking), 802.15.4, 020206 networking & telecommunications, Energy consumption, Systèmes embarqués, WSN, 030104 developmental biology, Transmission (telecommunications), Duty cycle, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, The Internet, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS], business, Wireless sensor network, Energy (signal processing), Computer network
Abstract

International audience; The energy consumption in Wireless Sensor Networks (WSNs) stills a very interesting challenge in both the industrial and the research field. The IEEE 802.15.4 standard is an excellent result of the collaboration between these both fields in order to well managing the energy consumed in the node by controlling its duty cycle. It presents the most efficient standards for low energy consumption that is why it is considered as the main technology for the Internet of Thing (IoT). Our work consists mainly of validating through an experimental testbed the two methods proposed. The first approach proposed is about computing the energy consumed by the node in its different transmission states with more efficiency. Although, the second approach deals with computing its most convenable duty cycle basing on the remaining energy in the battery of the node which presents a very interesting issue for the energy consumption in wireless communication.

Published
2018

11. Engineering secure systems: Models, patterns and empirical validation

Author

Brahim Hamid, Donatus Weber, 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ät Siegen (GERMANY), and Institut National Polytechnique de Toulouse - INPT (FRANCE)

Subjects
Scheme (programming language), General Computer Science, Computer science, Model transformation, 02 engineering and technology, Meta-modeling, Interface homme-machine, Domain (software engineering), Software, Architectures Matérielles, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Génie logiciel, Software system, computer.programming_language, Abstraction (linguistics), Operations architecture, Pattern, business.industry, 020207 software engineering, Modélisation et simulation, Model driven engineering, Metamodeling, System engineering, Cryptographie et sécurité, Security, Software engineering, business, Law, computer
Abstract

Several development approaches have been proposed to handle the growing complexity of software system design. The most popular methods use models as the main artifacts to construct and maintain. The desired role of such models is to facilitate, systematize and standardize the construction of software-based systems. In our work, we propose a model-driven engineering (MDE) methodological approach associated with a pattern-based approach to support the development of secure software systems. We address the idea of using patterns to describe solutions for security as recurring security problems in specific design contexts and present a well-proven generic scheme for their solutions. The proposed approach is based on metamodeling and model transformation techniques to define patterns at different levels of abstraction and generate different representations according to the target domain concerns, respectively. Moreover, we describe an operational architecture for development tools to support the approach. Finally, an empirical evaluation of the proposed approach is presented through a practical application to a use case in the metrology domain with strong security requirements, which is followed by a description of a survey performed among domain experts to better understand their perceptions regarding our approach.

Published
2018

12. Energy monitoring as an essential building block towards sustainable ultrascale systems

Author

Jorge G. Barbosa, Manuel F. Dolz, Marcos Dias De Assuncao, Helen D. Karatza, Ivona Brandic, Jean-Marc Pierson, Georges Da Costa, Francisco Almeida, Ilias Mavridis, Vicente Blanco, Ariel Oleksiak, Anne C. Elster, Anne-Cécile Orgerie, Laurent Lefèvre, Mateusz Jarus, Universidad de La Laguna [Tenerife - SP] (ULL), Algorithms and Software Architectures for Distributed and HPC Platforms (AVALON), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire de l'Informatique du Parallélisme (LIP), Centre National de la Recherche Scientifique (CNRS)-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-École normale supérieure - Lyon (ENS Lyon)-Centre National de la Recherche Scientifique (CNRS)-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-École normale supérieure - Lyon (ENS Lyon), Laboratoire de l'Informatique du Parallélisme (LIP), Departamento de matematica aplicada [Porto] (LIACC), Universidade do Porto, Vienna University of Technology (TU Wien), 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, Université Toulouse III - Paul Sabatier (UT3), Universidad Carlos III de Madrid [Madrid] (UC3M), Department of Electronic Systems [Trondheim] (IES NTNU), Norwegian University of Science and Technology [Trondheim] (NTNU), Norwegian University of Science and Technology (NTNU)-Norwegian University of Science and Technology (NTNU), Poznan Supercomputing and Networking Center (PSNC), Aristotle University of Thessaloniki, Poznan University of Technology (PUT), Design and Implementation of Autonomous Distributed Systems (MYRIADS), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-SYSTÈMES LARGE ÉCHELLE (IRISA-D1), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes 1 (UR1), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Nesus European COST Action IC1305European Commission under contract 288701 through the project CoolEmAlFrench Fonds national pour la Societe Numerique (FSN) XLCloudGrid5000FWF through project Y 904 START-Program 2015, Grid5000, Avalon, Myriads, Université de Bretagne Sud (UBS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Rennes (ENS Rennes)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-CentraleSupélec-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Bretagne Sud (UBS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-École normale supérieure - Rennes (ENS Rennes)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), Faculdade de Engenharia, Aristotle University of Thessaloniki (GREECE), Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Institut National de la Recherche en Informatique et en Automatique - INRIA (FRANCE), Institut National des Sciences Appliquées de Rennes - INSA (FRANCE), Norwegian University of Science and Technology - NTNU (NORWAY), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Poznan Supercomputing and Networking Center - PSNC (POLAND), Université de Bretagne Sud - UBS (FRANCE), Universität Wien (AUSTRIA), Universidad Carlos III de Madrid - UC3M (SPAIN), Universidad de La Laguna - ULL (SPAIN), Universidade do Porto - UP (PORTUGAL), Université de Rennes 1 (FRANCE), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), Institut de Recherche en Informatique et Systèmes Aléatoires - IRISA (Rennes, France), Institut National Polytechnique de Toulouse - INPT (FRANCE), Universidad de La Laguna ( ULL ), Algorithms and Software Architectures for Distributed and HPC Platforms ( AVALON ), Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Laboratoire de l'Informatique du Parallélisme ( LIP ), École normale supérieure - Lyon ( ENS Lyon ) -Université Claude Bernard Lyon 1 ( UCBL ), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique ( Inria ) -Centre National de la Recherche Scientifique ( CNRS ) -École normale supérieure - Lyon ( ENS Lyon ) -Université Claude Bernard Lyon 1 ( UCBL ), Université de Lyon-Université de Lyon-Centre National de la Recherche Scientifique ( CNRS ), Laboratoire de l'Informatique du Parallélisme ( LIP ), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique ( Inria ) -Centre National de la Recherche Scientifique ( CNRS ), Departamento de matematica aplicada [Porto] ( LIACC ), University of Porto, Technical University of Vienna [Vienna] ( TU WIEN ), Institut de recherche en informatique de Toulouse ( IRIT ), Institut National Polytechnique [Toulouse] ( INP ) -Université Toulouse 1 Capitole ( UT1 ) -Université Toulouse - Jean Jaurès ( UT2J ) -Université Paul Sabatier - Toulouse 3 ( UPS ) -Centre National de la Recherche Scientifique ( CNRS ), Universidad Carlos III de Madrid [Madrid], Department of Electronics and Telecommunications [Norwegian University of Science and Technology], Norwegian University of Science and Technology [Trondheim] ( NTNU ), Poznan Supercomputing and Networking Center ( PSNC ), Poznan University of Technology, Design and Implementation of Autonomous Distributed Systems ( MYRIADS ), Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -SYSTÈMES LARGE ÉCHELLE ( IRISA_D1 ), Institut de Recherche en Informatique et Systèmes Aléatoires ( IRISA ), Université de Rennes 1 ( UR1 ), Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Institut National des Sciences Appliquées - Rennes ( INSA Rennes ) -Université de Bretagne Sud ( UBS ) -École normale supérieure - Rennes ( ENS Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS ) -IMT Atlantique Bretagne-Pays de la Loire ( IMT Atlantique ) -Université de Rennes 1 ( UR1 ), Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Institut National des Sciences Appliquées - Rennes ( INSA Rennes ) -Université de Bretagne Sud ( UBS ) -École normale supérieure - Rennes ( ENS Rennes ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS ) -IMT Atlantique Bretagne-Pays de la Loire ( IMT Atlantique ) -Institut de Recherche en Informatique et Systèmes Aléatoires ( IRISA ), Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Institut National des Sciences Appliquées - Rennes ( INSA Rennes ) -Université de Bretagne Sud ( UBS ) -École normale supérieure - Rennes ( ENS Rennes ) -CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS ) -IMT Atlantique Bretagne-Pays de la Loire ( IMT Atlantique ), École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Centre National de la Recherche Scientifique (CNRS), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Universidade do Porto = University of Porto, Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-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)-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), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), and Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique)

Subjects
Ultra large-scale systems, Monitoring, General Computer Science, Computer science, [ INFO.INFO-NI ] Computer Science [cs]/Networking and Internet Architecture [cs.NI], 020209 energy, energy-efficiency, Big data, Ultra-large-scale systems, Système d'exploitation, Réseaux et télécommunications, Engenharia electrotécnica, electrónica e informática [Ciências da engenharia e tecnologias], 02 engineering and technology, Bottleneck, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], [ INFO.INFO-DC ] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], Architectures Matérielles, Computer engineering, Electrical engineering, Electronic engineering, Information engineering, 0202 electrical engineering, electronic engineering, information engineering, energy-awareness, Electrical and Electronic Engineering, Simulation, Block (data storage), Energy-efficiency, business.industry, Information and Computer Science, Systèmes embarqués, Electrical engineering, Electronic engineering, Information engineering [Engineering and technology], monitoring, Engenharia de computadores, Engenharia electrotécnica, electrónica e informática, Risk analysis (engineering), Information technology management, Sustainability, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], business, Energy-awareness, Efficient energy use
Abstract

International audience; An Ultrascale System (USS) joins parallel and distributed computing systems that will be two to three orders of magnitude larger than today's infrastructure regarding scale, performance, the number of components and their complexity. For such systems to become a reality, however, advances must be made in High Performance Computing (HPC), large-scale distributed systems, and big data solutions, also tackling challenges such as improving the energy efficiency of the IT infrastructure. Monitoring the power consumed by underlying IT resources is essential towards optimising the manner IT resources are used and hence improve the sustainability of such systems. Nevertheless, monitoring the energy consumed by USSs is a challenging endeavour as the system can comprise thousands of heterogeneous server resources spanning multiple data centres. Moreover, the amount of monitoring data, its gathering, and processing , should never become a bottleneck nor profoundly impact the energy efficiency of the overall system. This work surveys state of the art on energy monitoring of large-scale systems and methodologies for monitoring the power consumed by large systems and discusses some of the challenges to be addressed towards monitoring and improving the energy efficiency of USSs. Next, we present efforts made on designing monitoring solutions. Finally, we discuss potential gaps in existing solutions when tackling emerging large-scale monitoring scenarios and present some directions for future research on the topic.

Published
2018

13. Interactions and Influence of World Painters From the Reduced Google Matrix of Wikipedia Networks

Author

Katia Jaffrès-Runser, Dima L. Shepelyansky, Klaus M. Frahm, Samer El Zant, 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), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Réseaux, Mobiles, Embarqués, Sans fil, Satellites (IRIT-RMESS), 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), Information et Chaos Quantiques (LPT), Laboratoire de Physique Théorique (LPT), Institut de Recherche sur les Systèmes Atomiques et Moléculaires Complexes (IRSAMC), Université Toulouse III - Paul Sabatier (UT3), 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-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche sur les Systèmes Atomiques et Moléculaires Complexes (IRSAMC), 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), ANR-13-CHR2-0002,MACACO,Mise en cache mobile s'adaptant au contexte pour la mise en réseau centrée sur le contenue(2013), ANR-11-IDEX-0002,UNITI,Université Fédérale de Toulouse(2011), Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Institut de Recherche sur les Systèmes Atomiques et Moléculaires Complexes (IRSAMC), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées, Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Toulouse III - Paul Sabatier (UT3), and 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)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse)

Subjects
FOS: Computer and information sciences, Physics - Physics and Society, General Computer Science, Computer science, Big data, Système d'exploitation, FOS: Physical sciences, Réseaux et télécommunications, Physics and Society (physics.soc-ph), 01 natural sciences, [INFO.INFO-SI]Computer Science [cs]/Social and Information Networks [cs.SI], 010305 fluids & plasmas, Architectures Matérielles, 0103 physical sciences, Web page, General Materials Science, Electrical and Electronic Engineering, 010306 general physics, Social and Information Networks (cs.SI), Structure (mathematical logic), Painting, Information retrieval, Markov chains, Google matrix, business.industry, [PHYS.PHYS.PHYS-SOC-PH]Physics [physics]/Physics [physics]/Physics and Society [physics.soc-ph], General Engineering, Computer Science - Social and Information Networks, Systèmes embarqués, Encyclopedia, Electronic publishing, The Internet, lcsh:Electrical engineering. Electronics. Nuclear engineering, business, lcsh:TK1-9971, Wikipedia networks
Abstract

This study concentrates on extracting painting art history knowledge from the network structure of Wikipedia. Therefore, we construct theoretical networks of webpages representing the hyper-linked structure of articles of 7 Wikipedia language editions. These 7 networks are analyzed to extract the most influential painters in each edition using Google matrix theory. Importance of webpages of over 3000 painters are measured using PageRank algorithm. The most influential painters are enlisted and their ties are studied with the reduced Google matrix analysis. Reduced Google Matrix is a powerful method that captures both direct and hidden interactions between a subset of selected nodes taking into account the indirect links between these nodes via the remaining part of large global network. This method originates from the scattering theory of nuclear and mesoscopic physics and field of quantum chaos. From this study, we show that it is possible to extract from the components of the reduced Google matrix meaningful information on the ties between these painters. For instance, our analysis groups together painters that belong to the same painting movement and shows meaningful ties between painters of different movements. We also determine the influence of painters on world countries using link sensitivity between Wikipedia articles of painters and countries. The reduced Google matrix approach allows to obtain a balanced view of various cultural opinions of Wikipedia language editions. The world countries with the largest number of top painters of selected 7 Wikipedia editions are found to be Italy, France, Russia. We argue that this approach gives meaningful information about art and that it could be a part of extensive network analysis on human knowledge and cultures., Comment: 15 pages, 10 figures, submitted to IEEE Access

Published
2018

14. Comparative Analysis of Ranging Protocols for Localization by UWB in Outdoor

Author

Bouya Diop, Salick Diagne, Abdou Karim Farota, Thierry Val, Laboratoire des Sciences de l’atmosphère et des Océans (LSAO), Université Gaston Berger de Saint-Louis Sénégal (UGB), Réseaux, Mobiles, Embarqués, Sans fil, Satellites (IRIT-RMESS), 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 - Jean Jaurès (UT2J), 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é Gaston Berger de Saint-Louis - UGB (SENEGAL), and Institut National Polytechnique de Toulouse - INPT (FRANCE)

Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Computer science, ToF, Real-time computing, Système d'exploitation, Réseaux et télécommunications, Ultra-wideband, 02 engineering and technology, Field (computer science), [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], UWB, Outdoor location, Architectures Matérielles, 0202 electrical engineering, electronic engineering, information engineering, Wireless, DecaWiNo, TWR, Ranging, business.industry, Process (computing), Skew, 020206 networking & telecommunications, Systèmes embarqués, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, 020201 artificial intelligence & image processing, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS], Actuator, business, Wireless sensor network
Abstract

International audience; The rapid evolution of technology in the field of wireless telecommunications and micro components using MEMS technologies (Micro-electromechanical systems) has contributed to the expansion and rapid development of wireless sensor networks (WSN). This rapid development has contributed to the appearance of sensor and actuator networks (WSAN) or even to the Internet of Things with DL_IoT (Device Layer-Internet of Things). This rapid evolution of WSN is due to the enthusiasm generated by this last in industry and research. This new technology is used in several applications, particularly in the outdoor location of communicating nodes. The process of distance calculation between nodes (ranging) is a primordial phase for a precise location of these nodes. This paper presents the result of measurements do with three ranging protocols (TWR, TWR_Skew and SDS-TWR) implemented on DecaWiNo nodes. DecaWiNo nodes use the Ultra Wide Band (UWB) radio links, proposed by the IEEE 802.15.4 standard amendment of the year 2007, which provides a high performance ranging by ToF (Time of Flight). The results are very promising with precision errors of the order of 50 cm over 20 meters.

Published
2018

15. A dedicated approach for model composition traceability

Author

Bernard Coulette, Adil Anwar, Mahmoud Nassar, Youness Laghouaouta, Université Mohammed V, Smart Modeling for softw@re Research and Technology (IRIT-SM@RT), 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, 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-Rabat - UM5 (MOROCCO), and Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France)

Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Traceability, Computer science, media_common.quotation_subject, Context (language use), [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 02 engineering and technology, Tracing, Interface homme-machine, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Architectures Matérielles, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Génie logiciel, Quality (business), Relevance (information retrieval), [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], Software system, Model composition, media_common, computer.programming_language, business.industry, 020207 software engineering, Modélisation et simulation, Systèmes embarqués, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Model traceability, Graph transformations, Computer Science Applications, NFR framework, Scalability, Cryptographie et sécurité, Systems engineering, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, Model-driven architecture, Software engineering, business, Aspect-oriented modeling, computer, Software, Information Systems
Abstract

International audience; Context: Software systems are often too complex to be expressed by a single model. Recognizing this, the Model Driven Engineering (MDE) proposes multi-modeling approaches to allow developers to describe a system from different perspectives. In this context, model composition has become important since the combination of those partial representations is inevitable. Nevertheless, no approach has been defined for keeping track of the composition effects, and this operation has been overshadowed by model transformations. Objective: This paper presents a traceability approach dedicated to the composition of models. Two aspects of quality are considered: producing relevant traces; and dealing with scalability. Method: The composition of softgoal trees has been selected to motivate the need for tracing the composition of models and to illustrate our approach. The base principle is to augment the specification of the composition with the behavior needed to generate the expected composed model accompanied with a trace model. This latter includes traces of the execution details. For that, traceability is considered as a crosscutting concern and encapsulated in an aspect. As part of the proposal, an Eclipse plug-in has been implemented as a tool support. Besides, a comparative experiment has been conducted to assess the traces relevance. We also used the regression method to validate the scalability of the tool support. Results: Our experiments show that the proposed approach allows generating relevant traces. In addition, the obtained results reveal that tracing a growing number of elements causes an acceptable increase of response time.Conclusion: This paper presents a traceability approach dedicated to the composition of models and its application to softgoal trees. The experiment results reveal that our proposal considers the composition specificities for producing valuable traceability information while supporting scalability.

Published
2017

16. Multi-cultural Wikipedia mining of geopolitics interactions leveraging reduced Google matrix analysis

Author

Samer El Zant, Klaus M. Frahm, Dima L. Shepelyansky, Katia Jaffrès-Runser, 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), Information et Chaos Quantiques (LPT), Laboratoire de Physique Théorique (LPT), Institut de Recherche sur les Systèmes Atomiques et Moléculaires Complexes (IRSAMC), Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Toulouse III - Paul Sabatier (UT3), 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)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), 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)-Institut de Recherche sur les Systèmes Atomiques et Moléculaires Complexes (IRSAMC), 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), Réseaux, Mobiles, Embarqués, Sans fil, Satellites (IRIT-RMESS), 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), CNRS MASTODONS project APLIGOOGLE 2016, Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche sur les Systèmes Atomiques et Moléculaires Complexes (IRSAMC), Université de Toulouse (UT)-Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-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)-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), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), and Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)

Subjects
FOS: Computer and information sciences, [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Physics - Physics and Society, Wikipedia network, Relation (database), media_common.quotation_subject, Système d'exploitation, FOS: Physical sciences, Réseaux et télécommunications, General Physics and Astronomy, World history, Physics and Society (physics.soc-ph), Geopolitics, 01 natural sciences, 010305 fluids & plasmas, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], Politics, Architectures Matérielles, 0103 physical sciences, Web page, 010306 general physics, media_common, Social and Information Networks (cs.SI), International relations, Physics, Markov chains, Google matrix, Geopolitical interactions of countries, Computer Science - Social and Information Networks, geopolitical relations, Nonlinear Sciences - Chaotic Dynamics, Systèmes embarqués, Data science, directed networks, Multiculturalism, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS], Chaotic Dynamics (nlin.CD), Wikipedia
Abstract

Geopolitics focuses on political power in relation to geographic space. Interactions among world countries have been widely studied at various scales, observing economic exchanges, world history or international politics among others. This work exhibits the potential of Wikipedia mining for such studies. Indeed, Wikipedia stores valuable fine-grained dependencies among countries by linking webpages together for diverse types of interactions (not only related to economical, political or historical facts). We mine herein the Wikipedia networks of several language editions using the recently proposed method of reduced Google matrix analysis. This approach allows to establish direct and hidden links between a subset of nodes that belong to a much larger directed network. Our study concentrates on 40 major countries chosen worldwide. Our aim is to offer a multicultural perspective on their interactions by comparing networks extracted from five different Wikipedia language editions, emphasizing English, Russian and Arabic ones. We demonstrate that this approach allows to recover meaningful direct and hidden links among the 40 countries of interest., Comment: 12 Pages, 6 figures, final version with slight modifications, accepted for publication in Physics Letters A. arXiv admin note: text overlap with arXiv:1609.01948

Published
2017

17. Spatio-temporal thermal-aware scheduling for homogeneous high-performance computing datacenters

Author

Patricia Stolf, Hongyang Sun, Jean-Marc Pierson, École normale supérieure de Lyon (ENS de Lyon), Optimisation des ressources : modèles, algorithmes et ordonnancement (ROMA), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Centre National de la Recherche Scientifique (CNRS), 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 Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-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)-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), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), ANR-10-LABX-0070,MILYON,Community of mathematics and fundamental computer science in Lyon(2010), European Project: 288701,EC:FP7:ICT,FP7-ICT-2011-7,COOLEMALL(2011), École normale supérieure - Lyon (ENS Lyon), Centre National de la Recherche Scientifique (CNRS)-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-École normale supérieure - Lyon (ENS Lyon)-Centre National de la Recherche Scientifique (CNRS)-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-École normale supérieure - Lyon (ENS Lyon), 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, Centre National de la Recherche Scientifique - CNRS (FRANCE), Ecole Normale Supérieure de Lyon - ENS de Lyon (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Institut National de la Recherche en Informatique et en Automatique - INRIA (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), and Institut National Polytechnique de Toulouse - INPT (FRANCE)

Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Computer Networks and Communications, Computer science, Distributed computing, Système d'exploitation, Réseaux et télécommunications, Hardware_PERFORMANCEANDRELIABILITY, 02 engineering and technology, Scheduling (computing), Spatio-temporal correlation, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], Architectures Matérielles, Server, 0202 electrical engineering, electronic engineering, information engineering, Resource management, DVFS, Frequency scaling, HPC datacenters, 020203 distributed computing, Makespan, Job shop scheduling, Heuristic, Energy consumption, Thermal model, Supercomputer, Systèmes embarqués, 020202 computer hardware & architecture, Hardware and Architecture, Homogeneous, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, Software, Thermal-aware scheduling
Abstract

Datacenters have become an important part of todays computing infrastructure. Recent studies have shown the increasing importance of thermal considerations to achieve effective resource management. In this paper, we study thermal-aware scheduling for homogeneous high-performance computing (HPC) datacenters under a thermal model that captures both spatial and temporal correlations of the temperature evolution. We propose an online scheduling heuristic to minimize the makespan for a set of HPC applications subject to a thermal constraint. The heuristic leverages the novel notion of thermal-aware load to perform both job assignment and thermal management. To respect the temperature constraint, which is governed by a complex spatio-temporal thermal correlation, dynamic voltage and frequency scaling (DVFS) is used to regulate the job executions during runtime while dynamically balancing the loads of the servers to improve makespan. Extensive simulations are conducted based on an experimentally validated datacenter configuration and realistic parameter settings. The results show improved performance of the proposed heuristic compared to existing solutions in the literature, and demonstrate the importance of both spatial and temporal considerations. In contrast to some scheduling problems, where DVFS introduces performanceenergy tradeoffs, our findings reveal the benefit of applying DVFS with both performance and energy gains in the context of spatio-temporal thermal-aware scheduling. Thermal model capturing both spatial and temporal temperature correlations in datacenters.Formulation of a spatio-temporal thermal-aware scheduling problem for HPC applications.Scheduling heuristic using thermal-aware load for job assignment and thermal management.Simulations to show the effectiveness of heuristic under a wide range of parameters.

Published
2017

18. Supporting pattern-based dependability engineering via model-driven development: Approach, tool-support and empirical validation

Author

Jon Perez, Brahim Hamid, Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - INPT (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), IK4-IKERLAN (SPAIN), 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, IK4 - IKERLAN [Mondragón], and Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)

Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Engineering, Context (language use), [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 02 engineering and technology, Reuse, Dependability, Meta-modeling, Interface homme-machine, Domain (software engineering), Set (abstract data type), [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Software, Architectures Matérielles, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Génie logiciel, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], Software system, Patterns, Operations architecture, business.industry, 020207 software engineering, Modélisation et simulation, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Systèmes embarqués, Model driven engineering, System engineering, Hardware and Architecture, Cryptographie et sécurité, Systems engineering, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, Safety, Software engineering, business, Information Systems
Abstract

A pattern-based approach as a new method for system dependability engineering based on the reuse of patterns.The design a set of DSMLs to specify the dependability patterns.The development of a set of tools to support the proposed approach.The application of the approach in the context of railway systems.These results suggest our work has wider applicability and usefulness. Safety-critical systems require a high level of safety and integrity. Therefore, generating such systems involves specific software building processes. Many domains are not traditionally involved in these types of software problems and must adapt their current processes accordingly. Typically, such requirements are developed ad hoc for each system, preventing further reuse beyond the domain-specific boundaries. This paper proposes a solution for software system development based on the reuse of dedicated subsystems, i.e., so-called dependability patterns that have been pre-engineered to adapt to a specific domain. We use Model-Driven Engineering (MDE) to describe dependability patterns and a methodology for developing dependable software systems using these patterns. Moreover, we describe an operational architecture for development tools to support the approach. An empirical evaluation of the proposed approach is presented through its practical application to a case study in the railway domain, which has strong dependability requirements, to support a pattern-based development approach. This case study is followed by a survey to better understand the perceptions of practitioners regarding our approach.

Published
2016

19. Everything You Should Know About Intel SGX Performance on Virtualized Systems

Author

Alain Tchana, Stella Bitchebe, Bao Bui, Tu Dinh Ngoc, Daniel Hagimont, Valerio Schiavoni, Pascal Felber, 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, Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (... - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA), Université de Neuchâtel (UNINE), Institut National Polytechnique (Toulouse) (Toulouse INP), 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), and Université de Neuchâtel (SWITZERLAND)

Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Computer science, Computer Networks and Communications, Performance, Système d'exploitation, 0211 other engineering and technologies, Réseaux et télécommunications, Cloud computing, Trusted hardware, 02 engineering and technology, computer.software_genre, 01 natural sciences, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], Architectures Matérielles, Virtualization, 0103 physical sciences, Computer Science (miscellaneous), Intel SGX, 0202 electrical engineering, electronic engineering, information engineering, Safety, Risk, Reliability and Quality, Block (data storage), 010302 applied physics, 021110 strategic, defence & security studies, business.industry, Systèmes embarqués, 020202 computer hardware & architecture, Hardware and Architecture, Operating system, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS], business, computer, Software
Abstract

International audience; Intel SGX has attracted much attention from academia and is already powering commercial applications. Cloud providers have also started implementing SGX in their cloud offerings. Research efforts on Intel SGX so far have mainly concentrated on its security and programmability. However, no work has studied in detail the performance degradation caused by SGX in virtualized systems. Such settings are particularly important, considering that virtualization is the de facto building block of cloud infrastructure, yet often comes with a performance impact. This paper presents for the first time a detailed performance analysis of Intel SGX in a virtualized system in comparison with a bare-metal system. Based on our findings, we identify several optimization strategies that would improve the performance of Intel SGX on such systems.

Published
2019

20. Divide to Conquer: Functional Decomposition to Support Model-Based Engineering of Command and Control of Cyber-Physical Systems

Author

Christine Gris, Alexandre Canny, Camille Fayollas, Célia Martinie, Yannick Deleris, Philippe Palanque, David Navarre, Airbus (FRANCE), 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), Interactive Critical Systems (IRIT-ICS), 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, and Airbus [France]

Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Computer science, Distributed computing, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Interactive systems, Functional decomposition, Interface homme-machine, law.invention, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Software, Architectures Matérielles, law, Command and control, Génie logiciel, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], business.industry, Cyber-physical system, Modélisation et simulation, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Systèmes embarqués, Cockpit, Cryptographie et sécurité, Task analysis, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, CPS, User interface, business, Remote control
Abstract

International audience; Cyber-physical systems (CPS) integrate both physical and computational elements and their engineering requires bridging the continuous analog real world and the discrete digital world. User interfaces of cyber-physical systems belong to the class of command and control systems and their design and engineering usually follow ad-hoc craft processes highly parametrized by the very nature of the physical component(s). This paper proposes a systematic approach for engineering CPS, emphasizing the problems and possible solutions to design and assess their user interfaces (both control and presentation). The paper first proposes a generic architecture for CPS going from the physical element(s) to the user interface. This architecture is then refined, highlighting the behavior and software interfaces of each of its component and showing how information and control from the physical elements have to be processed and transformed to make sense to the operator. The paper presents extracts of the application of the proposed approach to the command and control cockpit application of an aircraft system.

Published
2019

21. e-Flooding: Crisis Management through Two Temporal Loops

Author

Patricia Stolf, Paul Renaud-Goud, Amal Sayah, Georges Da Costa, Jean-Marc Pierson, 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
Resilience, Flood myth, Computer science, business.industry, Système d'exploitation, Réseaux et télécommunications, Crisis management, Systèmes embarqués, Digital government flash floods, Flooding (computer networking), Flood crisis management, Risk management, Risk analysis (engineering), Architectures Matérielles, Disaster Information, Flash flood, Technology and resilience in digital government, Natural disaster, Resilience (network), business
Abstract

Floods, particularly fast ones, are recurrent natural disasters with a large impact on people and infrastructures. In order to mitigate their impact most countries created regulatory frameworks to coordinate the large number of actors participating to the response of these crises. Several levels from rescue to infrastructure restoration are involved. This article proposes to improve the management of risk and resilience in areas subject to flash floods. The innovative autonomic approach presented in this article is twofold: A short-term feedback loop using a large range of information to help managing the current flood; A long-term feedback loop aiming at improving the resilience of the area to reduce the impact of future crises. The originality of these two loops consists in their link which helps improving the quality of both by feeding each other. This article also describes a scenario showing several benefits of the proposed approach.

Published
2019

22. Initial Placement Optimization for Multi-channel UAV Networks

Author

Dorin Rautu, Emmanuel Chaput, Riadh Dhaou, Réseaux, Mobiles, Embarqués, Sans fil, Satellites (IRIT-RMESS), 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), 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
Ad-hoc network, [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Computer science, Wireless ad hoc network, Deployment, Système d'exploitation, Réseaux et télécommunications, ComputerApplications_COMPUTERSINOTHERSYSTEMS, 02 engineering and technology, 01 natural sciences, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], Architectures Matérielles, 0202 electrical engineering, electronic engineering, information engineering, Channel switching, Unmanned Aerial Vehicle (UAV), Multi channel, business.industry, 010401 analytical chemistry, 020206 networking & telecommunications, Systèmes embarqués, Telecommunications network, Drone, 0104 chemical sciences, Work (electrical), [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS], business, Computer network
Abstract

International audience; Unmanned Aerial Vehicles (UAV) can be used to deploy communication networks by acting as access points for ground users. Taking advantage of the lightness and the high maneuverability of drones, such a network can be implemented quickly and inexpensively in situations where network infrastructures are damaged or overloaded (emergency situations), or nonexistent (wild life observation). To mitigate these issues, an off-loading network based on UAVs carrying radio access points was proposed in our previous work. The goal is to temporarily provide multiple services, voice, video, data, etc., over a specific zone. The design of the aerial network was formulated as a self-deployment method built on a Coulomb's law analogy where users and UAVs act as electrical charges. In this paper, we go beyond the proposed scheme by considering a multi-channel model taking into account the interference. We set up association and channel switching schemes that boost the overall performance of the network.

Published
2019

23. Tasks in Modular Proofs of Concurrent Algorithms

Author

Armando Castañeda, Aurélie Hurault, Philippe Quéinnec, Matthieu Roy, Universidad Nacional Autónoma de México (UNAM), Assistance à la Certification d’Applications DIstribuées et Embarquées (IRIT-ACADIE), 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), Laboratoire Solomon Lefschetz (LaSol), Universidad Nacional Autónoma de México (UNAM)-Centre National de la Recherche Scientifique (CNRS), Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique (LAAS-TSF), Laboratoire d'analyse et d'architecture des systèmes (LAAS), 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), Centre National de la Recherche Scientifique - CNRS (FRANCE), Consejo Nacional de Ciencia y Tecnología - CONACYT (MEXICO), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Universidad Nacional Autónoma de México - UNAM (MEXICO), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), Universidad Nacional Autónoma de México = National Autonomous University of Mexico (UNAM), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-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)-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), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Centre National de la Recherche Scientifique (CNRS), 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), and ANR-16-CE25-0006,PARDI,Vérification de systèmes distribués paramétrés(2016)

Subjects
FOS: Computer and information sciences, [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Renaming, Correctness, Computer science, Process (engineering), Splitter, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 0102 computer and information sciences, 02 engineering and technology, Mathematical proof, Interface homme-machine, 01 natural sciences, Theoretical Computer Science, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Architectures Matérielles, Linearizability, 0202 electrical engineering, electronic engineering, information engineering, Génie logiciel, TLA +, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], business.industry, Formal methods, Verification, Order (ring theory), Concurrent algorithms -Renaming, Concurrent algorithms, Modular design, Modélisation et simulation, Base (topology), Systèmes embarqués, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Computer Science Applications, Distributed tasks, Computational Theory and Mathematics, Computer Science - Distributed, Parallel, and Cluster Computing, 010201 computation theory & mathematics, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Cryptographie et sécurité, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, 020201 artificial intelligence & image processing, Distributed, Parallel, and Cluster Computing (cs.DC), [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], business, Concurrent algorithms - Renaming, Algorithm, Information Systems
Abstract

Proving correctness of distributed or concurrent algorithms is a mind-challenging and complex process. Slight errors in the reasoning are difficult to find, calling for computer-checked proof systems. In order to build computer-checked proofs with usual tools, such as Coq or TLA+, having sequential specifications of all base objects that are used as building blocks in a given algorithm is a requisite to provide a modular proof built by composition. Alas, many concurrent objects do not have a sequential specification. This article describes a systematic method to transform any task, a specification method that captures concurrent one-shot distributed problems, into a sequential specification involving two calls, Set and Get. This transformation allows system designers to compose proofs, thus providing a framework for modular computer-checked proofs of algorithms designed using tasks and sequential objects as building blocks. The Moir&Anderson implementation of renaming using splitters is an iconic example of such algorithms designed by composition., Long version of paper in 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2019)

Published
2019

24. On the diversity of asynchronous communication

Author

Philippe Quéinnec, Florent Chevrou, Aurélie Hurault, Assistance à la Certification d’Applications DIstribuées et Embarquées (IRIT-ACADIE), 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), 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), and Institut National Polytechnique de Toulouse - INPT (FRANCE)

Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Model checking, Correctness, Theoretical computer science, Computer science, Distributed computing, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 0102 computer and information sciences, 02 engineering and technology, Interface homme-machine, 01 natural sciences, Theoretical Computer Science, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Architectures Matérielles, Single entity, 0202 electrical engineering, electronic engineering, information engineering, Génie logiciel, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], Formal verification, Implementation, 020207 software engineering, Modélisation et simulation, Systèmes embarqués, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, TLA+, 010201 computation theory & mathematics, Asynchronous communication, Models of communication, Theory of computation, Cryptographie et sécurité, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, Compatibility checking, Software
Abstract

Asynchronous communication is often viewed as a single entity, the counterpart of synchronous communication. Although the basic concept of asynchronous communication is the decoupling of send and receive events, there is actually room for a variety of additional specification of the communication, for instance in terms of ordering. Yet, these different asynchronous communications are used interchangeably and seldom distinguished. This paper is a contribution to the study of these models, their differences, and how they are related. In this paper, the variety of point-to-point asynchronous communication paradigms is considered with two approaches. In the first and theoretical one, communication models are specified as properties on the ordering of events in distributed executions. In the second and more practical approach that involves composition of peers, they are modeled with transition systems and message histories as part of a framework. The described framework enables to model peer composition and compatibility properties. Besides, an implemented tool chain based on the TLA + formalism and model checking is also proposed and illustrated. The conformance of the two approaches is highlighted. A hierarchy is established between the studied communication models. From the execution viewpoint, it completes existing work in the area by introducing more asynchronous communication models and showing their differences. The framework is shown to offer abstract implementations of the communication models. Both the correctness and the completeness of the descriptions in the framework are studied. This reveals necessary restrictions on the behavior of the peers so that the communication models are actually implementable.

Published
2016

25. Modulo Based Data Placement Algorithm for Energy Consumption Optimization of MapReduce System

Author

Zhi Wang, Jie Song, Jean-Marc Pierson, Hongyan He, Ge Yu, Northeastern University [Shenyang], 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, 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), Northeastern University (CHINA), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), and Institut National Polytechnique de Toulouse - INPT (FRANCE)

Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Correctness, Map Reduce, Computer Networks and Communications, Computer science, Distributed computing, Modulo, Data management, Big data, Système d'exploitation, Réseaux et télécommunications, 02 engineering and technology, Data placement, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], Architectures Matérielles, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Production (economics), sort, business.industry, Energy consumption, Systèmes embarqués, Energy consumption optimization, Hardware and Architecture, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, 020201 artificial intelligence & image processing, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS], business, Algorithm, Software, Energy (signal processing), Information Systems
Abstract

International audience; With the explosion of data production, the efficiency of data management and analysis has been concerned by both industry and academia. Meanwhile, more and more energy is consumed by the IT infrastructure especially the larger scale distributed systems. In this paper, a novel idea for optimizing the Energy Consumption (EC for short) of MapReduce system is proposed. We argue that a fair data placement is helpful to save energy, and then we propose three goals of data placement, and a modulo based Data Placement Algorithm (DPA for short) which achieves these goals. Afterwards, the correctness of the proposed DPA is proved from both theoretical and experimental perspectives. Three different systems which implement MapReduce model with different DPAs are compared in our experiments. Our algorithm is proved to optimize EC effectively, without introducing the additional costs and delaying data loading. With the help of our DPA, the EC for the WordCount , Sort and MRBench can be reduced by 10.9 %, 8.3 % and 17 % respectively, and time consumption is reduced by 7 %, 6.3 % and 7 % respectively.

Published
2016

26. IDF: A framework for the incremental development and conformance verification of UML active primitive components

Author

Anne-Lise Courbis, Christian Percebois, Hong-Viet Luong, Thomas Lambolais, Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - INPT (FRANCE), M2M ndt (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), IMT Mines Alès (FRANCE), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), Laboratoire de Génie Informatique et Ingénierie de Production (LGI2P), IMT - MINES ALES (IMT - MINES ALES), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1)-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), 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)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées, M2M-NDT, Modèles, Architectures, Composants, Agilité et prOcessus (IRIT-MACAO), 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), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), and Institut Mines-Télécom [Paris] (IMT)

Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Engineering drawing, Computer science, Liveness, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 0102 computer and information sciences, 02 engineering and technology, computer.software_genre, Interface homme-machine, 01 natural sciences, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], Unified Modeling Language, Architectures Matérielles, Component (UML), Conformance relations, 0202 electrical engineering, electronic engineering, information engineering, Génie logiciel, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], Reactive system, ComputingMilieux_MISCELLANEOUS, computer.programming_language, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], UML tool, Iterative and incremental development, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Finite-state machine, Programming language, Incremental development, 020207 software engineering, Modélisation et simulation, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Systèmes embarqués, State machine refinement, 010201 computation theory & mathematics, Hardware and Architecture, Cryptographie et sécurité, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, Incremental build model, computer, Software, Information Systems
Abstract

International audience; Modelling component behaviour is widely recognised as a complex task during the specification and design phases of reactive systems. Our proposal for treating this problem involves an incremental approach that allows UML state machines to be built using a composition of two types of development: model extension for adding services or behaviours, and refinement for adding details or eliminating non-determinism. At each step of the development process, the current model is verified for compliance with the model obtained during the previous step, in such a way that initial liveness properties are preserved. The novelty of this work lies in the possibility to combine and sequence both refinement and extension developments. This iterative process is usually not taken into account in conventional refinement relations. This set of development techniques and verification means are assembled into a framework called IDF (Incremental Development Framework), which is supported by a tool, under the acronym IDCM (Incremental Development of Compliant Models), developed herein in addition to the Topcased UML tool.

Published
2016

27. Markov-modulated M/G/1-type queue in heavy traffic and its application to time-sharing disciplines

Author

Ina Maria Verloop, H. Thorsdottir, Centrum Wiskunde & Informatica and Universiteit of Amsterdam, Réseaux, Mobiles, Embarqués, Sans fil, Satellites (IRIT-RMESS), 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, Centre National de la Recherche Scientifique (CNRS), Centre National de la Recherche Scientifique - CNRS (FRANCE), Centrum Wiskunde and Informatica - CWI (NETHERLANDS), Institut National Polytechnique de Toulouse - INPT (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), and Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)

Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Mathematical optimization, Exponential distribution, Discriminatory processor sharing, Système d'exploitation, 0211 other engineering and technologies, Réseaux et télécommunications, Asymptotic distribution, 02 engineering and technology, Heavy traffic, Management Science and Operations Research, 01 natural sciences, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], 010104 statistics & probability, Architectures Matérielles, Joint probability distribution, FOS: Mathematics, 0101 mathematics, 60K25, 60K37, Queue, Mathematics, Processor sharing, Service (business), 021103 operations research, Markov chain, Probability (math.PR), Workload, Systèmes embarqués, Computer Science Applications, Computer Science::Performance, Computational Theory and Mathematics, Single-server queue, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS], Mathematics - Probability, Markov-modulation
Abstract

This paper deals with a single-server queue with modulated arrivals, service requirements and service capacity. In our first result, we derive the mean of the total workload assuming generally distributed service requirements and any service discipline which does not depend on the modulating environment. We then show that the workload is exponentially distributed under heavy-traffic scaling. In our second result, we focus on the discriminatory processor sharing (DPS) discipline. Assuming exponential, class-dependent service requirements, we show that the joint distribution of the queue lengths of different customer classes under DPS undergoes a state-space collapse when subject to heavy-traffic scaling. That is, the limiting distribution of the queue length vector is shown to be exponential, times a deterministic vector. The distribution of the scaled workload, as derived for general service disciplines, is a key quantity in the proof of the state-space collapse., 27 pages

Published
2016

28. Enforcing CPU allocation in a heterogeneous IaaS

Author

Boris Teabe, Alain Tchana, Daniel Hagimont, 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), 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), and Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)

Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Computer Networks and Communications, Computer science, Distributed computing, Système d'exploitation, Réseaux et télécommunications, Cloud computing, Parallel computing, computer.software_genre, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], Architectures Matérielles, Virtualization, Bandwidth (computing), Fraction (mathematics), DVFS, business.industry, Resource Management System, Systèmes embarqués, SLA enforcement, Hardware and Architecture, Virtual machine, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS], Central processing unit, Heterogeneity, business, Cloud, computer, Software
Abstract

In an Infrastructure as a Service (IaaS), the amount of resources allocated to a virtual machine (VM) at creation time may be expressed with relative values (relative to the hardware, i.e., a fraction of the capacity of a device) or absolute values (i.e., a performance metric which is independent from the capacity of the hardware). Surprisingly, disk or network resource allocations are expressed with absolute values (bandwidth), but CPU resource allocations are expressed with relative values (a percentage of a processor). The major problem with CPU relative value allocations is that it depends on the capacity of the CPU, which may vary due to different factors (server heterogeneity in a cluster, Dynamic Voltage Frequency Scaling (DVFS)). In this paper, we analyze the side effects and drawbacks of relative allocations. We claim that CPU allocation should be expressed with absolute values. We propose such a CPU resource management system and we demonstrate and evaluate its benefits. We identify issues related to changing underlying hardware in public IaaS.We propose a solution for DVFS and VM migration across heterogeneous nodes.We provide an implementation of our solution within the Xen hypervisor.The evaluation of our prototype confirms the accuracy of our solution.

Published
2015

29. A DSL for requirements in the context of a seamless approach

Author

Florian Galinier, 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
Computer science, Formal semantics (linguistics), Context (language use), 0102 computer and information sciences, 02 engineering and technology, Interface homme-machine, 01 natural sciences, Domain (software engineering), DSL, Consistency (database systems), Architectures Matérielles, Seamless development, 0202 electrical engineering, electronic engineering, information engineering, Code (cryptography), Génie logiciel, Requirements engineering, business.industry, Verification and validation, Traceability, 020207 software engineering, Modélisation et simulation, Systèmes embarqués, Digital subscriber line, 010201 computation theory & mathematics, Cryptographie et sécurité, Software engineering, business, Natural language
Abstract

Reducing the lack of consistency between requirements and the system that should satisfy these requirements is one of the major issue in Requirement Engineering (RE). The objective of my thesis work is to propose a seamless approach, allowing users to express requirements, specifications and the system itself in a unique language. The purpose of formal approaches is to reduce inconsistency. However, most developers are not familiar with these approaches, and they are not often used outside the critical systems domain. Since we want that non-experts can also use our approach to validate systems in the early stage of their development, we propose a Domain Specific Language (DSL) that is: (i) close to natural language, and (ii) based on a formal semantics. Using Model-Driven Engineering (MDE), this language bridges the gap not only between the several stakeholders that can be involved in a project, considering their different backgrounds, but also between the requirements and the code.

Published
2018

30. Adaptive Load Control for IoT Based on Satellite Communications

Author

Hugo Chelle, Andre-Luc Beylot, Riadh Dhaou, Michael Crosnier, 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), and Institut National Polytechnique de Toulouse - INPT (FRANCE)

Subjects
Service (systems architecture), Computer science, Reliability (computer networking), Système d'exploitation, Réseaux et télécommunications, 050801 communication & media studies, Context (language use), Satellite communications, 02 engineering and technology, load control mechanism, 0508 media and communications, Random-access channel, Architectures Matérielles, 0202 electrical engineering, electronic engineering, information engineering, Resource allocation requests, business.industry, 05 social sciences, 020206 networking & telecommunications, Adaptive load control, Energy consumption, Satellite IoT system, Narrow Band IoT, Systèmes embarqués, Access Class Barring, Transmission (telecommunications), Communications satellite, Resource allocation, IoT satellite systems, business, Computer network
Abstract

The Internet Of Things (IoT) market is growing more and more every year. Today, the number of IoT devices is estimated around 8 billion but forecasts announce 20 billion devices for 2020. Terrestrial or satellite communications systems are already deployed to answer the connectivity need. These systems rely on a Random Access CHannel (RACH) used either to send resource allocation requests or directly the useful message. Because of the number of IoT devices, the overload on the RACH is an emerging issue since it may cause a service outage. This is especially the case for IoT satellite systems because of the wide area covered by a single satellite. The Access Class Barring (ACB) is the load control mechanism used within the Narrow Band IoT. Unfortunately, no method was specified to compute the load control parameters. In this paper, in the context of a satellite IoT system, we propose a method to compute dynamically ACB based load control parameters. Thanks to our method, the load control mechanism reach excellent results regarding transmission reliability and energy consumption for various traffic scenarios.

Published
2018

31. Collaborative Processes Management: from Modeling to Enacting

Author

Mamadou Lakhassane Cisse, Samba Diaw, Hanh Nhi Tran, Bernard Coulette, Alassane Bah, Advancing Rigorous Software and System Engineering (IRIT-ARGOS), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-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)-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), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Unité de modélisation mathématique et informatique des systèmes complexes [Bondy] (UMMISCO), Université de Yaoundé I-Institut de la francophonie pour l'informatique-Université Cheikh Anta Diop [Dakar, Sénégal] (UCAD)-Université Gaston Bergé (Saint-Louis, Sénégal)-Université Cadi Ayyad [Marrakech] (UCA)-Sorbonne Université (SU)-Institut de Recherche pour le Développement (IRD [France-Nord]), Université Cheikh Anta Diop [Dakar, Sénégal] (UCAD), Smart Modeling for softw@re Research and Technology (IRIT-SM@RT), 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é Cheikh Anta Diop de Dakar - UCAD (SENEGAL), 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 de Recherche pour le Développement (IRD [France-Nord])-Institut de la francophonie pour l'informatique-Université Cheikh Anta Diop [Dakar, Sénégal] (UCAD)-Université Gaston Bergé (Saint-Louis, Sénégal)-Université Cadi Ayyad [Marrakech] (UCA)-Université de Yaoundé I-Sorbonne Université (SU), Université Cheikh Anta Diop de Dakar, and Institut National Polytechnique de Toulouse - INPT (FRANCE)

Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Process management, Process modeling, Computer science, Modeling language, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 02 engineering and technology, Interface homme-machine, Task (project management), Patterns of collaboration, Process management (computing), Collaborative processes, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Architectures Matérielles, 0202 electrical engineering, electronic engineering, information engineering, Génie logiciel, Process control, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], 060201 languages & linguistics, Mechanism (biology), 06 humanities and the arts, Modélisation et simulation, Systèmes embarqués, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Work (electrical), Processes enacting, 0602 languages and literature, Cryptographie et sécurité, Task analysis, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, 020201 artificial intelligence & image processing
Abstract

National audience; Collaborative work is a complex activity that involves several actors thus managing it is complicated. This article addresses some matters of controlling collaborative work in the point of view of process management. The underlying objective is to discuss the issues from modeling to enacting collaborative processes in existing process management systems. To overcome the discussed problems, we are developing a process management framework that integrates directly the concept of collaborative task into both modeling language and enacting mechanism. Moreover, we propose a flexible approach that enables users to choose dynamically a suitable way to enact their collaborative tasks.

Published
2018

32. Welcome to zombieland

Author

Daniel Hagimont, Alain Tchana, Vlad Nitu, Boris Teabe, Canturk Isci, 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), and IBM (USA)

Subjects
Memory disaggregation, Computer science, business.industry, Distributed computing, Système d'exploitation, Réseaux et télécommunications, 020206 networking & telecommunications, Cloud computing, 02 engineering and technology, Systèmes embarqués, Power (physics), Rack, Energy efficiency, Resource (project management), Architectures Matérielles, Virtualization, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Advanced Configuration and Power Interface, business, Energy (signal processing), System software, Efficient energy use
Abstract

In this paper, we propose an effortless way for disaggregating the CPU-memory couple, two of the most important resources in cloud computing. Instead of redesigning each resource board, the disaggregation is done at the power supply domain level. In other words, CPU and memory still share the same board, but their power supply domains are separated. Besides this disaggregation, we make the two following contributions: (1) the prototyping of a new ACPI sleep state (called zombie and noted Sz) which allows to suspend a server (thus save energy) while making its memory remotely accessible; and (2) the prototyping of a rack-level system software which allows the transparent utilization of the entire rack resources (avoiding resource waste). We experimentally evaluate the effectiveness of our solution and show that it can improve the energy efficiency of state-of-the-art consolidation techniques by up to 86%, with minimal additional complexity.

Published
2018

33. Automation

Author

Camille Fayollas, Philippe Palanque, Célia Martinie, 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), and Continental Digital Services France - CDSF (FRANCE)

Subjects
Computer science, Interaction design, 02 engineering and technology, Software creation and management, Interface homme-machine, Task (project management), Human–computer interaction, Automation Design and Assessment, Architectures Matérielles, Software and its engineering, 0202 electrical engineering, electronic engineering, information engineering, Génie logiciel, 0501 psychology and cognitive sciences, Tasks description and modeling, 050107 human factors, Designing software, business.industry, Computer-automated design, Software implementation planning, 05 social sciences, Usability, 020207 software engineering, Modélisation et simulation, Automation, Human-centered computing, Systèmes embarqués, Software development process management, Usability and Reliability of partly-autonomous systems, Task analysis, Cryptographie et sécurité, Software design techniques, business, User Interaction Design
Abstract

This course takes a practical approach to introduce the principles, methods and tools in task modeling and how this technique can support identification of automation opportunities, dangers and limitations. A technical interactive hands-on exercise of how to "do it right", such as: How to go from task analysis to task models? How to identify tasks that are good candidate for automation (through analysis and simulation)? How to identify reliability and usability dangers added by automation? How to design usable automation at system, application and interaction levels? And more...

Published
2018

34. Correctness by construction and style preserving reconfigurations of system of systems

Author

Cédric Eichler, Khalil Drira, Thierry Monteil, Patricia Stolf, Sécurité des Données et des Systèmes (SDS), Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA), Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA), É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), 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), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), 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), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Institut National des Sciences Appliquées de Centre Val de Loire - INSA (FRANCE), Université d'Orléans (FRANCE), Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-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)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse 1 Capitole (UT1)-Université Toulouse - Jean Jaurès (UT2J)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse 1 Capitole (UT1)-Université Toulouse - Jean Jaurès (UT2J), Université Toulouse 1 Capitole (UT1)-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), 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)-Institut National Polytechnique (Toulouse) (Toulouse INP), and Institut National Polytechnique de Toulouse - INPT (FRANCE)

Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Model checking, Theoretical computer science, Correctness, Computer science, Système d'exploitation, Réseaux et télécommunications, 02 engineering and technology, Mathematical proof, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], Architectures Matérielles, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Formalisms, Theory of computation, System of systems, Graph rewriting, 020207 software engineering, Systèmes embarqués, Graph, Rewrite systems, Calcul parallèle, distribué et partagé, Grammars and context-free languages, Scalability, Formal languages and automata theory, Graph (abstract data type), [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]
Abstract

International audience; In distributed systems and dynamic environments, software architectures may evolve. A crucial issue when conducting system evolutions is to maintain the system in a consistent and functional state. As system complexity rises, manual checking or exhaustive model checking may be too time- and resource-consuming, lacking in scalability. This is particularly true with system of systems. Based on formal proofs in design-time, correctness by construction has recently emerged to efficiently guarantee system coherency.This article proposes a new method for the construction and specification of correct by construction system reconfigurations. Such transformations are characterized by graph rewriting rules that necessarily preserve the coherency of a system. We firstly propose operators on graph transformations and show that they conserve their correctness. Given a system specified by a graph grammar, these operators can be leveraged to construct correct transformations. We show in particular that any correct configuration can be reached starting from any other one without inconsistent intermediate step, using such transformations only.

Published
2018

35. Geopolitical interactions from reduced Google matrix analysis of Wikipedia

Author

Dima L. Shepelyansky, Katia Jaffrès-Runser, Samer El Zant, 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), Réseaux, Mobiles, Embarqués, Sans fil, Satellites (IRIT-RMESS), 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), Information et Chaos Quantiques (LPT), Laboratoire de Physique Théorique (LPT), Institut de Recherche sur les Systèmes Atomiques et Moléculaires Complexes (IRSAMC), Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Toulouse III - Paul Sabatier (UT3), 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)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), 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)-Institut de Recherche sur les Systèmes Atomiques et Moléculaires Complexes (IRSAMC), 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), Institut National Polytechnique de Toulouse - INPT (FRANCE), Université Toulouse III - Paul Sabatier (UT3), and 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)

Subjects
Computer science, Système d'exploitation, Réseaux et télécommunications, 01 natural sciences, Ground penetrating radar, 010305 fluids & plasmas, law.invention, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], Electronic publishing, PageRank, Architectures Matérielles, law, 0103 physical sciences, Global network, Web page, media_common.cataloged_instance, European union, 010306 general physics, media_common, Internet, Information retrieval, Google matrix, Markov chain, business.industry, Systèmes embarqués, Google, Encyclopedia, Encyclopedias, The Internet, Sensitivity analysis, business
Abstract

International audience; Interactions between countries originate from diverse aspects such as geographic proximity, trade, socio-cultural habits, language, religions, etc. Geopolitics studies the influence of a country's geographic space on its political power and its relationships with other countries. This work reveals the potential of Wikipedia mining for geopolitical study. Actually, Wikipedia offers solid knowledge and strong correlations among countries by linking web pages together for different types of information (e.g. economical, historical, political, and many others). The major finding of this paper is to show that meaningful results on the influence of country ties can be extracted from the hyperlinked structure of Wikipedia. We leverage a novel stochastic matrix representation of Markov chains of complex directed networks called the reduced Google matrix theory. For a selected small size set of nodes, the reduced Google matrix concentrates direct and indirect links of the million-node sized Wikipedia network into a small Perron-Frobenius matrix that preserves the PageRank probabilities of the global Wikipedia network. We perform a novel sensitivity analysis that leverages this reduced Google matrix to characterize the influence of relationships between countries from the global network. We apply this analysis to the set of 27 European Union countries. We show that with our sensitivity analysis we can exhibit easily very meaningful information on geopolitics from five different Wikipedia editions (English, Arabic, Russian, French and German).

Published
2018

36. Specificities of the LoRa™ Physical Layer for the Development of New Ad Hoc MAC Layers

Author

Thierry Val, Adrien van den Bossche, Nicolas Gonzalez, Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - INPT (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), SNOOTLAB (FRANCE), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), Réseaux, Mobiles, Embarqués, Sans fil, Satellites (IRIT-RMESS), 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 - Jean Jaurès (UT2J), Nicolas Montavont, Georgios Z. Papadopoulos, and Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)

Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Computer science, Système d'exploitation, Wino, Réseaux et télécommunications, 02 engineering and technology, 01 natural sciences, Image (mathematics), [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], Architectures Matérielles, Computer Science::Networking and Internet Architecture, 0202 electrical engineering, electronic engineering, information engineering, Wireless, IOT, business.industry, ComputerSystemsOrganization_COMPUTER-COMMUNICATIONNETWORKS, 010401 analytical chemistry, Physical layer, Window (computing), Plateforme, 020206 networking & telecommunications, Object (computer science), Systèmes embarqués, Lora, 0104 chemical sciences, Spread spectrum, Capteurs, Range (mathematics), [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS], business, Computer network
Abstract

The Internet of Things and particularly energy constraint object revealed these last years some radio frequencies technologies which allow to realize wireless transmissions at long range and with low energy. This change of paradigm makes tip over the problems of multi-hop networks to multi-channel MAC networks. The Open image in new window technology arises from this sphere of influence by using the spread spectrum to reach the expected performances. This physical layer is very original compared with the physical layers used for a long time with the IEEE 802.15.4 standard. This article highlights the specificities of the Open image in new window physical layer to design new MAC layers for the ad hoc Internet of Things.

Published
2018

37. Adaptive hybrid MAC protocols for UAV-assisted mobile sensor networks

Author

Xiaoyan Ma, Rahim Kacimi, Riadh Dhaou, 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), Institut National Polytechnique de Toulouse - INPT (FRANCE), Réseaux, Mobiles, Embarqués, Sans fil, Satellites (IRIT-RMESS), 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, Temps Réel dans les Réseaux et Systèmes (IRIT-T2RS), and Institut National Polytechnique (Toulouse) (Toulouse INP)

Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Computer science, Système d'exploitation, Réseaux et télécommunications, 02 engineering and technology, Unmanned aerial vehicles, Scheduling (computing), [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], 0203 mechanical engineering, Architectures Matérielles, 0202 electrical engineering, electronic engineering, information engineering, Mobile wireless sensor network, Beacon, ComputerSystemsOrganization_SPECIAL-PURPOSEANDAPPLICATION-BASEDSYSTEMS, Mobility, business.industry, Time synchronization, ComputerSystemsOrganization_COMPUTER-COMMUNICATIONNETWORKS, Medium access control, 020206 networking & telecommunications, 020302 automobile design & engineering, Systèmes embarqués, Wireless sensor networks, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS], business, Mobile sensor networks, Wireless sensor network, Computer network
Abstract

International audience; This paper proposes novel MAC protocols for an unmanned aerial vehicle (UAV) aided mobile wireless sensor network. UAV and sensors are mobile, and UAV collect data from sensors. In such dynamic aerial network, both the physical contact duration time (CDT) and the data-rate (DR) between mobile nodes and the UAV impact the data collection deeply. We propose hybrid beacon based MAC schemes combing CSMA/CA with physical parameters based scheduling. The UAV broadcasts `Beacon' evenly to its coverage, and the mobile nodes that receive the `Beacon' will randomly access to the channel through CSMA/CA. We compare fixed inter-beacon duration combined with a proactive scheduling MAC to an beacon-based IEEE 802.15.4. Through extensive simulations, the proposed MAC protocols have high performance in average delivery ratio and fairness compared to beacon beacon-based IEEE 802.15.4.

Published
2018

38. The new SIGCHI EC's values and strategic initiatives

Author

Eunice Sari, Julie R. Williamson, Susan M. Dray, Cliff Lampe, Regina Bernhaupt, Susan R. Fussell, Dan R. Olsen, Allison Druin, Loren Terveen, Anirudha Joshi, Helena M. Mentis, Philippe Palanque, Aaron Quigley, Association of Computing Machinery’s Special Interest Group on Human Computer Interaction - ACM SigCHI (USA), 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), and Systemic Change

Subjects
business.industry, Strategic Initiative, Ingénierie des systèmes interactifs, 05 social sciences, Informatique et langage, 020207 software engineering, 02 engineering and technology, Public relations, Modélisation et simulation, Systèmes embarqués, Interface homme-machine, Human-Computer Interaction, Architectures Matérielles, Political science, Cryptographie et sécurité, Interaction homme-machine, 0202 electrical engineering, electronic engineering, information engineering, Génie logiciel, 0501 psychology and cognitive sciences, Système interactifs critiques, business, 050107 human factors
Abstract

The SIGCHI EC has articulated the following 10 values. Specifically, these are instrumental values: They are our preferred methods of behavior. They are not an end goal, but they translate into a means by which an end goal is accomplished.

Published
2018

39. Modeling and verification of Functional and Non-Functional Requirements of ambient Self-Adaptive Systems

Author

Manzoor Ahmad, Jean-Michel Bruel, Nicolas Belloir, Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - INPT (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Université de Pau et des Pays de l'Adour - UPPA (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Laboratoire Informatique de l'Université de Pau et des Pays de l'Adour (LIUPPA), Université de Pau et des Pays de l'Adour (UPPA), 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), and Université Fédérale Toulouse Midi-Pyrénées

Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Non Functional Requirements, Requirement, Engineering, Non-functional requirement, Software requirements specification, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Interface homme-machine, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Architectures Matérielles, Génie logiciel, Non-functional testing, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], Requirements analysis, Requirements management, Requirements engineering, business.industry, Relax, Dynamic Adaptive Systems, System requirements specification, Modélisation et simulation, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Systèmes embarqués, Model Driven Engineering, Hardware and Architecture, Cryptographie et sécurité, Goal Oriented Requirements Engineering, Systems engineering, Properties verification, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, business, Software, Information Systems
Abstract

We propose a model-based approach for the modeling and verification of requirements.We integrate the notion of goal-oriented concepts for the requirements definition of self-adaptive systems.We identify the adaptability features associated with the requirements of these systems.We apply it on an ambient assisted living system. Self-Adaptive Systems modify their behavior at run-time in response to changing environmental conditions. For these systems, Non-Functional Requirements play an important role, and one has to identify as early as possible the requirements that are adaptable. We propose an integrated approach for modeling and verifying the requirements of Self-Adaptive Systems using Model Driven Engineering techniques. For this, we use Relax, which is a Requirements Engineering language which introduces flexibility in Non-Functional Requirements. We then use the concepts of Goal-Oriented Requirements Engineering for eliciting and modeling the requirements of Self-Adaptive Systems. For properties verification, we use OMEGA2/IFx profile and toolset. We illustrate our proposed approach by applying it on an academic case study.

Published
2015

40. Towards a verified transformation from AADL to the formal component-based language FIACRE

Author

Mamoun Filali, Jean-Paul Bodeveix, Manuel Garnacho, Régis Spadotti, Zhibin Yang, Assistance à la Certification d’Applications DIstribuées et Embarquées (IRIT-ACADIE), 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), Centre National de la Recherche Scientifique (CNRS), Nanjing University of Aeronautics and Astronautics [Nanjing] (NUAA), Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - INPT (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Nanjing University of Aeronautics and Astronautics – NUAA (CHINA), and Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)

Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Correctness, Semantics (computer science), Computer science, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], computer.software_genre, Interface homme-machine, Toolchain, Model transformation, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Architectures Matérielles, Component (UML), Génie logiciel, Architecture description languages, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], Execution model, Software architecture description, Programming language, Architecture Analysis & Design Language, Modélisation et simulation, Systèmes embarqués, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Model driven engineering, Formal verification, Timed transition systems, Transformation (function), Cryptographie et sécurité, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, computer, Software
Abstract

International audience; During the last decade, aadl is an emerging architecture description languages addressing the modeling of embedded systems. Several research projects have shown that aadl concepts are well suited to the design of embedded systems. Moreover, aadl has a precise execution model which has proved to be one key feature for effective early analysis. In this paper, we are concerned with the foundational aspects of the verification support for aadl. More precisely, we propose a verification toolchain for aadl models through its transformation to the Fiacre language which is the pivot verification language of the TOPCASED project: high level models can be transformed to Fiacre models and then model-checked. Then, we investigate how to prove the correctness of the transformation from AADL into Fiacre and present related elementary ingredients: the semantics of aadl and Fiacre subsets expressed in a common framework, namely timed transition systems. We also briefly discuss experimental validation of the work.

Published
2015

41. Contract-based modeling and verification of timed safety requirements within SysML

Author

Iulia Dragomir, Iulian Ober, Christian Percebois, Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - INPT (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Aalto University (FINLAND), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Aalto University, 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), and Université Fédérale Toulouse Midi-Pyrénées

Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Safety requirement, Semantics (computer science), Computer science, Component-based design, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 02 engineering and technology, Tracing, computer.software_genre, Interface homme-machine, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Compositional verification, Unified Modeling Language, Architectures Matérielles, Systems Modeling Language, Component (UML), 0202 electrical engineering, electronic engineering, information engineering, Génie logiciel, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], computer.programming_language, Syntax (programming languages), Programming language, business.industry, Timed input/output automata, 020207 software engineering, Modélisation et simulation, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Systèmes embarqués, Contract-based reasoning, System requirements, Modeling and Simulation, UML/SysML, Component-based software engineering, Cryptographie et sécurité, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, 020201 artificial intelligence & image processing, Software engineering, business, computer, Software
Abstract

International audience; In order to cope with the growing complexity of critical real-time embedded systems, systems engineering has adopted a component-based design technique driven by requirements. Yet, such an approach raises several issues since it does not explicitly prescribe how system requirements can be decomposed on components nor how components contribute to the satisfaction of requirements. The envisioned solution is to design, with respect to each requirement and for each involved component, an abstract specification, tractable at each design step, that models how the component is concerned by the satisfaction of the requirement and that can be further refined toward a correct implementation. In this paper, we consider such specifications in the form of contracts. A contract for a component consists in a pair (assumption, guarantee) where the assumption models an abstract behavior of the component’s environment and the guarantee models an abstract behavior of the component given that the environment behaves according to the assumption. Therefore, contracts are a valuable asset for the correct design of systems, but also for mapping and tracing requirements to components, for tracing the evolution of requirements during design and, most importantly, for compositional verification of requirements. The aim of this paper is to introduce contract-based reasoning for the design of critical real-time systems made of reactive components modeled with UML and/or SysML. We propose an extension of UML and SysML languages with a syntax and semantics for contracts and the refinement relations that they must satisfy. The semantics of components and contracts is formalized by a variant of timed input/output automata on top of which we build a formal contract-based theory. We prove that the contract-based theory is sound and can be applied for a relatively large class of SysML system models. Finally, we show on a case study extracted from the automated transfer vehicle (http://www.esa.int/ATV) that our contract-based theory allows to verify requirement satisfaction for previously intractable models.

Published
2015

42. Exploring AADL verification tool through model transformation

Author

Zhibin Yang, Wei-Tek Tsai, Teng Zhang, Kai Hu, Beihang University (BUAA), 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, Nanjing University of Aeronautics and Astronautics [Nanjing] (NUAA), Arizona State University [Tempe] (ASU), 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), Arizona State University - ASU (USA), Beihang University (CHINA), Nanjing University of Aeronautics and Astronautics – NUAA (CHINA), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), and Institut National Polytechnique de Toulouse - INPT (FRANCE)

Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], AADL, Computer science, Model transformation, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 02 engineering and technology, Thread (computing), Mode change, computer.software_genre, Interface homme-machine, Data processing system, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Architectures Matérielles, Real-time system, Formal specification, 0202 electrical engineering, electronic engineering, information engineering, Génie logiciel, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], computer.programming_language, Programming language, business.industry, Architecture Analysis & Design Language, TASM, 020207 software engineering, Modélisation et simulation, Systèmes embarqués, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, ATLAS Transformation Language, Hardware and Architecture, Embedded system, Cryptographie et sécurité, Abstract state machines, Translation rules, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, 020201 artificial intelligence & image processing, business, computer, Software
Abstract

International audience; Architecture Analysis and Design Language (AADL) is often used to model safety-critical real-time systems. Model transformation is widely used to extract a formal specification so that AADL models can be verified and analyzed by existing tools. Timed Abstract State Machine (TASM) is a formalism not only able to specify behavior and communication but also timing and resource aspects of the system. To verify functional and nonfunctional properties of AADL models, this paper presents a methodology for translating AADL to TASM. Our main contribution is to formally define the translation rules from an adequate subset of AADL (including thread component, port communication, behavior annex and mode change) into TASM. Based on these rules, a tool called AADL2TASM is implemented using Atlas Transformation Language (ATL). Finally, a case study from an actual data processing unit of a satellite is provided to validate the transformation and illustrate the practicality of the approach.

Published
2015

43. Simulation of real-time systems with clock calculus

Author

Zhibin Yang, Kai Hu, Wei-Tek Tsai, Teng Zhang, State Key Laboratory of Software Development Environment (Beijing, China), Beihang University (BUAA), 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, Arizona State University [Tempe] (ASU), Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - INPT (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Arizona State University - ASU (USA), Beihang University (CHINA), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), and Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)

Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Computer science, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Interface homme-machine, Clock synchronization, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Development (topology), Architectures Matérielles, Calculus, Code (cryptography), Génie logiciel, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], Structure (mathematical logic), SIGNAL (programming language), Clock calculus, Synchronous language, Optimized clock tree, Modélisation et simulation, Systèmes embarqués, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, SIGNAL, Tree traversal, Hardware and Architecture, Modeling and Simulation, Cryptographie et sécurité, Code generation, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, Algorithm, Software
Abstract

International audience; Safety–critical real-time systems need to be modeled and simulated early in the development of lifecycle. SIGNAL is a data-flow synchronous language with clocks widely used in modeling of such systems. Due to the synchronous features of SIGNAL, clock calculus is essential in compilation and simulation. This paper proposes a new methodology for clock calculus that takes data dependencies into consideration. In this way, simulation code can be directly generated by using a depth-first traversal algorithm. In addition, a clock insertion method based on clock-implication checking is presented to obtain an optimized control structure.

Published
2015

44. A thorough analysis of the performance of delay distribution models for IEEE 802.11 DCF

Author

Qi Wang, Katia Jaffrès-Runser, Yi Sun, Zhongcheng Li, Christian Fraboul, Jun Li, Jean-Luc Scharbarg, Centre National de la Recherche Scientifique - CNRS (FRANCE), Chinese Academy of Sciences (CHINA), Institut National Polytechnique de Toulouse - INPT (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), 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, Institute of Computing Technology [Beijing] (ICT), Chinese Academy of Sciences [Changchun Branch] (CAS), Réseaux, Mobiles, Embarqués, Sans fil, Satellites (IRIT-RMESS), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), and Institut National Polytechnique (Toulouse) (Toulouse INP)

Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Delay distribution, Computer Networks and Communications, Computer science, Real-time computing, Système d'exploitation, Réseaux et télécommunications, Performance measure, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], IEEE 802.11, Architectures Matérielles, Computer Science::Networking and Internet Architecture, Wireless, Wireless networks, business.industry, Wireless network, IEEE 802.11 DCF, ComputerSystemsOrganization_COMPUTER-COMMUNICATIONNETWORKS, Systèmes embarqués, Computer Science::Performance, Hardware and Architecture, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS], business, Algorithm, Software, Saturated traffic
Abstract

International audience; Deriving the complete distribution of the end-to-end delay in a wireless multi-hop network is of paramount interest when delay-sensitive flows have to be conveyed over such networks. First works have proposed models to derive the total delay distribution of networks assuming the well-known IEEE802.11 DCF medium access (MAC) protocol. Current derivations can be decomposed into two main steps: (i) the calculation of the total delay probability generating function (PGF) and (ii) its numerical inversion. We show in this paper that there is a need for a thorough performance evaluation of these models since both steps introduce errors, naming modeling and inversion errors. We argue that both types of errors have to be analyzed separately to characterize the accuracy of the analytical derivations of the literature. Therefore, this paper defines two performance evaluation metrics that measure the magnitude of both types of errors. Both metrics are illustrated to select and optimize the most accurate model to calculate the single-hop end-to-end delay distribution of nodes using the IEEE802.11 DCF MAC protocol. The most accurate model is extended to calculate the end-to-end delay distribution for a 2-hop wireless communication.

Published
2015

45. MDE in Practice for Computational Science

Author

Hélène Raynal, Benoit Combemale, Jean-Michel Bruel, Ileana Ober, Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Institut National de la Recherche Agronomique - INRA (FRANCE), Institut National de la Recherche en Informatique et en Automatique - INRIA (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Université de Rennes 1 (FRANCE), MACAO, Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1)-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), 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)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1)-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées, Diversity-centric Software Engineering (DiverSe), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Université de Bretagne Sud (UBS)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-CentraleSupélec-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Université de Rennes (UNIV-RENNES)-CentraleSupélec-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Université de Bretagne Sud (UBS)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Rennes (ENS Rennes)-Télécom Bretagne-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-CentraleSupélec, Unité de Mathématiques et Informatique Appliquées de Toulouse (MIAT INRA), Institut National de la Recherche Agronomique (INRA), ANR-12-INSE-0011,GeMoC,Un framework de modèles de calcul génériques pour l'exécution et l'analyse dynamique de modèles(2012), Institut National Polytechnique de Toulouse - INPT (FRANCE), Modèles, Architectures, Composants, Agilité et prOcessus (IRIT-MACAO), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-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)-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), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), ANR-12-INSE-0011, Université de Reykjavik. Reykjavik, ISL., 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), CentraleSupélec-Télécom Bretagne-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Rennes (ENS Rennes)-Université de Bretagne Sud (UBS)-Centre National de la Recherche Scientifique (CNRS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-CentraleSupélec-Télécom Bretagne-Université de Rennes 1 (UR1), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-École normale supérieure - Rennes (ENS Rennes)-Université de Bretagne Sud (UBS)-Centre National de la Recherche Scientifique (CNRS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), and Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)

Subjects
Computer science, Software Engineering, Model-Driven Engineering, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Scientific Computing, Modélisation et simulation, Systèmes embarqués, Interface homme-machine, Computational science, Domain-Specific Modeling Languages, Architectures Matérielles, Cryptographie et sécurité, General Earth and Planetary Sciences, Génie logiciel, Model-driven engineering, Domain-specific modeling languages, Scientific computing, GeneralLiterature_REFERENCE(e.g.,dictionaries,encyclopedias,glossaries), General Environmental Science
Abstract

International audience; The complex problems that computational science addresses are more and more benefiting from the progress of computing facilities (simulators, librairies, accessible languages,. . .). Nevertheless , the actual solutions call for several improvements. Among those, we address in this paper the needs for leveraging on knowledge and expertise by focusing on Domain-Specific Mod-eling Languages application. In this vision paper we illustrate, through concrete experiments, how the last DSML research help getting closer the problem and implementation spaces.

Published
2015
Full Text
View/download PDF

46. A comparative analysis with validation of NSGA-III and MOEA/D in resolving the 3D indoor redeployment problem in DL-IoT

Author

Sami Mnasri, Adrien van den Bossche, Thierry Val, Nejah Nasri, Réseaux, Mobiles, Embarqués, Sans fil, Satellites (IRIT-RMESS), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1)-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), 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)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1)-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées, Laboratoire d'électronique et des technologies de l'Information [Sfax] (LETI), École Nationale d'Ingénieurs de Sfax | National School of Engineers of Sfax (ENIS), Institut Universitaire de Technologie - IUT (Blagnac, France), 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), École Nationale d'Ingénieurs de Sfax - ENIS (TUNISIA), Université de Sfax (TUNISIA), 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é Toulouse - Jean Jaurès (UT2J)

Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], 0209 industrial biotechnology, Coverage, Computer science, Distributed computing, Système d'exploitation, NSGA-III, Evolutionary algorithm, Access method, Réseaux et télécommunications, MOEA/D, 02 engineering and technology, Solid modeling, Keywords 3D indoor deployment, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], 020901 industrial engineering & automation, Architectures Matérielles, Ad hoc On-Demand Distance Vector Routing, 0202 electrical engineering, electronic engineering, information engineering, RSSI, Protocol (object-oriented programming), Hybrid localization, WiNo nodes, ComputerSystemsOrganization_COMPUTER-COMMUNICATIONNETWORKS, Physical layer, Systèmes embarqués, FER, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, 020201 artificial intelligence & image processing, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS], Routing (electronic design automation), Wireless sensor network, Simulation
Abstract

International audience; Compared to the two-dimensional one, the three-dimensional deployment in WSNs (wireless sensor networks) is more complex and real. In this paper, the problem of 3D positioning of nodes is studied while minimizing the number of nodes and the consumption of energy; and maximizing the coverage area and the localization rate. Indeed, the aim is to choose the ideal 3D positions in which new nodes are added while optimizing the mentioned objectives. The proposed approach is based on two evolutionary algorithms (MOEA/D and NSGA-III). The simulation model takes into account the implementation of a 433 MHz physical layer, a non-coordinated IEEE 802.15.4 CSMA/CA access method, and a reactive AODV based protocol for routing layer. The obtained results of the simulations with OMNeT++ are presented to prove the effectiveness of the proposed approach.

Published
2017

47. Mobile interaction with and in autonomous vehicles

Author

Andreas Riener, Alexander Meschtscherjakov, Manfred Tscheligi, Philippe Palanque, Peter Fröhlich, Roderick McCall, Paris-Lodron-Universität Salzburg (PLUS), Austrian Institute of Technology [Vienna] (AIT), Luxembourg Institute of Science and Technology (LIST), Technische Hochschule Ingolstadt - THI ( GERMANY), Interactive Critical Systems (IRIT-ICS), 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, 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), Austrian Institute of Technology - AIT (AUSTRIA), Luxembourg Institute of Science and Technology - LIST (LUXEMBOURG), Paris Lodron Universität Salzburg - PLUS (AUSTRIA), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), and Institut National Polytechnique de Toulouse - INPT (FRANCE)

Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Computer science, 05 social sciences, 020207 software engineering, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 02 engineering and technology, Interaction design, Modélisation et simulation, Computer security, computer.software_genre, Systèmes embarqués, Interface homme-machine, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Architectures Matérielles, Human-centered computing, Cryptographie et sécurité, 0202 electrical engineering, electronic engineering, information engineering, Génie logiciel, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, 0501 psychology and cognitive sciences, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], Mobile interaction, computer, 050107 human factors
Abstract

International audience; The rise of autonomous and fully autonomous vehicles requires a closer examination of how people will interact with them. In this workshop, we especially address two areas: (1) What can we learn from mobile HCI for the interaction design between human drivers and the autonomous vehicle? (2) What opportunities for mobile HCI arise due to new freedoms for drivers, when they also take on the role of passengers in autonomous vehicles? The workshop will seek to further develop the challenges involved and/or to suggest early solutions through the use of a highly participative format.

Published
2017

48. Seamless Integration of Multirequirements in Complex Systems

Author

Jean-Michel Bruel, Florian Galinier, Bertrand Meyer, Sophie Ebersold, 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), Innopolis University (RUSSIA), and Institut National Polytechnique de Toulouse - INPT (FRANCE)

Subjects
Requirements management, Complex systems, Computer science, Semantics (computer science), business.industry, Requirements, Context (language use), System lifecycle, Modélisation et simulation, Systèmes embarqués, Interface homme-machine, Model Driven Engineering, Architectures Matérielles, Computational semantics, Cryptographie et sécurité, Systems engineering, Génie logiciel, Model-driven architecture, Software engineering, business, Requirements analysis, computer, Natural language, computer.programming_language
Abstract

Requirements are the keystone of complex systems development. In order to reduce inconsistencies, requirements analysis is an important issue of systems engineering. In this context, there is a need for conciliating views of several stakeholders from different domains and for tracing these requirements from specification to realization. The computerization of analysis, with the help of a clearly defined semantics linked to a non-specialist readable language, should lead to overcome this major issue. Several works already go into this direction. The most popular ones are dealing with natural language, easily understandable but with few semantics. Other approaches propose more formal notations, with stronger semantics but then being less affordable by stakeholders. In this paper, we propose a preliminary work that should drive us to define a language dedicated to requirements which combine the best of both worlds in order to ease requirements analysis throughout the system lifecycle.

Published
2017

49. Which Security Requirements Engineering Methodology Should I Choose?

Author

Francois Barrere, Abdelmalek Benzekri, Ahmad Samer Wazan, Romain Laborde, Sravani Teja Bulusu, 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), 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), and Institut National Polytechnique de Toulouse - INPT (FRANCE)

Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Requirements management, Requirement, Non-functional requirement, Requirements engineering, Computer science, Système d'exploitation, Réseaux et télécommunications, 020207 software engineering, 02 engineering and technology, Requirements elicitation, Security requirements engineering, Systèmes embarqués, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], Security engineering, Goal modeling, Risk analysis (engineering), Architectures Matérielles, 020204 information systems, Evaluation methodology, 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS], Requirements analysis
Abstract

International audience; Since many decades, requirements engineering domain has seen significant enhancements towards adapting the security and risk analysis concepts. In this regard, there exist numerous security requirements engineering methodologies that support elicitation and evaluation of the security requirements. However, selecting a security requirements engineering methodology (SRE) for a given context of use often depends on a set of ad hoc criteria. In this paper, we propose a methodological evaluation methodology that helps in identifying the characteristics of a good SRE methodology.

Published
2017

50. Two safety patterns

Author

Eduardo B. Fernandez, Brahim Hamid, 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), Florida Atlantic University - FAU (USA), and Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France)

Subjects
Computer science, Architecture patterns, Event (relativity), Assertion, 020207 software engineering, 02 engineering and technology, Safety constraints, Modélisation et simulation, Computer security, computer.software_genre, Systèmes embarqués, Interface homme-machine, Reliability engineering, Architectures Matérielles, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, 020204 information systems, Cryptographie et sécurité, 0202 electrical engineering, electronic engineering, information engineering, Génie logiciel, Safety patterns, State (computer science), Safety, Safety assertions, computer
Abstract

Safety is the avoidance of unacceptable hazards, including threats to human lives, the environment, or to costly facilities. Safety constraints are expressed using assertions that define system states that should not occur because they may lead to mishaps. We present here two safety patterns. The Safety Assertion pattern describes the contents of an assertion that indicates a state of the system that must not happen. The Safety Assertion Enforcer pattern evaluates safety assertions when there is an incoming event that can change the state of the system and prevents the change if it violates an assertion. These patterns can be useful for designing or certifying safe systems.

Published
2017

Catalog

Books, media, physical & digital resources
See catalog results