Using LOTOS for FormalisingWireless Sensor Network Applications
AbstractThe number of wireless sensor network (WSN) applications is rapidly increasingand becoming an integral part of sensor nodes. These applications have been widely devel-oped on TinyOS operating system using the nesC programming language. However, due tothe tight integration to physical world, limited node power and resources (CPU and memory)and complexity of combining components into an application, to build such applications isnot a trivial task. In this context, we present an approach for treating with this complexityadopting a formal description technique, namely LOTOS, for formalising the WSN applica-tions‘ behaviour. The formalisation has three main benefits: better understanding on how theapplication actually works, checking of desired properties of the application‘s behaviour, andsimulation facilities. In order to illustrate the proposed approach, we apply it to two nesCtraditional applications, namely BLink and Sense.
Scifeed alert for new publicationsNever miss any articles matching your research from any publisher
- Get alerts for new papers matching your research
- Find out the new papers from selected authors
- Updated daily for 49'000+ journals and 6000+ publishers
- Define your Scifeed now
Rosa, N.S.; Cunha, P.R.F. Using LOTOS for FormalisingWireless Sensor Network Applications. Sensors 2007, 7, 1447-1461.
Rosa NS, Cunha PRF. Using LOTOS for FormalisingWireless Sensor Network Applications. Sensors. 2007; 7(8):1447-1461.Chicago/Turabian Style
Rosa, Nelson S.; Cunha, Paulo R.F. 2007. "Using LOTOS for FormalisingWireless Sensor Network Applications." Sensors 7, no. 8: 1447-1461.