CeNACS conducts research on engineering adaptive cyber physical systems with a special focus on the fundamental control structures and algorithms required for adaptation and the strategies for preserving quality and security properties in this process.
The need for adaptive capabilities arises in every type of computing system but becomes essential in highly distributed systems with heterogeneous components operating under non centralised forms of control such as cyber–physical systems interacting with the physical world, for example:
- Systems embedded in vehicles or medical devices
- Systems in smart devices such as smartphones
- Smart appliances
- Systems controlling critical infrastructures
- Systems advocating a computing-as-a-utility approach (e.g. service and cloud based systems).
Our research aims to address fundamental issues related to the engineering of such systems including the fundamental control structures and algorithms for computing system adaptation (e.g. autonomic, semi- or fully-supervised structures) and the strategies for preserving quality and security properties in this process.
It also focuses on adaptation centric system modelling, the verification of properties of adaptive systems using static and runtime verification techniques and the development of mechanisms to enable context aware system adaptation.
Our research has been applied in domains including cloud infrastructures and services, cyber-physical systems and systems involving the use of IoT technologies and systems supporting healthcare and ambient assisted living.
- Professor George Spanoudakis
- Professor Rajarajan
- Dr Christos Kloukinas
- Dr Artur Garcez
- Dr Maria Krotsiani