Next Generation Systems

What are next generation systems?

Current systems cannot keep up with current needs in terms of scale and complexity. In the next generation systems theme we push the state-of-the-art of software to the next level.

These systems include:

• Self-adaptive systems
• Cyber-physical systems
• Cloud computing and digital services
• Smart cities, spaces (homes, buildings) and transportation systems
• e-health and mobile systems
• Internet-of-Things (IoT) and industry 4.0 systems

Our next generation systems research covers

• Formal methods (modelling, static analysis, timing analysis, and runtime verification)
• Standards-compliance
• Social factors in software
• Software design and architectures
• System development, prototyping and testing
• Hardware-software co-design

Current projects

• Digital Twin abnormalities detection for industrial automation systems
• LetSynchronise – Logical execution time

Research networks

We have active collaborations with researchers from:

• Aalto University, Finland
• Central Queensland University, Australia
• Deakin University, Australia
• Indian Institute of Technology, Palakkad
• Luleå University of Technology, Sweden
• Monash University, Australia
• New York University, USA
• Otto-Friedrich-University of Bamberg, Germany
• Polytechnic Institute of Bragança, Portugal
• The University of Auckland, New Zealand
• University of Calgary, Canada
• University of Málaga, Spain
• University of York, United Kingdom