Oxford logo

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

Project details

Funded by: European Commission, FP7

Dates: February 2009 - July 2012

Main project website: http://connect-forever.eu/

Institutions:

  • University of Oxford
  • INRIA, France
  • CNR, Italy
  • Lancaster University, UK
  • Thales, France
  • University of L’Aquila, Italy
  • Uppsala University, Sweden
  • Peking University, China

Abstract

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.

People

Software releases

Further information

QAV:

Home

People

Projects

Publications