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

  1. Miguel Nieto, Carlos
Zuzendaria:
  1. Angel Fernández del Campo Zuzendaria

Defentsa unibertsitatea: Universidad Politécnica de Madrid

Defentsa urtea: 1991

Epaimahaia:
  1. León Vidaller Sisó Presidentea
  2. Juan Quemada Vives Idazkaria
  3. Juan Antonio de la Puente Alfaro Kidea
  4. David de Frutos Escrig Kidea
  5. Miquel Bertrán Salvans Kidea

Mota: Tesia

Teseo: 32523 DIALNET

Laburpena

ESTE TRABAJO SE ENMARCA EN EL AMBITO DE LOS LENGUAJES FORMALES BASADOS EN ALGEBRAS DE PROCESOS Y SU APLICACION EN LA EVALUACION DE PRESTACIONES DE SISTEMAS DE EVENTOS DISCRETOS, TECNICAS DE DESCRIPCION FORMAL BASADAS EN ALGEBRAS DE PROCESOS SE ESTAN APLICANDO AL DISEÑO DE SISTEMAS DISTRIBUIDOS YA QUE PERMITEN VERIFICAR LAS PROPIEDADES DEL DISEÑO; PERO LA MAYORIA DE ELLAS SOLO SON CAPACES DE MODELAR LOS ASPECTOS FUNCIONALES DEL SISTEMA Y POR LO TANTO NO ES POSIBLE OBTENER LAS PRESTACIONES DEL DISEÑO. EL OBJETIVO DE ESTA TEXIS ES EXTENDER UN LENGUAJE FORMAL PARA PODER DESCRIBIR LOS ASPECTOS TEMPORALES Y PROBABILISTICOS DELSISTEMA Y APLICARLO A LA EVALUACION DE PRESTACIONES MEDIANTE ANALISIS Y SIMULACION. DICHA TECNICA SE HA APLICADO AL DISEÑO Y EVALUACION DE UNA RED REAL DE COMUNICACION DE DATOS VIA SATELITE. LA TECNICA DE DESCRIPCION FORMAL QUE SE HA EXTENDIDO ES LOTOS YA QUE DESTACA ENTRE OTRAS POR TENER UNA SEMANTICA DE TIPOS DE DATOS Y SER NORMA INTERNACIONAL.