The gap between informal functional specifications and the resulting implementation in the chosen programming language is notably a source of errors in embedded systems design. In this paper, we discuss a methodology and a software platform aimed at coping with this issue in programming resource-constrained wireless sensor network nodes (WSNs). Whereas the typical development model for the WSNs is based on cross compilation, the proposed approach supports high-level symbolic coding of abstract models and distributed applications, as well as their test and their execution, directly on the target hardware. As a working example, we discuss the application of our methodology to specify the functional behavior of a radio transceiver chip. The resulting executable specifications are augmented with automatically generated runtime verification code. Our approach is also compared to code development for two prominent WSN general-purpose operating systems.

Gaglio, S., Re, G.L., Martorella, G., Peri, D. (2019). WSN Design and Verification Using On-Board Executable Specifications. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 15(2), 710-718 [10.1109/TII.2018.2840534].

WSN Design and Verification Using On-Board Executable Specifications

Gaglio, Salvatore;Re, Giuseppe Lo;Martorella, Gloria;Peri, Daniele
2019-02-01

Abstract

The gap between informal functional specifications and the resulting implementation in the chosen programming language is notably a source of errors in embedded systems design. In this paper, we discuss a methodology and a software platform aimed at coping with this issue in programming resource-constrained wireless sensor network nodes (WSNs). Whereas the typical development model for the WSNs is based on cross compilation, the proposed approach supports high-level symbolic coding of abstract models and distributed applications, as well as their test and their execution, directly on the target hardware. As a working example, we discuss the application of our methodology to specify the functional behavior of a radio transceiver chip. The resulting executable specifications are augmented with automatically generated runtime verification code. Our approach is also compared to code development for two prominent WSN general-purpose operating systems.
feb-2019
Gaglio, S., Re, G.L., Martorella, G., Peri, D. (2019). WSN Design and Verification Using On-Board Executable Specifications. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 15(2), 710-718 [10.1109/TII.2018.2840534].
File in questo prodotto:
File Dimensione Formato  
08365807.pdf

Solo gestori archvio

Descrizione: Articolo principale
Tipologia: Versione Editoriale
Dimensione 1.72 MB
Formato Adobe PDF
1.72 MB Adobe PDF   Visualizza/Apri   Richiedi una copia
HighLevelSpecs_blind.pdf

Solo gestori archvio

Tipologia: Post-print
Dimensione 451.67 kB
Formato Adobe PDF
451.67 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

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/351512
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 8
  • ???jsp.display-item.citation.isi??? 6
social impact