Studying the feasibility of IEEE 802.15.4-Based WSNs for gas and fire tracking applications through simulation

Lino, Carlos; Calafate, Carlos T.; Díaz-Ramírez, Arnoldo; Manzoni, Pietro; Cano, Juan-Carlos

doi:10.1109/lcn.2011.6115566

Cited by 4 publications

(1 citation statement)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In the case of the periodically sensed data transmitting applications, the behavior of the built infrastructure monitoring sensor network in which the msn q periodically transmits the sensed data to the respective ch q [28] was modeled. On the other hand, the behavior of the fire tracking sensor network was modeled for the continuously sensed data transmitting application, where the msn q continuously transmits the sensed data to the respective ch q after the detection of an event [29]. For the continuous data transmitting application, the serial flash was used to store the values of the F q which were employed by the M A to perform the task of the in situ verification on the msn q .…”

Section: Theorem 5 the Anomaly Detection States Ie M J [T I M J mentioning

confidence: 99%

Specification and Validation of Enhanced Mobile Agent-Enabled Anomaly Detection and Verification in Resource Constrained Networks

Usman¹,

Muthukkumarasamy²,

Wu³

2015

JNW

View full text Add to dashboard Cite

Existing mobile agent-enabled anomaly detection schemes have not considered temporal behavior for their correct functioning and detection of temporal anomalies. This study employs a holistic system approach to design an Enhanced mobile Agent-enabled Anomaly Detection System (EAADS) by designing two new algorithms. The proposed algorithms are not only important for the completeness of the EAADS, but also for the detection of the anomalies caused by the delayed arrival of the in situ verification results. The formal specifications of the individual algorithmic functionalities are addressed by employing the Petri net theory. A bottom-up synthesis of the individual Petri net modules is carried out to formulate a unified model, which has helped in the identification and removal of inconsistencies in the system design. This process formally characterizes the behavioral properties and the overall workflow of the EAADS. The standard unified Petri net model is then extended into a corresponding high class Generalized Stochastic Petri Net (GSPN) model to formalize and analyze the temporal behavior of the EAADS in a highly nondeterministic communication environment. Finally, the GSPNbased temporal behavior is validated through implementation of the functional specifications on a real testbed composed of the resource constrained MICAz motes. The theoretical and experimental results demonstrate the ability of the EAADS to detect certain types of anomalies and the aptness of the temporal behavior of the EAADS for the low resource sensor networks even in a highly nondeterministic communication environment.

show abstract

Section: Theorem 5 the Anomaly Detection States Ie M J [T I M J mentioning

confidence: 99%