Autor: MIGUEL NIETO, Carlos

Título: Técnicas de descripción formal aplicadas a la evaluación de prestaciones de sistemas de comunicación

Fecha: 1991

Materia: Sin materia definida

Escuela: E.T.S. DE INGENIEROS DE TELECOMUNICACION

Departamento: INGENIERIA DE SISTEMAS TELEMATICOS

Acceso electrónico:

Director/a(s):

• Director/a: FERNANDEZ DEL CAMPO, Angel

Resumen: Este trabajo se enmarca en el ámbito de los lenguajes formales basados en álgebras de procesos y su aplicación en la evaluación de prestaciones de sistemas de eventos discretos. Técnicas de descripción formal basadas en álgebras de procesos se están aplicando al diseño de sistemas distribuidos, ya que permiten verificar las propiedades del diseño; pero la mayoría de ellas sólo son capaces de modelar los aspectos funcionales del sistema y, por tanto, no es posible obtener las prestaciones del diseño. El objetivo de esta tesis es extender un lenguaje formal para poder describir los aspectos temporales y probabilísticos del sistema y aplicarlo a la evaluación de prestaciones mediante análisis y simulación. Dicha técnica se ha aplicado al diseño y evaluación de una red real de comunicación de da-tos vía satélite. La técnica de descripción formal que se ha extendido es LOTOS, ya que destaca entre otras por tener una semántica de tipos de datos y ser norma internacional