Description du projet
Pour un calcul parfait dans les systèmes distribués
L’informatique et la biologie convergent de plus en plus. Dans ce contexte, l’informatique distribuée (ID) semble proposer la meilleure approche de la modélisation des processus naturels, une méthode inspirée par les principes de conception de haut niveau des systèmes biologiques. Toutefois, il est urgent d’élaborer un nouveau cadre pour étudier les processus complexes d’auto-organisation à l’œuvre dans la nature, alors que les modèles d’ID qui prennent simultanément en compte tous les aspects font actuellement défaut. Le projet CoCoNat, financé par l’UE, comblera cette lacune grâce à la théorie des tâches de synchronisation et de coordination distribuées dans des modèles réduits d’ID en utilisant l’informatique distribuée pour modéliser des phénomènes naturels. Il profitera également à plusieurs domaines de l’ingénierie et de l’informatique en résolvant différentes tâches de synchronisation et de coordination comme dans le cas des populations de lucioles ou du développement embryonnaire.
Objectif
In recent years, an algorithmic theory of natural and biological systems has been increasingly advocated as providing a much needed framework for investigating complex self-organising processes in nature. This project contributes to this research program by employing the distributed computing lens to model natural phenomena. Biological systems exhibit many properties also studied in distributed computing: they comprise several independently acting entities, tend to operate in noisy and dynamic environments, thus requiring them to be highly-resilient and adaptive, solve intricate coordination tasks, and display sophisticated communication techniques.
This project aims to develop the theory of distributed synchronisation and coordination tasks in restricted models of distributed computing. These tasks are some of the most fundamental problems in distributed computing, as they are essential in computer networks as well as numerous other areas of engineering and computing. In addition, they are ubiquitous in natural and biological systems, ranging from molecular to population-level systems, which are known to solve various synchronisation and coordination tasks: examples include symmetry-breaking during the development of the nervous system, consensus decision making in species communities, and synchronisation in firefly populations and embryonic development.
Unlike computer networks, biological distributed systems have unique features: (1) the agents typically have limited computational abilities, (2) communication is unreliable and restricted, (3) the system has a dynamic spatial structure, and (4) the environment may be noisy. Currently, distributed computing models that consider all aspects simultaneously are lacking. The proposed research approaches this goal from multiple angles by developing new models and analysis methods for determining the limitations of synchronisation and related tasks in both strong and weak models of computing.
Champ scientifique (EuroSciVoc)
CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN. Voir: https://op.europa.eu/en/web/eu-vocabularies/euroscivoc.
CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN. Voir: https://op.europa.eu/en/web/eu-vocabularies/euroscivoc.
- sciences naturellessciences biologiquesneurobiologie
- sciences naturellessciences biologiquesbiologie du développement
- ingénierie et technologiegénie électrique, génie électronique, génie de l’informationingénierie de l’informationtélécommunicationréseau de télécommunications
Vous devez vous identifier ou vous inscrire pour utiliser cette fonction
Programme(s)
Appel à propositions
(s’ouvre dans une nouvelle fenêtre) H2020-MSCA-IF-2018
Voir d’autres projets de cet appelRégime de financement
MSCA-IF-EF-ST - Standard EFCoordinateur
3400 Klosterneuburg
Autriche