Skip to Main content Skip to Navigation
Theses

Contribution à la modélisation de produit actif communicant : spécification et évaluation d'un protocole de communication orienté sécurité des produits

Abstract : Monitoring of chemical product storage is a delicate operation in the sense that it requires knowledge of the nature of each stored product, their location, their interaction and possible actions to be implemented in case of emergency. To facilitate the storage management, this thesis proposes to use the concept of ambient where the product has its own information system and wireless communication so as to make it intelligent and autonomous. This thesis proposes and develops a model of internal behavior of active product that allows a distributed approach of active security. This can lead to a communication protocol of application level to embed the active products. This protocol is formally assessed using hierarchical colored Petri nets. Finally, this protocol is implemented in the simulator Castalia/Omnet++ to analyze it in several scenarios and also for the experience when going to scale. The results show the usefulness and feasibility of the concept of active product
Complete list of metadata

Cited literature [64 references]  Display  Hide  Download

https://hal.univ-lorraine.fr/tel-01746157
Contributor : Thèses Ul <>
Submitted on : Thursday, March 29, 2018 - 10:25:15 AM
Last modification on : Friday, May 17, 2019 - 11:40:17 AM
Long-term archiving on: : Thursday, September 13, 2018 - 12:03:09 PM

File

SCD_T_2011_0010_ZOUINKHI.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-01746157, version 1

Collections

Citation

Ahmed Zouinkhi. Contribution à la modélisation de produit actif communicant : spécification et évaluation d'un protocole de communication orienté sécurité des produits. Autre. Université Henri Poincaré - Nancy 1, 2011. Français. ⟨NNT : 2011NAN10010⟩. ⟨tel-01746157⟩

Share

Metrics

Record views

95

Files downloads

139