Revista: | Telem@tica (La Habana) |
Base de datos: | PERIÓDICA |
Número de sistema: | 000376035 |
ISSN: | 1729-3804 |
Autors: | Trujillo Díaz, Arian1 Vento Alvarez, José Raúl1 |
Institucions: | 1Universidad de Pinar del Río, Facultad de Informática y Telecomunicaciones, Pinar del Río. Cuba |
Any: | 2014 |
Període: | May-Ago |
Volum: | 13 |
Número: | 2 |
Paginació: | 22-31 |
País: | Cuba |
Idioma: | Español |
Tipo de documento: | Artículo |
Enfoque: | Aplicado, descriptivo |
Resumen en español | Este artículo ofrece unmétodo para la elaboración de protocolos de aplicación de control domóticos, aplicados a un caso de estudio, utilizando herramientas de software libre, PROMELA como su lenguaje de definición formal, y SPIN como su editor, verificador y validador, mediante la simulación |
Resumen en inglés | This article provides a method for developing application protocols automation control, applied to a case study, using free software tools, language PROMELA as its formal definition, and SPIN as its editor, verifier and validator, by simulating |
Disciplines | Ciencias de la computación, Ingeniería |
Paraules clau: | Ingeniería de telecomunicaciones, Domótica, Software libre, Vivienda, Protocolos de comunicación, Verificación |
Keyword: | Computer science, Engineering, Telecommunications engineering, Domotic, Free software, Housing, Communication protocoles, Verification |
Text complet: | Texto completo (Ver HTML) |