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.

Supplemented tissue culture medium 199 is a better medium for in vitro maturation of oocytes from women with polycystic ovary syndrome women than human tubal fluid

Objective: To compare oocyte maturation, fertilization and cleavage rates, and embryonic developmental quality after culture of human immature oocytes from polycystic ovary syndrome (PCOS) patients in human tubal fluid (HTF) or tissue culture medium (TCM) 199. Design: Prospective, randomized, controlled trial. Setting: University hospital. Patient(s): Thirteen women undergoing 23 in vitro maturation cycles, from whom 119 oocytes were retrieved. Intervention(s): Cumulus-enclosed germinal vesicle-stage oocytes matured in TCM-199-supplemented or HTF-supplemented media. Main Outcome Measure(s): Oocyte maturation and fertilization rates, embryonic developmental quality. Result(s): Significant differences were observed between TCM 199 and HTF regarding maturation rate (82% vs. 56.9%), fertilization rate (70% vs. 39.4%), and embryo quality (81.3% vs. 41.7%). Conclusion(S): Human tubal fluid medium, although widely used for embryo fertilization and maintenance in IVF techniques, is not,in appropriate medium for the maturation of oocytes obtained from PCOS patients in nonstimulated cycles. (Fertil Steril(R) 2009;91:509-13. (C)2009 by American Society for Reproductive Medicine.)

Comparative assessment of matrix metalloproteinase (MMP)-2 and MMP-9, and their inhibitors, tissue inhibitors of metalloproteinase (TIMP)-1 and TIMP-2 in preeclampsia and gestational hypertension

Objectives: To compare the circulating levels of matrix metalloproteinase (MMP)-2, MMP-9, tissue inhibitors of metalloproteinase (TIMP)-1, TIMP-2, and the MMP-9/TIMP-1 and MMP-2/TIMP-2 ratios in preeclampsia and gestational hypertension with those found in normotensive pregnancies. Design and methods: We studied 83 pregnant women (30 healthy pregnant women with uncomplicated pregnancies, 26 with gestational hypertension, and 27 with preeclampsia) and 30 healthy nonpregnant women in a cross-sectional study. MMP and TIMP concentrations were measured in plasma samples by gelatin zymography and ELISA, respectively. Results: We found higher plasma pro-MMP-9 levels, and higher pro-MMP-9/TIMP-1 ratios in women with gestational hypertension (95%-CI: 1.031 to 2.357, and 0.012 to 0.031, respectively), but not with preeclampsia, compared with those found in normotensive pregnant women (95%-CI: 0.810 to 1.350, and 0.006 to 0.013, respectively; both P<0.05). We found no significant differences in pro-MMP-2 levels (P>0.05). Conclusions: The higher net MMP-9 (but not MMP-2) activity in gestational hypertension compared with normotensive pregnancy suggests that MMP-9 plays a role in the pathophysiology of gestational hypertension. Conversely, the lack of such alterations in preeclampsia is consistent with the notion that different pathophysiological mechanisms are involved in these hypertensive disorders. (C) 2008 The Canadian Society of Clinical Chemists. Published by Elsevier Inc. All rights reserved.

The new craft skills of engineering: The impact of innovation technology on engineering practices

This chapter explores the impact of innovation technologies such as simulation, modelling, and rapid prototyping on engineering practice. Innovation technologies help redefine the role of engineers in the innovation process, creating a new division of innovative labour both with and across organizations. This chapter also explores the boundaries of experimentation and inertia within particular domains of problem-solving to create new opportunities and value.

Neuronal maturation in an experimental model of brain tissue heterotopia in the lung

Neural maturation involves diverse interaction and signaling mechanisms that are essential to the development of the nervous system. However, little is known about the development of neurons in heterotopic brain tissue in the lung, a rare abnormality observed in malformed babies and fetuses. The aim of this study was to identify the neurons and to investigate their maturation in experimental brain tissue heterotopia during fetal and neonatal periods. The fetuses from 24 pregnant female Swiss mice were used to induce brain tissue heterotopia on the 15th gestational day. Briefly, the brain of one fetus of each dam was extracted, disaggregated, and injected into the right hemithorax of siblings. Six of these fetuses with pulmonary brain tissue implantation were collected on the 18th gestational day (group E18), and six others were collected on the 8th postnatal day (group P8). The brain of each fetus from dams not submitted to any experimental procedure was collected on the 18th gestational day (group CE18) and on the 8th postnatal day (group CP8) to serve as a control for neuronal quantitation and maturation. Immunohistochemical staining of NeuN was used to assess neuron quantity and maturation. The NeuN labeling index was greater in the postnatal period than in the fetal period for the experimental and control groups (138 > E18 and CP8 > CE18), although there were fewer neurons in experimental than in control groups (P8 < CP8 and El 8 < CE1 8) (P < 0.005). These results indicate that fetal neuroblasts/neurons not only survive a dramatic event such as mechanical disaggregation, in the same way as it happens in human cases, but also they retain their development in heterotopia, irrespective of local tissue influences.

beta 1 Integrin and VEGF expression in an experimental model of brain tissue heterotopia in the lung

Integrins and vascular endothelial growth factor (VEGF) are crucially involved in interaction, proliferation, migration, and survival of the cells. However, there is no report in the literature about beta 1 integrin and VEGF expression in heterotopic brain tissue. The aim of this study was to assess beta 1 integrin and VEGF expression in experimental brain tissue heterotopia in the lung during both fetal and neonatal periods. Twenty-four pregnant female Swiss mice were used to induce brain tissue heterotopia on the 15th gestational day. Briefly, the brain of one fetus of each dam was extracted, disaggregated, and injected into the right hemithorax of siblings. Six of these fetuses with pulmonary brain tissue implantation were collected on the 18th gestational day (group E18) and six other on the eighth postnatal day (group P8). Immunohistochemistry of the fetal trunks showed implantation of glial fibrillary acidic protein- and neuronal nuclei-positive heterotopic brain tissue, which were also positive for beta 1 integrin and VEGF in both groups E18 and P8. These results indicate that brain tissue heterotopia during fetal and postnatal period is able to complete integration with the lung tissue as well as to induce vascular proliferation which are the necessary steps for a successful implantation.

mRNA expression of matrix metalloproteinases (MMPs) 2 and 9 and tissue inhibitor of matrix metalloproteinases (TIMPs) 1 and 2 in childhood acute lymphoblastic leukemia: Potential role of TIMP1 as an adverse prognostic factor

This study evaluates the mRNA expression profile of genes TIMP1, TIMP2, MMP2 and MMP9 in diagnostic bone marrow samples from 134 consecutive ALL children by real-time quantitative PCR. A significant association was observed between higher expression levels of MMP9 and low risk group and absence of extramedullary infiltration and higher expression levels of TIMP2 and MMP2 with T-ALL. TIMP1 gene expression values higher than the median were associated with a significantly lower 5-year event free-survival in univariable (P = 0.04) and multivariable analysis (P = 0.01). Our data address new information in the complex interaction of the migration/adhesion genes and childhood ALL. (c) 2009 Elsevier Ltd. All rights reserved.

Loss of samples in the tissue microarray technique: comparison between slides using adhesive tape and silanized slides

The tissue microarray (TMA) technique allows multiple tissue samples in a single block. Commercial adhesive tape is used to avoid the loss of tissue samples during the immunostaining process. Few reports exist in the literature comparing the use of these adhesive tapes to other adhesive techniques. The objective of this study was to compare loss of sections adhered to slides using commercial adhesive tapes versus using silanized only slides. TMA was constructed with varying tissues using a fixed-base device (Beecher Instruments), placing 108 cylinders of 1 mm diameter in duplicate, spaced 1.2 mm apart. Section of 4 mu m were cut from the TMA block and adhered to 30 silanized slides and 30 commercial glass slides using adhesive tape, according to manufacturer`s recommendations. Vimentin immunoexpression was evaluated by immunohistochemistry. Antigenic recovery was realized in citrate buffer using a microwave oven. Cylinder loss in the immunohistochemical process was quantified and expressed as: total (>80%), almost complete (75-79%), or partial (50-74%). The commercial adhesive tape group presented lesser total loss (1.1 versus 6.4%), almost complete loss (2.2 versus 3.5%), and partial loss (2.1 versus 3.8%) than the silanized slide group (ANOVA, P < 0.05). The sum of total and almost complete losses in the silanized slide group was 9.9%, greater than the losses in slides using commercial adhesive tapes (3.3%) and less than reported and considered acceptable in the literature (10-30%). In conclusion, the use of silanized only slides presents very satisfactory results, requires less training, and reduces costs significantly, thus justifying their use in research.

Drosophila melanogaster lipins are tissue-regulated and developmentally regulated and present specific subcellular distributions

Lipins constitute a novel family of Mg2+-dependent phosphatidate phosphatases that catalyze the dephosphorylation of phosphatidic acid to yield diacylglycerol, an important intermediate in lipid metabolism and cell signaling. Whereas a single lipin is detected in less complex organisms, in mammals there are distinct lipin isoforms and paralogs that are differentially expressed among tissues. Compatible with organism tissue complexity, we show that the single Drosophila Lpin1 ortholog (CG8709, here named DmLpin) expresses at least three isoforms (DmLpinA, DmLpinK and DmLpinJ) in a temporal and spatially regulated manner. The highest levels of lipin in the fat body, where DmLpinA and DmLpinK are expressed, correlate with the highest levels of triacylglycerol (TAG) measured in this tissue. DmLpinK is the most abundant isoform in the central nervous system, where TAG levels are significantly lower than in the fat body. In the testis, where TAG levels are even lower, DmLpinJ is the predominant isoform. Together, these data suggest that DmLpinA might be the isoform that is mainly involved in TAG production, and that DmLpinK and DmLpinJ could perform other cellular functions. In addition, we demonstrate by immunofluorescence that lipins are most strongly labeled in the perinuclear region of the fat body and ventral ganglion cells. In visceral muscles of the larval midgut and adult testis, lipins present a sarcomeric distribution. In the ovary chamber, the lipin signal is concentrated in the internal rim of the ring canal. These specific subcellular localizations of the Drosophila lipins provide the basis for future investigations on putative novel cellular functions of this protein family.

Age-related deregulation of Aire and peripheral tissue antigen genes in the thymic stroma of non-obese diabetic (NOD) mice is associated with autoimmune type 1 diabetes mellitus (DM-1)

Gene expression of peripheral tissue antigens (PTAs) in stromal medullary thymic epithelial cells (mTECs) is a key process to the negative selection of autoreactive thymocytes. This phenomenon was termed ""promiscuous gene expression"" (PGE), which is partially controlled by the Aire gene. Nevertheless, reasons for the correlation of Aire and PTAs with the emergence of autoimmune diseases are largely unknown, though it may be a result of a chronological effect. Although the effect of Aire mutations in pathogenic autoimmunity is well know, it could not be a unique cause for autoimmunity. Independently of mutations, temporal deregulation of Aire expression may imbalance Aire-dependent PTAs and/or wide PGE. This deregulation may be an early warning sign for autoimmune diseases as it guarantees autoantigen representation in the thymus. To assess this hypothesis, we studied the expression levels of Aire, Aire-dependent (Ins2) and Aire-independent (Gad67 and Col2a1) PTAs using real-time-PCR of the thymic stromal cells of NOD mice during the development of autoimmune type 1 diabetes mellitus (DM-1). Wide PGE was studied by microarrays in which the PTA genes were identified through parallel CD80(+) mTEC 3.10 cell line expression profiling. The results show that Aire gene was down-regulated in young pre-autoimmune (pre-diabetic) NOD mice. PGE and specific PTA genes were down-regulated in adult autoimmune diabetic animals. These findings represent evidence indicating that chronological deregulation of genes important to negative selection may be associated with the development of an autoimmune disease (DM-1) in mice.

MDA-based re-engineering with Object-Z

This paper describes a practical application of MDA and reverse engineering based on a domain-specific modelling language. A well defined metamodel of a domain-specific language is useful for verification and validation of associated tools. We apply this approach to SIFA, a security analysis tool. SIFA has evolved as requirements have changed, and it has no metamodel. Hence, testing SIFA’s correctness is difficult. We introduce a formal metamodelling approach to develop a well-defined metamodel of the domain. Initially, we develop a domain model in EMF by reverse engineering the SIFA implementation. Then we transform EMF to Object-Z using model transformation. Finally, we complete the Object-Z model by specifying system behavior. The outcome is a well-defined metamodel that precisely describes the domain and the security properties that it analyses. It also provides a reliable basis for testing the current SIFA implementation and forward engineering its successor.