Validación del protocolo de comunicaciones del sistema de multiacceso digital mediante promela
Tipo de material:
TextoDetalles de publicación: Valparaíso : UTFSM, 2002Descripción: 66 h. : ilTema(s): COMUNICACIONES DIGITALES | SISTEMAS TELEFONICOS DIGITALES | TRANSMISIONES DIGITALES | REDES DIGITALES DE SERVICIOS INTEGRADOS | BC / MEM (memorias UTFSM con resúmenes)Clasificación CDD: M 621.385 Nota de disertación: Tesis (Ing. Ejec. Electrónico, mención Comunicaciones)-- Prof. guía: Walter Grote H. Tema: [Resumen del autor]Tema: 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.
| Tipo de ítem | Biblioteca actual | Colección | número de clasificación | Copia número | Estado | Fecha de vencimiento | Código de barras |
|---|---|---|---|---|---|---|---|
Memorias
|
Biblioteca Central | Memorias | M 621.385 R893 (Navegar estantería(Abre debajo)) | 1 | Disponible | 35609000911781 |
[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.
CONSULTE EN LINEA A TRAVES DE REPOSITORIO INSTITUCIONAL
Tesis (Ing. Ejec. Electrónico, mención Comunicaciones)-- Prof. guía: Walter Grote H.
h. : 46
2