WSN Design and Verification Using On-Board Executable Specifications

Risultato della ricerca: Articlepeer review

5 Citazioni (Scopus)


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
Stato di pubblicazionePublished - 2019

All Science Journal Classification (ASJC) codes

  • ???subjectarea.asjc.2200.2207???
  • ???subjectarea.asjc.1700.1710???
  • ???subjectarea.asjc.1700.1706???
  • ???subjectarea.asjc.2200.2208???


Entra nei temi di ricerca di 'WSN Design and Verification Using On-Board Executable Specifications'. Insieme formano una fingerprint unica.

Cita questo