The CONNECT-IP project is centred on a revolutionary concept of a seamless networking infrastructure for digital systems that enables continuous composition of networked systems and the evolution of their functionalities. This will be achieved through the application of formal reasoning, learning, and run-time synthesis of architectural connectors. The overall aim is to develop the principles and foundations for the architectural design, modelling and reasoning about networked systems. The Oxford component is led by Professor Marta Kwiatkowska and the contribution will focus on the formal foundations for connectors and automated quantitative verification techniques for non-functional requirements such as dependability.
