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

Effects of food type, feeding frequency, and temperature on juvenile survival and growth of Marisa cornuarietis (Mollusca: Gastropoda)

The present experiments are part of a larger study designed to investigate the influence of husbandry parameters on the life history of the ramshorn snail, Marisa cornuarietis, in order to identify suitable husbandry conditions for maintaining multi-generation populations in the laboratory for use in ecotoxicological testing. In this paper we focus on the effects of a combination of food types and feeding frequencies (i.e., the frequency with which the snails were offered food) on juvenile growth and survival at different temperatures. Offspring produced in the laboratory by wild specimens of M. cornuarietis, from Puerto Rico, were used to test the effects of three types of food (lettuce, alginate with fish food, alginate with snail mix) fed at three frequencies (given ad libitum on 4/4, 2/4, or 1/4 d) on juvenile survival and growth. The 4-d feeding regimens were repeated four times, giving a total of 16 d for the experiments. The experiments were conducted at two temperatures (22° and 25°C) under a 12 h light:12 h dark photoperiod. Juvenile growth rates increased with increasing feeding frequency for all food types. The most rapid growth rates occurred in the high-frequency lettuce treatments and the slowest growth rates in the low-frequency lettuce and alginate with snail mix treatments. Juvenile snails grew faster at 25° than at 22°C, and mortality was about twice as high at the lower temperature. Growth rates were used to provide a rough estimate of time to maturity, which was determined to take about twice as long at 22° than at 25°C. The results showed that lettuce is the best food if supplied in abundance, but effects on growth are very dependent on feeding frequency and temperature. We conclude that 25°C is a more appropriate temperature for maintaining populations than 22°C, that lettuce provides a suitable food source, and that food should be supplied continuously for husbandry and toxicity testing of populations of M. cornuarietis

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

Effects of intranasal TNFα on granulocyte recruitment and activity in healthy subjects and patients with allergic rhinitis

<p>Abstract</p> <p>Background</p> <p>TNFα may contribute to the pathophysiology of airway inflammation. For example, we have recently shown that nasal administration of TNFα produces late phase co-appearance of granulocyte and plasma exudation markers on the mucosal surface. The objective of the present study was to examine indices of granulocyte presence and activity in response to intranasal TNFα challenge.</p> <p>Methods</p> <p>Healthy subjects and patients with allergic rhinitis (examined out of season) were subjected to nasal challenge with TNFα (10 μg) in a sham-controlled and crossover design. Nasal lavages were carried out prior to and 24 hours post challenge. Nasal biopsies were obtained post challenge. Nasal lavage fluid levels of myeloperoxidase (MPO) and eosinophil cationic protein (ECP) were analyzed as indices of neutrophil and eosinophil activity. Moreover, IL-8 and α₂-macroglobulin were analyzed as markers of pro-inflammatory cytokine production and plasma exudation. Nasal biopsy numbers of neutrophils and eosinophils were monitored.</p> <p>Results</p> <p>Nasal lavage fluid levels of MPO recorded 24 hours post TNFα challenge were increased in healthy subjects (p = 0.0081) and in patients with allergic rhinitis (p = 0.0081) (<it>c.f</it>. sham challenge). Similarly, α₂-macroglobulin was increased in healthy subjects (p = 0.014) and in patients with allergic rhinitis (p = 0.0034). Lavage fluid levels of ECP and IL-8 were not affected by TNFα challenge. TNFα increased the numbers of subepithelial neutrophils (p = 0.0021), but not the numbers of eosinophils.</p> <p>Conclusion</p> <p>TNFα produces a nasal inflammatory response in humans that is characterised by late phase (i.e., 24 hours post challenge) neutrophil activity and plasma exudation.</p

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

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

Variations in TcdB Activity and the Hypervirulence of Emerging Strains of Clostridium difficile

Hypervirulent strains of Clostridium difficile have emerged over the past decade, increasing the morbidity and mortality of patients infected by this opportunistic pathogen. Recent work suggested the major C. difficile virulence factor, TcdB, from hypervirulent strains (TcdBHV) was more cytotoxic in vitro than TcdB from historical strains (TcdBHIST). The current study investigated the in vivo impact of altered TcdB tropism, and the underlying mechanism responsible for the differences in activity between the two forms of this toxin. A combination of protein sequence analyses, in vivo studies using a Danio rerio model system, and cell entry combined with fluorescence assays were used to define the critical differences between TcdBHV and TcdBHIST. Sequence analysis found that TcdB was the most variable protein expressed from the pathogenicity locus of C. difficile. In line with these sequence differences, the in vivo effects of TcdBHV were found to be substantially broader and more pronounced than those caused by TcdBHIST. The increased toxicity of TcdBHV was related to the toxin's ability to enter cells more rapidly and at an earlier stage in endocytosis than TcdBHIST. The underlying biochemical mechanism for more rapid cell entry was identified in experiments demonstrating that TcdBHV undergoes acid-induced conformational changes at a pH much higher than that of TcdBHIST. Such pH-related conformational changes are known to be the inciting step in membrane insertion and translocation for TcdB. These data provide insight into a critical change in TcdB activity that contributes to the emerging hypervirulence of C. difficile