Archivio istituzionale della ricerca dell'Università degli Studi di Palermo
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, pubblicazioni, progetti, attività) adottato dall’Università di Palermo, e ha lo scopo di raccogliere, conservare, documentare, e diffondere ad accesso aperto le informazioni relative alla produzione scientifica degli autori afferenti all’Ateneo.
EnglishThe 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.
Augello A., D'Antoni R., Gaglio S., Lo Re G., Martorella G., & Peri D. (2020). Verification of Symbolic Distributed Protocols for Networked Embedded Devices. In IEEE International Conference on Emerging Technologies and Factory Automation, ETFA (pp. 1177-1180). Institute of Electrical and Electronics Engineers Inc. [10.1109/ETFA46521.2020.9212134].
| Data di pubblicazione: | 2020 | |
| Titolo: | Verification of Symbolic Distributed Protocols for Networked Embedded Devices | |
| Autori: | PERI, Daniele (Corresponding) | |
| Citazione: | Augello A., D'Antoni R., Gaglio S., Lo Re G., Martorella G., & Peri D. (2020). Verification of Symbolic Distributed Protocols for Networked Embedded Devices. In IEEE International Conference on Emerging Technologies and Factory Automation, ETFA (pp. 1177-1180). Institute of Electrical and Electronics Engineers Inc. [10.1109/ETFA46521.2020.9212134]. | |
| 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. | |
| ISBN: | 978-1-7281-8956-7 | |
| Digital Object Identifier (DOI): | 10.1109/ETFA46521.2020.9212134 | |
| Settore Scientifico Disciplinare: | Settore ING-INF/05 - Sistemi Di Elaborazione Delle Informazioni | |
| Appare nelle tipologie: | 2.07 Contributo in atti di convegno pubblicato in volume |
File in questo prodotto:
| File | Descrizione | Tipologia | Licenza | |
|---|---|---|---|---|
| 1177-vf-007447.pdf | Articolo (versione editoriale) | Versione Editoriale | Administrator Richiedi una copia |
http://hdl.handle.net/10447/437998
Copyright © 2021