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.

Evaluation of Oral Antiseptic Rinsing before Sputum Collection To Reduce Contamination of Mycobacterial Cultures

To assess whether rinsing with oral antiseptics before sputum collection would reduce contamination of mycobacterial cultures, 120 patients with suspected tuberculosis were randomly assigned to rinse with chlorhexidine or cetylpyridinium mouthwash before collection. The culture contamination rate was significantly lower after rinsing with chlorhexidine before collection, especially for cultures grown in MGIT medium.

The Provisional Paediatric Rheumatology International Trials Organisation/American College of Rheumatology/European League Against Rheumatism disease activity core set for the evaluation of response to therapy in juvenile dermatomyositis: A prospective validation study

Objective. To validate a core set of outcome measures for the evaluation of response to treatment in patients with juvenile dermatomyositis (DM). Methods. In 2001, a preliminary consensus-derived core set for evaluating response to therapy in juvenile DM was established. In the present study, the core set was validated through an evidence-based, large-scale data collection that led to the enrollment of 294 patients from 36 countries. Consecutive patients with active disease were assessed at baseline and after 6 months. The validation procedures included assessment of feasibility, responsiveness, discriminant and construct ability, concordce in the evaluation of response to therapy between physicians and parents, redundancy, internal consistency, and ability to predict a therapeutic response. Results. The following clinical measures were found to be feasible, and to have good construct validity, discriminative ability, and internal consistency; furthermore, they were not redundant, proved responsive to clinically important changes in disease activity, and were associated strongly with treatment outcome and thus were included in the final core set: 1) physician`s global assessment of disease activity, 2) muscle strength, 3) global disease activity measure, 4) parent`s global assessment of patient`s well-being, 5) functional ability, and 6) health-related quality of life. Conclusion. The members of the Paediatric Rheumatology International Trials Organisation, with the endorsement of the American College of Rheumatology and the European Leauge Against Rheumatism, propose a core set of criteria for the evaluation of response of therapy that is scientifically and clinically relevant and statistically validated. The core set will help standardize the conduct and reporting of clinical trials and assist practitioners in deciding whether a child with juvenile DM has responded adequately to therapy.

Evaluation of IGF-2/ApaI polymorphism in pregnant women infected with human immunodeficiency virus type 1 taking antiretroviral drugs

Objective: Studies carried Out to assess the effects of antiretroviral drugs (ARV) in HIV-1 infected pregnant women have demonstrated carbohydrate intolerance. Some reports also refer to the effect of disturbances in the expression of the insulin-like growth factor (IGF) system on pancreas beta-cell function in humans and IGF-2/ApaI polymorphisms have been associated with obesity and features of the metabolic syndromes. in the present study, we tested the association between IGF-2/ApaI genotype and hyperglycemia in HIV-1 infected pregnant women receiving ARV. Design: We studied IGF-2/ApaI polymorphism in 87 healthy pregnant women, 43 HIV-1 infected pregnant women taking ARV with hyperglycemia during pregnancy, and 43 HIV-1-negative pregnant women with gestational diabetes. Blood samples were obtained for DNA extraction, PCR and genotyping. Data were analyzed statistically by the Kolmogorov-Smirnov normality, ANOVA and chi-square tests. Results: There were no significant differences in genotype frequency among the three groups analyzed. Considering the HIV-1-infected pregnant women, there were no significant differences in genotype frequency between the zidovudine group and the triple antiretroviral treatment group. There were no significant differences in allele frequencies among the groups evaluated. Non-white pregnant women tended to present the GG genotypes compared to white pregnant women. Conclusion: These results contribute to a better understanding of metabolic glycemic disorders in HIV-1 infected pregnant women using ARV, showing that IGF-2/ApaI polymorphisms are not responsible as a single Causative factor of glycemic alterations. These data indicate that other variables should be studied in order to explain these glycemic abnormalities. (C) 2009 Elsevier Ltd. All rights reserved.

Articular Cartilage in the Knee: Current MR Imaging Techniques and Applications in Clinical Practice and Research

Magnetic resonance (MR) imaging is the most important imaging modality for the evaluation of traumatic or degenerative cartilaginous lesions in the knee. It is a powerful noninvasive tool for detecting such lesions and monitoring the effects of pharmacologic and surgical therapy. The specific MR imaging techniques used for these purposes can be divided into two broad categories according to their usefulness for morphologic or compositional evaluation. To assess the structure of knee cartilage, standard spin-echo (SE) and gradient-recalled echo (GRE) sequences, fast SE sequences, and three-dimensional SE and GRE sequences are available. These techniques allow the detection of morphologic defects in the articular cartilage of the knee and are commonly used in research for semiquantitative and quantitative assessments of cartilage. To evaluate the collagen network and proteoglycan content in the knee cartilage matrix, compositional assessment techniques such as T2 mapping, delayed gadolinium-enhanced MR imaging of cartilage (or dGEMRIC), T1 rho imaging, sodium imaging, and diffusion-weighted imaging are available. These techniques may be used in various combinations and at various magnetic field strengths in clinical and research settings to improve the characterization of changes in cartilage. (C)RSNA, 2011 , radiographics.rsna.org

Evaluation of platelet count by automatic blood counter QBC Vet Autoread (R) compared with blood smear estimative and count by hemocytometer

The platelet blood count in laboratorial routine provides to the clinician important information about the hemostasis of the patient. There are many techniques described, however the gold standard techniques realized in hemocytometer spent a lot of time, making this technique impracticable in great routines. This research had the intent to evaluate if the automatic veterinary blood counter QBC Vet Autoread (R), whose results get five minutes to be ready, is capable to offer a trustworthy platelet count number. To this end, were evaluated the correlations among three different forms of platelets count in dogs: count in automatic blood counter QBC Vet Autoread (R), estimative in blood smear and the gold standard method by manual count in hemocytometer. The viability and confidence use of automatic blood counters of the medicine veterinary routine. Seventeen dogs were chosen randomly way, in the medical and surgical routine of HOVET-USP. The analysis revel high correlation between the hemocytometer and the estimative in blood smear (r=0,875) and between the hemocytometer and automatic blood count by QBC Vet Autoread (R) (r=0,939). Conclude that the platelet blood cont by QBC Vet Autoread (R), in addition to be fast, it`s more truthful when compared with estimative in blood smear, although the latter one also had elevated correlation. However, morphological analysis through the smears cannot be dismissed because none of the other two techniques evaluated have the ability to assess platelet morphological changes.

Evaluation of IFA, MAT, ELISAs and immunoblotting for the detection of anti-Toxoplasma gondii antibodies in paired serum and aqueous humour samples from experimentally infected pigs

The study evaluated the efficiency of diagnostic laboratory methods to detect anti-Toxoplasma gondii antibodies in paired serum and aqueous humour samples from experimentally infected pigs. 18-mixed breed pigs were used during the experiment; these were divided into two groups, G I (infected group, n = 10) and G2 (uninfected group, n = 8). Infection was performed with 4 x 10(4) VEG strain oocysts at day 0 by the oral route in G1 animals. All pigs were euthanized at day 60, when retina, aqueous humour, and blood samples were collected. Anti-T gondii antibody levels were assessed in serum (s) and aqueous humour (ah) by indirect immunofluorescence assay (IFA), modified agglutination test (MAT), m-ELISA (using crude membranes from T gondii tachyzoites as antigen) and r-ELISA (using rhoptries from T gondii tachyzoites as antigen). Polymerase chain reactions (PCR) of samples from the retina were performed by using Tox4 and Tox5 primers. Antibody titers of G1 animals ranged from 128 to 1024 and from 16 to 256 in serum and aqueous humour, respectively. There were differences in the correlation coefficients between IFA(s) x IFA (ah) (r = 0.62, P = 0.05), MAT(s) x MAT (ah) (r = 0.97, P < 0.0001); however, there was no significant difference between r-ELISA(s) x r-ELISA (ah) (r = 0. 14, P = 0.7). Antibodies present in serum and aqueous humour recognized similar antigens. Samples of retina were positive by PCR in 30% (3/10) of infected pigs. G2 animals remained without antibody levels and were PCR negative throughout the experiment. These results suggest that the use of a combination of tests and immunoblotting for paired aqueous humour and serum samples could improve the sensitivity and specificity for the diagnosis of ocular toxoplasmosis. (c) 2007 Elsevier Ltd. All rights reserved.

Evaluation of Efficacy and Safety of Zinc Gluconate Associated with Dimethyl Sulphoxide for Sexually Mature Canine Males Chemical Neutering

Contents The aim of this research was to evaluate the efficacy of zinc gluconate associated with dimethyl sulphoxide (DMSO) for chemical neutering in canine males. Fifteen sexually mature male dogs were divided in two groups, named control and treated. An injection was administered to both testicles, at a concentration of 26.2 mg zinc gluconate per ml and 0.5% DMSO in the treated group (11 dogs). The control group was given injections of saline solution (four dogs). Clinical examination and blood collection for a haemogram were done both before and after drug injection. There were 12 spermograms performed to analyse sperm motility, sperm vigour, ejaculate volume, testicle size, pathology and sperm concentrations. Libido was also measured. An ultrasound examination and histopathology were performed at the end of the experiment. Dogs` libido after chemical injection was reduced by over 50%. The spermogram analysis showed final mean results of 14.54% for sperm motility, 0.72 of sperm vigour and 37 150 per million spermatozoa per millilitre, values considered below the necessary levels at which fertilization can occur. Ultrasound and histopathology analyses of testicles for the treated group revealed more intense injuries when compared with the control group, with compromised testicular parenchyma and a decrease of germ cell number leading to total atrophy, indicating that the treatment reduced the fertilizing potential of male dogs, promoting a possible subfertile status.

Evaluation of short dietary questions from the 1995 National Nutrition Survey

Six of the short dietary questions used in the 1995 National Nutrition Survey (see box below) were evaluated for relative validity both directly and indirectly and for consistency, by documenting the differences in mean intakes of foods and nutrients as measured on the 24-hour recall, between groups with different responses to the short questions. 1. Including snacks, how many times do you usually have something to eat in a day including evenings? 2. How many days per week do you usually have something to eat for breakfast? 3. In the last 12 months, were there any times that you ran out of food and couldn’t afford to buy more? 4. What type of milk do you usually consume? 5. How many serves of vegetables do you usually eat each day? (a serve = 1/2 cup cooked vegetables or 1 cup of salad vegetables) 6. How many serves of fruit do you usually eat each day? (a serve = 1 medium piece or 2 small pieces of fruit or 1 cup of diced pieces) These comparisons were made for males and females overall and for population sub-groups of interest including: age, socio-economic disadvantage, region of residence, country of birth, and BMI category. Several limitations to this evaluation of the short questions, as discussed in the report, need to be kept in mind including: · The method for comparison available (24-hour recall) was not ideal (gold standard); as it measures yesterday’s intake. This limitation was overcome by examining only mean differences between groups of respondents, since mean intake for a group can provide a reasonable approximation for ‘usual’ intake. · The need to define and identify, post-hoc, from the 24-hour recall the number of eating occasions, and occasions identified by the respondents as breakfast. · Predetermined response categories for some of the questions effectively limited the number of categories available for evaluation. · Other foods and nutrients, not selected for this evaluation, may have an indirect relationship with the question, and might have shown stronger and more consistent responses. · The number of responses in some categories of the short questions eg for food security may have been too small to detect significant differences between population sub-groups. · No information was available to examine the validity of these questions for detecting differences over time (establishing trends) in food habits and indicators of selected nutrient intakes. By contrast, the strength of this evaluation was its very large sample size, (atypical of most validation studies of dietary assessment) and thus, the opportunity to investigate question performance in a range of broad population sub-groups compared with a well-conducted, quantified survey of intakes. The results of the evaluation are summarised below for each of the questions and specific recommendations for future testing, modifications and use provided for each question. The report concludes with some general recommendations for the further development and evaluation of short dietary questions.