Skip to main content

CONNECT-IP: Emergent Connectors for Eternal Software Intensive Networked Systems

1st February 2009 to 30th November 2012

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.

Partners

Principal Investigator

People

Taolue Chen
Liz Gresham
Tingting Han
Hongyang Qu
Xu Wang

Share this: