CREDO

The CREDO project developed a compositional modeling and validation framework for dynamically evolving software systems, in which computation, coordination and scheduling are clearly separated from each other. A uniform modeling language is developed in which object-orientated components are combined with flexible communication and timing models. 

The interface composition enables end-to-end reasoning about evolving systems. These interfaces specify services and formalize the context awareness needed for run-time coordination and reconfiguration. The framework helps developers design and maintain systems by validating reconfigurations. The focus of the project is on automatable and compositional validation techniques, including abstract simulations, synthesis, model checking, test-generation, and verification of interface compatibility.