12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007)
A first approach to the closed-form specification and analysis of an autonomic control system
Auckland, New Zealand
July 11-July 14
ISBN: 0-7695-2895-3
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.
Citation:
Simon Dobson, Eoin Bailey, Stephen Knox, Ross Shannon, Aaron Quigley, "A first approach to the closed-form specification and analysis of an autonomic control system," iceccs, pp.229-237, 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007), 2007