The Community for Technology Leaders
Engineering of Complex Computer Systems, IEEE International Conference on (2007)
Auckland, New Zealand
July 11, 2007 to July 14, 2007
ISBN: 0-7695-2895-3
pp: 229-237
Stephen Knox , UCD Dublin, Ireland
Simon Dobson , UCD Dublin, Ireland
Aaron Quigley , UCD Dublin, Ireland
Eoin Bailey , UCD Dublin, Ireland
Ross Shannon , UCD Dublin, Ireland
ABSTRACT
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.
INDEX TERMS
null
CITATION
Stephen Knox, Simon Dobson, Aaron Quigley, Eoin Bailey, Ross Shannon, "A first approach to the closed-form specification and analysis of an autonomic control system", Engineering of Complex Computer Systems, IEEE International Conference on, vol. 00, no. , pp. 229-237, 2007, doi:10.1109/ICECCS.2007.6
92 ms
(Ver 3.3 (11022016))