Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

ProFoundNet

Financiado

Probabilistic Foundations for Networks

In an ever-connected world, increasingly complex network systems play a crucial role in many daily tasks. This results in an acute need for methods/tools that can enable easy control of the network and, at the same time, provide r... ver más

31/03/2021

UNIVERSITY COLLEGE...

2M€

Presupuesto del proyecto: 2M€

Líder del proyecto

UNIVERSITY COLLEGE LONDON No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Fecha límite participación Sin fecha límite de participación.

Ver 2 Participantes

Financiación concedida El organismo H2020 notifico la concesión del proyecto el día 2021-03-31

ERC-StG-2015: ERC Starting Grant

I+D

Cerrada hace 9 años

0% 100% 100%

Información adicional privada

No hay información privada compartida para este proyecto. Habla con el coordinador.

2 Participantes

UNIVERSITY COLLEGE LONDON

1.50M€ | Lider

INDUSTRIAS SUESCUN SA

231.00K€ | Participante

Conecta tu I+D

¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video

Proyectos interesantes

TIN2014-57991-C3-2-P INTELIGENCIA DISTRIBUIDA PARA EL CONTROL Y ADAPTACION DE RED... 50K€ Cerrado

TEC2013-47960-C4-3-P DESPLIEGUE SEGURO DE SERVICIOS CON REDES DEFINIDAS POR SOFTW... 105K€ Cerrado

TEC2014-55713-R MODELADO Y OPTIMIZACION EN LINEA DE REDES ADAPTATIVAS 175K€ Cerrado

JCI-2010-08322 Broadband network control and management: Quality of Service... 101K€ Cerrado

PTQ-08-01-06268 Osmius: Sistema para Monitorización de Sistemas Heterogéneos... 65K€ Cerrado

TIN2014-57991-C3-1-P DISTRIBUCION INTELIGENTE DE SERVICIOS MULTIMEDIA UTILIZANDO... 60K€ Cerrado

Duración del proyecto: 60 meses Fecha Inicio: 2016-03-08
Fecha Fin: 2021-03-31

Líder del proyecto

UNIVERSITY COLLEGE LONDON No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Presupuesto del proyecto 2M€

Fecha límite de participación Sin fecha límite de participación.

Descripción del proyecto In an ever-connected world, increasingly complex network systems play a crucial role in many daily tasks. This results in an acute need for methods/tools that can enable easy control of the network and, at the same time, provide rigorous guarantees about its behavior, performance, and security. Recent years saw the growth of a new software ecosystem -Software-defined networking (SDN)- which advocates a clean and open interface between networking devices and the software that controls them. Yet, existing SDN languages do not support reasoning about crucial quantitative aspects, such as: ``How much congestion is there?'' or ``Is the network resilient under failure?''. Enabling compositional quantitative reasoning is the major breakthrough needed to fully realize the vision of SDN. The central objective of this project is to develop new abstractions for programming of networks, with high-level modular constructs. We will provide rigorous semantic probabilistic foundations, enabling quantitative reasoning. This will serve as a solid platform for program analysis tools where compositional reasoning about complex interactions will be a reality. Our goal will be achieved through an interdisciplinary research effort: using techniques from concurrency and formal methods, areas where akin challenges can be found in the quest to design correct software systems. We will leverage the wealth of recent advances in those areas (some of which from the PI's own research) to networks, and bring awareness and new challenges arising from applications in networking to the other two communities. The project will significantly advance the foundations of network programming/verification in new and previously unexplored directions. This line of research will not only result in fundamental theoretical contributions and insights in their own right but will also impact the practice of network programming and lead to new and more powerful techniques for the use of engineers and programmers.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores