Cloud service programming and modeling
Riferimenti esterni Lorenzo De Carli - Worcester Polytechnic Institute, USA
Gruppi di ricerca COMPUTER NETWORKS GROUP - NETGROUP
Descrizione Highly distributed Cloud services, ranging from microservice architectures to network function virtualization (NFV) systems, are emerging as a way for providing high flexibility and fast reconfiguration in the services offered to remote users. Given their high programmability, these systems require the introduction of powerful policy verification techniques, as well as proper programming interfaces that facilitates this verification by construction. The thesis work aims at defining user-friendly (e.g., Java-like) programming languages that can simplify the service creation and its modeling for verification purposes, with particular focus on policy control.
The thesis is in collaboration with the Worcester Polytechnic Institute, USA (https://www.wpi.edu/academics/departments/computer-science), where the candidate is asked to spend some months working on the selected problem
Scadenza validita proposta 02/11/2020 PROPONI LA TUA CANDIDATURA