Model-Driven safety evaluation with state-event-based component failure annotations

Over the past years, the paradigm of component-based software engineering has been established in the construction of complex mission-critical systems. Due to this trend, there is a practical need for techniques that evaluate critical properties (such as safety, reliability, availability or performance) of these systems. In this paper, we review several high-level techniques for the evaluation of safety properties for component-based systems and we propose a new evaluation model (State Event Fault Trees) that extends safety analysis towards a lower abstraction level. This model possesses a state-event semantics and strong encapsulation, which is especially useful for the evaluation of component-based software systems. Finally, we compare the techniques and give suggestions for their combined usage

The practice of participatory planning at Mapoon Aboriginal settlement: Towards community control, ownership and autonomy

The practice of participatory planning in discrete Indigenous settlements has been established since the early 1990s. In addition to technical and economic goals, participatory planning also seeks community development outcomes, including community control, ownership and autonomy. This paper presents an evaluation of one such planning project, conducted at Mapoon in 1995. The Plan successfully improved physical infrastructure and housing, but had mixed success in terms of community development. Despite various efforts to follow participatory processes, the Plan was essentially a passing event, community control progressively diminished after its completion, and outcomes fell short of notions of ownership and autonomy. This suggests some misunderstandings between the practice of participatory planning and the workings of governance.

Optimal unravellings for feedback control in linear quantum systems

For quantum systems with linear dynamics in phase space much of classical feedback control theory applies. However, there are some questions that are sensible only for the quantum case: Given a fixed interaction between the system and the environment what is the optimal measurement on the environment for a particular control problem? We show that for a broad class of optimal (state- based) control problems ( the stationary linear-quadratic-Gaussian class), this question is a semidefinite program. Moreover, the answer also applies to Markovian (current-based) feedback.

Seizure detection algorithm for neonates based on wave-sequence analysis

Objective: The description and evaluation of the performance of a new real-time seizure detection algorithm in the newborn infant. Methods: The algorithm includes parallel fragmentation of EEG signal into waves; wave-feature extraction and averaging; elementary, preliminary and final detection. The algorithm detects EEG waves with heightened regularity, using wave intervals, amplitudes and shapes. The performance of the algorithm was assessed with the use of event-based and liberal and conservative time-based approaches and compared with the performance of Gotman's and Liu's algorithms. Results: The algorithm was assessed on multi-channel EEG records of 55 neonates including 17 with seizures. The algorithm showed sensitivities ranging 83-95% with positive predictive values (PPV) 48-77%. There were 2.0 false positive detections per hour. In comparison, Gotman's algorithm (with 30 s gap-closing procedure) displayed sensitivities of 45-88% and PPV 29-56%; with 7.4 false positives per hour and Liu's algorithm displayed sensitivities of 96-99%, and PPV 10-25%; with 15.7 false positives per hour. Conclusions: The wave-sequence analysis based algorithm displayed higher sensitivity, higher PPV and a substantially lower level of false positives than two previously published algorithms. Significance: The proposed algorithm provides a basis for major improvements in neonatal seizure detection and monitoring. Published by Elsevier Ireland Ltd. on behalf of International Federation of Clinical Neurophysiology.

Formal analysis of human-computer interaction using model checking

Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in human reliability assessment (HRA). This paper investigates an approach to task failure analysis based on patterns of behaviour, by contrast to more traditional event-based approaches. It considers, as a case study, a formal model of an air traffic control (ATC) system which incorporates controller behaviour. The cognitive model is formalised in the CSP process algebra. Patterns of behaviour are expressed as temporal logic properties. Then a model-checking technique is used to verify whether the decomposition of the operator's behaviour into patterns is sound and complete with respect to the cognitive model. The decomposition is shown to be incomplete and a new behavioural pattern is identified, which appears to have been overlooked in the analysis of the data provided by the experiments with the simulator. This illustrates how formal analysis of operator models can yield fresh insights into how failures may arise in interactive systems.

Scabies: more than just an irritation

Human scabies, caused by skin infestation with the arthropod mite, Sarcoptes scabiei, typically results in a papular, intensely pruritic eruption involving the interdigital spaces, and flexure creases. Recent research has led to a reassessment of the morbidity attributable to this parasite in endemic communities, particularly resulting from secondary skin sepsis and postinfective complications including glomerulonephritis. This has led to studies of the benefits of community based control programmes, and to concerns regarding the emergence of drug resistance when such strategies are employed. The renewed research interest into the biology of this infection has resulted in the application of molecular tools. This has established that canine and human scabies populations are genetically distinct, a finding with major implications for the formulation of public health control policies. Further research is needed to increase understanding of drug resistance, and to identify new drug targets and potential vaccine candidates.

Urea based osmoregulation and endocrine control in elasmobranch fish with special reference to euryhalinity

Since the landmark contributions of Homer Smith and co-workers in the 1930s there has been a considerable advance in our knowledge regarding the osmoregulatory strategy of elasmobranch fish. Smith recognised that urea was retained in the body fluids as part of the 'osmoregulatory ballast' of elasmobranch fish so that body fluid osmolality is raised to a level that is iso- or slightly hyper-osmotic to that of the surrounding medium. From studies at that time he also postulated that many marine dwelling elasmobranchs were not capable of adaptation to dilute environments. However, more recent investigations have demonstrated that, at least in some species, this may not be the case. Gradual acclimation of marine dwelling elasmobranchs to varying environmental salinities under laboratory conditions has demonstrated that these fish do have the capacity to acclimate to changes in salinity through independent regulation of Na+, Cl- and urea levels. This suggests that many of the presumed stenohaline marine elasmobranchs could in fact be described as partially euryhaline. The contributions of Thomas Thorson in the 1970s demonstrated the osmoregulatory strategy of a fully euryhaline elasmobranch, the bull shark, Carcharhinus leucas, and more recent investigations have examined the mechanisms behind this strategy in the euryhaline elasmobranch, Dasyatis sabina. Both partially euryhaline and fully euryhaline species utilise the same physiological processes to control urea, Na+ and Cl- levels within the body fluids. The role of the gills, kidney, liver, rectal gland and drinking process is discussed in relation to the endocrine control of urea, Na+ and Cl- levels as elasmobranchs acclimate to different environmental salinities. (C) 2003 Elsevier Inc. All rights reserved.

Adaptive stepsize based on control theory for stochastic differential equations

The numerical solution of stochastic differential equations (SDEs) has been focussed recently on the development of numerical methods with good stability and order properties. These numerical implementations have been made with fixed stepsize, but there are many situations when a fixed stepsize is not appropriate. In the numerical solution of ordinary differential equations, much work has been carried out on developing robust implementation techniques using variable stepsize. It has been necessary, in the deterministic case, to consider the best choice for an initial stepsize, as well as developing effective strategies for stepsize control-the same, of course, must be carried out in the stochastic case. In this paper, proportional integral (PI) control is applied to a variable stepsize implementation of an embedded pair of stochastic Runge-Kutta methods used to obtain numerical solutions of nonstiff SDEs. For stiff SDEs, the embedded pair of the balanced Milstein and balanced implicit method is implemented in variable stepsize mode using a predictive controller for the stepsize change. The extension of these stepsize controllers from a digital filter theory point of view via PI with derivative (PID) control will also be implemented. The implementations show the improvement in efficiency that can be attained when using these control theory approaches compared with the regular stepsize change strategy. (C) 2004 Elsevier B.V. All rights reserved.

Hospital-based case-control study of bronchiectasis in indigenous children in central Australia

Background: Childhood pneumonia has been reported to be associated with the development of bronchiectasis but there are no case-control studies that have examined this. This study examined the relationship between hospital admission for episode(s) of pneumonia and the risk of radiologically proven bronchiectasis. Methods: A medical record-based case-control study of bronchiectasis in Indigenous children was conducted in Central Australia. Controls (183), matched to cases (61) by gender, age and year of diagnosis, were Indigenous children hospitalized with other conditions. Results: There was a strong association between a history of hospitalized pneumonia and bronchiectasis [odds ratio (OR), 15.2; 95% confidence interval (95% CI) 4.4-52.7]. This was particularly evident in recurrent hospitalized pneumonia (P for trend < 0.01), severe pneumonia episodes with longer hospital stay (P for trend < 0.01), presence of atelectasis (OR 11.9; 95% CI 3.1-45.9) and requirement for oxygen (P for trend < 0.01). The overall number of pneumonia episodes, rather than its site, was associated with bronchiectasis. Although the total number of pneumonia episodes in the first year of life did not increase the risk of bronchiectasis, more severe episodes early in life did. Malnutrition, premature birth and being small for gestational age were more common findings among cases. Breast-feeding appeared to be a protective factor (OR 0.2; 95% CI 0.1-0.7). Conclusions: Although we cannot fully answer the question of why bronchiectasis is much more common in Indigenous children, we have provided strong evidence of an association between bronchiectasis and severe and recurrent pneumonia episodes in infancy and childhood.