Towards the Safe Programming of Wireless Sensor Networks

TL;DR

This paper introduces a core calculus for sensor network programming to bridge the semantic gap, enabling the development of type-safe, high-level languages that simplify deployment, programming, and debugging.

Contribution

It proposes a foundational calculus as an assembly language to facilitate the creation of type-safe, high-level programming languages for sensor networks.

Findings

Defines a core calculus for sensor network programming

Proposes using the calculus as an assembly language for high-level languages

Lays groundwork for safer, more reliable sensor network applications

Abstract

Sensor networks are rather challenging to deploy, program, and debug. Current programming languages for these platforms suffer from a significant semantic gap between their specifications and underlying implementations. This fact precludes the development of (type-)safe applications, which would potentially simplify the task of programming and debugging deployed networks. In this paper we define a core calculus for programming sensor networks and propose to use it as an assembly language for developing type-safe, high-level programming languages.