The project will develop and apply a new high-level modeling language Credo for the dynamic composition of highly reconfigurable component-based soft ware systems, and light-weight and automated verification techniques and tools. One of the main new contributions to language design of this project is the novel integration of a new language for modelling run-time soft ware updates with new highlevel mechanisms for the coordination and dynamic composition of soft ware components.