Mostrar el registro sencillo del ítem
dc.contributor.author | Martínez Castro, Diego![]() |
es_ES |
dc.contributor.author | Gonzalez, Apolinar![]() |
es_ES |
dc.contributor.author | Blanes Noguera, Francisco![]() |
es_ES |
dc.contributor.author | Aquino, Raul![]() |
es_ES |
dc.contributor.author | Simó Ten, José Enrique![]() |
es_ES |
dc.contributor.author | Crespo Lorente, Alfons![]() |
es_ES |
dc.date.accessioned | 2013-05-14T11:12:28Z | |
dc.date.available | 2013-05-14T11:12:28Z | |
dc.date.issued | 2011 | |
dc.identifier.issn | 1424-8220 | |
dc.identifier.uri | http://hdl.handle.net/10251/28828 | |
dc.description.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. ©2011 by the authors. | es_ES |
dc.description.sponsorship | 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). | |
dc.language | Inglés | es_ES |
dc.publisher | MDPI | es_ES |
dc.relation.ispartof | Sensors | es_ES |
dc.rights | Reconocimiento (by) | es_ES |
dc.subject | Colored petri nets | es_ES |
dc.subject | Sensor networks | es_ES |
dc.subject | Wireless control networks | es_ES |
dc.subject.classification | ARQUITECTURA Y TECNOLOGIA DE COMPUTADORES | es_ES |
dc.title | Formal Specification and Design Techniques for Wireless Sensor and Actuator Networks | es_ES |
dc.type | Artículo | es_ES |
dc.identifier.doi | 10.3390/s110101059 | |
dc.relation.projectID | info:eu-repo/grantAgreement/CYTED//120325/ | es_ES |
dc.relation.projectID | info:eu-repo/grantAgreement/CYTED//330417/ | es_ES |
dc.relation.projectID | info:eu-repo/grantAgreement/CYTED//120314/ | es_ES |
dc.relation.projectID | info:eu-repo/grantAgreement/CYTED//120305/ | es_ES |
dc.relation.projectID | info:eu-repo/grantAgreement/MICINN//DPI2008-06737-C02-01/ES/NUCLEO DE CONTROL EN SISTEMAS DISTRIBUIDOS/ | es_ES |
dc.rights.accessRights | Abierto | es_ES |
dc.contributor.affiliation | Universitat Politècnica de València. Departamento de Informática de Sistemas y Computadores - Departament d'Informàtica de Sistemes i Computadors | es_ES |
dc.description.bibliographicCitation | Martínez Castro, D.; Gonzalez, A.; Blanes Noguera, F.; Aquino, R.; Simó Ten, JE.; Crespo Lorente, A. (2011). Formal Specification and Design Techniques for Wireless Sensor and Actuator Networks. Sensors. 11(1):1059-1077. https://doi.org/10.3390/s110101059 | es_ES |
dc.description.accrualMethod | S | es_ES |
dc.relation.publisherversion | http://dx.doi.org/10.3390/s110101059 | es_ES |
dc.description.upvformatpinicio | 1059 | es_ES |
dc.description.upvformatpfin | 1077 | es_ES |
dc.type.version | info:eu-repo/semantics/publishedVersion | es_ES |
dc.description.volume | 11 | es_ES |
dc.description.issue | 1 | es_ES |
dc.relation.senia | 217419 | |
dc.identifier.pmid | 22344203 | en_EN |
dc.identifier.pmcid | PMC3274114 | en_EN |
dc.contributor.funder | CYTED Ciencia y Tecnología para el Desarrollo | |
dc.contributor.funder | Ministerio de Ciencia e Innovación |