Hola,
Are you new here?

I have an account

¿Te ayudamos?

Ejemplos de búsqueda

Vídeos Explicativos

ProFoundNet

financed

Closed

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... see more

31/03/2021

UNIVERSITY COLLEGE...

2M€

Project Budget: 2M€

Project leader

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

TRL 4-5

PARTICIPATION DEPralty Sin fecha límite de participación.

Ver 2 Participantes

Financing granted El organismo H2020 notifico la concesión del proyecto The day 2021-03-31

ERC-StG-2015: ERC Starting Grant Scope:Objectives

I+D

Cerrada does 10 years

0% 100% 100%

characteristics of the participant

Este proyecto no cuenta con búsquedas de partenariado abiertas en este momento.

Private Information

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

2 Participantes

UNIVERSITY COLLEGE LONDON

1.50M€ | Leader

INDUSTRIAS SUESCUN SA

231.00K€ | participant

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

Project duration: 60 months Date Start: 2016-03-08
End date: 2021-03-31

Project leader

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

TRL 4-5

Project Budget 2M€

participation deadline Sin fecha límite de participación.

Project description 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

Forgot your password?

Financing

Companies

CTIs/Universidades

Projects

researchers