WSN Design and Verification Using On-Board Executable Specifications

Risultato della ricerca: Article

1 Citazione (Scopus)

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.
Lingua originaleEnglish
pagine (da-a)710-718
Numero di pagine9
RivistaIEEE Transactions on Industrial Informatics
Volume15
Stato di pubblicazionePublished - 2019

Fingerprint

Wireless sensor networks
Specifications
Embedded systems
Computer programming languages
Systems analysis
Hardware
Radio transceivers

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Information Systems
  • Computer Science Applications
  • Electrical and Electronic Engineering

Cita questo

@article{66eb6cf7149543faaba965e975f4b292,
title = "WSN Design and Verification Using On-Board Executable Specifications",
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.",
author = "Daniele Peri and Salvatore Gaglio and {Lo Re}, Giuseppe and Gloria Martorella",
year = "2019",
language = "English",
volume = "15",
pages = "710--718",
journal = "IEEE Transactions on Industrial Informatics",
issn = "1551-3203",
publisher = "IEEE Computer Society",

}

TY - JOUR

T1 - WSN Design and Verification Using On-Board Executable Specifications

AU - Peri, Daniele

AU - Gaglio, Salvatore

AU - Lo Re, Giuseppe

AU - Martorella, Gloria

PY - 2019

Y1 - 2019

N2 - 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.

AB - 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.

UR - http://hdl.handle.net/10447/351512

UR - http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=9424

M3 - Article

VL - 15

SP - 710

EP - 718

JO - IEEE Transactions on Industrial Informatics

JF - IEEE Transactions on Industrial Informatics

SN - 1551-3203

ER -