Applications of formal methods to performance evaluation

Tesis doctoral de Fernando Lopez Pelayo

En esta tesis se presenta un modelo teórico para validar características cualitativas y cuantitativas en sistemas concurrentes, multiprocesadores y de tiempo real: el álgebra de procesos markovianos rosa. se presenta una semántica operacional y otras denotacional para capturar las propiedades funcionales de un sistema, en particular pueden analizarse sistemas no deterministas, con probabilidades (generativas) y distribuciones exponenciales y poisson. Se proporcionan relaciones de equiValencia sobre estas semánticas que permiten comparar procesos funcionalmente. asimismo se presenta un algoritmo de evaluación temporal que permite comparar la eficiencia de procesos. se aplica rosa al análisis de abp (un caso de estudio clásico) y el mpeg-2 (una aplicación realcuyas características temporales son cruciales) obteniendo resultados interesantes. de esta forma se demuestra la utilidad de los modelos formales en la evaluación de prestaciones en sistemas reales. finalmente, la imposibilidad de describir con exactitud la concurrencia real mediante orsa conduce al uso de otro formalismo menos intuitivo pero con mejores aptitudes para el análisis de la concurrencia real: las redes de petri con arcos temporizados. mediante su aplicación muy interesantes resultados en la mejora de la implementación del algoritmo de ciompresión de vido mpeg2, tales como un análisis de número de procesadores requeridos cuando se permita la maxima concurrencia, así como la mejora teórica obtenida en las prestaciones de este algoritmo.

 

Datos académicos de la tesis doctoral «Applications of formal methods to performance evaluation«

  • Título de la tesis:  Applications of formal methods to performance evaluation
  • Autor:  Fernando Lopez Pelayo
  • Universidad:  Castilla-la mancha
  • Fecha de lectura de la tesis:  29/07/2004

 

Dirección y tribunal

  • Director de la tesis
    • Fernando Cuartero Gomez
  • Tribunal
    • Presidente del tribunal: Quiles flor Francisco josé
    • ramón Puigjaner trepat (vocal)
    • j. Pooley rob (vocal)
    • Javier Campos laclaustra (vocal)

 

Deja un comentario

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *

Scroll al inicio