Formal specification and design techniques for wireless sensor and actuator networks

dc.creatorMartínez Castro, Diego
dc.creatorGonzález, Apolinar
dc.creatorBlanes, Francisco
dc.creatorAquino Santos, Raúl
dc.creatorSimoy, José
dc.creatorCrespo, Alfons
dc.date.accessioned2020-03-24T12:45:19Z
dc.date.accessioned2022-09-22T18:22:50Z
dc.date.available2020-03-24T12:45:19Z
dc.date.available2022-09-22T18:22:50Z
dc.date.created2020-03-24T12:45:19Z
dc.date.issued2011-01
dc.identifierMartínez Castro, Diego; González, Apolinar; Blanes, Francisco; Aquino Santos, Raúl; Simoy, José; Crespo, Alfons. Formal specification and design techniques for wireless sensor and actuator networks. En: National Center for Biotechnology Information. Volumen 11, número 1, (enero 2011); páginas 1059-1077
dc.identifier1424-8220
dc.identifierhttp://red.uao.edu.co//handle/10614/12157
dc.identifierhttps://www.ncbi.nlm.nih.gov/pubmed/22344203
dc.identifierdoi: 10.3390/s110101059.
dc.identifier.urihttp://repositorioslatinoamericanos.uchile.cl/handle/2250/3449712
dc.description.abstractA 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
dc.languageeng
dc.publisherNational Center for Biotechnology Information
dc.relationMartìnez, D.; Balbastre, P.; Blanes, F.; Simo, J.; Crespo, A. Design of control applicationson WSAN with mesh architecture. Presented at the IberoAmerican Conference on Trends inEngineering: Wireless Sensors Networks Session, Albuquerque, NM, USA, 27–28 October 2009
dc.relationMartínez, D.; Balbastre, P.; Blanes, F.; Simo, J.; Crespo, A. Procedimiento de diseno paraminimizar el consumo de potencia y los retrasos en WSAN. Revista Iberoamericana de Autom´oticae Inform´atica Industrial 2010,7, 95-110.
dc.relationLee, S.; Park, J.H.; Ha, K.N.; Lee, K.C. Wireless networked control system using NDIS-basedfour-layer architecture for IEEE 802.11b. Presented at the IEEE International Workshop on FactoryCommunication Systems, Dresden, Germany, 21–23 May 2008
dc.relationMoraes, R.; Portugal, P.; Vasques, F.; Fonseca, J.A. Limitations of the IEEE 802.11e EDCAprotocol when supporting realtime communication. Presented at the IEEE International Workshopon Factory Communication Systems, Dresden, Germany, 21–23 May 2008.
dc.relationZigbee Specification. Available online: http://www.Zigbee.org (accessed on 7 October 2010)
dc.relationKoubˆaa, A.; Cunha, A.; Alves, M.; Tovar, E. TDBS: A time division beacon scheduling mechanismfor ZigBee cluster-tree wireless sensor networks. Real-Time Syst. J. 2008,40, 321-354
dc.relationSaewong, S.; Rajkumar, R. Practical voltage-scaling for fixed-priority RT-systems. Presentedat the 9th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 03),Washington, DC, USA, 27–30 May 2003
dc.relationPalencia, J.C.; Guti´errez, J.J.; Gonzalez, M. On the schedulability analysis for distributed hardreal-time systems. In Proceedings of Ninth Euromicro workshop on Real Time Systems, Toledo,Spain, 11–13 June 1997, pp 136-143
dc.relationTindell, K.; Clark, J. Holistic schedulability analysis for distributed hard real-time systems.Microproc. Microprog. 1994,40, 117-134
dc.relationMejia-Alvarez, P.; Levner, E.; Mosse, D. Power-optimized scheduling server for realtime tasks.In Proceedings of IEEE Real-Time and Embedded Technology and Applications Symp. (RTAS 02),San Jose, CA, USA, 24–27 September 2002; p. 239
dc.relationMarinoni, M.; Buttazzo, G. Elastic DVS management in processors with discrete voltage/frequencymodes. IEEE Trans. Ind. Inform. 2007,3, 51-62
dc.relationZhu, Y.; Mueller, F. Feedback EDF scheduling exploiting dynamic voltage scaling. Presented at the10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS04), Toronto,Canada, 25–28 May 2004
dc.relationPillai, P.; Shin, K.G. Real-time dynamic voltage scaling for low-power embedded operatingsystems. In Proceedings of ACM Symposium, Operating Systems Principles, Banff, Canada, 21–24October 2001; pp. 89-102
dc.relationBonivento, A.; Sangiovanni-Vincentelli, A.; Graziosi, F.; Santucci, F. SERAN: A semi randomprotocol solution for clustered wireless sensor networks. Presented at IEEE InternationalConference on Mobile Adhoc and Sensor Systems Conference, Washintong, DC, USA, 7 November2005
dc.relationPrasad, V.; Yan, T.; Jayachandran, P.; Li, Z.; Son, S.; Stankovic, J.; Hansson, J.; Abdelzaher,T. ANDES: An analysis-based design tool for wireless sensor networks. Presented at 28th IEEEInternational Real-Time Systems Symposium, Tucson, AZ, USA, 3–6 December 2007
dc.relationXia, F.; Tian, Y.Ch.; Li, Y.J.; Sun, Y.X. Wireless Sensor/Actuator Network Design for MobileControl Applications. Sensors 2007,10, 2157-2173
dc.relationVarma, A.; Debes, E.; Kozintsev, I.; Jacob, B. Instruction-level power dissipation in the intelXScale embedded microprocessor. In Proceedings of the SPIE, 17th Annual Symposium onElectronic Imaging Science and Technology, San Jose, CA, USA, January 2005; volume 5683,pp. 1-8
dc.relationJensen, K. An introduction to the theoretical aspects of colored Petri Nets. In A Decade ofConcurrency, Lecture Notes in Computer Science; Bakker, de J.W., Roever, de W.-P., Rozenberg,G., Eds.; Springer: Berlin, Germany, 1994; Volume 803, pp. 230-272
dc.relationJensen, K. A brief introduction to Colored Petri Nets. In Proceedings of the Third InternationalWorkshop on Tools and Algorithms for Construction and Analysis of Systems, Enschede, TheNetherlands, 2–4 April 1997; pp. 203-208
dc.relationJensen, K.; Kristensen, L.M.; Wells, L. Colored Petri Nets and CPN tools for modelling andvalidation of concurrent systems. Int. J. Softw. Tools Technol. Transf. 2007,9, 213-254
dc.relationNational Center for Biotechnology Information. Volumen 11, número 1, (enero 2011); páginas 1059-1077
dc.rightshttps://creativecommons.org/licenses/by-nc-nd/4.0/
dc.rightsinfo:eu-repo/semantics/openAccess
dc.rightsAtribución-NoComercial-SinDerivadas 4.0 Internacional (CC BY-NC-ND 4.0)
dc.rightsDerechos Reservados - Universidad Autónoma de Occidente
dc.sourceinstname:Universidad Autónoma de Occidente
dc.sourcereponame:Repositorio Institucional UAO
dc.sourcexxxxx
dc.subjectSensor networks
dc.subjectWireless control networks
dc.subjectColored petri nets
dc.titleFormal specification and design techniques for wireless sensor and actuator networks
dc.typeArtículo de revista


Este ítem pertenece a la siguiente institución