Specification and Evaluation of Safety Properties in a Component-Based Software Engineering Process

Over the past years, component-based software engineering has become an established paradigm in the area of complex software intensive systems. However, many techniques for analyzing these systems for critical properties currently do not make use of the component orientation. In particular, safety analysis of component-based systems is an open field of research. In this chapter we investigate the problems arising and define a set of requirements that apply when adapting the analysis of safety properties to a component-based software engineering process. Based on these requirements some important component-oriented safety evaluation approaches are examined and compared.

Growth hormone therapy in Prader-Willi Syndrome

Prader-Willi syndrome (PWS) was originally described less than 50 y ago,1 although reference to children with characteristics of the syndrome are to be found in other literature previous to this.2 Until relatively recently the diagnosis was made upon the clinical features as outlined by Holm,3 which include severe muscular hypotonia in the neonatal period leading to feeding difficulties and undernutrition, hypogonadism and later hyperphagia and obesity. Latterly the syndrome has been identified as being associated with an interstitial deletion of the q11-13 region on chromosome 15.4 In the majority of cases the deletion is in the paternally derived chromosome. In the remainder of cases there seems to be a failure to inherit the entire paternal chromosome and as a consequence both the chromosomes inherited are maternal, thus leading to maternal disomy.

Increase of fat oxidation and weight loss in obese mice caused by chronic treatment with human growth hormone or a modified C-terminal fragment

OBJECTIVE: To observe the chronic effects of human growth hormone (hGH) and AOD9604 (a C-terminal fragment of hGH) on body weight, energy balance, and substrate oxidation rates in obese (ob/ob) and lean C57BL/6Jmice. In vitro assays were used to confirm whether the effects of AOD9604 are mediated through the hGH receptor, and if this peptide is capable of cell proliferation via the hGH receptor. METHOD: Obese and lean mice were treated with hGH, AOD or saline for 14 days using mini-osmotic pumps. Body weight, caloric intake, resting energy expenditure, fat oxidation, glucose oxidation, and plasma glucose, insulin and glycerol were measured before and after treatment. BaF-BO3 cells transfected with the hGH receptor were used to measure in Vitro I-125-hGH receptor binding and cell proliferation. RESULTS: Both hGH and AOD significantly reduced body weight gain in obese mice. This was associated with increased in vivo fat oxidation and increased plasma glycerol levels (an index of lipolysis). Unlike hGH, however, AOD9604 did not induce hyperglycaemia or reduce insulin secretion. AOD9604 does not compete for the hGH receptor and nor does it induce cell proliferation, unlike hGH. CONCLUSIONS: Both hGH and its C-terminal fragment reduce body weight gain, increase fat oxidation, and stimulate lipolysis in obese mice, yet AOD9604 does not interact with the hGH receptor. Thus, the concept of hGH behaving as a pro-hormone is further confirmed. This data shows that fragments of hGH can act in a manner novel to traditional hGH-stimulated pathways.

Advances in neurotrauma in Australia 1970-2000

The management of neurotrauma in Australia has been one of the significant public health triumphs during the last 30 years of the 20th century. State and national government agencies act in a coordinated fashion to collect data and to promote research on how to manage neurotrauma patients. Between 1970 and 1995, fatalities from road accidents decreased by 47%. Hospital admissions have decreased by 40% despite a 40% increase in the population and a 120% increase in registered vehicles. Fatalities per 10,000 registered vehicles were 8.05% in 1970 and they fell to 1.84% per vehicles in 1995, while fatalities per 10;000 population were 3 in 1970 falling to 1.11 in 1995. Hospitalization from road crashes decreased 23% between March 1988 and March 1997. Public education has steadily improved, backed by the state public health sources. A uniform code of road safety laws has been adopted, backed by legislation and legal penalties and increasing police enforcement. Clinical care of patients has improved as a result of faster communications, tele-medicine, trauma systems, the CT scanner; intensive care units, and improved monitoring. Patient rehabilitation and counseling are now carried out at units accredited by the Australian Council on Health Care Standards.

A Hermeneutic Case Reconstruction of a published first-person narrative

Hermeneutic Case Reconstruction (Rosenthal, 1993) is a systematic method of analysing biographical self-presentations from an interpretivist perspective. The method consists of five major analytic steps. The first is an analysis of the biographical data that can stand independently of the narrator’s perspective. ‘Objective’ data is extracted from the text or interview transcript and ordered chronologically. Secondly, a thematic field analysis is undertaken in which the data is divided into separate units according to the type of text used, whilst keeping the sequence of these texts units intact. In this step, hypotheses are developed regarding the potential significance of the style and sequence of the events presented. The product of this second step is a reconstruction of the life story. A reconstruction of the life history then follows as the third step. The purpose of this step is to generate hypotheses about the meanings that biographical experiences might have had for the narrator at the time they occurred, given the sociocultural context in which they occurred. In the fourth step, microanalysis of individual text segments is undertaken, in which all hypotheses generated in the earlier steps are tested against the text for support or refutation. The final step consists of a contrastive comparison of the life history and life story. The life story and life history are compared to determine, for example, which aspects of the narrator’s experience have been emphasised or minimised. Through this comparison, the selective process is highlighted. This is referred to as the case structure. This paper describes an application of this method to a published first-person narrative of a woman’s experiences of sustaining a brain injury in a motor vehicle accident.

Who does not gain weight? Prevalence and predictors of weight maintenance in young women

OBJECTIVE: To investigate the prevalence and predictors of weight maintenance over time in a large sample of young Australian women. DESIGN: This population study examined baseline and 4y follow-up data from the cohort of young women participating in the Australian Longitudinal Study on Women's Health. SUBJECTS: A total of 8726 young women aged 18 - 23y at baseline. MEASURES: Height, weight and body mass index (BMI); physical activity; time spent sitting; selected eating behaviours (eg dieting, disordered eating, takeaway food consumption); cigarette smoking, alcohol consumption; parity; and socio-demographic characteristics. RESULTS: Only 44% of the women reported their BMI at follow-up to be within 5% of their baseline BMI (maintainers); 41% had gained weight and 15% had lost weight. Weight maintainers were more likely to be in managerial or professional occupations; to have never married; to be currently studying; and not to be mothers. Controlling for sociodemographic factors, weight maintainers were more likely to be in a healthy weight range at baseline, and to report that they spent less time sitting, and consumed less takeaway food, than women who gained weight. CONCLUSIONS: Fewer than half the young women in this community sample maintained their weight over this 4y period in their early twenties. Findings of widespread weight gain, particularly among those already overweight, suggest that early adulthood, which is a time of significant life changes for many women, may be an important time for implementing strategies to promote maintenance of healthy weight. Strategies which encourage decreased sitting time and less takeaway food consumption may be effective for encouraging weight maintenance at this life stage.

Effect of Co addition on the lattice parameter, electrical conductivity and sintering of gadolinia-doped ceria

Co-sintering aid has been added to Ce1.9Gd0.1O1.95 (CGO) by treating a commercial powder with Co(NO3)(2) (COCGO), X-ray diffraction (XRD) measurements of lattice parameter indicated that the Co was located on the CGO particle surface after calcination at 650 degreesC. After heat treatment at temperatures above 650 degreesC, the room temperature lattice parameter of CGO was found to increase, indicating redistribution of the Gd. Compared to CGO, the lattice parameter of CGO + 2 cation% Co (2CoCGO) was lower for a given temperature (650-1100 degreesC), A.C. impedance revealed that the lattice conductivity of 2CoCGO was enhanced when densified at lower temperatures, Transmission electron microscopy (TEM) showed that, even after sintering for 4 h at 980 degreesC, most of the Co was located at grain boundaries. (C) 2002 Published by Elsevier Science B.V.