Método para la definición y verificación formal de protocolos para aplicaciones de control domótico.

Arian Trujillo Díaz, José Raúl Vento Álvarez

Resumen


Este artículo ofrece un mé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.


Texto completo:

PDF

Enlaces refback

  • No hay ningún enlace refback.


Revista Telemática. ISSN 1729-3804

Departamento de Telemática. Facultad de Telecomunicaciones y Electrónica.
Universidad Tecnológica de La Habana "José Antonio Echeverría", CUJAE.