Projects

AFarCloud: Aggregate Farming in the Cloud

AFarCloud addresses the urgent need for a holistic and systematic approach. It will provide a distributed platform for autonomous farming, which will allow the integration and cooperation of Cyber Physical Systems in real-time for increased agriculture efficiency, productivity, animal health, food quality and reduced farm labour costs. This platform will be integrated with farm management software and will support monitoring and decision-making, based on big data and real time data mining techniques.

FitOptiVis: From the cloud to the edge - smart IntegraTion and OPtimisation Technologies for highly efficient Image and VIdeo processing Systems

FitOptiVis will balance power demand versus performance of the increasingly complex distributed configurations in Cyber-Physical Systems, reflected in the growing number of sensors, actuators and other smart devices, their growing autonomy, and the increased need for performance. This complexity increases even more when multiple heterogeneous sensor inputs are combined for analysis and through integration of both generic and specialised devices. On top of that, CPS need to satisfy rigorous constraints on real-time behaviour, safety, security, reliability, quality, performance and energy consumption. FitOptiVis will provide end-to-end multi-objective optimisation for imaging and video pipelines of CPS, with an emphasis on the latter two elements – energy and performance.

Verification and Bug Hunting for Advanced Software

Automated software verification and bug hunting are a hot topic in both industry and academia. Indeed, they can save a lot of money and, in case of safety-critical software, even human lives. This project aims at new automated methods of static formal verification (based on approaches like symbolic verification or automated abstraction) as well as extrapolating dynamic analysis and advanced testing of programs that use several classes of advanced programming constructions.