Please use this identifier to cite or link to this item: http://repositorio.inesctec.pt/handle/123456789/6182
Title: A safe-by-design programming language for wireless sensor networks
Authors: Luís Lopes
Martins,F
Issue Date: 2016
Abstract: Wireless sensor networks are notoriously difficult to program and debug. This fact not only stems from the nature of the hardware, but also from the current approaches for developing programming languages and runtime systems for these platforms. In particular, current systems do not place enough stress on providing formal descriptions of the language and its runtime system, and on proving static properties, like type-safety and soundness. In this paper, we present the design, specification, and implementation of a programming language and a runtime system for wireless sensor networks that are safe by design. We say this in the sense that we can statically detect a large set of would-be runtime errors, and that the runtime system will not incorrectly execute an application, once the latter is deployed. We have a full prototype implementation of the system that supports SunSPOT devices, the simulation tool VisualSense, and local computer networks for fast deployment and testing of applications. Development is supported by an IDE implemented on top of the Eclipse tool that embeds both the compiler and the virtual machine seamlessly, and is used to produce software releases.
URI: http://repositorio.inesctec.pt/handle/123456789/6182
http://dx.doi.org/10.1016/j.sysarc.2016.01.004
metadata.dc.type: article
Publication
Appears in Collections:CRACS - Articles in International Journals

Files in This Item:
File Description SizeFormat 
P-00K-031.pdf2.46 MBAdobe PDFThumbnail
View/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.