WSN Design and Verification Using On-Board Executable Specifications

Research output: Contribution to journalArticlepeer-review

6 Citations (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.
Original languageEnglish
Pages (from-to)710-718
Number of pages9
JournalIEEE Transactions on Industrial Informatics
Publication statusPublished - 2019

All Science Journal Classification (ASJC) codes

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


Dive into the research topics of 'WSN Design and Verification Using On-Board Executable Specifications'. Together they form a unique fingerprint.

Cite this