CPSE Labs UK
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
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.
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
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).
The 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 aims 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 will provide integrated analysis of the building design, energy supply/demand and control algorithms.
The technology will enable architects to move towards the ultimate goal of designing "net-zero energy" buildings.
- IPP4CPPS (Integrated product-production co-simulation for cyber-physical production system).
The IPP4CPPS project
aims to contribute for 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.
- Model-based engineering of CPS
- Co-modelling and co-simulation
- Industrial formal techniques
- Low power/energy-aware computing devices
- Asynchronous systems design
We have experience in the following application domains:
School of Computing Science
Newcastle upon Tyne
NE1 7RU, United Kingdom
Tel: +44 191 208 8060