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.

Safety of the etonogestrel-releasing implant during the immediate postpartum period: a pilot study

Background: The effects of etonogestrel (ETG)-releasing contraceptive implant during the immediate postpartum period on maternal safety are unknown. Study design: Forty healthy women exclusively breastfeeding were randomized to receive either ETG-releasing implant 24-48 h after delivery (n=20) or depot medroxyprogesterone acetate (DMPA group; n=20) at the sixth week postpartum. We measured blood pressure, maternal and neonatal weight, body mass index (BMI; kg/m(2)), waist circumference (WC), complete blood count, C-reactive protein, interleukin-6, tumor necrosis factor (TNF-alpha), lipid profile, fasting serum glucose and maintenance of exclusive lactation up to the 12th week postpartum. Results: Decreases in mean maternal weight, BMI (kg/m(2)) and WC were significantly greater in the ETG-releasing implant group than in the MPA group during the first 6 weeks postpartum (-4.64 +/- 2.71 kg vs. -2.6 +/- 2.45 kg mean +/- SD, p=.017; -1.77 +/- 1.06 kg/m(2) vs. -0.97 +/- 0.95 kg/m(2), p=.026; -15.3 +/- 6.72 cm vs. -9.05 +/- 5.84 cm, p=.003, respectively). In addition, total cholesterol and HDL, were lower in DMPA users, and TNF-alpha and leukocytes were higher in DMPA users compared to in the implant group, between 6 and 12 weeks after delivery. The newborns of implant users showed a trend towards gaining more weight, as compared with the infants of the DMPA mothers during the first 6 weeks of life (implant group: +1460.50 +/- 621.34 g vs. DMPA group: +1035.0 +/- 562.43 g, p=.05). The remaining variables, including the duration of exclusive breastfeeding, were similar between the groups. Conclusion: The insertion of ETG-releasing contraceptive implant during the immediate postpartum period was not associated with deleterious maternal clinical effects or with significant maternal metabolic alterations or decreased infant weight gain. (C) 2009 Elsevier Inc. All rights reserved.

Safety and Immunogenicity of Varicella Vaccine in Patients With Juvenile Rheumatic Diseases Receiving Methotrexate and Corticosteroids

Objective. To evaluate the safety and immunogenicity of varicella vaccine (VV) in susceptible patients with juvenile rheumatic diseases receiving methotrexate and corticosteroids. Methods. Twenty-five patients with juvenile rheumatic diseases (ages 2-19 years) and 18 healthy children and adolescents (ages 3-18 years) received a single dose of VV. All 25 patients were receiving methotrexate; 13 were also receiving prednisone and 5 were also receiving other disease-modifying antirheumatic drugs. None of the vaccinated patients or controls had a previous history of varicella. Anti-varicella-zoster virus IgG antibody (anti-VZV-IgG) titers were measured by enzyme-linked immunosorbent assay immediately before, 4-6 weeks after, and 1 year after vaccination. The patients were monitored prospectively for adverse reactions related to the vaccine, exposure, and occurrence of varicella. Disease activity was assessed 3 months before and 3 months after VV. Results. Twenty patients and all of the controls had negative preimmunization titers of VZV-IgG, and 5 patients had equivocal levels. Positive VZV-IgG titers were detected in 10 (50%) of 20 seronegative patients and 13 (72.2%) of 18 controls 4-6 weeks after VV (P = 0.2). One year after vaccination, 8 of 10 patients maintained positive VZV-IgG titers. No overt varicella episodes and no severe adverse reactions were observed during the followup period. No worsening of clinical parameters and no flares of juvenile rheumatic diseases or changes in doses of medications used were detected after vaccination. In fact, the number of active joints in patients with juvenile idiopathic arthritis was significantly lower after VV (P = 0.009). Conclusion. VV appears to be safe in patients with juvenile rheumatic diseases receiving methotrexate, as long as continuous prospective vigilance for side effects is performed.

Temperature safety profile of laparoscopic devices: Harmonic ACE (ACE), Ligasure V (LV), and plasma trisector (PT)

Background Reports of iatrogenic thermal injuries during laparoscopic surgery using new generation vessel-sealing devices, as well as anecdotal reports of hand burn injuries during hand-assisted surgeries, have evoked questions about the temperature safety profile and the cooling properties of these instruments. Methods This study involved video recording of temperatures generated by different instruments (Harmonic ACE [ACE], Ligasure V [LV], and plasma trisector [PT]) applied according the manufacturers` pre-set settings (ACE setting 3; LV 3 bars, and the PT TR2 50W). The video camera used was the infrared Flex Cam Pro directed to three different types of swine tissue: (1) peritoneum (P), (2) mesenteric vessels (MV), and (3) liver (L). Activation and cooling temperature and time were measured for each instrument. Results The ACE device produced the highest temperatures (195.9 degrees +/- 14.5 degrees C) when applied against the peritoneum, and they were significantly higher than the other instruments (LV = 96.4 degrees +/- 4.1 degrees C, and PT = 87 degrees +/- 2.2 degrees C). The LV and PT consistently yielded temperatures that were < 100 degrees C independent of type of tissue or ""on""/ ""off"" mode. Conversely, the ACE reached temperatures higher than 200 degrees C, with a surprising surge after the instrument was deactivated. Moreover, temperatures were lower when the ACE was applied against thicker tissue (liver). The LV and PT cooling times were virtually equivalent, but the ACE required almost twice as long to cool. Conclusions The ACE increased the peak temperature after deactivation when applied against thick tissue (liver), and the other instruments inconsistently increased peak temperatures after they were turned off, requiring few seconds to cool down. Moreover, the ACE generated very high temperatures (234.5 degrees C) that could harm adjacent tissue or the surgeon`s hand on contact immediately after deactivation. With judicious use, burn injury from these instruments can be prevented during laparoscopic procedures. Because of the high temperatures generated by the ACE device, particular care should be taken when it is used during laparoscopy.

Effects of aeration on characteristics of sugarcane silage.

Effects of aeration on characteristics of sugarcane silage. This trial aimed at evaluating, the deleterious effects of aeration time on nutritive value and other fermentative characteristics of sugarcane silage. A completely randomized design was used with three treatments and four repetitions per treatment. Fresh chopped sugarcane was exposed to aeration for 0, 4 or 8 hours, and ensiled soon After exposure, the material was ensiled in 12 laboratory silos (plastic buckets). Silos were opened 85 after ensiling, when organic acids contents and chemical composition of silages were determined. Deviation of linearity (p < 0.05) was observed for aeration time on dry matter. A positive linear effect was observed (p < 0.05) on ADF, NDF and soluble carbohydrates content, but negative for ammoniacal nitrogen content and in vitro digestibility of dry matter. For organic acids content, deviation of linearity was observed on acetic acid, with the lowest content (1.5% of DM) observed after 8 hours of aeration, and a negative linear effect was observed for lactic and butyric acids, as well as for pH values. There were no effects on ethanol concentration, which remained very high (22% of DM), regardless of aeration time. Aerobic stability of silage worsened with the increase in aeration time.

The effect of temperature and fasting period on the viability of free-living females of Rhipicephalus sanguineus (Acari : Ixodidae) under laboratory conditions

Little is known about the effect of temperature on viability of free-living phases of the life cycle of Rhipicephalus sanguineus (Latreille, 1806) despite of its importance as vector of several pathogens. Knowledge of the effect of abiotic factors on the capacity of a given tick species to infest new hosts is important for routine experimental activities under laboratory conditions, and may be relevant to understand the transmission of pathogens. The study evaluates the viability of R. sanguineus females held at 18 +/- 1, 27 +/- 1 and 32 +/- 1 degrees C and 80 +/- 5% RH (saturation deficits of 3.0, 5.3 and 7.2 mmHg, respectively) for three fasting periods (3 and 20 days and the day when female mortality reached approximately 50% after ecdysis), under laboratory conditions. In general, the best result on viability was obtained when rabbits were infested with unfed female ticks after three or 20 fasting days at both 27 +/- 1 and 32 +/- 1 degrees C and 80 +/- 5% RH.

Biological aspects of Amblyomma brasiliense (Acari : Ixodidae) under laboratory conditions

Although Amblyomma brasiliense Arag (a) over tildeo 1908 has been reported as one of the most aggressive ticks to humans in Brazil, information about the biology of this tick species is virtually inexistent. This work reports data on the life cycle of A. brasiliense fed on rabbits and pigs and maintained in an incubator at 20 degrees C, 90% RH and 12 h of light for off-host development. Tick yield of adult females fed on pigs and rabbits was 81.2% and 58.3%, respectively. Females fed on pigs had mean engorgement weight of 862.3 mg and egg mass of 208 mg, while females fed on rabbits had mean engorgement weight of 606.1 mg and egg mass of 160 mg; these values did not differ statistically between host species. Feeding period of female ticks fed on pigs (10 days) was significantly shorter than that on rabbits (17 days). Mean preoviposition period was slightly longer (35.9 days) for ticks fed on pigs than on rabbits (30 days). The minimum incubation period of eggs of ticks from both host species was similar and over 100 days. Egg production efficiency was low for females fed on both hosts (less than 30% and 20% for ticks from pigs and rabbits, respectively). More than 55% of larvae and 79% of nymphs fed on rabbits, set free inside the feeding chambers, engorged successfully. These ticks attained an engorgement weight of 1.3 and 18.2 mg, respectively, and fed for approximately 5 days. The minimum pre-molt period was 30 days for engorged larvae and over 44 days for nymphs. Molting success was low, less than 50% in the case of larvae and less than 20% for nymphs. Further studies are required to better determine the off-host requirements of this tick species.

Evaluation of Efficacy and Safety of Zinc Gluconate Associated with Dimethyl Sulphoxide for Sexually Mature Canine Males Chemical Neutering

Contents The aim of this research was to evaluate the efficacy of zinc gluconate associated with dimethyl sulphoxide (DMSO) for chemical neutering in canine males. Fifteen sexually mature male dogs were divided in two groups, named control and treated. An injection was administered to both testicles, at a concentration of 26.2 mg zinc gluconate per ml and 0.5% DMSO in the treated group (11 dogs). The control group was given injections of saline solution (four dogs). Clinical examination and blood collection for a haemogram were done both before and after drug injection. There were 12 spermograms performed to analyse sperm motility, sperm vigour, ejaculate volume, testicle size, pathology and sperm concentrations. Libido was also measured. An ultrasound examination and histopathology were performed at the end of the experiment. Dogs` libido after chemical injection was reduced by over 50%. The spermogram analysis showed final mean results of 14.54% for sperm motility, 0.72 of sperm vigour and 37 150 per million spermatozoa per millilitre, values considered below the necessary levels at which fertilization can occur. Ultrasound and histopathology analyses of testicles for the treated group revealed more intense injuries when compared with the control group, with compromised testicular parenchyma and a decrease of germ cell number leading to total atrophy, indicating that the treatment reduced the fertilizing potential of male dogs, promoting a possible subfertile status.

Life cycle of Ixodes luciae (Acari: Ixodidae) in the laboratory

The life cycle of Ixodes luciae was evaluated for five consecutive generations in the laboratory. Wild mice Calomys callosus and laboratory rats Rattus norvegicus were used as hosts for larvae and nymphs. For adult ticks, opossums Didelphis aurita were used as hosts. Off-host developmental periods were observed in an incubator at 27A degrees C and 95% RH. The life cycle of I. luciae lasted 95-97 days, excluding prefeeding periods. C. callosus, one of the natural host species for I. luciae immature stages, was shown to be much more suitable than the artificial host R. norvegicus. Significantly (P < 0.05), more larvae and nymphs successfully fed on C. callosus than on R. norvegicus. When tick-na < ve C. callosus were exposed to three consecutive larval infestations at 24-day intervals, recovery of engorged larvae were greater in the second and third infestations, indicating that previous infestations did not induce acquired resistance to ticks. Larval feeding period typically varied from 5 to 10 days on R. norvegicus, but was significantly (P < 0.05), longer on C. callosus (range, 7-34 days). The majority (71.7%) of I. luciae adult females successfully fed and oviposited after exposed to D. aurita. Mean engorged weight (581.9 mg; range, 237.1-796.0 mg) of these females were much higher than those previously reported for other New World Ixodes species. Our results are in accordance to the current literature that appoints opossums Didelphidae and small rodents (e.g., C. callosus) natural hosts for I. luciae immature and adult stages, respectively.

Clinical versus laboratory adhesive performance to wet and dry demineralized primary dentin

Purpose: To evaluate the influence of dentin moisture on bond strengths of an etch-and-rinse bonding agent to primary dentin clinically and in the laboratory. Methods: The sample consisted of two groups of 20 caries-free primary second molars: molars in exfoliation period (clinical group) and extracted molars (laboratory group). Class I cavities were prepared in all specimens leaving a flat dentin surface on the pulpal floor. A two-step etch-and-rinse adhesive was vigorously rubbed on either dry (n= 5) or wet demineralized dentin (n= 5) under clinical or laboratory conditions. After restorative procedures, the teeth from the clinical group were extracted after 20 minutes. All samples were processed and underwent microtensile bond strength test and silver nitrate uptake evaluation under scanning electron microscopy. Results: Statistically higher bond strength values were observed when the bonding was performed under laboratory conditions and on a wet demineralized dentin. Most of the failures were adhesive and mixed irrespective of the experimental condition. Silver nitrate uptake occurred in all groups irrespective of the experimental condition. Resin-dentin bond strengths produced in the laboratory in primary teeth may overestimate those produced under clinical circumstances. (Am J Dent 2011;24:221-225).

Thermal/mechanical simulation and laboratory fatigue testing of an alternative yttria tetragonal zirconia polycrystal core-veneer all-ceramic layered crown design

This study evaluated the stress levels at the core layer and the veneer layer of zirconia crowns (comprising an alternative core design vs. a standard core design) under mechanical/thermal simulation, and subjected simulated models to laboratory mouth-motion fatigue. The dimensions of a mandibular first molar were imported into computer-aided design (CAD) software and a tooth preparation was modeled. A crown was designed using the space between the original tooth and the prepared tooth. The alternative core presented an additional lingual shoulder that lowered the veneer bulk of the cusps. Finite element analyses evaluated the residual maximum principal stresses fields at the core and veneer of both designs under loading and when cooled from 900 degrees C to 25 degrees C. Crowns were fabricated and mouth-motion fatigued, generating master Weibull curves and reliability data. Thermal modeling showed low residual stress fields throughout the bulk of the cusps for both groups. Mechanical simulation depicted a shift in stress levels to the core of the alternative design compared with the standard design. Significantly higher reliability was found for the alternative core. Regardless of the alternative configuration, thermal and mechanical computer simulations showed stress in the alternative core design comparable and higher to that of the standard configuration, respectively. Such a mechanical scenario probably led to the higher reliability of the alternative design under fatigue.