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.

Healing of displaced condylar process fracture in rats submitted to protein undernutrition

Introduction: This study evaluated the healing of mandibular condylar fracture in rats submitted to experimental and protein undernutrition (8% of protein) by means of histological analysis. Material: Forty-five adult Wistar rats were divided into three groups of 15 animals: a fracture group, who were submitted to condylar fracture with no changes in diet; an undernourished fracture group, who were submitted to a low protein diet and condylar fracture: an undernourished group, kept until the end of experiment, without condylar fracture. Displaced fractures of the right condyle were created under general anaesthesia. The histological study comprised fracture site and temporomandibular joint evaluations. Results: The undernourished fracture group showed significant weight loss. There was a marked decrease in the values of serum proteins and albumin in the undernourished fracture group. Histological analysis showed that protein undernutrition lead to atrophy of the condylar fibrocartilage. Fractures in undernutrition presented a delay in callus formation due to more extensive devitalized bone areas, and after 3 months there were still bone formation areas, while fibrous ankylosis occurred in the articular space. Conclusion: It was concluded that mandibular condyle fractures in rats with protein undernutrition had impaired callus formation, as well as fibrous ankylosis into the temporomandibular joint. (C) 2010 European Association for Cranio-Maxillo-Facial Surgery.

Mast cell concentration in the wound healing process of incisions made by different instruments

The aim of this study was to compare the concentration of mast cells (MCs) in the healing process of incisions. Thirty rats were submitted to six linear incisions each, performed in the dorsal skin by carbon dioxide (CO(2)) and diode lasers, electrocautery and conventional scalpel. The animals were euthanized at intervals of 0 h, 24 h, 48 h, 72 h, 7 days and 14 days after the incisions had been made. Histological sections were obtained and stained with toluidine blue for identification of MCs, which were manually counted by conventional microscopy in 20 microscopic fields in the border of the incision, near the granulation tissue, or in the area of new collagen formation, depending on intervals. The concentration of MCs was significantly higher in the wounds made by scalpel than in those made by other techniques at 48 h and 72 h. After 72 h the number of MCs was also significantly higher after electrocautery than after incisions made by 4 W CO(2) laser. On days 7 and 14, there was no significant difference in the MC count among the different types of incisions. In summary, the MC concentration varied after different surgical incisions at early phases of wound healing. At the end of the healing process, however, there were similar MC concentrations around the incisions, suggesting that, in standard incisions in the surgical techniques studied, the wound healing process ultimately occurred in a similar pattern.

Inducible nitric oxide synthase-deficient mice show exacerbated inflammatory process and high production of both Th1 and Th2 cytokines during paracoccidioidomycosis

Paracoccidioidomycosis, the major systemic mycosis in Latin America, is caused by fungus Paracoccidioides brasiliensis. To analyze the influence of inducible nitric oxide synthase (iNOS) in this disease, iNOS-deficient (iNOS(-/-)) and wild-type (WT) mice were infected intravenously with P. brasiliensis 18 isolate. We found that, unlike WT mice, iNOS(-/-) mice did not control fungal proliferation, and began to succumb to infection by day 50 after inoculation of yeast cells. Typical inflammatory granulomas were found in WT mice, while, iNOS(-/-) mice presented incipient granulomas with intense inflammatory process and necrosis. Additionally, splenocytes from iNOS(-/-) mice did not produce nitric oxide, however, their proliferative response to Con-A was impaired, just like infected WT mice. Moreover, infected iNOS(-/-) mice presented a mixed pattern of immune response, releasing high levels of both Th1 (IL-12, IFN-gamma and TNF-alpha) and Th2 (IL-4 and IL-10) cytokines. These data suggest that the enzyme iNOS is a resistance factor during paracoccidioidomycosis by controlling fungal proliferation, by influencing cytokines production, and by appeasing the development of a high inflammatory response and consequently formation of necrosis. However, iNOS-derived nitric oxide seems not being the unique factor responsible for immunosuppression observed in infections caused by P. brasiliensis. (c) 2008 Elsevier Masson SAS. All rights reserved.