WSN Design and Verification Using On-Board Executable Specifications

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

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on industrial informatics Vol. 15; no. 2; pp. 710 - 718
Main Authors: Gaglio, Salvatore, Re, Giuseppe Lo, Martorella, Gloria, Peri, Daniele
Format: Journal Article
Language:English
Published: Piscataway IEEE 01.02.2019
The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subjects:
Embedded systems
Hardware
Informatics
Operating systems
Programming
Programming languages
Random access memory
Remote sensors
resource-constrained devices
Semantics
Specifications
symbolic programming
system programming
system specification
Systems design
Task analysis
Wireless sensor networks
ISSN:1551-3203, 1941-0050
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:1551-3203
1941-0050
DOI:10.1109/TII.2018.2840534