Statecharts: A visual formalism for complex systems
Science of Computer Programming
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
The nesC language: A holistic approach to networked embedded systems
PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
Energy-efficient surveillance system using wireless sensor networks
Proceedings of the 2nd international conference on Mobile systems, applications, and services
Software design patterns for TinyOS
LCTES '05 Proceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Creation and Validation of Embedded Assertion Statecharts
RSP '06 Proceedings of the Seventeenth IEEE International Workshop on Rapid System Prototyping
Beyond event handlers: programming wireless sensors with attributed state machines
IPSN '05 Proceedings of the 4th international symposium on Information processing in sensor networks
State-Centric Programming for Sensor-Actuator Network Systems
IEEE Pervasive Computing
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
| Hi-index | 0.00 |
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.