Análise Lógico do Protocolo LMP em um Ambiente GMPLS

Daniela Cunha, Graça Bressan

DOI: 10.14209/sbrt.2004.360

Evento: XXI Simpósio Brasileiro de Telecomunicações (SBrT2004)

Keywords: LMP GMPLS análise lógica alcançabilidade justa

Abstract

Alcançabilidade justa é um método de análise lógica útil na detecção de erros de progresso em protocolos de comunicação representados por MEFCs. É imprescindível a análise lógica do LMP que é um dos protocolos que constituem o GMPLS. Assim, verifica-se o comportamento deste bem como se o mesmo está ou não livre de erros de progresso.

Download