TY  - BOOK
AU  - 
AU  - Grote Hahn, Walter (Comisión de tesis)
ED  - UTFSM. 
TI  - Validación del protocolo de comunicaciones del sistema de multiacceso digital mediante promela
U1  - M 621.385 
PY  - 2002///
CY  - Valparaíso
PB  - UTFSM
KW  - COMUNICACIONES DIGITALES
KW  - SISTEMAS TELEFONICOS DIGITALES
KW  - TRANSMISIONES DIGITALES
KW  - REDES DIGITALES DE SERVICIOS INTEGRADOS
N1  - CONSULTE EN LINEA A TRAVES DE REPOSITORIO INSTITUCIONAL; Tesis (Ing. Ejec. Electrónico, mención Comunicaciones)-- Prof. guía: Walter Grote H; h. : 46
N2  - [Resumen del autor]; La Especificación y Validación de un protocolo de comunicaciones es un proceso formal que puede ser realizado por diversas técnicas. En este caso, el protocolo de comunicaciones del Sistema de Multiacceso Digital (SMO), se especificó y validó según Protocol Meta Language (PROMELA). El SMO fue una solución concebida con la finalidad de disminuir el gran costo de la red externa que tienen las compañías telefónicas, debido a la topología de estrella que utilizan las centrales públicas actuales. Se estima que este costo, llega al 60% del activo de las compañías. En el SMO esta topología de estrella es reemplazada por una topología de anillo con líneas digitales, en que se transmite a una tasa de 2048 Kb/s, con lo cual, los requerimientos de infraestructura de red externa necesaria para la red telefónica, disminuye considerablemente. El SMO permite ofrecer servicio telefónico a cerca de 300 abonados con una probabilidad de bloqueo de 0,1% utilizando sólo dos pares telefónicos para la interconexión entre el terminal de cualquiera de estos abonados y la central local que les brinda el servicio telefónico. El lenguaje Promela de especificación con el cual se hizo el análisis de este trabajo fue diseñado por el investigador de la AT&T Gerald Holzman. Este lenguaje permite especificar y luego validar completamente cualquier sistema distribuido. Para realizar este trabajo primero se hizo un estudio del SMO analizando el protocolo descrito por las Máquinas de Estados Finitos (FSM: Finite State Machine) del Sistema, luego se realizó un detallado estudio del lenguaje Promela y finalmente se hizo la especificación y validación del protocolo de comunicaciones
ER  -