An Extended Object Constraint Language for Adaptive Discrete Event Systems With Application to Reconfigurable Wireless Sensor Networks

2020 ◽  
Vol 50 (10) ◽  
pp. 3562-3576
Author(s):  
Hanen Grichi ◽  
Olfa Mosbahi ◽  
Mohamed Khalgui ◽  
Zhiwu Li
Sensors ◽  
2021 ◽  
Vol 21 (2) ◽  
pp. 430
Author(s):  
Su Man Nam ◽  
Hyung-Jong Kim

Large-scale wireless sensor networks are characterized by stringent energy and computation restrictions. It is exceedingly difficult to change a sensor network’s environment configurations, such as the number of sensor nodes, after deployment of the nodes. Although several simulators are able to variously construct simulation models for sensor networks before their deployment, the configurations should be modified with extra human effort as the simulators cannot freely generate diverse models. In this paper, we propose a novel framework, called a system entity structure and model base for large-scale wireless sensor networks (WSN-SES/MB), which is based on discrete event system specification formalism. Our proposed framework synthesizes the structure and models for sensor networks through our modeling construction process. The proposed framework achieves time and cost savings in constructing discrete event simulation-based models. In addition, the framework increases the diversity of simulation models by the process’s pruning algorithm. The simulation results validate that the proposed framework provides up to 8% time savings and up to 23% cost savings as compared to the manual extra effort.


Author(s):  
Tae Ho Cho ◽  
Su Man Nam

Wireless sensor networks (WSNs) suffer serious damage from false positive and negative attacks due to their hardware restrictions. The sensor network causes both unnecessary energy consumption and information loss through false reports and normal reports, which include false message authentication codes (MACs). A probabilistic voting-based filtering scheme (PVFS) effectively detects the two types of attacks through a pre-defined threshold, which is the number of detected false MACs in a report. Since the threshold significantly influences the ability to detect attacks, the sensor network should be simulated to ensure proper function. In this paper, we describe the development and simulation of a PVFS-based WSN using a discrete event system specification. The experimental results showed that PVFS with a threshold of 2 reduced energy usage by about 16% and improved the detected false reports as compared with a PVFS with a threshold of 3.


Sign in / Sign up

Export Citation Format

Share Document