Thumbnail Image
Publication

A first approach to the closed-form specification and analysis of an autonomic control system

Date
2007
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.
Supervisor
Description
peer-reviewed
Publisher
IEEE Computer Society
Citation
12th IEEE International Conference on Engineering Complex Computer Systems;
Collections
Lero - The Science Foundation Ireland Research Centre for Software
Show all metadata
Files
Thumbnail Image
dobson_approach.pdf
Adobe PDF, 1.98 MB
Keywords
autonomic control system
ULRR Identifiers
https://hdl.handle.net/10344/1171
 https://doi.org/10.34961/728
Funding code
Funding Information
Science Foundation Ireland (SFI)
Sustainable Development Goals
External Link
Type
Meetings and Proceedings
Rights
https://creativecommons.org/licenses/by-nc-sa/1.0/
License