Paper Info
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...
Year
DOI
Venue
2019
10.1109/TII.2018.2840534
IEEE Transactions on Industrial Informatics
Keywords
Field
DocType
Hardware,Semantics,Wireless sensor networks,Programming,Task analysis,Random access memory,Informatics
Transceiver,Computer science,Chip,Real-time computing,Runtime verification,Coding (social sciences),Software,Functional specification,Wireless sensor network,Embedded system,Executable
Journal
Volume
Issue
ISSN
15
2
1551-3203
Citations 
PageRank 
References 
0
0.34
0
Authors
4
Name
Order
Citations
PageRank
Salvatore Gaglio166088.41
Giuseppe Lo Re233841.26
Gloria Martorella352.96
Daniele Peri42410.14