A framework for Virtual Network Functions (VNF) modeling and Service Graph verification in SDN/Cloud context
External reference persons VIRGILIO MATTEO
Research Groups COMPUTER NETWORKS GROUP - NETGROUP
Description The networking panorama has dramatically evolved towards flexible and dynamic virtualization technologies, which allow the deployment of complex network services and functionalities. According to this trend, some functions (firewall, caches, NAT, etc.) that were traditionally deployed by means of static appliances, are now becoming light software images that can be managed very easily thus allowing frequent reconfiguration of network service graphs in a cloud-like environment.
In this context, a key challenge is represented by the need of continuously ensuring (before deploying) that some desired network properties or invariants are always guaranteed, especially in networks where automatic reconfiguration is expected to be triggered very frequently in response to higher-level events (customer requests, administrator actions, etc.). As an example of such properties, a network operator may require that a given network configuration is always loop-free or a customer may want to be sure that all the traffic traverses a firewall for security reasons and so on. The objective of the thesis is to define and implement a framework that allows the interested actors to define the behavior of any VNF in a Java-like fashion and allows the extraction of an abstract model from the Java code in order to verify the above mentioned network properties. Lastly, the set of developed tools and libraries will be integrated in an existing software, which is already able to verify some basic network.
Required skills Programming, Java language, networking
Deadline 25/02/2018 PROPONI LA TUA CANDIDATURA