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.

Down-regulation of expression of osteoblast and osteocyte markers in periodontal tissues associated with the spontaneous alveolar bone loss of interleukin-10 knockout mice

The aim of this study was to unravel the mechanisms by which interleukin (IL)-10, a potent pleiotropic cytokine, modulates alveolar bone homeostasis in C57BL/6 wild-type (WT) and IL-10 knockout (IL-10 KO) mice, evaluated at 8, 24, and 48 wk of age. Interleukin-10 KO mice presented significant alveolar bone loss when compared with WT mice, and this was not associated with changes in leukocyte counts or bacterial load. The levels of expression of messenger RNA (mRNA) for tumor necrosis factor-alpha (TNF-alpha), IL-1 beta, IL-6, transforming growth factor-beta (TGF-beta), receptor activator of nuclear factor kappa B ligand (RANKL), osteoprotegerin (OPG), and matrix metalloproteinase 13 (MMP13) were similar between both strains, whereas a significant decrease of tissue inhibitor of metalloproteinase 1 (TIMP1) mRNA expression was found at 48 wk in IL-10 KO mice. The osteoblast markers core binding factor alpha1 (CBFA1) and type I collagen (COL-I) were expressed at similar levels in both strains, whereas the levels of alkaline phosphatase (ALP) and osteocalcin (OCN), and those of the osteocyte markers phosphate-regulating gene endopeptidases (PHEX) and dentin matrix protein 1 (DMP1) were significantly lower in IL-10 KO mice. Our results demonstrate that the alveolar bone loss in the absence of IL-10 was associated with a reduced expression of osteoblast and osteocyte markers, an effect independent of microbial, inflammatory or bone-resorptive pathways.

The lectin KM+ induces corneal epithelial wound healing in rabbits

Neutrophil influx is essential for corneal regeneration (Gan et al. 1999). KM+, a lectin from Artocarpus integrifolia, induces neutrophil migration (Santos-de-Oliveira et al. 1994). This study aims at investigating a possible effect of KM+ on corneal regeneration in rabbits. A 6,0-mm diameter area of debridement was created on the cornea of both eyes by mechanical scraping. The experimental eyes received drops of KM+ (2.5 mu g/ml) every 2 h, The control eyes received buffer, The epithelial wounded areas of the lectin-treated and untreated eyes were stained with fluorescein, photographed and measured, The animals were killed 12 h (group 1, n = 5), 24 h (group 2, n = 10) and 48 h (group 3, n = 5) after the scraping. The corneas were analysed histologically (haematoxylin and eosin and immunostaining for proliferation cell nuclear antigen, p&3, vascular endothelial growth factor, c-Met and laminin). No significant differences were found at the epithelial gap between treated and control eyes in the group 1. However, the number of neutrophils in the wounded area was significantly higher in treated eyes in this group. Three control and seven treated eyes were healed completely and only rare neutrophils persisted in the corneal stroma in group 2. No morphological distinction was observed between treated and control eyes in group 3. In treated corneas of group 2, there was an increase in immunostaining of factors involved in corneal healing compared to controls, Thus, topical application of KM+ may facilitate corneal epithelial wound healing in rabbits by means of a mechanism that involves increased influx of neutrophils into the wounded area induced by the lectin.

Vascular permeability, neutrophil migration and edematogenic effects induced by the latex of Cryptostegia grandiflora

Inflammatory responses have been described as occurring after exposure to some latex materials. In this study pro-inflammatory activity in the latex of Cryptostegia grandiflora was investigated. The soluble proteins of the latex (CgLP) were isolated from the whole latex and evaluated by in vivo assays. CgLP induced strong inflammatory activity mediated by neutrophil migration, enlarging vascular permeability and increasing myeloperoxidase activity locally in rats. CgLP-induced inflammation was observed in peritonitis, paw edema and air push models. In addition, CgLP caused hyperemia in a healing model. The peritonitis effect was lost when CgLP was previously boiled suggesting the involvement of proinflammatory proteins. Thioglycollate increased the neutrophil migration induced by CgLP, but not by fMLP Mast cell depletion provoked by 40/80 compound did not modify the course of inflammation triggered by CgLP, being similar to fMLP, which suggested that neutrophil migration was induced by direct mechanism mediated by macrophages. Neutrophil migration stimulated by CgLP was strongly inhibited by Dexamethasone and to a lesser extent by Thalidomide, indicating the involvement of cytokines in mediating neutrophil infiltration. Celecoxib and Indomethacin were inhibitory suggesting the involvement of prostaglandins. Cimetidine was effective only in the initial phase of edema. PCA 4248 was ineffective. It is concluded that the latex of C. grandiflora is a potent inflammatory fluid, and also that laticifer proteins may be implicated in this process. (c) 2008 Elsevier Ltd. All rights reserved.

Oleic acid modulation of the immune response in wound healing: A new approach for skin repair

Injury triggers inflammatory responses and tissue repair. Several treatments are currently in use to accelerate healing: however, more efficient formulations are still needed for specific injuries. Since unsaturated fatty acids modulate immune responses, we aimed to evaluate their therapeutic effects on wound healing. Skin wounds were induced in BALB/c mice and treated for 5 days with n-3, n-9 fatty acids or vehicle (control). n-9 treated mice presented smaller wounds than control and n-3 at 120 h post-surgery (p.s.). Collagen III mRNA,TIMP1 and MMP9 were significantly elevated in n-9 group compared to n-3 or vehicle at 120 h p.s. Among the inflammatory mediators studied we found that IL-10, TNF-alpha and IL-17 were also higher in n-9 treated group compared to n-3 or vehicle at 120 h p.s. Interestingly, COX2 had decreased expression on wound tissue treated with n-9. Inflammatory infiltrate analysis revealed diminished frequency of CD4(+), CD8(+) and CD11b(+) cells in n-9 wounds at 24 and 120 h p.s., which was not related to cell death, since in vitro apoptosis experiments did not show any cell damage after fatty acids administration. These results suggested that unsaturated fatty acids, specifically n-9, modulate the inflammation in the wound and enhance reparative response in vivo. n-9 may be a useful tool in the treatment of cutaneous wounds. (C) 2010 Elsevier GmbH. All rights reserved.

LOW-INTENSITY ULTRASOUND APPLICATION IN DISTAL RADIUS METAPHYSEAL BONE DEFECTS OF DOGS

We assessed the repair of transverse, 3-mm wide bone gaps created at the distal radius in 28 dogs that were randomly divided into two 14-animal groups; one was the control group and the other received a daily, 20-min application of low-intensity pulsed ultrasound for 100 days. Sequential radiographs, histomorphometrics, bone fluorescent histology and bone vascularity assessments found that all animals from both groups obtained a stage of hypertrophic-type nonunion with fibrocartilage tissue formation throughout the region of osteotomy. However, treated animals exhibited areas of endochondral ossification within the fibrocartilage region. There was no difference in type of vascularity or the newly formed bone process obtained by tetracycline labeling. Application of low-intensity ultrasound was not capable of significantly changing the reparative process and it may not be sufficiently powerful to overcome a combination of local deleterious effects on bone healing, created by gapping, excessive motion and periosteal resection. (E-mail: jbvolpon@fmrp.usp.br) (C) 2010 World Federation for Ultrasound in Medicine & Biology.

Histometric Study of Alveolar Bone in Rats Submitted to Ethanol During Lactation

The present work studied the adverse effects of maternal exposure of rats to alcohol during lactation, on the development of their offspring. Histometric evaluation by karyometry and of the alveolar bone at the level of the first upper molar of the sucking was perfomed. Two groups of animals, one coming from mothers exposed to drinking water containing 20% ethanol during the total lactation period and the other of controls coming from mothers receiving only alcohol-free drinking water during this period. On the 21 first day of lactation the young of each group were aleatorily selected and following anesthesia, their heads severed; after histological treatment, serial 6 mu m sections on the frontal plane at the molar level, stained with hematoxilin and eosin, were obtained. The experimental results produced, suggest that sucking from ethanol-treated mothers, show retarded post-natal growth, their alveolar bones presenting scarce, little calcified trabeculae, and a more abundant bone marrow compared to controls.