logo Insalogo Insa

Modeling, evaluation and optimiSation of networks and protocols

Objectives


At the end of this module, the student will have understood and be able to explain (main concepts) :
1. The principles for setting up, managing and running an operator network. Concepts for analysis and metrics of traffic
2. The basics of network planning as well as some algorithms for route optimisation, capacity planning and topology design.
3. Main concepts and formalisms allowing the description and of formal checking of protocols.
The student will be able to :
1. Measure the network state, analyse problems, and propose countermeasures.
2. Apply simple algorithms to improve network resiliency, adapt routes the prevailing traffic (optimal routing, OPSF weight optimization, optimal LSP placement) and to design minimum-cost network topologies.
3. Apply the formal description techniques (modelling and verification)  and carry out a formal modelling of protocols

Needed prerequisite

Graph theory, linear and non-linear programming, basic stochastic processes, IP routing protocols, TCP/IP, MPLS
Propositional Logic, Automata and Languages Theory

Form of assessment

The evaluation of outcome prior learning is made as a continuous training during the semester. According ot the teaching, the assessment will be different: as a written exam, an oral exam, a record, a written report, peers review...