ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects

International audienceThis paper aims at presenting methods and tools that are developed in the ISAAC project (Improvement of Safety Activities on Aeronautical Complex Systems, www.isaac-fp6.org), a European Community funded project, to support the safety assessment of complex embedded systems. The ISAAC methodology proposes to base as much of the safety analyses as is feasibly possible on simulable and formally verifiable system models that include fault models and can be shared both by safety and design engineers. On one hand, tools were developed to support safety assessment of Simulink, SCADE, Statemate, NuSMV and AltaRica models. On the other hand, formal models are coupled with additional models to address the problems of common cause analysis and human error analysis

Probabilistic Model-Based Safety Analysis

Model-based safety analysis approaches aim at finding critical failure combinations by analysis of models of the whole system (i.e. software, hardware, failure modes and environment). The advantage of these methods compared to traditional approaches is that the analysis of the whole system gives more precise results. Only few model-based approaches have been applied to answer quantitative questions in safety analysis, often limited to analysis of specific failure propagation models, limited types of failure modes or without system dynamics and behavior, as direct quantitative analysis is uses large amounts of computing resources. New achievements in the domain of (probabilistic) model-checking now allow for overcoming this problem. This paper shows how functional models based on synchronous parallel semantics, which can be used for system design, implementation and qualitative safety analysis, can be directly re-used for (model-based) quantitative safety analysis. Accurate modeling of different types of probabilistic failure occurrence is shown as well as accurate interpretation of the results of the analysis. This allows for reliable and expressive assessment of the safety of a system in early design stages

Condition-Dependent Cell Volume and Concentration of Escherichia coli to Facilitate Data Conversion for Systems Biology Modeling

Systems biology modeling typically requires quantitative experimental data such as intracellular concentrations or copy numbers per cell. In order to convert population-averaging omics measurement data to intracellular concentrations or cellular copy numbers, the total cell volume and number of cells in a sample need to be known. Unfortunately, even for the often studied model bacterium Escherichia coli this information is hardly available and furthermore, certain measures (e.g. cell volume) are also dependent on the growth condition. In this work, we have determined these basic data for E. coli cells when grown in 22 different conditions so that respective data conversions can be done correctly. First, we determine growth-rate dependent cell volumes. Second, we show that in a 1 ml E. coli sample at an optical density (600 nm) of 1 the total cell volume is around 3.6 µl for all conditions tested. Third, we demonstrate that the cell number in a sample can be determined on the basis of the sample's optical density and the cells' growth rate. The data presented will allow for conversion of E. coli measurement data normalized to optical density into volumetric cellular concentrations and copy numbers per cell - two important parameters for systems biology model development

A longitudinal study of risk factors for the occurrence, duration and severity of menstrual cramps in a cohort of college women

To describe how menstrual cramps vary from cycle to cycle within a woman over time. To examine the influence of weight and lifestyle factors on occurrence, duration, and severity of menstrual pain. Design A one-year prospective menstrual diary study. Participants One hundred and sixty-five women aged 17 to 19 years entering a local university in 1985. Main outcome measures The occurrence, length, and maximum severity of pain during a menstrual period. Results Menstrual pain occurred during 71.6% of observed menstrual bleeds, most commonly beginning the first day of menses. The median duration was two days. Sixty percent of women reported at least one episode of severe pain, while 13% reported severe pain more than half the time. Earlier age at menarche and long menstrual periods increased the occurrence, duration and severity of pain. In smokers, cramps tended to last longer. Being overweight was an important risk factor for menstrual cramps and doubled the odds of having a long pain episode. Frequent alcohol consumption decreased the probability of having menstrual cramps, but in women who had pain it increased duration and severity. Physical activity was not associated with any pain parameter. Conclusions Women who have pain lasting three days are an important target group for prophylactic therapy. The occurrence and severity of menstrual cramps is influenced by potentially modifiable characteristics including weight, smoking, and alcohol consumption. Doctors may wish to counsel women presenting with dysmenorrhoea about the importance of healthy lifestyles and about the inefficacy of alcohol consumption as a treatment for dysmenorrhoea.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/73220/1/j.1471-0528.1996.tb09597.x.pd

Genetic Discrimination Between LADA and Childhood-Onset Type 1 Diabetes Within the MHC

OBJECTIVE The MHC region harbors the strongest loci for latent autoimmune diabetes in adults (LADA); however, the strength of association is likely attenuated compared with that for childhood-onset type 1 diabetes. In this study, we recapitulate independent effects in the MHC class I region in a population with type 1 diabetes and then determine whether such conditioning in LADA yields potential genetic discriminators between the two subtypes within this region. RESEARCH DESIGN AND METHODS Chromosome 6 was imputed using SNP2HLA, with conditional analysis performed in type 1 diabetes case subjects (n = 1,985) and control subjects (n = 2,219). The same approach was applied to a LADA cohort (n = 1,428) using population-based control subjects (n = 2,850) and in a separate replication cohort (656 type 1 diabetes case, 823 LADA case, and 3,218 control subjects). RESULTS The strongest associations in the MHC class II region (rs3957146, beta [SE] = 1.44 [0.05]), as well as the independent effect of MHC class I genes, on type 1 diabetes risk, particularly HLA-B*39 (beta [SE] = 1.36 [0.17]), were confirmed. The conditional analysis in LADA versus control subjects showed significant association in the MHC class II region (rs3957146, beta [SE] = 1.14 [0.06]); however, we did not observe significant independent effects of MHC class I alleles in LADA. CONCLUSIONS In LADA, the independent effects of MHC class I observed in type 1 diabetes were not observed after conditioning on the leading MHC class II associations, suggesting that the MHC class I association may be a genetic discriminator between LADA and childhood-onset type 1 diabetes.Peer reviewe

Clostridium difficile isolates with increased sporulation: emergence of PCR ribotype 002 in Hong Kong

We identified a predominant clone of Clostridium difficile PCR ribotype 002, which was associated with an increased sporulation frequency. In 2009, 3,528 stool samples from 2,440 patients were tested for toxigenic C. difficile in a healthcare region in Hong Kong. A total of 345 toxigenic strains from 307 (13.3%) patients were found. Ribotype 002 was the predominant ribotype, which constituted 35 samples from 29 (9.4%) patients. The mean sporulation frequency of ribotype 002 was 20.2%, which was significantly higher than that of the 56 randomly selected ribotypes other than 002 as concurrent controls (3.7%, p < 0.001). Patients carrying toxigenic ribotype 002 were more frequently admitted from an elderly home (p = 0.01) and received more β-lactam antibiotics in the preceding 3 months compared with the controls (p = 0.04) . The identification of toxigenic ribotype 002 in 2009 was temporally related to a significant increase in both the incidence of toxigenic C. difficile from 0.53 to 0.95 per 1,000 admissions (p < 0.001) and the rate of positive detection from 4.17% to 6.28% (p < 0.001) between period 1 (2004–2008) and period 2 (2009). This finding should alert both the physician and the infection control team to the establishment of and possible outbreaks by ribotype 002 in our hospitals, as in the case of ribotype 027

Diverse Temperate Bacteriophage Carriage in Clostridium difficile 027 Strains

The hypervirulent Clostridium difficile ribotype 027 can be classified into subtypes, but it unknown if these differ in terms of severity of C. difficile infection (CDI). Genomic studies of C. difficile 027 strains have established that they are rich in mobile genetic elements including prophages. This study combined physiological studies, electron microscopy analysis and molecular biology to determine the potential role of temperate bacteriophages in disease and diversity of C. difficile 027.We induced prophages from 91 clinical C. difficile 027 isolates and used transmission electron microscopy and pulsed-field gel electrophoresis to characterise the bacteriophages present. We established a correlation between phage morphology and subtype. Morphologically distinct tailed bacteriophages belonging to Myoviridae and Siphoviridae were identified in 63 and three isolates, respectively. Dual phage carriage was observed in four isolates. In addition, there were inducible phage tail-like particles (PT-LPs) in all isolates. The capacity of two antibiotics mitomycin C and norfloxacin to induce prophages was compared and it was shown that they induced specific prophages from C. difficile isolates. A PCR assay targeting the capsid gene of the myoviruses was designed to examine molecular diversity of C. difficile myoviruses. Phylogenetic analysis of the capsid gene sequences from eight ribotypes showed that all sequences found in the ribotype 027 isolates were identical and distinct from other C. difficile ribotypes and other bacteria species.A diverse set of temperate bacteriophages are associated with C. difficile 027. The observed correlation between phage carriage and the subtypes suggests that temperate bacteriophages contribute to the diversity of C. difficile 027 and may play a role in severity of disease associated with this ribotype. The capsid gene can be used as a tool to identify C. difficile myoviruses present within bacterial genomes

Anatomical classification of the shape and topography of the stomach

The aim of the study was to present the classification of anatomical variations of the stomach, based on the radiological and historical data. In years 2006–2010, 2,034 examinations of the upper digestive tract were performed. Normal stomach anatomy or different variations of the organ shape and/or topography without any organic radiologically detectable gastric lesions were revealed in 568 and 821 cases, respectively. Five primary groups were established: abnormal position along longitudinal (I) and horizontal axis (II), as well as abnormal shape (III) and stomach connections (IV) or mixed forms (V). The first group contains abnormalities most commonly observed among examined patients such as stomach rotation and translocation to the chest cavity, including sliding, paraesophageal, mixed-form and upside-down hiatal diaphragmatic hernias, as well as short esophagus, and the other diaphragmatic hernias, that were not found in the evaluated population. The second group includes the stomach cascade. The third and fourth groups comprise developmental variations and organ malformations that were not observed in evaluated patients. The last group (V) encloses mixed forms that connect two or more previous variations