Self-adaptability and man-in-the-loop: a dilemma in autonomic computing systems

This paper addresses some controversial issues relating to two main questions. Firstly, we discuss 'man-in-the loop' issues in SAACS. Some people advocate this must always be so that man's decisions can override autonomic components. In this case, the system has two subsystems - man and machine. Can we, however, have a fully autonomic machine - with no man in sight; even for short periods of time? What kinds of systems require man to always be in the loop? What is the optimum balance in self-to-human control? How do we determine the optimum? How far can we go in describing self-behaviour? How does a SAACS system handle unexpected behaviour? Secondly, what are the challenges/obstacles in testing SAACS in the context of self/human dilemma? Are there any lesson to be learned from other programmes e.g. Star-wars, aviation and space explorations? What role human factors and behavioural models play whilst in interacting with SAACS?.

Natural inspiration for self-adaptive systems

The emergent behaviour of autonomic systems, together with the scale of their deployment, impedes prediction of the full range of configuration and failure scenarios; thus it is not possible to devise management and recovery strategies to cover all possible outcomes. One solution to this problem is to embed self-managing and self-healing abilities into such applications. Traditional design approaches favour determinism, even when unnecessary. This can lead to conflicts between the non-functional requirements. Natural systems such as ant colonies have evolved cooperative, finely tuned emergent behaviours which allow the colonies to function at very large scale and to be very robust, although non-deterministic. Simple pheromone-exchange communication systems are highly efficient and are a major contribution to their success. This paper proposes that we look to natural systems for inspiration when designing architecture and communications strategies, and presents an election algorithm which encapsulates non-deterministic behaviour to achieve high scalability, robustness and stability.

A policy-definition language and prototype implementation library for policy-based autonomic systems

This paper presents work towards generic policy toolkit support for autonomic computing systems in which the policies themselves can be adapted dynamically and automatically. The work is motivated by three needs: the need for longer-term policy-based adaptation where the policy itself is dynamically adapted to continually maintain or improve its effectiveness despite changing environmental conditions; the need to enable non autonomics-expert practitioners to embed self-managing behaviours with low cost and risk; and the need for adaptive policy mechanisms that are easy to deploy into legacy code. A policy definition language is presented; designed to permit powerful expression of self-managing behaviours. The language is very flexible through the use of simple yet expressive syntax and semantics, and facilitates a very diverse policy behaviour space through both hierarchical and recursive uses of language elements. A prototype library implementation of the policy support mechanisms is described. The library reads and writes policies in well-formed XML script. The implementation extends the state of the art in policy-based autonomics through innovations which include support for multiple policy versions of a given policy type, multiple configuration templates, and meta-policies to dynamically select between policy instances and templates. Most significantly, the scheme supports hot-swapping between policy instances. To illustrate the feasibility and generalised applicability of these tools, two dissimilar example deployment scenarios are examined. The first is taken from an exploratory implementation of self-managing parallel processing, and is used to demonstrate the simple and efficient use of the tools. The second example demonstrates more-advanced functionality, in the context of an envisioned multi-policy stock trading scheme which is sensitive to environmental volatility

Exploring adaptation & self-adaptation in autonomic computing systems

This panel paper sets out to discuss what self-adaptation means, and to explore the extent to which current autonomic systems exhibit truly self-adaptive behaviour. Many of the currently cited examples are clearly adaptive, but debate remains as to what extent they are simply following prescribed adaptation rules within preset bounds, and to what extent they have the ability to truly learn new behaviour. Is there a standard test that can be applied to differentiate? Is adaptive behaviour sufficient anyway? Other autonomic computing issues are also discussed.

Experimental study and theoretical analysis of signage legibility distances as a function of observation angle

Signage systems are widely used in buildings to provide information for wayfinding, thereby assisting in navigation during normal circulation of pedestrians and, more importantly, exiting information during emergencies. An important consideration in determining the effectiveness of signs is establishing the region from which the sign is visible to occupants, the so-called Visibility Catchment Area (VCA). This paper attempts to factor into the determination of the VCA of signs, the observation angle of the observer using both experimental and theoretical analysis.

Signage legibility distances as a function of observation angle

Signage systems are widely used in buildings to provide information for wayfinding, thereby assisting in navigation during normal circulation of pedestrians and, more importantly, exiting information during emergencies. An important consideration in determining the effectiveness of signs is establishing the region from which the sign is visible to occupants, the so-called visibility catchment area (VCA). This study attempts to factor into the determination of the VCA of signs, the observation angle of the observer. In building regulations, it is implicitly assumed that the VCA is independent of the observation angle. A theoretical model is developed to explain the relationship between the VCA and observation angle and experimental trials are performed in order to assess the validity of this model. The experimental findings demonstrate a consistency with the theoretical model. Given this result, the functionality of a comprehensive evacuation model is extended in accordance with the assumptions on which the theoretical model is based and is then demonstrated using several examples

The AGILE policy expression language for autonomic systems

This paper presents the AGILE policy expression language. The language enables powerful expression of self-managing behaviours and facilitates policy-based autonomic computing in which the policies themselves can be adapted dynamically and automatically. The language is generic so as to be deployable across a wide spectrum of application domains, and is very flexible through the use of simple yet expressive syntax and semantics. The development of AGILE is motivated by the need for adaptive policy mechanisms that are easy to deploy into legacy code and can be used by non autonomics-expert practitioners to embed self-managing behaviours with low cost and risk. A library implementation of the policy language is described. The implementation extends the state of the art in policy-based autonomics through innovations which include support for multiple policy versions of a given policy type, multiple configuration templates, and higher-level ‘meta-policies’ to dynamically select between differently configured business-logic policy instances and templates. Two dissimilar example deployment scenarios are examined.

Policy-centric integration and dynamic composition of autonomic computing techniques

This paper presents innovative work in the development of policy-based autonomic computing. The core of the work is a powerful and flexible policy-expression language AGILE, which facilitates run-time adaptable policy configuration of autonomic systems. AGILE also serves as an integrating platform for other self-management technologies including signal processing, automated trend analysis and utility functions. Each of these technologies has specific advantages and applicability to different types of dynamic adaptation. The AGILE platform enables seamless interoperability of the different technologies to each perform various aspects of self-management within a single application. The various technologies are implemented as object components. Self-management behaviour is specified using the policy language semantics to bind the various components together as required. Since the policy semantics support run-time re-configuration, the self-management architecture is dynamically composable. Additional benefits include the standardisation of the application programmer interface, terminology and semantics, and only a single point of embedding is required.

A fast, streaming SIMD extensions 2, logistic squashing function

Schraudolph proposed an excellent exponential approximation providing increased performance particularly suited to the logistic squashing function used within many neural networking applications. This note applies Intel's streaming SIMD Extensions 2 (SSE2), where SIMD is single instruction multiple data, of the Pentum IV class processor to Schraudolph's technique, further increasing the performance of the logistic squashing function. It was found that the calculation of the new 32-bit SSE2 logistic squashing function described here was up to 38 times faster than the conventional exponential function and up to 16 times faster than a Schraudolph-style 32-bit method on an Intel Pentum D 3.6 GHz CPU.

Multi-function oxidases are responsible for the synergistic interactions occurring between repellents and insecticides in mosquitoes

Background: With the spread of pyrethroid resistance in mosquitoes, the combination of an insecticide (carbamate or organophosphate) with a repellent (DEET) is considered as a promising alternative strategy for the treatment of mosquito nets and other relevant materials. The efficacy of these mixtures comes from the fact that they reproduce pyrethroid features and that positive interactions occur between insecticides and repellent. To better understand the mechanisms involved and assess the impact of detoxifying enzymes (oxidases and esterases) in these interactions, bioassays were carried out in the laboratory against the main dengue vector Aedes aegypti. Methods: Topical applications of DEET and propoxur (carbamate), used alone or as a mixture, were carried out on female mosquitoes, using inhibitors of the two main detoxification pathways in the insect. PBO, an inhibitor of multi-function oxidases, and DEF, an inhibitor of esterases, were applied one hour prior to the main treatment. Results: Results showed that synergism between DEET and propoxur disappeared in the presence of PBO but not with DEF. This suggests that oxidases, contrary to esterases, play a key role in the interactions occurring between DEET and cholinesterase inhibitors in mosquitoes. Conclusion: These findings are of great interest for the implementation of "combination nets" in the field. They support the need to combine insecticide with repellent to overcome insecticide resistance in mosquitoes of public health importance.

Early growth and adult respiratory function in men and women followed from the fetal period to adulthood

While some studies suggest that poor fetal growth rate, as indicated by lower birth weight, is associated with poor respiratory function in childhood, findings among adults remain inconsistent. A study was undertaken to determine the association between early growth and adult respiratory function.