Imeri, Adnan
[Author]
;
université Paris-Saclay
[Contributor];
Université du Luxembourg
[Contributor];
Agoulmine, Nazim
[Contributor];
Khadraoui, Djamel
[Contributor]
Utilisation de la technologie blockchain pour l'amélioration de la confiance dans les processus de logistique et de transport ; Using the blockchain technology for trust improvement of processes in Logistics and Transportation
You can manage bookmarks using lists, please log in to your user account for this.
Media type:
Text;
Electronic Thesis;
E-Book
Title:
Utilisation de la technologie blockchain pour l'amélioration de la confiance dans les processus de logistique et de transport ; Using the blockchain technology for trust improvement of processes in Logistics and Transportation
Footnote:
Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
Description:
Cette thèse aborde le problème général du transport sûr et sécurisé des marchandises dangereuses (TMD). Le TMD est très compliqué à gérer en raison des risques pour l'environnement et la vie humaine. Actuellement, il souffre d'un manque d'efficacité, de confiance et de transparence.Dans cette thèse, nous proposons une nouvelle méthode pour spécifier les aspects du flux de travail du TMD en considérant toutes les étapes du processus du TMD pendant tout son cycle de vie. Cette méthode vise à faciliter les spécifications du système de gestion du flux de travail TMD qui est entièrement basé sur les cadres réglementaires existants assurant la conformité, la confiance et la transparence de tous les processus sous-jacents. La méthode de conception de système proposée est basée sur l'approche dite d'architecture dirigée par le modèle (MDA) et l'améliore pour prendre en compte les propriétés de la blockchain. La première étape est l'analyse formelle du processus de TMD et son alignement avec les cadres réglementaires. La méthode de conception proposée vise, à ce stade, à permettre la définition et la vérification formelles de la conception du système au regard des cadres réglementaires. Les étapes suivantes de la méthode s'appuient fortement sur la transformation de modèle qui est un aspect important de la méthode de conception proposée. La transformation du modèle permet de découvrir automatiquement les composants du système homologue et les interactions autorisées. La dernière étape de l'ensemble des transformations du modèle est la spécification des profils de jumeaux numériques pour toutes les parties prenantes potentielles. Toutes les interactions dans le monde réel entre les parties prenantes sont transformées en interactions dans le monde numérique, tandis que les interactions avec l'environnement sont réalisées grâce à l'utilisation de l'IoT. L'approche proposée permet les interactions entre les composants des systèmes (jumeaux numériques, dispositifs IoT, etc.) uniquement si cela est conforme au cadre ...