State-oriented programming for TinyOS

Abstract

In many wireless sensor network (WSN) applications, nodes are having complex behaviour. This behaviour can be formalized as a state machine. TinyOS ia a popular operation system for WSN. Prugrams for TinyOs are written in nesC. In this paper we propose a way to implement state machines wich uses the particular features of nesC language to improve maintainability, facilitate code reuse and debugging of TinyOS programs.