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.

Inhibitory network interactions shape the auditory processing of natural communication signals in the songbird auditory forebrain

The role of GABA in the central processing of complex auditory signals is not fully understood. We have studied the involvement of GABA(A)-mediated inhibition in the processing of birdsong, a learned vocal communication signal requiring intact hearing for its development and maintenance. We focused on caudomedial nidopallium (NCM), an area analogous to parts of the mammalian auditory cortex with selective responses to birdsong. We present evidence that GABA(A)-mediated inhibition plays a pronounced role in NCM`s auditory processing of birdsong. Using immunocytochemistry, we show that approximately half of NCM`s neurons are GABAergic. Whole cell patch-clamp recordings in a slice preparation demonstrate that, at rest, spontaneously active GABAergic synapses inhibit excitatory inputs onto NCM neurons via GABA(A) receptors. Multi-electrode electrophysiological recordings in awake birds show that local blockade of GABA(A)-mediated inhibition in NCM markedly affects the temporal pattern of song-evoked responses in NCM without modifications in frequency tuning. Surprisingly, this blockade increases the phasic and largely suppresses the tonic response component, reflecting dynamic relationships of inhibitory networks that could include disinhibition. Thus processing of learned natural communication sounds in songbirds, and possibly other vocal learners, may depend on complex interactions of inhibitory networks.

Safety of the etonogestrel-releasing implant during the immediate postpartum period: a pilot study

Background: The effects of etonogestrel (ETG)-releasing contraceptive implant during the immediate postpartum period on maternal safety are unknown. Study design: Forty healthy women exclusively breastfeeding were randomized to receive either ETG-releasing implant 24-48 h after delivery (n=20) or depot medroxyprogesterone acetate (DMPA group; n=20) at the sixth week postpartum. We measured blood pressure, maternal and neonatal weight, body mass index (BMI; kg/m(2)), waist circumference (WC), complete blood count, C-reactive protein, interleukin-6, tumor necrosis factor (TNF-alpha), lipid profile, fasting serum glucose and maintenance of exclusive lactation up to the 12th week postpartum. Results: Decreases in mean maternal weight, BMI (kg/m(2)) and WC were significantly greater in the ETG-releasing implant group than in the MPA group during the first 6 weeks postpartum (-4.64 +/- 2.71 kg vs. -2.6 +/- 2.45 kg mean +/- SD, p=.017; -1.77 +/- 1.06 kg/m(2) vs. -0.97 +/- 0.95 kg/m(2), p=.026; -15.3 +/- 6.72 cm vs. -9.05 +/- 5.84 cm, p=.003, respectively). In addition, total cholesterol and HDL, were lower in DMPA users, and TNF-alpha and leukocytes were higher in DMPA users compared to in the implant group, between 6 and 12 weeks after delivery. The newborns of implant users showed a trend towards gaining more weight, as compared with the infants of the DMPA mothers during the first 6 weeks of life (implant group: +1460.50 +/- 621.34 g vs. DMPA group: +1035.0 +/- 562.43 g, p=.05). The remaining variables, including the duration of exclusive breastfeeding, were similar between the groups. Conclusion: The insertion of ETG-releasing contraceptive implant during the immediate postpartum period was not associated with deleterious maternal clinical effects or with significant maternal metabolic alterations or decreased infant weight gain. (C) 2009 Elsevier Inc. All rights reserved.