We provide EU funding and world-class technical support to engineering and technology businesses.

Find out more about who we are and what we do

Stay in Touch

EventBrite logo Twitter logo RSS logo Linked In  logo Email us

Join our mailing list

Join our mailing list to receive notification of CPSE Labs events and upcoming calls

Smart Anything Everywhere

Cyber-Physical Systems Engineering Labs is part of the Smart Anything Everywhere initiative.

This project has received funding from the European Union's Horizon 2020 research and innovation programme under grant agreement No 644400.


Contact us about multi-disciplinary design, model-based engineering, co-modelling and co-simulation, asynchronous systems or urban sustainability.

CPSE Labs UK is based in Newcastle University, where our researchers build on Newcastle's international reputation for model-based design in dependable embedded systems and systems of systems (SoSs). The UK Design Centre also has a strong emphasis on cross-disciplinary research to tackle issues of urban sustainability. Computer scientists work alongside researchers from related disciplines which form the Digitally Enabled Urban Sustainability cluster of collaborating laboratories. Cyber-physical systems are at the centre of Newcastle University's vision for urban sustainability, and the university has committed over £58 million to a state-of-the-art Urban Sciences Building to co-locate the laboratories. The UK Design Centre of CPSE Labs is therefore well-placed to support experiment proposals in the field of cyber-physical systems for urban sustainability. We have a strong emphasis on modelling to support development of dependable and cost-effective cyber-physical systems, and we aim to lower the barriers to innovation in CPS and CPS-enabled products and services.

Laboratories co-located with the CPSE Labs UK Design Centre include:

  • The Cyber-Physical Systems laboratory, which develops foundations, methods and tools for design of dependable and resilient cyber-physical systems
  • The Centre for Doctoral Training in Cloud Computing for Big Data
  • The Smart Grid laboratory
  • The Urban Observatory, which gathers and exploits data gathered from around Newcastle city for research and planning purposes
  • A mobility and transport laboratory
  • A Decision Theatre, which explores how humans interact with and visualise large and complex data sets, and how to support human decision-making

Technology platforms

Our UK design centre supports the following technology platforms:

  • Crescendo, a platform supporting collaborative modelling between teams of software and hardware designers working on dependable embedded systems.
  • Overture, a tool which supports formal models of software systems written in the VDM language.
  • INTO-CPS, a new tool that builds on Crescendo and Overture, allowing co-simulation between a wide variety of tools using the emerging FMI (Functional Mockup Interface) standard.

Feel free to get in touch with us to chat about these techologies and platforms and what they could offer to your business.

Case studies

Our UK design centre has experience of working with a variety of organisations and businesses, developing pragmatic approaches to modelling of software and embedded systems. Read some short case studies of previous work on these technology platforms below:

  • Neopost case study. Neopost is an SME based in the Netherlands that trialled the use of co-simulation
  • Chess case study. Chess is a company based in the Netherlands which evaluated the use of co-modelling and co-simulation approaches to design a scooter

Funded experiments

You can see the funded experiments which are partnered with our UK design centre under CPSE Labs here.

  • TEMPO (TMS Experiment with Mobility in the Physical world using Overture). TEMPO logoThe TEMPO experiment tackles the problem of disconnected traffic management systems by providing collaborative and distributed control architectures that engage with each other in automated negotiation processes. Negotiations are based on policies, which help reach agreement on which control measures are beneficial for the system as whole, improving overall network performance. TEMPO uses the open source Overture technology as a basis for this work.
  • CPSBuDi (Multidisciplinary design of Cyber-Physical Systems for smart energy control in Buildings and Districts). The CPSBuDi experiment helps to reduce energy usage in buildings by supporting the design of energy-aware smart buildings. CPSBuDi develops technology to design control systems that manage energy usage in buildings. Multi-disciplinary modelling and simulation provides integrated analysis of the building design, energy supply/demand and control algorithms. The technology enables architects to move towards the ultimate goal of designing "net-zero energy" buildings.
  • IPP4CPPS (Integrated product-production co-simulation for cyber-physical production system). IPP4CPPS logoThe IPP4CPPS project contributes to the optimization of the complete product-production cycle by having real-time information about machines, production process, product and perturbations into a platform that allows coping with uncertainties for the automatic scheduling and control.

Newcastle upon Tyne

Our Expertise

  • Model-based engineering of CPS
  • Co-modelling and co-simulation
  • Industrial formal techniques
  • Low power/energy-aware computing devices
  • Asynchronous systems design

Newcastle upon Tyne

Technology platforms

Overture Logo Crescendo Logo Crescendo Logo

Application Domains

We have experience in the following application domains:

  • Urban sustainability

touchscreen technology

Hosted at

Newcastle University

Contact information

Jon Warwick
School of Computing Science
Newcastle upon Tyne
NE1 7RU, United Kingdom
Tel: +44 191 208 8060