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.

ACTIVATION OF PERIPHERAL kappa/delta OPIOID RECEPTORS MEDIATES 15-DEOXY-(Delta 12,14)-PROSTAGLANDIN J(2) INDUCED-ANTINOCICEPTION IN RAT TEMPOROMANDIBULAR JOINT

This study assessed the effect of the agonist 15d-PGJ(2) administered into the rat temporomandibular joint (TMJ) on nociceptive behavioral and the anti-inflammatory potential of this prostaglandin on TMJ. It was observed that 15-deoxy-(Delta 12,14)-prostaglandin J(2) (15d-PGJ(2)) significantly reduced formalin-induced nociceptive behavior in a dose dependent manner, however injection of 15d-PGJ(2) into the contralateral TMJ failed to reduce such effects. This antinociceptive effect is dependent on peroxisome proliferator-activated receptors-gamma (PPAR-gamma) since pre-treatment with GW9662 (PPAR-gamma receptor antagonist) blocked the antinociceptive effect of 15d-PGJ(2) in the TMJ. In addition, the antinociceptive effect of 15d-PGJ(2) was also blocked by naloxone suggesting the involvement of peripheral opioids in the process. Confirming this hypothesis pre-treatment with kappa, delta, but not mu receptor antagonists significantly reduced the antinociceptive effect of 15d-PGJ(2) in the TMJ. Similarly to opioid agonists, the 15d-PGJ(2) antinociceptive action depends on the nitric oxide (NO)/guanilate cyclase (cGMP)/ATP-sensitive potassium channel blocker(K(ATP)(+)) channel pathway since it was prevented by the pre-treatment with the inhibitors of nitric oxide synthase (NOS; aminoguanidine), cGMP (ODQ), or the K(ATP)(+) (glibenclamide). In addition, 15d-PGJ(2) (100 ng/TMJ) inhibits 5-HT-induced TMJ hypernociception. Besides, TMJ treated with 15d-PGJ(2) showed lower vascular permeability, assessed by Evan`s Blue extravasation, and also lower neutrophil migration induced by carrageenan administration. Taken together, these results demonstrate that 15d-PGJ(2) has a potential peripheral antinociceptive and anti-inflammatory effect in the TMJ via PPAR-gamma activation. The results also suggest that 15d-PGJ(2) induced-peripheral antinociceptive response in the TMJ is mediated by kappa/delta opioid receptors by the activation of the intracellular L-arginine/NO/cGMP/K(ATP)(+) channel pathway. The pharmacological properties of the peripheral administration of 15d-PGJ(2) highlight the potential use of this PPAR-gamma agonist on TMJ inflammatory pain conditions. (C) 2009 IBRO. Published by Elsevier Ltd. All rights reserved.

Upregulation of intermediate calcium-activated potassium channels counterbalance the impaired endothelium-dependent vasodilation in stroke-prone spontaneously hypertensive rats

Endothelial dysfunction has been linked to a decrease in nitric oxide (NO) bioavailability and attenuated endothelium-derived hyperpolarizing factor (EDHF)-mediated relaxation. The small (SK(Ca)) and intermediate (IK(Ca)) calcium-activated potassium channels play a key role in endothelium-dependent relaxation. Because the repressor element 1-silencing transcription factor (REST) negatively regulates IK(Ca) expression, we hypothesized that augmented REST and decreased IK(Ca) expression contributes to impaired endothelium-dependent vasodilation associated with hypertension. Acetylcholine (ACh) responses were slightly decreased in small mesenteric arteries from male stroke-prone spontaneously hypertensive rats (SHRSPs) versus arteries from Wistar Kyoto (WKY) rats. Incubation with N-nitro-L-arginine methyl ester (L-NAME; 100 mu mol/L) and indomethacin (100 mu mol/L) greatly impaired ACh responses in vessels from SHRSP. lberiotoxin (0.1 mu mol/L), which is a selective inhibitor of large-conductance K(Ca) (BK(Ca)) channels, did not modify EDHF-mediated vasodilation in SHRSP or WKY. UCL-1684 (0.1 mu mol/L.), which is a selective inhibitor of SKCa channels, almost abolished EDHF-mediated vasodilation in WKY and decreased relaxation in SHRSP. 1-((2-chlorophenyl)diphenylmethyl)-1H-pyrazole (TRAM-34; 10 mu mol/L) and charybdotoxin (0.1 mu mol/L), which are both IKCa inhibitors, produced a small decrease of EDHF relaxation in WKY but completely abrogated EDHF vasodilation in SHRSP. EDHF-mediated relaxant responses were completely abolished in both groups by simultaneous treatment with UCL-1684 and TRAM-34 or charybdotoxin. Relaxation to SK(Ca)/IK(Ca) channels agonist NS-309 was decreased in SHRSP arteries. The expression of SK(Ca) was decreased, whereas IK(Ca) was increased in SHRSP mesenteric arteries. REST expression was reduced in arteries from SHRSP. Vessels incubated with TRAM-34 (10 mu mol/L) for 24h displayed reduced REST expression and demonstrated no differences in IK(Ca). In conclusion, IK(Ca) channel upregulation, via decreased REST, seems to compensate deficient activity of SK(Ca) channels in the vasculature of spontaneously hypertensive rats. (Translational Research 2009; 154:183-193)

Treatment with a p38 MAPK inhibitor attenuates cisplatin nephrotoxicity starting after the beginning of renal damage

Aims: Cisplatin (CP) promotes increased production of reactive oxygen species, which can activate p38 mitogen activated protein kinases (p38 MAPKs) leading to apoptosis and increased expression of proinflammatory mediators that intensify the cytotoxic effects of CP. We investigated the effect of the treatment with S13203580, a p38 MAPKs inhibitor, on oxidative stress, on the oxidation-associated signal, p38 MAPK and on apoptosis in U-injected rats, starting after the beginning of the renal damage. Main methods: Rats (n = 21) were injected with CP (5 mg/kg, i.p.) and 3 and 4 days after some of them (n = 8) were treated with SB203580 (0.5 mg/kg, i.p.). Controls (n = 6) received saline (i.p.). Two or five days after saline or CP injections, plasma creatinine, urinary volume, sodium and potassium fractional excretions, blood urea nitrogen and urinary lipid peroxidation were measured. The kidneys were removed for histological, apoptosis, immunohistochemical and Western blot studies. Key findings: CP caused abnormalities in kidney functions and structure associated with raised urinary peroxidation levels and higher number of apoptotic cells in the outer medulla. The immunostaining studies showed increased numbers of macrophages/monocytes and p-p38 MAPKs positive cells in the renal outer medulla. The increase of p-p38 MAPKs expression was confirmed by Western blot analysis. All of these alterations were attenuated by treatment with S13203580. Significance: These data suggest that the beneficial effect of SB203580 on CP-induced renal damage might be related, in part, to the blockade of p38 MAPK activation with reduction of the inflammatory process, oxidative stress and apoptotic cell death. (C) 2009 Elsevier Inc. All rights reserved.

Lateral Parabrachial Afferent Areas and Serotonin Mechanisms Activated by Volume Expansion

Recent evidence has shown that the serotonergic mechanism of the lateral parabrachial nucleus (LPBN) participates in the regulation of renal and hormonal responses to isotonic blood volume expansion (BVE). We investigated the BVE-induced Fos activation along forebrain and hindbrain nuclei and particularly within the serotonergic clusters of the raphe system that directly project to the LPBN. We also examined whether there are changes in the concentration of serotonin (5HT) within the raphe nucleus in response to the same stimulus. With this purpose, we analyzed the cells doubly labeled for Fos and Fluorogold (FG) following BVE (NaCl 0.15 M, 2 ml/100 g b.w., 1 min) 7 days after FG injection into the LPBN. Compared with the control group, blood volume-expanded rats showed a significant greater number of Fos-FG double-labeled cells along the nucleus of the solitary tract, locus coeruleus, hypothalamic paraventricular nucleus, central extended amygdala complex, and dorsal raphe nucleus (DRN) cells. Our study also showed an increase in the number of serotonergic DRN neurons activated in response to isotonic BVE. We also observed decreased levels of 5HT and its metabolite 5-hydroxyindoleacetic acid (measured by high-pressure liquid chromatography) within the raphe nucleus 15 min after BVE. Given our previous evidence on the role of the serotonergic system in the LPBN after BVE, the present morphofunctional findings suggest the existence of a key pathway (DRN-LPBN) that may control BVE response through the modulation of 5HT release. (c) 2008 Wiley-Liss, Inc.

Characterization of a chromium-rich tannery waste and its potential use in ceramics

Leather industries which promote hide stabilization by the conventional chrome-tanning process are a major source of pollution because of the resultant chromium-rich wastes. In this work, an extensive characterization of such a chromium-rich waste sludge is presented, regarding its chemical composition (XRF), crystalline phase contents (XRD), organic carbon content (TOC), thermal behavior by thermogravimetry (TG) and differential scanning calorimetry (DSC), as well as its stability under chemical attack (the concentration of important ions in the leachates being determined by capillary electrophoresis) and when submitted to temperatures as high as 1100 degrees C, in air. The material showed the tendency to produce some undesirable, and previously non-detected hexavalent chromium when exposed to high temperatures, but after washing off the soluble salts and the elimination of the organic matter by firing, the resultant material was succesfully tested as a ceramic pigment in a conventional glaze composition usually employed in the ceramic the industry. (C) 2009 Elsevier Ltd and Techna Group S.r.l. All rights reserved.

Non-coding transcript in T cells (NTT): Antisense transcript activates PKR and NF-kappa B in human lymphocytes

T cell activation is a complex process involving many steps and the role played by the non-protein-coding RNAs (ncRNAs) in this phenomenon is still unclear. The non-coding T cells transcript (NTT) is differentially expressed during human T cells activation, but its function is unknown. Here, we detected a 426 m NTT transcript by RT-PCR using RNA of human lymphocytes activated with a synthetic peptide of HIV-1. After cloning, the sense and antisense 426 nt NTT transcripts were obtained by in vitro transcription and were sequenced. We found that both transcripts are highly structured and are able to activate PKR. A striking observation was that the antisense 426 nt NTT transcript is significantly more effective in activating PKR than the corresponding sense transcript. The transcription factor NF-kappa B is activated by PKR through phosphorylation and subsequent degradation of its inhibitor I-kappa B beta. We also found that the antisense 426 nt NTT transcript induces more efficiently the degradation Of I-kappa B beta than the sense transcript. Thus, this study suggests that the role played by NTT in the activation of lymphocytes can be mediated by PKR through NF-kappa B activation. However, the physiological significance of the activity of the antisense 426 nt NTT transcript remains unknown. (c) 2007 Elsevier Inc. All rights reserved.