Engineering of Complex Computer Systems, IEEE International Conference on (2007)
Auckland, New Zealand
July 11, 2007 to July 14, 2007
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICECCS.2007.6
Simon Dobson , UCD Dublin, Ireland
Eoin Bailey , UCD Dublin, Ireland
Stephen Knox , UCD Dublin, Ireland
Ross Shannon , UCD Dublin, Ireland
Aaron Quigley , UCD Dublin, Ireland
Control systems must increasingly be designed to involve collections of hardware and software components, both of which may evolve over the lifetime of the system, and which are expected to provide self-managing, adaptive, autonomic behaviour. Understanding the behaviour such a system will exhibit under any specific conditions is a significant design challenge. We present a model derived from approaches to modelling dynamical systems in which the adaptive behaviour of an autonomic system may be described and analysed as a whole. We explain our ideas with reference to a hybrid hardware/software system, and argue that it generalises to other classes of autonomic systems.
S. Knox, S. Dobson, A. Quigley, E. Bailey and R. Shannon, "A first approach to the closed-form specification and analysis of an autonomic control system," 2007 IEEE International Conference on Engineering of Complex Computer Systems(ICECCS), Auckland, 2007, pp. 229-237.