CE48 - Fondements du numérique: informatique, automatique, traitement du signal

Non-Aggregative Resource Compositions – NARCO

Submission summary

The complexity faced by the design of a computer system can be tackled by a high degree of modularity. Modularity is instrumental in maintaining a system throughout its lifetime, by performing updates and reconfigurations. These systems control important aspects of our lives, thus the importance of ensurring their correct behavior, by using formal models and verification techniques. This project provides a basis for the design and verification of complex systems, based on the formal notions of resource and composition. By resource we understand any (physical or logical) component of a system and composition accounts for the interaction of components. The composition operators need thus to be more general than simple aggregative compositions (disjoint unions). We shall devise logics encompassing these general notions of non-aggregative compositions. Special interest is given to the development of automated reasoning and system verification techniques.

Project coordination

Nicolas Peltier (Laboratoire d'Informatique de Grenoble)

The author of this summary is the project coordinator, who is responsible for the content of this summary. The ANR declines any responsibility as for its contents.


LORIA Laboratoire lorrain de recherche en informatique et ses applications
LIG Laboratoire d'Informatique de Grenoble
LMF Laboratoire Méthodes Formelles

Help of the ANR 320,353 euros
Beginning and duration of the scientific project: December 2021 - 48 Months

Useful links

Explorez notre base de projets financés



ANR makes available its datasets on funded projects, click here to find more.

Sign up for the latest news:
Subscribe to our newsletter