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.

Postural adjustment as a sign of attention in 7-month-old infants

Adjustments during postural control have been recognized in the process of the integration of movement and cognition. The objective of the present work was to describe postural changes and to verify if there is a correlation between postural adjustment and attention span in 7-month-old infants during 1 min of viewing an animated puppet. Method: Twenty-nine healthy infants (14 males) born from 31 to 39 weeks (median 36) were placed in a prone position and filmed watching a puppet during I min. The analysis of the images allowed us to catalogue the changes in position, the frequency of these changes, and the attention span. The following items were quantified: total number of infant positions, positions with weight transfer, changes in support, axis, decubitus, trunk and cervical movements, timing and pauses in visual attention. Results: Twenty-one infants stayed in the prone position during most of the recording, and eight chose sitting position before starting the session. Two groups were studied according to the main position throughout the filming, one in prone and the other in sitting positions, although they could rolling or crawling. For prone group the attention span was positively correlated with the number of positions with weight transfer (r = 0.53, p = 0.04), negatively correlated with trunk movements (r = -0.63, p = 0.01), and not correlated with birth or current weight. This work suggests that changes in the trunk movements and weight transfer are different traits related to the attention in 7-month-old infants. (C) 2008 Elsevier B.V.. All rights reserved.

Improved Production of Genetically Modified Fetuses with Homogeneous Transgene Expression After Transgene Integration Site Analysis and Recloning in Cattle

Animal cloning by nuclear transfer (NT) has made the production of transgenic animals using genetically modified donor cells possible and ensures the presence of the gene construct in the offspring. The identification of transgene insertion sites in donor cells before cloning may avoid the production of animals that carry undesirable characteristics due to positional effects. This article compares blastocyst development and competence to establish pregnancies of bovine cloned embryos reconstructed with lentivirus-mediated transgenic fibroblasts containing either random integration of a transgene (random integration group) or nuclear transfer derived transgenic fibroblasts with known transgene insertion sites submitted to recloning (recloned group). In the random integration group, eGFP-expressing bovine fetal fibroblasts were selected by fluorescence activated cell sorting (FACS) and used as nuclei donor cells for NT. In the recloned group, a fibroblast cell line derived from a transgenic cloned fetus was characterized regarding transgene insertion and submitted to recloning. The recloned group had higher blastocyst production (25.38 vs. 14.42%) and higher percentage of 30-day pregnancies (14.29 vs. 2.56%) when compared to the random integration group. Relative eGFP expression analysis in fibroblasts derived from each cloned embryo revealed more homogeneous expression in the recloned group. In conclusion, the use of cell lines recovered from transgenic fetuses after identification of the transgene integration site allowed for the production of cells and fetuses with stable transgene expression, and recloning may improve transgenic animal yields.