Modelling Link State Routing in Event-B

2016 ◽  
Author(s):  
Mojgan Kamali ◽  
Luigia Petre
Keyword(s):  
Link State

Multipoint Relay Selections with QoS Support in Link State Routing Protocol for Multi-Hop Wireless Networks

2009 ◽  
Vol E92-A (9) ◽  
pp. 2218-2226
Author(s):  
Takeaki KOGA ◽  
Shigeaki TAGASHIRA ◽  
Teruaki KITASUKA ◽  
Tsuneo NAKANISHI ◽  
Akira FUKUDA
Keyword(s):  
Wireless Networks ◽  
Routing Protocol ◽  
Link State

An Estimation and Evaluation of Network Availability in Link State Routing Networks

2021 ◽  
Vol 7 (3) ◽  
Author(s):  
S. Suvitha ◽  
R. C. Karpagalakshmi ◽  
R. Umamaheswari ◽  
K. Chandramohan ◽  
M. S. Sabari
Keyword(s):  
Professional Activity ◽  
Protection Scheme ◽  
Link State ◽  
Network Availability ◽  
Delay Sensitive ◽  
Failure State ◽  
Singular Link ◽  
Complete Failure ◽  
State Of Affairs ◽  
Network Component

The internet is taking component in a developing feature in every non-public and professional activity. The real-time, delay sensitive and mission-essential purposes, community availability requirement is beforehand for internet carrier providers (ICPs). The loop-loose criterion (LLC) approach has been extensively deployed through numerous ICPs for handling the best network component failure state of affairs in fantastic internet through. The achievement of LLC lies in its inherent simplicity; however, this comes at the rate of letting certain failure. To reap complete failure safety with LLC without incurring significant extra, a singular link protection scheme, hybrid hyperlink protocol (HLP), to reap failure routing. In contrast with in advance schemes, HLP guarantees tall network in a greater surroundings pleasant way. HLP is carried out in stages. Initial level substances a surroundings pleasant LLC primarily based totally on (MNP-e). The complexity of the set of rules is decrease than that of Dijkstra’s set of rules and might gift similar to network availability with LCC (Loop-loose criterion). Moment level substances backup direction safety based on MNP-e, the area totally a minimum type of need to be protected, to fulfill the network requirement. We don't forget those algorithms in a massive spread of associated, real and actual, and the effects display that HLP can achieve lofty network without introducing apparent.

Border Gateway Protocol - Link State (BGP-LS) Extensions for Segment Routing BGP Egress Peer Engineering

2021 ◽  
Author(s):  
S. Previdi ◽  
C. Filsfils ◽  
K. Patel ◽  
S. Ray ◽  
J. Dong
Keyword(s):  
Border Gateway Protocol ◽  
Link State
Sign in / Sign up

Export Citation Format

Share Document