Récupération automatique des données de conception des systèmes pour les études de fiabilité
International audience
Automated verification and synthesis of distributed systems : in particular applied to SDN-IoT platform
Towards the automation of Software-Defined Network (SDN) based Internet of Things (IoT) platforms, we are using formal analysis and synthesis techniques to ensure their safe behaviors. SDN a flexible and low cost networking principle which provides dynamic distributed system applications, IoT is one such kind. There is a strong need for consistent ...
Application de l'Ingénierie des Exigences basée sur les Modèles dans Trois Grands Projets Collaboratifs Européens : Un R...
Ce papier rapporte notre expérience pratique de proposition et d'application d'une approche et d'un langage d'Ingénierie des Exigences basées sur les Modèles. La période concernée de 5 ans couvre trois grands projets collaboratifs européens, chacun d'entre eux fournissant diverses solutions logicielles complexes (e.g., frameworks, ensemble d'outils...
A Deep Learning Based Approach to Object Recognition from LiDAR Data Along Swedish Railroads / En djupinlärningsbaserad ...
Malfunction in the overhead contact line system is a common cause of disturbances in the train traffic in Sweden. Due to the preventive methods being inefficient, the Swedish Transport Administration has stated the need to develop the railroad maintenance services and has identified Artificial Intelligence (AI) as an important tool for this underta...
Optimization of network slice placement in distributed large-scale infrastructures : from heuristics to controlled deep ...
This PhD thesis investigates how to optimize Network Slice Placement in distributed large-scale infrastructures focusing on online heuristic and Deep Reinforcement Learning (DRL) based approaches. First, we rely on Integer Linear Programming (ILP) to propose a data model for enabling on-Edge and on-Network Slice Placement. In contrary to most studi...
Automatisiertes klinisches Codieren
Published in Information - Wissenschaft & Praxis
Die in diesem Artikel vorgestellte Bachelorarbeit behandelt die Ergebnisse einer Shared Task im Bereich eHealth. Es wird untersucht, ob die Klassifikationsgenauigkeit ausgewählter klinischer Codiersysteme durch den Einsatz von Ensemble-Methoden verbessert werden kann. Entscheidend dafür sind die Werte der Evaluationsmaße Mean Average Precision und ...
Distributing connectivity management in Cloud-Edge infrastructures using SDN-based approaches
The evolution of the cloud computing paradigm in the last decade has amplified the access of on-demand services (economical attractive, easy-to-use manner, etc.). However, the current model built upon a few large datacenters (DC) may not be suited to guarantee the needs of new use cases, no-tably the boom of the Internet of Things (IoT). To better ...
Automatic detection efficiency measurements of Superconducting Nanowire Single Photon Detectors
Superconducting nanowire single-photon detectors (SNSPDs) are characterized by their quantum limited ability to accurately detect single photons, with low jitter, high detection efficiency and low dark count rate. To achieve this, the detector is cooled to 2-3K, bringing the device in a superconductive state, and is then biased with a direct curren...
Approche Agile du Model-Based Testing pour les tests fonctionnels des SI d’entreprise
La transformation digitale et Agile des grandes organisations induit un besoin de transformer en profondeur les pratiques du test logiciel. La mise en production des évolutions des systèmes informatiques avec des délais de plus en plus courts, sur des systèmes de plus en plus complexes, remet en cause les pratiques traditionnelles du test fonctionn...
Notation et processus outillé pour la description, l'analyse et la compréhension de l'automatisation dans les systèmes d...
L'automatisation permet à certains systèmes d'exécuter des fonctions sans contrôle extérieur et d'adapter les fonctions qu'ils exécutent à de nouveaux contextes ou buts. Les systèmes contenant de l'automatisation sont de plus en plus utilisés, autant pour aider les humains dans les tâches du quotidien, avec, par exemple, le lave-vaisselle, que dans...
