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.

Validation of the National Institutes of Health Stroke Scale, Modified Rankin Scale and Barthel Index in Brazil: The Role of Cultural Adaptation and Structured Interviewing

Background: We aimed to validate three widely used scales in stroke research in a multiethnic Brazilian population. Methods: The National Institutes of Health Stroke Scale (NIHSS), modified Rankin Scale (mRS) and Barthel Index (BI) were translated, culturally adapted and applied by two independent investigators. The mRS was applied with or without a previously validated structured interview. Interobserver agreement (kappa statistics) and intraclass correlation coefficients were calculated. Results: 84 patients underwent mRS (56 with and 28 without a structured interview), 57 BI and 62 NIHSS scoring. Intraclass correlation coefficient was 0.902 for NIHSS and 0.967 for BI. For BI, interobserver agreement was good (kappa = 0.70). For mRS, the structured interview improved interobserver agreement (kappa = 0.34 without a structured interview; 0.75 with a structured interview). Conclusion: The NIHSS, BI and mRS show good validity when translated and culturally adapted. Using a structured interview for the mRS improves interobserver concordance rates. Copyright (C) 2008 S. Karger AG, Basel

Comparability between telephone and face-to-face Structured Clinical Interview for DSM-IV in assessing social anxiety disorder

PURPOSE. This article evaluates the comparability of the telephone and in-person Structured Clinical Interview for DSM-IV (SCID) interviews in assessing patients with social anxiety disorder (SAD) as an independent anxiety diagnosis. DESIGN AND METHODS. One hundred subjects were randomly selected and interviewed with the SCID, once by telephone and once in person (1-3 months later). FINDINGS. The prevalence of SAD assessed with the telephone interviews was 56%, whereas the in-person prevalence was 52%, with no statistically significant difference. The test-retest kappa for the 200 interviews was .84, indication of excellent agreement. PRACTICE IMPLICATIONS. These findings, along with the existing evidence of their validity, should encourage the use of SCID by telephone for SAD diagnostic interviews.

Non-coding transcript in T cells (NTT): Antisense transcript activates PKR and NF-kappa B in human lymphocytes

T cell activation is a complex process involving many steps and the role played by the non-protein-coding RNAs (ncRNAs) in this phenomenon is still unclear. The non-coding T cells transcript (NTT) is differentially expressed during human T cells activation, but its function is unknown. Here, we detected a 426 m NTT transcript by RT-PCR using RNA of human lymphocytes activated with a synthetic peptide of HIV-1. After cloning, the sense and antisense 426 nt NTT transcripts were obtained by in vitro transcription and were sequenced. We found that both transcripts are highly structured and are able to activate PKR. A striking observation was that the antisense 426 nt NTT transcript is significantly more effective in activating PKR than the corresponding sense transcript. The transcription factor NF-kappa B is activated by PKR through phosphorylation and subsequent degradation of its inhibitor I-kappa B beta. We also found that the antisense 426 nt NTT transcript induces more efficiently the degradation Of I-kappa B beta than the sense transcript. Thus, this study suggests that the role played by NTT in the activation of lymphocytes can be mediated by PKR through NF-kappa B activation. However, the physiological significance of the activity of the antisense 426 nt NTT transcript remains unknown. (c) 2007 Elsevier Inc. All rights reserved.

Healing of displaced condylar process fracture in rats submitted to protein undernutrition

Introduction: This study evaluated the healing of mandibular condylar fracture in rats submitted to experimental and protein undernutrition (8% of protein) by means of histological analysis. Material: Forty-five adult Wistar rats were divided into three groups of 15 animals: a fracture group, who were submitted to condylar fracture with no changes in diet; an undernourished fracture group, who were submitted to a low protein diet and condylar fracture: an undernourished group, kept until the end of experiment, without condylar fracture. Displaced fractures of the right condyle were created under general anaesthesia. The histological study comprised fracture site and temporomandibular joint evaluations. Results: The undernourished fracture group showed significant weight loss. There was a marked decrease in the values of serum proteins and albumin in the undernourished fracture group. Histological analysis showed that protein undernutrition lead to atrophy of the condylar fibrocartilage. Fractures in undernutrition presented a delay in callus formation due to more extensive devitalized bone areas, and after 3 months there were still bone formation areas, while fibrous ankylosis occurred in the articular space. Conclusion: It was concluded that mandibular condyle fractures in rats with protein undernutrition had impaired callus formation, as well as fibrous ankylosis into the temporomandibular joint. (C) 2010 European Association for Cranio-Maxillo-Facial Surgery.