Sensors 2007, 7(8), 1447-1461; doi:10.3390/s7081447
Article

Using LOTOS for FormalisingWireless Sensor Network Applications

* email and email
Received: 3 May 2007; Accepted: 18 June 2007 / Published: 13 August 2007
View Full-Text   |   Download PDF [248 KB, uploaded 21 June 2014]
Abstract: The 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.
Keywords: Wireless Sensor Network Applications; LOTOS; Formalization
This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Export to BibTeX |
EndNote


MDPI and ACS Style

Rosa, N.S.; Cunha, P.R.F. Using LOTOS for FormalisingWireless Sensor Network Applications. Sensors 2007, 7, 1447-1461.

AMA Style

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.


Sensors EISSN 1424-8220 Published by MDPI AG, Basel, Switzerland RSS E-Mail Table of Contents Alert