Verification of Symbolic Distributed Protocols for Networked Embedded Devices

Salvatore Gaglio, Daniele Peri, Giuseppe Lo Re, Gloria Martorella, Andrea Augello, Salvatore Gaglio

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Abstract

The availability of versatile and interconnected embedded devices makes it possible to build low-cost networks with a large number of nodes running even complex applications and protocols in a distributed manner. Common tools used for modeling and verification, such as simulators, present some limitations as application correctness is checked off-board and only focuses on source code. Execution in the real network is thus excluded from the early stages of design and verification. In this paper, a system for modeling and verification of symbolic distributed protocols running on embedded devices is introduced. The underlying methodology is rooted in a symbolic programming paradigm that makes it possible to model protocols with a high level of abstraction still permitting their execution on resource-constrained devices. The preliminary experimental results shown in this paper concern verification of a distributed averaging protocol in a simulated network at increasing number of nodes. The results support the feasibility of the approach to test distributed applications running on large networks of resource- constrained nodes.
Original languageEnglish
Title of host publicationIEEE International Conference on Emerging Technologies and Factory Automation, ETFA
Pages1177-1180
Number of pages4
Publication statusPublished - 2020

Publication series

NamePROCEEDINGS IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION

All Science Journal Classification (ASJC) codes

  • Electrical and Electronic Engineering
  • Control and Systems Engineering
  • Industrial and Manufacturing Engineering
  • Computer Science Applications

Fingerprint

Dive into the research topics of 'Verification of Symbolic Distributed Protocols for Networked Embedded Devices'. Together they form a unique fingerprint.

Cite this