Publications
-
Reliability-driven Automotive Software Deployment based on a Parametrizable Probabilistic Model Checking
several interacting nodes. Designing such systems includes hardware parts and software parts. The software part acquires in importance since it handles the resources and services to interact with the hardware part. The paper introduces a novel deployment-decision making based on PRISM probabilistic model checker that takes software components and the physical platform to produce a […]
-
Assessing the Severity of Smart Attacks in Industrial Cyber Physical Systems
ndustrial cyber-physical systems (ICPS) are heterogeneous inter-operating parts that can be physical, technical, networking, andeven social like agent operators. Incrementally, they perform a central role in critical and industrial infrastructures, governmental, andpersonal daily life. Especially with the Industry 4.0 revolution, they became more dependent on the connectivity by supporting novelcommunication and distance control functionalities, which […]
-
Performance Analysis of RPL Protocols in LLN Network Using Friedman’s Test
This paper provides a comparison study of the quality services of RPL protocols in low-power and lossy net- works (LLN). We evaluate and compare our proposed protocol which is an extension of RPL based on Operator Calculus (OC), called RPL-OC, with the standard and other RPL variants. OC based approach is applied to extract the […]
-
A Overview on WSN Deployment and a Novel Conceptual BIM-based Approach in Smart Buildings
The rapid growing of Internet of things (IoT) is one of the most important factors of integrating WSN in smart buildings. Furthermore, the presence of these sensors and technologies allow improving the accuracy of the measured data while reducing buildings energy consumption and guaranteeing the comfort required by the indoor users. However, finding the optimal […]
-
Grasp Planning Pipeline for Robust Manipulation of 3D Deformable Objects with Industrial Robotic Hand + Arm Systems
In the grasping and manipulation of 3D deformable objects by robotic hands, the physical contact constraints between the fingers and the object have to be considered in order to validate the robustness of the task. Nevertheless, previous works rarely establish contact interaction models based on these constraints that enable the precise control of forces and […]
-
Construction Hors-site
ce livre traite de la construction hors-site
-
Towards an Automatic Evaluation of the Performance of Electronic-based Physical Unclonable Functions
Physical Unclonable Functions (PUFs) are innovative hardware security primitives that extract secret information from physical characteristics of a device, a chip, or integrated circuits; where different instances of the same PUF device will produce different secret keys. PUFs are used a lot in authentification and secret key generation depending on their type, strong or weak. […]
-
On the development of a thechnological solution to mitigate summer mortality in Brazilian oysters’ crops: reporting experimental results
The Pacific oyster mortality syndrome also occurs in Brazilian crops, with predominance in the adult phase, generating significant losses for local producers. According to the literature, if the spawning process is not triggered, a substantial reduction in the mortality rates can be achieved. This hypothesis steered the synthesis of a technological solution for the matter, […]
-
Security Assessment and Hardening of Autonomous Vehicles
In recent years, experts have noted the risks of hacking the autonomous vehicles. Since the latter become more complex, the number of potential vulnerabilities and the constraints on security algorithms increase. This paper proposes a model checking based framework that relies on a set of predefined attacks and counter measures from where the security requirements […]
-
Towards Enhancing Security and Resilience in CPS: A Coq-Maude based approach
yber-Physical Systems (CPS) have gained considerable interest in the last decade from both industry and academia. Such systems have proven particularly complex and provide considerable challenges to master their design and ensure their functionalities. In this paper, we intend to tackle some of these challenges related to the security and the resilience of CPS at […]
-
A BIM-based framework for an Optimal WSNDeployment in Smart Building
Wireless Sensors Network (WSN) are essential to ensure data collection and monitor in real time buildings and their environments. In general, the collected data are of paramount importance especially to optimize resource consumption and to improve the indoor user’s comfort. However, the reliability of smart buildings depends on the completeness and the relevance of the […]
-
Dynamic scheduling of robotic mildew treatment by UV-c in horticulture
Thanks to new technologies, it is possible to make an automatic robotic treatment of plants for the mildew in greenhouses. The optimization of the scheduling of this robotic treatment presents a real challenge due to the continues evolution of disease level. The conventional optimization methods can not provide an accurate scheduling able to eliminate the […]
Chargement en cours…
Erreur : tout le contenu a été chargé.