From software architecture to formal verification of a distributed system

• Autores: Juan José Sánchez Penas
• Directores de la Tesis: Víctor M. Gulías (dir. tes.), Thomas Arts (dir. tes.)
• Lectura: En la Universidade da Coruña ( España ) en 2006
• Idioma: español
• Tribunal Calificador de la Tesis: José Luis Freire Nistal (presid.), Julio Rubio García (secret.), Ricardo Peña Marí (voc.), John Demrick (voc.), Lars-Ake Fredlund (voc.)
• Materias:
  • Lógica
    • Lógica deductiva
      • Teoría de lenguajes formales
  • Matemáticas
    • Ciencia de los ordenadores
      • Informática
      • Lenguajes de programación
      • Teoría de la programación
• Texto completo no disponible (Saber más ...)
• Resumen

  • La tesis estudia como ir desde la arquitectura software a la verificación formal de un sistema distribuido, Como motivación y caso de estudio de la investigación, usamos un servidor de video bajo demanda desarrollado por nuestro grupo de investigación. La arquitectura software de dicho sistema es muy flexible y compleja, y mejores herramientas son necesarias para mejorar la calidad del sistema. La tesis estudia como usar métodos formales para eso. Usando diversas herramientas del área, proponemos un método innovador para extraer de forma automática información sobre rendimiento. Como entrada, usamos el código fuente y la configuración del sistema, como salida, información sobre rendimiento y cuellos de botella. Se demuestra el método con el servidor de video y se generaliza para otras herramientas y sistemas.