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
|