Assuring Dependability of Complex Adaptive Multi-Agent Systems using Time Bands (2011–2013)
The complexity of the computer-based systems we are currently proposing and starting to build is rapidly increasing. Systems of massive numbers of `intelligent' interconnected components, which autonomously adapt to changes in their environment, are being proposed in many areas of social and economic importance. To effectively develop such systems, industries require methods for assuring their correct behaviour in the face of this complexity. This project will provide such a method. By providing a means of relating behaviour at different timescales, it will enable us to understand how the long-term behaviour of a system results from the short-term interactions between its components.