15 DEZEMBRO / SEXTA FEIRA / 17:54
FCUP PT 
 EN
 
 
APRESENTAÇÃO
PESSOAS
ENSINO
INVESTIGAÇÃO
BIBLIOTECA
NOTÍCIAS
CONTACTOS

Technical Report: DCC-2008-01

Robust Programming for Sensor Networks

Francisco Martins

LASIGE/DI-FCUL, Portugal
E-mail: {fmartins}@di.fc.ul.pt

Luís Lopes, Miguel S. Silva

CRACS/DCC-FCUP, Portugal
E-mail: {lblopes,mssilva}@dcc.fc.up.pt

João Barros

IT/DCC-FCUP, Portugal
E-mail: {barros}@dcc.fc.up.pt

March 2008

Abstract

Aiming at a sound formal basis for the design and implementation of robust programming languages for sensor networks, we present a process calculus that captures their main characteristics in terms of computational resources and communication abilities. The calculus, which has straightforward semantics and is rather expressive, features a static type system that allows premature detection of application protocol errors. Our main results include subject reduction and type safety proofs, as well as an initial implementation of an interpreter.


FCUP 2017