Please use this identifier to cite or link to this item: http://repositorio.inesctec.pt/handle/123456789/6182
Full metadata record
DC FieldValueLanguage
dc.contributor.authorLuís Lopesen
dc.contributor.authorMartins,Fen
dc.date.accessioned2018-01-15T15:53:52Z-
dc.date.available2018-01-15T15:53:52Z-
dc.date.issued2016en
dc.identifier.urihttp://repositorio.inesctec.pt/handle/123456789/6182-
dc.identifier.urihttp://dx.doi.org/10.1016/j.sysarc.2016.01.004en
dc.description.abstractWireless 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.en
dc.languageengen
dc.relation5126en
dc.rightsinfo:eu-repo/semantics/openAccessen
dc.titleA safe-by-design programming language for wireless sensor networksen
dc.typearticleen
dc.typePublicationen
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.