Formal Specification and Design Techniques for Wireless Sensor and Actuator Networks

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 concu...

Descripción completa

Detalles Bibliográficos
Autores: Martínez Castro, Diego, Gonzalez, Apolinar, Aquino, Raul, Blanes Noguera, Francisco|||0000-0002-9234-5377, Simó Ten, José Enrique|||0000-0003-4677-7627, Crespo, Alfons|||0000-0002-6606-7406
Tipo de recurso: artículo
Fecha de publicación:2011
País:España
Institución:Universitat Politècnica de València (UPV)
Repositorio:RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
Idioma:inglés
OAI Identifier:oai:riunet.upv.es:10251/28828
Acceso en línea:https://riunet.upv.es/handle/10251/28828
Access Level:acceso abierto
Palabra clave:Colored petri nets
Sensor networks
Wireless control networks
ARQUITECTURA Y TECNOLOGIA DE COMPUTADORES
id ES_be036adc7a72deeb348e739f7d4dcd66
oai_identifier_str oai:riunet.upv.es:10251/28828
network_acronym_str ES
network_name_str España
repository_id_str
spelling Formal Specification and Design Techniques for Wireless Sensor and Actuator NetworksMartínez Castro, DiegoGonzalez, ApolinarAquino, RaulBlanes Noguera, Francisco|||0000-0002-9234-5377Simó Ten, José Enrique|||0000-0003-4677-7627Crespo, Alfons|||0000-0002-6606-7406Colored petri netsSensor networksWireless control networksARQUITECTURA Y TECNOLOGIA DE COMPUTADORESA 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. ©2011 by the authors.This work was developed as a part of the D2ARS Project supported by CYTED. UNESCO code 120325; 330417; 120314; 120305, the TURTLE project (Securizacion de Sistemas Embebidos Distribuidos), funded by the program AVANZA I+D del Ministerio de Industria, Turismo y Comercio of the Spanish Government and the SIDERELI project DPI2008-06737-C02-01/02 (Ministerio de Ciencia e Innovacion of Spain and European founds FEDER).MDPIDepartamento de Informática de Sistemas y ComputadoresInstituto Universitario de Automática e Informática IndustrialEscuela Técnica Superior de Ingeniería InformáticaCYTED Ciencia y Tecnología para el DesarrolloMinisterio de Ciencia e InnovaciónRepositorio Institucional de la Universitat Politècnica de València Riunet20112011-01-01journal articlehttp://purl.org/coar/resource_type/c_6501VoRhttp://purl.org/coar/version/c_970fb48d4fbd8a85info:eu-repo/semantics/articleapplication/pdfhttps://riunet.upv.es/handle/10251/28828reponame:RiuNet. Repositorio Institucional de la Universitat Politécnica de Valénciainstname:Universitat Politècnica de València (UPV)InglésengCYTED Ciencia y Tecnología para el Desarrollo https://doi.org/10.13039/501100008441 120325CYTED Ciencia y Tecnología para el Desarrollo https://doi.org/10.13039/501100008441 330417CYTED Ciencia y Tecnología para el Desarrollo https://doi.org/10.13039/501100008441 120314CYTED Ciencia y Tecnología para el Desarrollo https://doi.org/10.13039/501100008441 120305Ministerio de Ciencia e Innovación http://dx.doi.org/10.13039/501100004837 DPI2008-06737-C02-01 NUCLEO DE CONTROL EN SISTEMAS DISTRIBUIDOSopen accesshttp://purl.org/coar/access_right/c_abf2Reconocimiento (by)http://creativecommons.org/licenses/by/4.0/info:eu-repo/semantics/openAccessoai:riunet.upv.es:10251/288282026-06-13T07:49:27Z
dc.title.none.fl_str_mv Formal Specification and Design Techniques for Wireless Sensor and Actuator Networks
title Formal Specification and Design Techniques for Wireless Sensor and Actuator Networks
spellingShingle Formal Specification and Design Techniques for Wireless Sensor and Actuator Networks
Martínez Castro, Diego
Colored petri nets
Sensor networks
Wireless control networks
ARQUITECTURA Y TECNOLOGIA DE COMPUTADORES
title_short Formal Specification and Design Techniques for Wireless Sensor and Actuator Networks
title_full Formal Specification and Design Techniques for Wireless Sensor and Actuator Networks
title_fullStr Formal Specification and Design Techniques for Wireless Sensor and Actuator Networks
title_full_unstemmed Formal Specification and Design Techniques for Wireless Sensor and Actuator Networks
title_sort Formal Specification and Design Techniques for Wireless Sensor and Actuator Networks
dc.creator.none.fl_str_mv Martínez Castro, Diego
Gonzalez, Apolinar
Aquino, Raul
Blanes Noguera, Francisco|||0000-0002-9234-5377
Simó Ten, José Enrique|||0000-0003-4677-7627
Crespo, Alfons|||0000-0002-6606-7406
author Martínez Castro, Diego
author_facet Martínez Castro, Diego
Gonzalez, Apolinar
Aquino, Raul
Blanes Noguera, Francisco|||0000-0002-9234-5377
Simó Ten, José Enrique|||0000-0003-4677-7627
Crespo, Alfons|||0000-0002-6606-7406
author_role author
author2 Gonzalez, Apolinar
Aquino, Raul
Blanes Noguera, Francisco|||0000-0002-9234-5377
Simó Ten, José Enrique|||0000-0003-4677-7627
Crespo, Alfons|||0000-0002-6606-7406
author2_role author
author
author
author
author
dc.contributor.none.fl_str_mv Departamento de Informática de Sistemas y Computadores
Instituto Universitario de Automática e Informática Industrial
Escuela Técnica Superior de Ingeniería Informática
CYTED Ciencia y Tecnología para el Desarrollo
Ministerio de Ciencia e Innovación
Repositorio Institucional de la Universitat Politècnica de València Riunet
dc.subject.none.fl_str_mv Colored petri nets
Sensor networks
Wireless control networks
ARQUITECTURA Y TECNOLOGIA DE COMPUTADORES
topic Colored petri nets
Sensor networks
Wireless control networks
ARQUITECTURA Y TECNOLOGIA DE COMPUTADORES
description 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. ©2011 by the authors.
publishDate 2011
dc.date.none.fl_str_mv 2011
2011-01-01
dc.type.none.fl_str_mv journal article
http://purl.org/coar/resource_type/c_6501
VoR
http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.openaire.fl_str_mv info:eu-repo/semantics/article
format article
dc.identifier.none.fl_str_mv https://riunet.upv.es/handle/10251/28828
url https://riunet.upv.es/handle/10251/28828
dc.language.none.fl_str_mv Inglés
eng
language_invalid_str_mv Inglés
language eng
dc.relation.none.fl_str_mv CYTED Ciencia y Tecnología para el Desarrollo https://doi.org/10.13039/501100008441 120325
CYTED Ciencia y Tecnología para el Desarrollo https://doi.org/10.13039/501100008441 330417
CYTED Ciencia y Tecnología para el Desarrollo https://doi.org/10.13039/501100008441 120314
CYTED Ciencia y Tecnología para el Desarrollo https://doi.org/10.13039/501100008441 120305
Ministerio de Ciencia e Innovación http://dx.doi.org/10.13039/501100004837 DPI2008-06737-C02-01 NUCLEO DE CONTROL EN SISTEMAS DISTRIBUIDOS
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
Reconocimiento (by)
http://creativecommons.org/licenses/by/4.0/
dc.rights.openaire.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
Reconocimiento (by)
http://creativecommons.org/licenses/by/4.0/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv MDPI
publisher.none.fl_str_mv MDPI
dc.source.none.fl_str_mv reponame:RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
instname:Universitat Politècnica de València (UPV)
instname_str Universitat Politècnica de València (UPV)
reponame_str RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
collection RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869418250113122304
score 15,300719

Similares en LA Referencia