Runtime user interface design and adaptation
Proceedings of the 23rd British HCI Group Annual Conference on People and Computers: Celebrating People and Technology
Distributed redundancy and robustness in complex systems
Journal of Computer and System Sciences
Designing interaction for the cloud
CHI '11 Extended Abstracts on Human Factors in Computing Systems
Task modelling using situation calculus
TAMODIA'09 Proceedings of the 8th international conference on Task Models and Diagrams for User Interface Design
Hi-index | 0.00 |
This paper is concerned with the problem of intrinsically assigning meaning to the signals responsible for autonomic responses in a system. Without an associated cognitive system, the Symbol Grounding Problem would constitute a major barrier in system adaptation and evolution. Based on an ongoing effort towards a formal and pragmatic development of self-regenerative software systems, this paper adopts concepts from Artificial Immune Systems (AIS) engineering, Information Theory and the Situation Calculus dialect of predicate logic. These are used to formalise the monitoring and control of system autonomic functions. In this way danger signals as an immune (self-healing/protecting) response and evolutionary (self-adapting) responses can be formalised into autonomic conditional and anticipatory reaction triggers. Thus any threat or potential enhancement to the system can be monitored for and the appropriate action taken to facilitate system dependability and safety.