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...
- Autores:
-
Martínez Castro, Diego
González, Apolinar
Blanes, Francisco
Aquino-Santos, Raul
Simo, José
Crespo, Alfons
- Tipo de recurso:
- Article of journal
- Fecha de publicación:
- 2011
- Institución:
- Universidad Autónoma de Occidente
- Repositorio:
- RED: Repositorio Educativo Digital UAO
- Idioma:
- eng
- OAI Identifier:
- oai:red.uao.edu.co:10614/12157
- Acceso en línea:
- http://red.uao.edu.co//handle/10614/12157
- Palabra clave:
- Redes de sensores
Redes de sensores inalámbricos
Sensor networks
Wireless sensor networks
Colored petri nets
- Rights
- openAccess
- License
- Derechos Reservados - MDPI, 2011
| id |
REPOUAO2_5b4daedf51feed2a42fda839fe1f6813 |
|---|---|
| oai_identifier_str |
oai:red.uao.edu.co:10614/12157 |
| network_acronym_str |
REPOUAO2 |
| network_name_str |
RED: Repositorio Educativo Digital UAO |
| repository_id_str |
|
| dc.title.eng.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 Redes de sensores Redes de sensores inalámbricos Sensor networks Wireless sensor networks Colored petri nets |
| 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.fl_str_mv |
Martínez Castro, Diego González, Apolinar Blanes, Francisco Aquino-Santos, Raul Simo, José Crespo, Alfons |
| dc.contributor.author.none.fl_str_mv |
Martínez Castro, Diego González, Apolinar Blanes, Francisco Aquino-Santos, Raul Simo, José Crespo, Alfons |
| dc.subject.armarc.spa.fl_str_mv |
Redes de sensores Redes de sensores inalámbricos |
| topic |
Redes de sensores Redes de sensores inalámbricos Sensor networks Wireless sensor networks Colored petri nets |
| dc.subject.armarc.eng.fl_str_mv |
Sensor networks Wireless sensor networks |
| dc.subject.proposal.eng.fl_str_mv |
Colored petri nets |
| 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 |
| publishDate |
2011 |
| dc.date.issued.none.fl_str_mv |
2011-01 |
| dc.date.accessioned.none.fl_str_mv |
2020-03-24T12:45:19Z |
| dc.date.available.none.fl_str_mv |
2020-03-24T12:45:19Z |
| dc.type.spa.fl_str_mv |
Artículo de revista |
| dc.type.coar.fl_str_mv |
http://purl.org/coar/resource_type/c_2df8fbb1 |
| dc.type.coarversion.fl_str_mv |
http://purl.org/coar/version/c_970fb48d4fbd8a85 |
| dc.type.coar.eng.fl_str_mv |
http://purl.org/coar/resource_type/c_6501 |
| dc.type.content.eng.fl_str_mv |
Text |
| dc.type.driver.eng.fl_str_mv |
info:eu-repo/semantics/article |
| dc.type.redcol.eng.fl_str_mv |
http://purl.org/redcol/resource_type/ARTREF |
| dc.type.version.eng.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
| format |
http://purl.org/coar/resource_type/c_6501 |
| status_str |
publishedVersion |
| dc.identifier.issn.spa.fl_str_mv |
1424-8220 |
| dc.identifier.uri.none.fl_str_mv |
http://red.uao.edu.co//handle/10614/12157 |
| dc.identifier.instname.spa.fl_str_mv |
Universidad Autónoma de Occidente |
| dc.identifier.reponame.spa.fl_str_mv |
Repositorio Institucional UAO |
| identifier_str_mv |
1424-8220 Universidad Autónoma de Occidente Repositorio Institucional UAO |
| url |
http://red.uao.edu.co//handle/10614/12157 |
| dc.language.iso.eng.fl_str_mv |
eng |
| language |
eng |
| dc.relation.eng.fl_str_mv |
Sensors. Volumen 11, número 1, (enero 2011); páginas 1059-1077 |
| dc.relation.citationendpage.none.fl_str_mv |
1077 |
| dc.relation.citationissue.none.fl_str_mv |
1 |
| dc.relation.citationstartpage.none.fl_str_mv |
1059 |
| dc.relation.citationvolume.none.fl_str_mv |
11 |
| dc.relation.cites.spa.fl_str_mv |
Martínez Castro, D., González, A., Blanes, F., Aquino Santos, R., Simoy, J., Crespo, A. (2011). Formal specification and design techniques for wireless sensor and actuator networks. Sensors 11(1), 1059-1077. http://red.uao.edu.co//handle/10614/12157 |
| dc.relation.ispartofjournal.eng.fl_str_mv |
Sensors |
| dc.relation.references.none.fl_str_mv |
Martì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 Martí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. Lee, 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 Moraes, 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. Zigbee Specification. Available online: http://www.Zigbee.org (accessed on 7 October 2010) Koubˆ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 Saewong, 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 Palencia, 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 Tindell, K.; Clark, J. Holistic schedulability analysis for distributed hard real-time systems.Microproc. Microprog. 1994,40, 117-134 Mejia-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 Marinoni, M.; Buttazzo, G. Elastic DVS management in processors with discrete voltage/frequencymodes. IEEE Trans. Ind. Inform. 2007,3, 51-62 Zhu, 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 Pillai, 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 Bonivento, 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 Prasad, 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 Xia, F.; Tian, Y.Ch.; Li, Y.J.; Sun, Y.X. Wireless Sensor/Actuator Network Design for MobileControl Applications. Sensors 2007,10, 2157-2173 Varma, 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 Jensen, 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 Jensen, 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 Jensen, 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.rights.spa.fl_str_mv |
Derechos Reservados - MDPI, 2011 |
| dc.rights.coar.fl_str_mv |
http://purl.org/coar/access_right/c_abf2 |
| dc.rights.uri.eng.fl_str_mv |
https://creativecommons.org/licenses/by-nc-nd/4.0/ |
| dc.rights.accessrights.eng.fl_str_mv |
info:eu-repo/semantics/openAccess |
| dc.rights.creativecommons.spa.fl_str_mv |
Atribución-NoComercial-SinDerivadas 4.0 Internacional (CC BY-NC-ND 4.0) |
| rights_invalid_str_mv |
Derechos Reservados - MDPI, 2011 https://creativecommons.org/licenses/by-nc-nd/4.0/ Atribución-NoComercial-SinDerivadas 4.0 Internacional (CC BY-NC-ND 4.0) http://purl.org/coar/access_right/c_abf2 |
| eu_rights_str_mv |
openAccess |
| dc.format.eng.fl_str_mv |
application/pdf |
| dc.format.extent.spa.fl_str_mv |
19 páginas |
| dc.publisher.eng.fl_str_mv |
MDPI |
| institution |
Universidad Autónoma de Occidente |
| bitstream.url.fl_str_mv |
https://red.uao.edu.co/bitstreams/28a831ac-1626-4993-b82c-c0d88308bf85/download https://red.uao.edu.co/bitstreams/0c8d4621-f804-490f-ae0c-1613e6b892d4/download https://red.uao.edu.co/bitstreams/2c4a400f-2f6f-46f0-acba-69706821d4b2/download https://red.uao.edu.co/bitstreams/e5db2479-69d8-4387-8130-f31f37715a71/download https://red.uao.edu.co/bitstreams/0edbc6a4-abf4-4fd6-80d2-4b283a60d365/download |
| bitstream.checksum.fl_str_mv |
4460e5956bc1d1639be9ae6146a50347 20b5ba22b1117f71589c7318baa2c560 b67557f5584e647f8133cc867527de60 fe08505f50eb3d8210509458f144cd81 514e2c72ff76382d4bbeca1c74447b32 |
| bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 MD5 MD5 MD5 |
| repository.name.fl_str_mv |
Repositorio Digital Universidad Autonoma de Occidente |
| repository.mail.fl_str_mv |
repositorio@uao.edu.co |
| _version_ |
1814259748226203648 |
| spelling |
Martínez Castro, Diegovirtual::3002-1González, Apolinarc71d2127efe309f1c72ed360a78af749Blanes, Franciscobfe7a75fa3896d916496baa8a0a70ea4Aquino-Santos, Raul49d51463acaca9e7b56d101c31af53a7Simo, José7864904e391f65cb036c36b3781d6cc4Crespo, Alfons997fa5e977e504d938dbadd86f73d9d62020-03-24T12:45:19Z2020-03-24T12:45:19Z2011-011424-8220http://red.uao.edu.co//handle/10614/12157Universidad Autónoma de OccidenteRepositorio Institucional UAOA 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 systemapplication/pdf19 páginasengMDPISensors. Volumen 11, número 1, (enero 2011); páginas 1059-107710771105911Martínez Castro, D., González, A., Blanes, F., Aquino Santos, R., Simoy, J., Crespo, A. (2011). Formal specification and design techniques for wireless sensor and actuator networks. Sensors 11(1), 1059-1077. http://red.uao.edu.co//handle/10614/12157SensorsMartì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 2009Martí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.Lee, 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 2008Moraes, 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.Zigbee Specification. Available online: http://www.Zigbee.org (accessed on 7 October 2010)Koubˆ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-354Saewong, 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 2003Palencia, 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-143Tindell, K.; Clark, J. Holistic schedulability analysis for distributed hard real-time systems.Microproc. Microprog. 1994,40, 117-134Mejia-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. 239Marinoni, M.; Buttazzo, G. Elastic DVS management in processors with discrete voltage/frequencymodes. IEEE Trans. Ind. Inform. 2007,3, 51-62Zhu, 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 2004Pillai, 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-102Bonivento, 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 November2005Prasad, 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 2007Xia, F.; Tian, Y.Ch.; Li, Y.J.; Sun, Y.X. Wireless Sensor/Actuator Network Design for MobileControl Applications. Sensors 2007,10, 2157-2173Varma, 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-8Jensen, 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-272Jensen, 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-208Jensen, 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-254Derechos Reservados - MDPI, 2011https://creativecommons.org/licenses/by-nc-nd/4.0/info:eu-repo/semantics/openAccessAtribución-NoComercial-SinDerivadas 4.0 Internacional (CC BY-NC-ND 4.0)http://purl.org/coar/access_right/c_abf2Formal specification and design techniques for wireless sensor and actuator networksArtículo de revistahttp://purl.org/coar/resource_type/c_6501http://purl.org/coar/resource_type/c_2df8fbb1Textinfo:eu-repo/semantics/articlehttp://purl.org/redcol/resource_type/ARTREFinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/version/c_970fb48d4fbd8a85Redes de sensoresRedes de sensores inalámbricosSensor networksWireless sensor networksColored petri netsPublication16469e35-6f18-4e0c-acfe-e8a2e314fedfvirtual::3002-116469e35-6f18-4e0c-acfe-e8a2e314fedfvirtual::3002-1https://scienti.minciencias.gov.co/cvlac/visualizador/generarCurriculoCv.do?cod_rh=0000195928virtual::3002-1CC-LICENSElicense_rdflicense_rdfapplication/rdf+xml; charset=utf-8805https://red.uao.edu.co/bitstreams/28a831ac-1626-4993-b82c-c0d88308bf85/download4460e5956bc1d1639be9ae6146a50347MD52LICENSElicense.txtlicense.txttext/plain; charset=utf-81665https://red.uao.edu.co/bitstreams/0c8d4621-f804-490f-ae0c-1613e6b892d4/download20b5ba22b1117f71589c7318baa2c560MD53ORIGINALFormal specification and design techniques for wireless sensor and actuator networks.pdfFormal specification and design techniques for wireless sensor and actuator networks.pdfTexto archivo completo del artículo de revista, PDFapplication/pdf686019https://red.uao.edu.co/bitstreams/2c4a400f-2f6f-46f0-acba-69706821d4b2/downloadb67557f5584e647f8133cc867527de60MD54TEXTFormal specification and design techniques for wireless sensor and actuator networks.pdf.txtFormal specification and design techniques for wireless sensor and actuator networks.pdf.txtExtracted texttext/plain41880https://red.uao.edu.co/bitstreams/e5db2479-69d8-4387-8130-f31f37715a71/downloadfe08505f50eb3d8210509458f144cd81MD55THUMBNAILFormal specification and design techniques for wireless sensor and actuator networks.pdf.jpgFormal specification and design techniques for wireless sensor and actuator networks.pdf.jpgGenerated Thumbnailimage/jpeg13341https://red.uao.edu.co/bitstreams/0edbc6a4-abf4-4fd6-80d2-4b283a60d365/download514e2c72ff76382d4bbeca1c74447b32MD5610614/12157oai:red.uao.edu.co:10614/121572024-03-07 16:49:25.74https://creativecommons.org/licenses/by-nc-nd/4.0/Derechos Reservados - MDPI, 2011open.accesshttps://red.uao.edu.coRepositorio Digital Universidad Autonoma de Occidenterepositorio@uao.edu.coRUwgQVVUT1IgYXV0b3JpemEgYSBsYSBVbml2ZXJzaWRhZCBBdXTDs25vbWEgZGUgT2NjaWRlbnRlLCBkZSBmb3JtYSBpbmRlZmluaWRhLCBwYXJhIHF1ZSBlbiBsb3MgdMOpcm1pbm9zIGVzdGFibGVjaWRvcyBlbiBsYSBMZXkgMjMgZGUgMTk4MiwgbGEgTGV5IDQ0IGRlIDE5OTMsIGxhIERlY2lzacOzbiBhbmRpbmEgMzUxIGRlIDE5OTMsIGVsIERlY3JldG8gNDYwIGRlIDE5OTUgeSBkZW3DoXMgbGV5ZXMgeSBqdXJpc3BydWRlbmNpYSB2aWdlbnRlIGFsIHJlc3BlY3RvLCBoYWdhIHB1YmxpY2FjacOzbiBkZSBlc3RlIGNvbiBmaW5lcyBlZHVjYXRpdm9zLiBQQVJBR1JBRk86IEVzdGEgYXV0b3JpemFjacOzbiBhZGVtw6FzIGRlIHNlciB2w6FsaWRhIHBhcmEgbGFzIGZhY3VsdGFkZXMgeSBkZXJlY2hvcyBkZSB1c28gc29icmUgbGEgb2JyYSBlbiBmb3JtYXRvIG8gc29wb3J0ZSBtYXRlcmlhbCwgdGFtYmnDqW4gcGFyYSBmb3JtYXRvIGRpZ2l0YWwsIGVsZWN0csOzbmljbywgdmlydHVhbCwgcGFyYSB1c29zIGVuIHJlZCwgSW50ZXJuZXQsIGV4dHJhbmV0LCBpbnRyYW5ldCwgYmlibGlvdGVjYSBkaWdpdGFsIHkgZGVtw6FzIHBhcmEgY3VhbHF1aWVyIGZvcm1hdG8gY29ub2NpZG8gbyBwb3IgY29ub2Nlci4gRUwgQVVUT1IsIGV4cHJlc2EgcXVlIGVsIGRvY3VtZW50byAodHJhYmFqbyBkZSBncmFkbywgcGFzYW50w61hLCBjYXNvcyBvIHRlc2lzKSBvYmpldG8gZGUgbGEgcHJlc2VudGUgYXV0b3JpemFjacOzbiBlcyBvcmlnaW5hbCB5IGxhIGVsYWJvcsOzIHNpbiBxdWVicmFudGFyIG5pIHN1cGxhbnRhciBsb3MgZGVyZWNob3MgZGUgYXV0b3IgZGUgdGVyY2Vyb3MsIHkgZGUgdGFsIGZvcm1hLCBlbCBkb2N1bWVudG8gKHRyYWJham8gZGUgZ3JhZG8sIHBhc2FudMOtYSwgY2Fzb3MgbyB0ZXNpcykgZXMgZGUgc3UgZXhjbHVzaXZhIGF1dG9yw61hIHkgdGllbmUgbGEgdGl0dWxhcmlkYWQgc29icmUgw6lzdGUuIFBBUkFHUkFGTzogZW4gY2FzbyBkZSBwcmVzZW50YXJzZSBhbGd1bmEgcmVjbGFtYWNpw7NuIG8gYWNjacOzbiBwb3IgcGFydGUgZGUgdW4gdGVyY2VybywgcmVmZXJlbnRlIGEgbG9zIGRlcmVjaG9zIGRlIGF1dG9yIHNvYnJlIGVsIGRvY3VtZW50byAoVHJhYmFqbyBkZSBncmFkbywgUGFzYW50w61hLCBjYXNvcyBvIHRlc2lzKSBlbiBjdWVzdGnDs24sIEVMIEFVVE9SLCBhc3VtaXLDoSBsYSByZXNwb25zYWJpbGlkYWQgdG90YWwsIHkgc2FsZHLDoSBlbiBkZWZlbnNhIGRlIGxvcyBkZXJlY2hvcyBhcXXDrSBhdXRvcml6YWRvczsgcGFyYSB0b2RvcyBsb3MgZWZlY3RvcywgbGEgVW5pdmVyc2lkYWQgIEF1dMOzbm9tYSBkZSBPY2NpZGVudGUgYWN0w7phIGNvbW8gdW4gdGVyY2VybyBkZSBidWVuYSBmZS4gVG9kYSBwZXJzb25hIHF1ZSBjb25zdWx0ZSB5YSBzZWEgZW4gbGEgYmlibGlvdGVjYSBvIGVuIG1lZGlvIGVsZWN0csOzbmljbyBwb2Ryw6EgY29waWFyIGFwYXJ0ZXMgZGVsIHRleHRvIGNpdGFuZG8gc2llbXByZSBsYSBmdWVudGUsIGVzIGRlY2lyIGVsIHTDrXR1bG8gZGVsIHRyYWJham8geSBlbCBhdXRvci4gRXN0YSBhdXRvcml6YWNpw7NuIG5vIGltcGxpY2EgcmVudW5jaWEgYSBsYSBmYWN1bHRhZCBxdWUgdGllbmUgRUwgQVVUT1IgZGUgcHVibGljYXIgdG90YWwgbyBwYXJjaWFsbWVudGUgbGEgb2JyYS4K |