Next Article in Journal
Piezoelectric Sensor for Determination of Genetically Modified Soybean Roundup Ready (R) in Samples not Amplified by PCR
Next Article in Special Issue
Time Series Forecasting Energy-efficient Organization of Wireless Sensor Networks
Previous Article in Journal
Detection of Salmonella by Surface Plasmon Resonance
Previous Article in Special Issue
Agent Collaborative Target Localization and Classification in Wireless Sensor Networks
Open AccessArticle

Using LOTOS for FormalisingWireless Sensor Network Applications

Universidade Federal de Pernambuco, Centro de Informatica, Recife, Brazil
Author to whom correspondence should be addressed.
Sensors 2007, 7(8), 1447-1461;
Received: 3 May 2007 / Accepted: 18 June 2007 / Published: 13 August 2007
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. View Full-Text
Keywords: Wireless Sensor Network Applications; LOTOS; Formalization Wireless Sensor Network Applications; LOTOS; Formalization
Show Figures

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.

Find Other Styles

Article Access Map by Country/Region

Only visits after 24 November 2015 are recorded.
Search more from Scilit
Back to TopTop