The handbook of engineering self-aware and self-expressive systems

When faced with the task of designing and implementing a new self-aware and self-expressive computing system, researchers and practitioners need a set of guidelines on how to use the concepts and foundations developed in the Engineering Proprioception in Computing Systems (EPiCS) project. This report provides such guidelines on how to design self-aware and self-expressive computing systems in a principled way. We have documented different categories of self-awareness and self-expression level using architectural patterns. We have also documented common architectural primitives, their possible candidate techniques and attributes for architecting self-aware and self-expressive systems. Drawing on the knowledge obtained from the previous investigations, we proposed a pattern driven methodology for engineering self-aware and self-expressive systems to assist in utilising the patterns and primitives during design. The methodology contains detailed guidance to make decisions with respect to the possible design alternatives, providing a systematic way to build self-aware and self-expressive systems. Then, we qualitatively and quantitatively evaluated the methodology using two case studies. The results reveal that our pattern driven methodology covers the main aspects of engineering self-aware and self-expressive systems, and that the resulted systems perform significantly better than the non-self-aware systems.

Contradiction in universal and particular reasoning

A wide range of essential reasoning tasks rely on contradiction identification, a cornerstone of human rationality, communication and debate founded on the inversion of the logical operators "Every" and "Some." A high-density electroencephalographic (EEG) study was performed in 11 normal young adults. The cerebral network involved in the identification of contradiction included the orbito-frontal and anterior-cingulate cortices and the temporo-polar cortices. The event-related dynamic of this network showed an early negative deflection lasting 500 ms after sentence presentation. This was followed by a positive deflection lasting 1.5 s, which was different for the two logical operators. A lesser degree of network activation (either in neuron number or their level of phase locking or both) occurred while processing statements with "Some," suggesting that this was a relatively simpler scenario with one example to be figured out, instead of the many examples or the absence of a counterexample searched for while processing statements with "Every." A self-generated reward system seemed to resonate the recruited circuitry when the contradictory task is successfully completed.

Recursive self-organizing map as a contractive iterative function system

Recently, there has been a considerable research activity in extending topographic maps of vectorial data to more general data structures, such as sequences or trees. However, the representational capabilities and internal representations of the models are not well understood. We rigorously analyze a generalization of the Self-Organizing Map (SOM) for processing sequential data, Recursive SOM (RecSOM [1]), as a non-autonomous dynamical system consisting off a set of fixed input maps. We show that contractive fixed input maps are likely to produce Markovian organizations of receptive fields o the RecSOM map. We derive bounds on parameter $\beta$ (weighting the importance of importing past information when processing sequences) under which contractiveness of the fixed input maps is guaranteed.

A novel plasma etching and emission monitoring system (PEEMS) to assess protein and lipid spoilation for hydrogel contact lenses

The work presents a new method that combines plasma etching with extrinsic techniques to simultaneously measure matrix and surface protein and lipid deposits. The acronym for this technique is PEEMS - Plasma Etching and Emission Monitoring System. Previous work has identified the presence of proteinaceous and lipoidal deposition on the surface of contact lenses and highlighted the probability that penetration of these spoilants will occur. This technique developed here allows unambiguous identification of the depth of penetration of spoilants to be made for various material types. It is for this reason that the technique has been employed in this thesis. The technique is applied as a 'molecular' scalpel, removing known amounts of material from the target. In this case from both the anterior .and posterior surfaces of a 'soft' contact lens. The residual material is then characterised by other analytical techniques such as UV/visible .and fluorescence spectroscopy. Several studies have be.en carried out for both in vivo and in vitro spoilt materials. The analysis and identification of absorbed protein and lipid of the substrate revealed the importance of many factors in the absorption and adsorption process. The effect of the material structure, protein nature (in terms of size, shape and charge) and environment conditions were examined in order to determine the relative uptake of tear proteins. The studies were extended to real cases in order to study the. patient dependent factors and lipoidal penetration.

A language for self-adaptive system requirements

Self-adaptive systems have the capability to autonomously modify their behaviour at run-time in response to changes in their environment. Such systems are now commonly built in domains as diverse as enterprise computing, automotive control systems, and environmental monitoring systems. To date, however, there has been limited attention paid to how to engineer requirements for such systems. As a result, selfadaptivity is often constructed in an ad-hoc manner. In this paper, we argue that a more rigorous treatment of requirements relating to self-adaptivity is needed and that, in particular, requirements languages for self-adaptive systems should include explicit constructs for specifying and dealing with the uncertainty inherent in self-adaptive systems. We present some initial thoughts on a new requirements language for selfadaptive systems and illustrate it using examples from the services domain. © 2008 IEEE.

A pilot study to evaluate the self-medication system for liver transplant patients at the Queen Elizabeth Hospital in Birmingham

Background and Objective: Medication non-compliance is a considerable obstacle in achievinga therapeutic goal, whichcan result in poorerhealthcare outcomes, increased expenditure, wastage and potential for medication resistance. The UK Government’s Audit Commission’s publication ‘A Spoonful of Sugar’1 addresses these issues and promotes self-medication systems as a possible solution. The self-medication system within the Liver Transplant Unit (LTU) was implemented to induct patients onto new post- transplantation medication regimes ready for discharge. The system involves initial consultations with both the Liver Transplant Pharmacist and Trans- plant Co-ordinator, supported with additional advice as and when necessary. Design: Following ethical approval, evaluation of the self-medication sys- tem for liver transplant patients was conducted between January and March 2004 via two methods: audit and structured post-transplantation interview. The audit enabled any discrepancies between current Hospital guidelines and Liver Transplant Unit (LTU) practices to be highlighted. Patient interviews generated a retrospective insight into patient acceptance of the self-medication system. Setting: LTU, Queen Elizabeth Hospital, Birmingham, England. Main Outcome Measures: LTU compliance with Hospital self-medication guidelines and patient insight into self-medication system. Results: A total of seven patients were audited. Findings illustrated that self- medication by transplant patients is a complex process which was not fully addressed by current Hospital self-medication guidelines. Twenty-three patients were interviewed, showing an overwhelming positive attitude to- wards participating in their own care and a high level of understanding towards their individual medication regimes. Following a drugs counselling session, 100% of patients understood why they were taking their medica- tion, and their doses, 95% understood how to take their medication and 85% were aware of potential side effects. Conclusions: From this pilot evaluation it can be stated that the LTU self-medication system is appreciated by patients and assists them in fully understanding their medication regimes. There appear to be no major defects in the system. However areas such as communication barriers and on-going internet education were illustrated as areas for possible future investigation. References: 1. Audit Commission. A spoonful of sugar – medicines management in NHS hospitals. London: Audit Commission; 2001.