Sensors 2011, 11(1), 1059-1077; doi:10.3390/s110101059
Article

Formal Specification and Design Techniques for Wireless Sensor and Actuator Networks

1 Department of Automation and Electronics, Autonomous University of the West, Cll 25 # 115 - 85 Km. 2 Vía Cali-Jamundí, Colombia 2 Faculty of Mechanical and Electrical Engineering, University of Colima, Av., Universidad # 333, 28000 Colima, Mexico 3 Department of Computer Engineering (DISCA), Polytechnic University of Valence, Camino de Vera s/n, Valencia, Spain
* Author to whom correspondence should be addressed.
Received: 2 December 2010; in revised form: 1 January 2011 / Accepted: 13 January 2011 / Published: 19 January 2011
(This article belongs to the Section Physical Sensors)
PDF Full-text Download PDF Full-Text [670 KB, uploaded 19 January 2011 15:26 CET]
Abstract: A current trend in the development and implementation of industrial applications is to use wireless networks to communicate the system nodes, mainly to increase application flexibility, reliability and portability, as well as to reduce the implementation cost. However, the nondeterministic and concurrent behavior of distributed systems makes their analysis and design complex, often resulting in less than satisfactory performance in simulation and test bed scenarios, which is caused by using imprecise models to analyze, validate and design these systems. Moreover, there are some simulation platforms that do not support these models. This paper presents a design and validation method forWireless Sensor and Actuator Networks (WSAN) which is supported on a minimal set of wireless components represented in Colored Petri Nets (CPN). In summary, the model presented allows users to verify the design properties and structural behavior of the system.
Keywords: sensor networks; wireless control networks; Colored Petri Nets

Article Statistics

Load and display the download statistics.

Citations to this Article

Cite This Article

MDPI and ACS Style

Martínez, D.; González, A.; Blanes, F.; Aquino, R.; Simo, J.; Crespo, A. Formal Specification and Design Techniques for Wireless Sensor and Actuator Networks. Sensors 2011, 11, 1059-1077.

AMA Style

Martínez D, González A, Blanes F, Aquino R, Simo J, Crespo A. Formal Specification and Design Techniques for Wireless Sensor and Actuator Networks. Sensors. 2011; 11(1):1059-1077.

Chicago/Turabian Style

Martínez, Diego; González, Apolinar; Blanes, Francisco; Aquino, Raúl; Simo, José; Crespo, Alfons. 2011. "Formal Specification and Design Techniques for Wireless Sensor and Actuator Networks." Sensors 11, no. 1: 1059-1077.

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