Observatorio de I+D+i UPM

Memorias de investigación
Ponencias en congresos:
Model checking a video-on-demand server using McErlang
Año:2007
Áreas de investigación
  • Lenguaje de programación
Datos
Descripción
The article describes a method to obtain performance measurements from complex distributed systems using a model checking approach. We illustrate the approach by applying it to a video-on-demand application developed in Erlang. To obtain performance measurements concerning e.g.\ streaming capacity, and identify system bottlenecks, we used the McErlang model checker which implements a large part of the Erlang API. Answers to capacity queries are computed as measures over paths in the system state graph, and the combination of an on-the-fly model checker (not requiring the generation of the complete state graph) with a powerful language (Erlang itself) for expressing correctness claims, made it possible to analyse substantially sized systems.
Internacional
No
Nombre congreso
11th International Conference on Computer Aided Systems Theory (Eurocast 2007)
Tipo de participación
960
Lugar del congreso
Museo Elder de la Ccia y Tecnología. Las Palmas de Gran Canaria
Revisores
Si
ISBN o ISSN
978-3-540-75866-2
DOI
Fecha inicio congreso
12/02/2007
Fecha fin congreso
16/02/2007
Desde la página
Hasta la página
Título de las actas
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Juan José Sánchez Penas (Universidad de A Coruña)
  • Autor: Lars-Ake Fredlund (UPM)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa
  • Departamento: Lenguajes y Sistemas Informáticos e Ingeniería de Software
S2i 2023 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)