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

Autores/as

  • 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.

Descargas

Los datos de descargas todavía no están disponibles.

Descargas

Publicado

2014-09-02

Cómo citar

Trujillo Díaz, A., & Vento Álvarez, J. R. (2014). Método para la definición y verificación formal de protocolos para aplicaciones de control domótico. Telemática, 13(2), 22–31. Recuperado a partir de https://revistatelematica.cujae.edu.cu/index.php/tele/article/view/143

Número

Vol. 13 Núm. 2 (2014): Mayo-Agosto

Sección

Artículos de investigación científica y tecnológica

Licencia

Los autores que publican en esta revista están de acuerdo con los siguientes términos:

  1. Los autores conservan los derechos de autor y garantizan a la revista el derecho de ser la primera publicación del trabajo se distribuyen bajo una licencia de uso y distribución "Creative Commons Reconocimiento-NoComercial-SinObraDerivada 3.0 Unported" (CC BY-NC-ND 3.0) Puede consultar desde aquí la versión informativa y el texto legal de la licencia que permite a otros compartir el trabajo con un reconocimiento de la autoría del trabajo y la publicación inicial en esta revista.
  2. Los autores pueden establecer por separado acuerdos adicionales para la distribución no exclusiva de la versión de la obra publicada en la revista (por ejemplo, situarlo en un repositorio institucional o publicarlo en un libro), con un reconocimiento de su publicación inicial en esta revista.
  3. Se permite y se anima a los autores a difundir sus trabajos electrónicamente (por ejemplo, en repositorios institucionales o en su propio sitio web) antes y durante el proceso de envío, ya que puede dar lugar a intercambios productivos, así como a una citación más temprana y mayor de los trabajos publicados (Véase The Effect of Open Access) (en inglés).