Resumen de Descripcion y especificacion formal (lotos) del control de flujo del plano de usuario del prm de la b-isdn. Propuesta de mejora
Uno de los grandes retos en el área de la ingeniería de Telecomunicación es la necesidad de cubrir las grandes existencias de ancho de banda de información transmitidas a los usuarios.
Esto, es lo que ha motivado la realización de esta tesis, cuyo objetivo es:
Definir y especificar formalmente (LOTOS) un control de flujo de datos aplicado a los niveles bajos del PRM de la B-ISDN (ATM).
Con ello se ha conseguido definir el comportamiento de los niveles ATM (AAL, ATM y PHY) con respecto al flujo de datos a su través.
Los resultados son:
a) Disponer de una especificación formal LOTOS del protocolo ATM.
b) Definir opciones de comportamiento que optimizan las característicasde respuesta temporal.
c) Se ha propuesto una estructura de implementación de este sistema y evaluado su respuesta.
d) Se han dado transformaciones LOTOS susceptible de integración en herramientas co-design, para su análisis y/o implementación según la tecnología a emplear.
e) proponer un método para una mejora generalizadas en la implementación en subsistemas de alta velocidad que actúa de interface con el medio de transporte.
La mejora se basa en una descomposición del flujo de datos en subflujos, con lo que se logrará un mayor tratamiento en paralelo.#
