Edos logo

Sixth Framework Programme - Priority 2

Information Society Technologies

EDOS: Environment for the Distribution of Open Source software

The Open Source and Free Software movement now touches a very large and growing community of users. The GNU/Linux operating system for instance has an estimated 18 million users worldwide. The number of contributing developers can vary between several hundred and several thousand. Open Source and Free Software has a critical mass of developers to choose from.

This has helped to ensure high quality for open source software, and has given end-users a real alternative to using proprietary software. The Open Source community will continue to grow over the coming years.

However, despite this success, there are important problems in the production of Open Source operating systems on a large scale that will become even more significant as the number of users grows.

The goals

Open source distribution editors package and assemble a large number of programs and applications into a single tested distribution, together with a set of tools to install and administer the system.

Two key functions performed by distribution editors are:

The main objective of this project is to develop technology and tools to support and improve these two processes.

The challenges

To pursue our goals, we will use formal methods, coming from the academic research groups in the project, to address in a novel way three outstanding problems: