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.

Multi-system neurological disease is common in patients with OPA1 mutations

Additional neurological features have recently been described in seven families transmitting pathogenic mutations in OPA1, the most common cause of autosomal dominant optic atrophy. However, the frequency of these syndromal `dominant optic atrophy plus` variants and the extent of neurological involvement have not been established. In this large multi-centre study of 104 patients from 45 independent families, including 60 new cases, we show that extra-ocular neurological complications are common in OPA1 disease, and affect up to 20% of all mutational carriers. Bilateral sensorineural deafness beginning in late childhood and early adulthood was a prominent manifestation, followed by a combination of ataxia, myopathy, peripheral neuropathy and progressive external ophthalmoplegia from the third decade of life onwards. We also identified novel clinical presentations with spastic paraparesis mimicking hereditary spastic paraplegia, and a multiple sclerosis-like illness. In contrast to initial reports, multi-system neurological disease was associated with all mutational subtypes, although there was an increased risk with missense mutations [odds ratio = 3.06, 95% confidence interval = 1.44-6.49; P = 0.0027], and mutations located within the guanosine triphosphate-ase region (odds ratio = 2.29, 95% confidence interval = 1.08-4.82; P = 0.0271). Histochemical and molecular characterization of skeletal muscle biopsies revealed the presence of cytochrome c oxidase-deficient fibres and multiple mitochondrial DNA deletions in the majority of patients harbouring OPA1 mutations, even in those with isolated optic nerve involvement. However, the cytochrome c oxidase-deficient load was over four times higher in the dominant optic atrophy + group compared to the pure optic neuropathy group, implicating a causal role for these secondary mitochondrial DNA defects in disease pathophysiology. Individuals with dominant optic atrophy plus phenotypes also had significantly worse visual outcomes, and careful surveillance is therefore mandatory to optimize the detection and management of neurological disability in a group of patients who already have significant visual impairment.

Clinical Validity of the Protocol for Multi-Professional Centers for the Determination of Signs and Symptoms of Temporomandibular Disorders. Part II

The aims of this study were to analyze the criterion and construct validity of Part II of the protocol for multi-professional centers for the determination of signs and symptoms of temporomandibular disorders (ProTMDMulti) as a measure of TMD severity. The study was conducted on eight asymptomatic subjects (CG) and 30 subjects with articular TMD (TMDG), according to the Research Diagnostic Criteria for TMD (RDC/TMD). The ProTMDMulti-Part II was validated using the Helkimo Clinical Dysfunction Index (Di). The construct validity was tested using the analysis of the ability of ProTMDMulti-part II to differentiate the CG from the TMDG and to measure the changes that occurred in the TMDG between the period before and after TMD treatment. Correlations between the Di and the ProTMDMulti-Part II scores were calculated using the Spearman test. Inter- and intragroup comparisons were made (p<0.05). There was a statistically significant correlation between the Helkimo Clinical Dysfunction Index (Di) and the severity scores of the ProTMDMulti-Part II. There was a significant difference between TMDG and CG regarding the severity of signs and symptoms. The present study provides statistical evidence of the clinical validity of the ProTMDmulti-Part II as a measure of the severity of TMD symptoms.

Cloning, expression and purification of a glycosylated form of the DNA-binding protein Dps from Salmonella enterica Typhimurium

Dps, found in many eubacterial and archaebacterial species, appears to protect cells from oxidative stress and/or nutrient-limited environment. Dps has been shown to accumulate during the stationary phase, to bind to DNA non-specifically, and to form a crystalline structure that compacts and protects the chromosome. Our previous results have indicated that Dps is glycosylated at least for a certain period of the bacterial cell physiology and this glycosylation is thought to be orchestrated by some factors not yet understood, explaining our difficulties in standardizing the Dps purification process. In the present work, the open reading frame of the dps gene, together with all the upstream regulatory elements, were cloned into a PCR cloning vector. As a result, the expression of dps was also controlled by the plasmid system introduced in the bacterial cell. The gene was then over-expressed regardless of the growth phase of the culture and a glycosylated fraction was purified to homogeneity by lectin-immobilized chromatography assay. Unlike the high level expression of Dps in Salmonella cells, less than 1% of the recombinant protein was purified by affinity chromatography using jacalin column. Sequencing and mass spectrometry data confirmed the identity of the dps gene and the protein, respectively. In spite of the low level of purification of the jacalin-binding Dps, this work shall aid further investigations into the mechanism of Dps glycosylation. (C) 2008 Elsevier Inc. All rights reserved.