Tesis:
Técnicas de descripción formal aplicadas a la evaluación de prestaciones de sistemas de comunicación
- 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
- Departamentos: INGENIERIA DE SISTEMAS TELEMATICOS
- Acceso electrónico:
- Director/a 1º: 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