Team Gallium

Overall Objectives
Scientific Foundations
Application Domains
New Results
Contracts and Grants with Industry
Other Grants and Activities

Section: New Results

Formal management of package dependencies

Participants : Roberto Di Cosmo, Ralf Treinen [U. Paris Diderot] , Jaap Boender [U. Paris Diderot] , Pietro Abate [U. Paris Diderot] , Jérôme Vouillon [U. Paris Diderot] , Stefano Zacchiroli [U. Paris Diderot] .

Roberto Di Cosmo's current main line of research is the study and analysis of large, component based software repositories, in particular GNU/Linux based distributions. These distributions consists of collections of dozens of thousands of software packages, together with metadata, installation and configuration tools, and a variety of different production processes, involving quality assurance at several levels. Ensuring quality of software assemblies built using these components is a challenging issue: the simple question of knowing whether a single component can or not be deployed turns out to be NP-complete, and yet industry needs to deploy components all the time.

The current research done in the framework of the Mancoosi FP7 european project, which is coordinated by Roberto Di Cosmo, adresses some of the relevant issues, by elaborating sophisticated deployment algorithms, and conceiving specialised installation and configuration languages targeted at enabling transactional capabilities in the tools used to mainain software assemblies built out of GNU/Linux based distributions. The results of this project are available at and include two conference publications this year [19] , [20] .


Logo Inria