Cargando…
A Trust-Based Formal Model for Fault Detection in Wireless Sensor Networks
Wireless Sensor Networks (WSNs) are prone to failures and malicious attacks. Trust evaluation is becoming a new method for fault detection in WSNs. In our previous work, a comprehensive trust model based on multi-factors was introduced for fault detection. This model was validated by simulating. How...
Autores principales: | , , |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
MDPI
2019
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6514754/ https://www.ncbi.nlm.nih.gov/pubmed/31018541 http://dx.doi.org/10.3390/s19081916 |
_version_ | 1783417934300839936 |
---|---|
author | Wang, Na Wang, Jiacun Chen, Xuemin |
author_facet | Wang, Na Wang, Jiacun Chen, Xuemin |
author_sort | Wang, Na |
collection | PubMed |
description | Wireless Sensor Networks (WSNs) are prone to failures and malicious attacks. Trust evaluation is becoming a new method for fault detection in WSNs. In our previous work, a comprehensive trust model based on multi-factors was introduced for fault detection. This model was validated by simulating. However, it needs to be redeployed when adjustment to network parameters is made. To address the redeployment issue, we propose a Trust-based Formal Model (TFM) that can describe the fault detection process and check faults without simulating and running a WSN. This model derives from Petri nets with the characteristics of time, weight, and threshold. Basic structures of TFM are presented with which compound structures for general purposes can be built. The transition firing and marking updating rules are both defined for further system analysis. An efficient TFM analysis algorithm is developed for structured detection models. When trust factor values, firing time, weights, and thresholds are loaded, precise assessment of the node can be obtained. Finally, we implement TFM with the Generic Modeling Environment (GME). With an example, we illustrate that TFM can efficiently describe the fault detection process and specify faults in advance for WSNs. |
format | Online Article Text |
id | pubmed-6514754 |
institution | National Center for Biotechnology Information |
language | English |
publishDate | 2019 |
publisher | MDPI |
record_format | MEDLINE/PubMed |
spelling | pubmed-65147542019-05-30 A Trust-Based Formal Model for Fault Detection in Wireless Sensor Networks Wang, Na Wang, Jiacun Chen, Xuemin Sensors (Basel) Article Wireless Sensor Networks (WSNs) are prone to failures and malicious attacks. Trust evaluation is becoming a new method for fault detection in WSNs. In our previous work, a comprehensive trust model based on multi-factors was introduced for fault detection. This model was validated by simulating. However, it needs to be redeployed when adjustment to network parameters is made. To address the redeployment issue, we propose a Trust-based Formal Model (TFM) that can describe the fault detection process and check faults without simulating and running a WSN. This model derives from Petri nets with the characteristics of time, weight, and threshold. Basic structures of TFM are presented with which compound structures for general purposes can be built. The transition firing and marking updating rules are both defined for further system analysis. An efficient TFM analysis algorithm is developed for structured detection models. When trust factor values, firing time, weights, and thresholds are loaded, precise assessment of the node can be obtained. Finally, we implement TFM with the Generic Modeling Environment (GME). With an example, we illustrate that TFM can efficiently describe the fault detection process and specify faults in advance for WSNs. MDPI 2019-04-23 /pmc/articles/PMC6514754/ /pubmed/31018541 http://dx.doi.org/10.3390/s19081916 Text en © 2019 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/). |
spellingShingle | Article Wang, Na Wang, Jiacun Chen, Xuemin A Trust-Based Formal Model for Fault Detection in Wireless Sensor Networks |
title | A Trust-Based Formal Model for Fault Detection in Wireless Sensor Networks |
title_full | A Trust-Based Formal Model for Fault Detection in Wireless Sensor Networks |
title_fullStr | A Trust-Based Formal Model for Fault Detection in Wireless Sensor Networks |
title_full_unstemmed | A Trust-Based Formal Model for Fault Detection in Wireless Sensor Networks |
title_short | A Trust-Based Formal Model for Fault Detection in Wireless Sensor Networks |
title_sort | trust-based formal model for fault detection in wireless sensor networks |
topic | Article |
url | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6514754/ https://www.ncbi.nlm.nih.gov/pubmed/31018541 http://dx.doi.org/10.3390/s19081916 |
work_keys_str_mv | AT wangna atrustbasedformalmodelforfaultdetectioninwirelesssensornetworks AT wangjiacun atrustbasedformalmodelforfaultdetectioninwirelesssensornetworks AT chenxuemin atrustbasedformalmodelforfaultdetectioninwirelesssensornetworks AT wangna trustbasedformalmodelforfaultdetectioninwirelesssensornetworks AT wangjiacun trustbasedformalmodelforfaultdetectioninwirelesssensornetworks AT chenxuemin trustbasedformalmodelforfaultdetectioninwirelesssensornetworks |