The design of robust protocols for distributed real-time systems

Modern distributed control systems comprise of a set of processors which are interconnected using a suitable communication network. For use in real-time control environments, such systems must be deterministic and generate specified responses within critical timing constraints. Also, they should be sufficiently robust to survive predictable events such as communication or processor faults. This thesis considers the problem of coordinating and synchronizing a distributed real-time control system under normal and abnormal conditions. Distributed control systems need to periodically coordinate the actions of several autonomous sites. Often the type of coordination required is the all or nothing property of an atomic action. Atomic commit protocols have been used to achieve this atomicity in distributed database systems which are not subject to deadlines. This thesis addresses the problem of applying time constraints to atomic commit protocols so that decisions can be made within a deadline. A modified protocol is proposed which is suitable for real-time applications. The thesis also addresses the problem of ensuring that atomicity is provided even if processor or communication failures occur. Previous work has considered the design of atomic commit protocols for use in non time critical distributed database systems. However, in a distributed real-time control system a fault must not allow stringent timing constraints to be violated. This thesis proposes commit protocols using synchronous communications which can be made resilient to a single processor or communication failure and still satisfy deadlines. Previous formal models used to design commit protocols have had adequate state coverability but have omitted timing properties. They also assumed that sites communicated asynchronously and omitted the communications from the model. Timed Petri nets are used in this thesis to specify and design the proposed protocols which are analysed for consistency and timeliness. Also the communication system is mcxielled within the Petri net specifications so that communication failures can be included in the analysis. Analysis of the Timed Petri net and the associated reachability tree is used to show the proposed protocols always terminate consistently and satisfy timing constraints. Finally the applications of this work are described. Two different types of applications are considered, real-time databases and real-time control systems. It is shown that it may be advantageous to use synchronous communications in distributed database systems, especially if predictable response times are required. Emphasis is given to the application of the developed commit protocols to real-time control systems. Using the same analysis techniques as those used for the design of the protocols it can be shown that the overall system performs as expected both functionally and temporally.

Cervical cancer precursors and hormonal contraceptive use in HIV-positive women: application of a causal model and semi-parametric estimation methods.

OBJECTIVE: To demonstrate the application of causal inference methods to observational data in the obstetrics and gynecology field, particularly causal modeling and semi-parametric estimation. BACKGROUND: Human immunodeficiency virus (HIV)-positive women are at increased risk for cervical cancer and its treatable precursors. Determining whether potential risk factors such as hormonal contraception are true causes is critical for informing public health strategies as longevity increases among HIV-positive women in developing countries. METHODS: We developed a causal model of the factors related to combined oral contraceptive (COC) use and cervical intraepithelial neoplasia 2 or greater (CIN2+) and modified the model to fit the observed data, drawn from women in a cervical cancer screening program at HIV clinics in Kenya. Assumptions required for substantiation of a causal relationship were assessed. We estimated the population-level association using semi-parametric methods: g-computation, inverse probability of treatment weighting, and targeted maximum likelihood estimation. RESULTS: We identified 2 plausible causal paths from COC use to CIN2+: via HPV infection and via increased disease progression. Study data enabled estimation of the latter only with strong assumptions of no unmeasured confounding. Of 2,519 women under 50 screened per protocol, 219 (8.7%) were diagnosed with CIN2+. Marginal modeling suggested a 2.9% (95% confidence interval 0.1%, 6.9%) increase in prevalence of CIN2+ if all women under 50 were exposed to COC; the significance of this association was sensitive to method of estimation and exposure misclassification. CONCLUSION: Use of causal modeling enabled clear representation of the causal relationship of interest and the assumptions required to estimate that relationship from the observed data. Semi-parametric estimation methods provided flexibility and reduced reliance on correct model form. Although selected results suggest an increased prevalence of CIN2+ associated with COC, evidence is insufficient to conclude causality. Priority areas for future studies to better satisfy causal criteria are identified.

Information sharing in Onesocialweb using a multiple profile manager to better informed medical decision making processes

The study shows an alternative solution to existing efforts at solving the problem of how to centrally manage and synchronise users’ Multiple Profiles (MP) across multiple discrete social networks. Most social network users hold more than one social network account and utilise them in different ways depending on the digital context (Iannella, 2009a). They may, for example, enjoy friendly chat on Facebook1, professional discussion on LinkedIn2, and health information exchange on PatientsLikeMe3 In this thesis the researcher proposes a framework for the management of a user’s multiple online social network profiles. A demonstrator, called Multiple Profile Manager (MPM), will be showcased to illustrate how effective the framework will be. The MPM will achieve the required profile management and synchronisation using a free, open, decentralized social networking platform (OSW) that was proposed by the Vodafone Group in 2010. The proposed MPM will enable a user to create and manage an integrated profile (IP) and share/synchronise this profile with all their social networks. The necessary protocols to support the prototype are also proposed by the researcher. The MPM protocol specification defines an Extensible Messaging and Presence Protocol (XMPP) extension for sharing vCard and social network accounts information between the MPM Server, MPM Client, and social network sites (SNSs). . Therefore many web users need to manage disparate profiles across many distributed online sources. Maintaining these profiles is cumbersome, time-consuming, inefficient, and may lead to lost opportunity. The writer of this thesis adopted a research approach and a number of use cases for the implementation of the project. The use cases were created to capture the functional requirements of the MPM and to describe the interactions between users and the MPM. In the research a development process was followed in establishing the prototype and related protocols. The use cases were subsequently used to illustrate the prototype via the screenshots taken of the MPM client interfaces. The use cases also played a role in evaluating the outcomes of the research such as the framework, prototype, and the related protocols. An innovative application of this project is in the area of public health informatics. The researcher utilised the prototype to examine how the framework might benefit patients and physicians. The framework can greatly enhance health information management for patients and more importantly offer a more comprehensive personal health overview of patients to physicians. This will give a more complete picture of the patient’s background than is currently available and will prove helpful in providing the right treatment. The MPM prototype and related protocols have a high application value as they can be integrated into the real OSW platform and so serve users in the modern digital world. They also provide online users with a real platform for centrally storing their complete profile data, efficiently managing their personal information, and moreover, synchronising the overall complete profile with each of their discrete profiles stored in their different social network sites.

The efficacy of Aloe vera, tea tree oil and saliva as first aid treatment for partial thickness burn injuries

Many alternative therapies are used as first aid treatment for burns, despite limited evidence supporting their use. In this study, Aloe vera, saliva and a tea tree oil impregnated dressing (Burnaid) were applied as first aid to a porcine deep dermal contact burn, compared to a control of nothing. After burn creation, the treatments were applied for 20 min and the wounds observed at weekly dressing changes for 6 weeks. Results showed that the alternative treatments did significantly decrease subdermal temperature within the skin during the treatment period. However, they did not decrease the microflora or improve re-epithelialisation, scar strength, scar depth or cosmetic appearance of the scar and cannot be recommended for the first aid treatment of partial thickness burns.

A retrospective cohort study of Acticoat™ versus Silvazine™ in a paediatric population

We wished to determine whether changing our centre's practice of using Acticoat instead of Silvazine as our first-line burns dressing provided a better standard of care in terms of efficacy, cost and ease of use. A retrospective cohort study was performed examining 328 Silvazine treated patients from January 2000 to June 2001 and 241 Acticoat treated patients from July 2002 to July 2003. During those periods the respective dressings were used exclusively. There was no significant difference in age, %BSA and mechanism of burn between the groups. In the Silvazine group, 25.6% of children required grafting compared to 15.4% in the Acticoat group (p=0.001). When patients requiring grafting were excluded, the time taken for re-epithelialisation in the Acticoat group (14.9 days) was significantly less than that for the Silvazine group (18.3 days), p=0.047. There were more wounds requiring long term scar management in the Silvazine group (32.6%) compared to the Acticoat group (29.5%), however this was not significant. There was only one positive blood culture in each group, indicating that both Silvazine and Acticoat are potent antimicrobial agents. The use of Acticoat as our primary burns dressing has dramatically changed our clinical practice. Inpatients are now only 18% of the total admissions, with the vast majority of patients treated on an outpatient basis. In terms of cost, Acticoat was demonstrated to be less expensive over the treatment period than Silvazine . We have concluded that Acticoat is a safe, cost-effective, efficacious dressing that reduces the time for re-epithelialisation and the requirement for grafting and long term scar management, compared to Silvazine.

A review of first aid treatments for burn injuries

Throughout history there have been many different and sometimes bizarre treatments prescribed for burns. Unfortunately many of these treatments still persist today, although they often do not have sufficient evidence to support their use. This paper reviews common first aid and pre-hospital treatments for burns (water--cold or warm, ice, oils, powders and natural plant therapies), possible mechanisms whereby they might work and the literature which supports their use. From the published work to date, the current recommendations for the first aid treatment of burn injuries should be to use cold running tap water (between 2 and 15 degrees C) on the burn, not ice or alternative plant therapies.

A systematic review and meta-analysis : tailoring asthma treatment on eosinophilic markers (exhaled nitric oxide or sputum eosinophils)

Asthma severity and control can be measured both subjectively and objectively. Traditionally asthma treatments have been individualised using symptoms and spirometry/peak flow. Increasingly treatment tailored in accordance with inflammatory markers (sputum eosinophil counts or fractional exhaled nitric oxide (FeNO) data) is advocated as an alternative strategy. The objective of this review was to evaluate the efficacy of tailoring asthma interventions based on inflammatory markers (sputum analysis and FeNO) in comparison with clinical symptoms (with or without spirometry/peak flow) for asthma-related outcomes in children and adults. Cochrane Airways Group Specialised Register of Trials, the Cochrane Central Register of Controlled Trials (CENTRAL), MEDLINE, EMBASE and reference lists of articles were searched. The last searches were in February 2009. All randomised controlled comparisons of adjustment of asthma treatment based on sputum analysis or FeNO compared with traditional methods (primarily clinical symptoms and spirometry/peak flow) were selected. Results of searches were reviewed against predetermined criteria for inclusion. Relevant studies were selected, assessed and data extracted independently by at least two people. The trial authors were contacted for further information. Data were analysed as 'intervention received' and sensitivity analyses performed. Six (2 adults and 4 children/adolescent) studies utilising FeNO and three adult studies utilising sputum eosinophils were included. These studies had a degree of clinical heterogeneity including definition of asthma exacerbations, duration of study and variations in cut-off levels for percentage of sputum eosinophils and FeNO to alter management in each study. Adults who had treatment adjusted according to sputum eosinophils had a reduced number of exacerbations compared with the control group (52 vs. 77 patients with >=1 exacerbation in the study period; p=0.0006). There was no significant difference in exacerbations between groups for FeNO compared with controls. The daily dose of inhaled corticosteroids at the end of the study was decreased in adults whose treatment was based on FeNO in comparison with the control group (mean difference -450.03 mug, 95% CI -676.73 to -223.34; p<0.0001). However, children who had treatment adjusted according to FeNO had an increase in their mean daily dose of inhaled corticosteroids (mean difference 140.18 mug, 95% CI 28.94 to 251.42; p=0.014). It was concluded that tailoring of asthma treatment based on sputum eosinophils is effective in decreasing asthma exacerbations. However, tailoring of asthma treatment based on FeNO levels has not been shown to be effective in improving asthma outcomes in children and adults. At present, there is insufficient justification to advocate the routine use of either sputum analysis (due to technical expertise required) or FeNO in everyday clinical practice.

Can estimates of antimalarial efficacy from field studies be improved?

Monitoring therapeutic efficacy of antimalarial drugs is important because treatment failure rates are the primary basis for changing antimalarial treatment policy. An important aspect of efficacy studies is the use of PCR genotyping to distinguish recrudescent from new infections. The conclusions reached using this technique might be misleading if there is insufficient parasite diversity or a non-uniform haplotype frequency distribution in the study area. Statistical techniques can be used to overcome this problem, but only when data describing the haplotype frequency distribution are available. Therefore, assessing haplotype frequency and distribution should form an integral part of all studies investigating the therapeutic efficacy of antimalarial treatment regimes.

Secondary prevention of osteoporosis in Australia: Analysis of government-dispensed prescription data

Background Osteoporosis is a common cause of disability and death in elderly men and women. Until 2007, Australian Government-subsidized use of oral bisphosphonates, raloxifene and calcitriol (1α,25-dihydroxycholecalciferol) was limited to secondary prevention (requiring x-ray evidence of previous low-trauma fracture). The cost to the Pharmaceutical Benefits Scheme was substantial (164 million Australian dollars in 2005/6). Objective To examine the dispensed prescriptions for oral bisphosphonates, raloxifene, calcitriol and two calcium products for the secondary prevention of osteoporosis (after previous low-trauma fracture) in the Australian population. Methods We analysed government data on prescriptions for oral bisphosphonates, raloxifene, calcitriol and two calcium products from 1995 to 2006, and by sex and age from 2002 to 2006. Prescription counts were converted to defined daily doses (DDD)/1000 population/day. This standardized drug utilization method used census population data, and adjusts for the effects of aging in the Australian population. Results Total bisphosphonate use increased 460% from 2.19 to 12.26 DDD/1000 population/day between June 2000 and June 2006. The proportion of total bisphosphonate use in June 2006 was 75.1% alendronate, 24.6% risedronate and 0.3% etidronate. Raloxifene use in June 2006 was 1.32 DDD/1000 population/day. The weekly forms of alendronate and risedronate, introduced in 2001 and 2003, respectively, were quickly adopted. Bisphosphonate use peaked at age 80–89 years in females and 85–94 years in males, with 3-fold higher use in females than in males. Conclusions Pharmaceutical intervention for osteoporosis in Australia is increasing with most use in the elderly, the population at greatest risk of fracture. However, fracture prevalence in this population is considerably higher than prescribing of effective anti-osteoporosis medications, representing a missed opportunity for the quality use of medicines.