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.

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.

Slight activation of nuclear factor kappa-B is associated with increased hepatic stellate cell apoptosis in human schistosomal fibrosis

To investigate the relationship between NF-kappa B activation and hepatic stellate cell (HSC) apoptosis in hepatosplenic schistosomiasis, hepatic biopsies from patients with Schistosoma mansoni-induced periportal fibrosis, hepatitis C virus-induced cirrhosis, and normal liver were submitted to alpha-smooth muscle actin (alpha-SMA) and NF-kappa B p65 immunohistochemistry, as well as to NF-kappa B Southwestern histochemistry and TUNEL assay. The numbers of alpha-SMA-positive cells and NF-kappa B- and NF-kappa B p65-positive HSC nuclei were reduced in schistosomal fibrosis relative to liver cirrhosis. In addition, increased HSC NF-kappa B p65 and TUNEL labeling was observed in schistosomiasis when compared to cirrhosis. These results suggest a possible relationship between the slight activation of the NF-kappa B complex and the increase of apoptotic HSC number in schistosome-induced fibrosis, taking place to a reduced HSC number in schistosomiasis in relation to liver cirrhosis. Therefore, the NF-kappa B pathway may constitute an important down-regulatory mechanism in the pathogenesis of human schistosomiasis mansoni, although further studies are needed to refine the understanding of this process. (C) 2009 Elsevier B.V. All rights reserved.

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.

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.

Synergistic Effect of Porcine Follicular Fluid and Dibutyryl Cyclic Adenosine Monophosphate on Development of Parthenogenetically Activated Oocytes from Pre-Pubertal Gilts

This study investigated the effect of porcine follicular fluid (PFF) and dibutyryl cyclic adenosine monophosphate (dbcAMP) during in vitro maturation (IVM) of porcine oocytes on meiotic maturation, fertilization and embryo development, and compared the effect of supplementing the embryo culture media with PFF or foetal bovine serum (FBS) on embryo development. Oocytes from pre-pubertal gilts were IVM for 44 h, and parthenogenetically activated or in vitro-fertilized. Embryos were cultured in porcine zygote medium (PZM3) for 7 days. Cleavage and blastocyst rates were evaluated at 48 h and 7 days of culture. The supplementation of the IVM medium with 25% PFF and 1 mm dbcAMP for the first 22 h resulted in more (p < 0.05) embryos developing to the blastocyst stage as compared with the inclusion of dbcAMP alone. The dbcAMP + PFF combination increased (p < 0.05) the average number of nuclei per blastocyst as compared with either of these components alone or in its absence. A synergistic effect of dbcAMP + PFF during IVM was also reflected in the capacity of oocytes to regulate sperm penetration and prevent polyspermy, as twice as many oocytes from the control group were penetrated by more than one sperm as compared with those matured in the presence of both dbcAMP and PFF. The supplementation of PZM3 with 10% FBS from days 5 to 7 of culture significantly improved the total cell quantity in embryos derived either from control or dbcAMP + PFF matured oocytes. There was no effect on the total cell quantity when FBS was replaced by the same concentration of PFF. These studies showed that dbcAMP, PFF and FBS can improve both the quantity (57.3% vs 41.5%) and quality (74.8 vs 33.3 nuclei) of porcine blastocysts derived from oocytes recovered of pre-pubertal gilts.

Xenooplasmic Transfer between Buffalo and Bovine Enables Development of Homoplasmic Offspring

Nuclear-mitochondrial incompatibilities may be responsible for the development failure reported in embryos and fetuses produced by interspecies somatic cell nuclear transfer (iSCNT). Herein we performed xenooplasmic transfer (XOT) by introducing 10 to 15% of buffalo ooplasm into bovine zygotes to assess its effect on the persistence of buffalo mitochondrial DNA (mtDNA). Blastocyst rates were not compromised by XOT in comparison to both in vitro fertilized embryos and embryos produced by transfer of bovine ooplasm into bovine zygotes. Moreover, offspring were born after transfer of XOT embryos to recipient cows. Buffalo mtDNA introduced in zygotes was still present at the blastocyst stage (8.3 vs. 9.3%, p = 0.11), indicating unaltered heteroplasmy during early development. Nonetheless, no vestige of buffalo mtDNA was found in offspring, indicating a drift to homoplasmy during later stages of development. In conclusion, we show that the buffalo mtDNA introduced by XOT into a bovine zygote do not compromise embryo development. On the other hand, buffalo mtDNA was not inherited by offspring indicating a possible failure in the process of interspecies mtDNA replication.

Tooth Tissue Engineering: Optimal Dental Stem Cell Harvest Based on Tooth Development

Our long-term objective is to devise reliable methods to generate biological replacement teeth exhibiting the physical properties and functions of naturally formed human teeth. Previously, we demonstrated the successful use of tissue engineering approaches to generate small, bioengineered tooth crowns from harvested pig and rat postnatal dental stem cells (DSCs). To facilitate characterizations of human DSCs, we have developed a novel radiographic staging system to accurately correlate human third molar tooth developmental stage with anticipated harvested DSC yield. Our results demonstrated that DSC yields were higher in less developed teeth (Stages 1 and 2), and lower in more developed teeth (Stages 3, 4, and 5). The greatest cell yields and colony-forming units (CFUs) capability was obtained from Stages 1 and 2 tooth dental pulp. We conclude that radiographic developmental staging can be used to accurately assess the utility of harvested human teeth for future dental tissue engineering applications.