Wireless Sensor Networks (WSNs) represent a key component in emerging distributed computing paradigms such as IoT, Ambient Intelligence, and Smart Cities. In these contexts, the difficulty of testing, verifying, and monitoring applications in their intended scenarios ranges from challenging to impractical. Current simulators can only be used to investigate correctness at source code level and with limited accuracy. This paper proposes a system and a methodology to model and verify symbolic distributed applications running on WSNs. The approach allows to complement the distributed application code at a high level of abstraction in order to test and reprogram it, directly, on deployed network devices. The proposed intelligent architecture enables the execution of distributed applications and the verification of the supplied correctness conditions. This paper shows the feasibility of the proposed approach and its effectiveness even when networks include resource-constrained nodes with some sample applications and quantitative experiments measuring the overhead introduced by the monitoring operations.

Augello A., Gaglio S., Lo Re G., Peri D. (2022). Modeling and Verification of Symbolic Distributed Applications through an Intelligent Monitoring Agent. IEEE ACCESS, 10, 94443-94457 [10.1109/ACCESS.2022.3204043].

Modeling and Verification of Symbolic Distributed Applications through an Intelligent Monitoring Agent

Augello A.;Gaglio S.;Lo Re G.;Peri D.
2022-09-01

Abstract

Wireless Sensor Networks (WSNs) represent a key component in emerging distributed computing paradigms such as IoT, Ambient Intelligence, and Smart Cities. In these contexts, the difficulty of testing, verifying, and monitoring applications in their intended scenarios ranges from challenging to impractical. Current simulators can only be used to investigate correctness at source code level and with limited accuracy. This paper proposes a system and a methodology to model and verify symbolic distributed applications running on WSNs. The approach allows to complement the distributed application code at a high level of abstraction in order to test and reprogram it, directly, on deployed network devices. The proposed intelligent architecture enables the execution of distributed applications and the verification of the supplied correctness conditions. This paper shows the feasibility of the proposed approach and its effectiveness even when networks include resource-constrained nodes with some sample applications and quantitative experiments measuring the overhead introduced by the monitoring operations.
set-2022
Augello A., Gaglio S., Lo Re G., Peri D. (2022). Modeling and Verification of Symbolic Distributed Applications through an Intelligent Monitoring Agent. IEEE ACCESS, 10, 94443-94457 [10.1109/ACCESS.2022.3204043].
File in questo prodotto:
File Dimensione Formato  
Modeling_and_Verification_of_Symbolic_Distributed_Applications_Through_an_Intelligent_Monitoring_Agent.pdf

accesso aperto

Tipologia: Versione Editoriale
Dimensione 1.77 MB
Formato Adobe PDF
1.77 MB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10447/569265
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact