Distributed intelligent systems (in particular) are characterized by components that have variable length and unpredictable duration reasoning cycles. This makes engineering such systems difficult: has the component failed or is it just taking a long time. It also leads to clogging of the communications infrastructure.
The aim of this project is to research a model-driven engineering approach, founded on an appropriate metamodel to the generation of the supporting framework necessary to enable resilience, monitoring, debugging and runtime redirection of such systems.
A key concept in this project is the notion of (declarative) models@runtime that allow different forms of reasoning (using a range of formalisms) to maintain the integrity and identify appropriate adaptations of the (running) system.
Needs strong programming skills and willingness to dig into Eclipse internals.