WSN Design and Verification Using On-Board Executable Specifications

Risultato della ricerca: Article

1 Citazioni (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

All Science Journal Classification (ASJC) codes

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

Cita questo