The LSV seminar takes place on Tuesday at 11:00 AM. The usual location is the conference room at Pavillon des Jardins (venue). If you wish to be informed by e-mail about upcoming seminars, please contact Stéphane Le Roux and Matthias Fuegger.
The seminar is open to public and does not require any form of registration.
Free and Open Source Software (FOSS) distributions are among the largest and fastest moving existing component-based software distributions, which poses interesting challenges both for the quality assurance process of distributions as for the management of individual installations. The first part of this talk will give an overview of some of the results obtained in the EDOS and Mancoosi European projects on the analysis of inter-package relationships. We will focus on the tools that came out of these research projects, and discuss the way how these are currently put to use.
In the second part of the talk I will present recent results on deciding properties that range over all possible future evolutions of a current component repository. The properties we are interested in concern the coherent component installations permitted in any future. We show that a certain class of these properties can be decided by checking a finite set of repositories that is representative for the infinite set of all possible futures. We discuss our implementation of tools checking two particular instances of this schema.