1,721,049 research outputs found
Command & Control in UAVs Fleets:Coordinating Drones for Ground Missions in Changing Contexts
No full textSave-And-Rescue missions often present risks for first responders when their mission occurs in hazardous or risky environments. Thanks to significant advances in robotics and Artificial Intelligence, deploying a swarm of Unmanned Aerial Vehicules (UAVs) (also known as drones) for these missions, has become a promising direction to facilitate first responders’ work. However, despite these recent advances, this remains a difficult challenge because of the ever changing environment and operation conditions the drones evolve in. Ideally, drones should collaborate and share information about the situation, and eventually report back to the humans involved when key decisions have to be taken, freeing up time and human resources for other challenging and crucial tasks. Command & Control (C2) is a military concept that studies how a set of entities and resources may be best deployed, organised, and driven towards the achievement of tasks at the service of a high-level objective. With the recent increase in distributiveness and variety of information, C2 found new interesting application areas (disaster relief and financial operations; mass vaccination campaigns; etc.) This paper explores the meaning of implementing C2 in UAV fleets for deployment in large ground missions such as Save-And-Rescue, as a way to systematically implement human-to-drones and drones-to-human communications. We capture in a metamodel the specification of a C2 system that describe how teams of drones work collaboratively, based on a C2 approach. We show how the C2 System may evolve when change is detected, while keeping the C2 System coherent.</p
Application de la technologie Blockchain pour l'internet des objets
No full textLa blockchain est une technologie de pointe qui a changé la façon dont les gens communiquent et commercent. Il s'agit d'une chaîne de blocs dans un réseau peer-to-peer (P2P) distribué et décentralisé qui stocke des informations avec des signatures numériques. Cette méthode a d'abord été utilisée pour développer des monnaies numériques telles que Bitcoin et Ethereum. Cependant, certaines recherches et études industrielles récentes se sont concentrées sur les perspectives que la blockchain présente dans une variété d'autres domaines d'application afin de tirer parti des qualités fondamentales de la technologie, telles que la décentralisation, la persistance, l'anonymat et l'audibilité. Dans cette étude, nous donnons une évaluation approfondie de l'utilisation de la blockchain pour l'Internet des objets (IoT). Nous présentons également les principaux obstacles de la Blockchain afin de permettre aux chercheurs de les résoudre et d'améliorer l'utilisation de la technologie
Adoption de la technologie Blockchain pour les réseaux sans fil modernes
No full textLa blockchain est une technologie de pointe qui a changé la façon dont les gens communiquent et commercent. Il s'agit d'une chaîne de blocs dans un réseau peer-to-peer (P2P) distribué et décentralisé qui stocke des informations avec des signatures numériques. Cette méthode a d'abord été utilisée pour développer des monnaies numériques telles que Bitcoin et Ethereum. Cependant, certaines recherches et études industrielles récentes se sont concentrées sur les perspectives que la blockchain présente dans une variété d'autres domaines d'application afin de tirer parti des qualités fondamentales de la technologie, telles que la décentralisation, la persistance, l'anonymat et l'audibilité. Dans cette étude, nous donnons une évaluation approfondie de l'utilisation de la blockchain pour les réseaux sans fil. Nous présentons également les principaux obstacles de la Blockchain afin de permettre aux chercheurs de les résoudre et d'améliorer l'utilisation de la technologie
La technologie Blockchain pour les réseaux électriques intelligents
No full textLa blockchain est une technologie de pointe qui a changé la façon dont les gens communiquent et commercent. Il s'agit d'une chaîne de blocs dans un réseau peer-to-peer (P2P) distribué et décentralisé qui stocke des informations avec des signatures numériques. Cette méthode a d'abord été utilisée pour développer des monnaies numériques telles que Bitcoin et Ethereum. Cependant, certaines recherches et études industrielles récentes se sont concentrées sur les perspectives que la blockchain présente dans une variété d'autres domaines d'application afin de tirer parti des qualités fondamentales de la technologie, telles que la décentralisation, la persistance, l'anonymat et l'audibilité.Dans cette étude, nous donnons une évaluation approfondie de l'utilisation de la blockchain dans les réseaux électriques intelligents (SG). Nous présentons également les principaux obstacles de la Blockchain afin de permettre aux chercheurs de les résoudre et d'améliorer l'utilisation de la technologie
Détection des anomalies via les capteurs des smartphones dans le domaine de la santé
No full textLes smartphones étant si omniprésents, plus connectés et largement équipés de plusieurs types de capteurs tels que GPS, microphones, caméras, magnétomètres, accéléromètres, etc. il existe une opportunité croissante dans le développement de systèmes de capteurs basés sur les smartphones. Dans cet article, nous proposons une brève enquête sur l'utilisation des capteurs de smartphone dans la détection de différents types d'anomalies dans le domaine de la santé. Nous listons également les principaux avantages et limites de l'utilisation des systèmes de capteurs pour smartphone dans ces domaines
Tests basés sur des modèles et méthodes formelles pour la sécurité des services Web
No full textLes applications Web (AW) sont en constante évolution et déployées à grande échelle. Cependant, ils sont exposés à diverses attaques. Le plus grand défi auquel sont confrontées les organisations est de savoir comment développer une AW qui répond à leurs exigences en matière d'échange de données sensibles, de commerce électronique et de flux de travail sécurisés. Dans cet article, nous donnons un aperçu sur les principales techniques de vérification dédiées aux AW, à savoir les tests basés sur des modèles et les méthodes formelles
Contributions au Test à Base-de-Modèles de Systèmes Temps-Réels Dynamiques et Distribués
No full textDéfis de sécurité pour les communications par drones: menaces, attaques et contre-mesures possibles
No full textLe développement actuel des drones et les perspectives dans ce domaine ont des répercussions positives, notamment pour l'emploi et le développement industriel, avec à la clé des possibilités de croissance et de création d'emplois. Les drones ont la capacité de mener des opérations dans des situations d'urgence, où l'intervention humaine est impossible ou difficile. Ils pourraient aider à sauver des vies lors d'urgences humanitaires, d'accidents nucléaires ou de catastrophes naturelles, etc. Comme pour toute technologie, il existe également des risques qui doivent être sérieusement pris en compte par les parties prenantes, les régulateurs, les institutions et les citoyens, afin de prévenir, minimiser et éviter d'éventuels effets négatifs. conséquences de certaines applications de cette technologie. En effet, les drones présentent aujourd'hui également des risques de failles de cybersécurité et d'utilisation malveillante. Dans cet article, nous nous concentrons sur les défis de sécurité liés à l'utilisation des drones. Plus précisément, nous donnons un bref aperçu des menaces, attaques et contre-mesures possibles liées aux communications par drones. Les contremesures envisagées reposent principalement sur l'utilisation de la technologie Blockchain, des techniques d'apprentissage automatique (ML), du Fog Computing et des réseaux définis par logiciel (SDN)
Brève Revue sur le Test des Applications des Téléviseurs Intelligents
No full textLes téléviseurs intelligents sont entrés dans nos maisons relati-vement récemment et cela représente toujours un bon défi de développer des applications sur eux. Bien que de nombreuses applications existent, celles de bonne qualité sont difficiles à trouver. C'est pourquoi il est si important de tester ces applications. Avoir une application sans bogue pourrait bien être le seul aspect qui propulse votre application au sommet des classements. Le test des applications Smart TV consiste à s'assurer qu'aucun problème fonctionnel, visuel, textuel et d'utilisation ne subsiste dans une application donnée
Model-Based Testing of Dynamic and Distributed Real-Time Systems
No full textIn this paper, we report on our main research contributions dealing with Model-Based Testing of Dynamic and Distributed Real-Time Systems, performed during the last ten years. Our first contribution deals with testing techniques for distributed and dynamically adaptable systems. In this context, we propose a standard-based test execution platform which affords a platform-independent test system for isolating and executing runtime tests. This platform uses the TTCN3 standard and considers both structural and behavioral adaptations. Moreover, our platform is equipped with a test isolation layer that reduces the risk of interference between testing processes and business processes. Besides, we compute a minimal subset of test cases to run and efficiently distribute them among the execution nodes while respecting resource and connectivity constraints. In addition, we validate the proposed techniques on two case studies, one in the healthcare domain and the other one in the fleet management domain. Our second contribution consists in proposing a model-based framework to combine Load and Functional Tests. This framework is based on the model of extended timed automata with inputs/ouputs and shared integer variables. We present different modelling techniques aspects and we illustrate them by means of a case study. Moreover, we study BPEL compositions behaviors under various load conditions using the proposed framework. We introduce a taxonomy of the detected problems and we illustrate how test verdicts are assigned. Besides, we validate our approach using a Travel Agency case study. Furthermore, we consider several mutants of the corresponding BPEL process and we test them using our tool. Our third contribution consists in introducing a set of formal techniques for the determinization and off-line test selection for timed automata with inputs and outputs. With this respect, we propose a game-based approach between two players for the determinization of a given timed automaton and some fixed resources. Moreover, we present a complete formalization for the automatic off-line generation of test cases from non-deterministic timed automata with inputs and outputs. We also define a selection technique of test cases with expressive test purposes. Test cases are generated using a symbolic co-reachability analysis of the observable behaviors of the specification guided by the test purpose which is in turn defined as a special timed automaton
- …
