Combining Functional and Structural Reasoning for Safety Analysis of Electrical Designs

C.J.Price, D.R.Pugh, N.A.Snooke, J.E.Hunt, M.S.Wilson, Combining Functional and Structural Reasoning for Safety Analysis of Electrical Designs, Knowledge Engineering Review, vol 12:3, pp.271-287, 1997.

A European Perspective on the Precautionary Principle, Food Safety and the Free Trade Imperative of the WTO

A European Perspective on the Precautionary Principle, Food Safety and the Free Trade Imperative of the WTO. European Law Review, Vol.27, No.2. April 2002, pp.138-155. RAE2008

Systematic Verification of Safety Properties of Arbitrary Network Protocol Compositions Using CHAIN

Formal correctness of complex multi-party network protocols can be difficult to verify. While models of specific fixed compositions of agents can be checked against design constraints, protocols which lend themselves to arbitrarily many compositions of agents-such as the chaining of proxies or the peering of routers-are more difficult to verify because they represent potentially infinite state spaces and may exhibit emergent behaviors which may not materialize under particular fixed compositions. We address this challenge by developing an algebraic approach that enables us to reduce arbitrary compositions of network agents into a behaviorally-equivalent (with respect to some correctness property) compact, canonical representation, which is amenable to mechanical verification. Our approach consists of an algebra and a set of property-preserving rewrite rules for the Canonical Homomorphic Abstraction of Infinite Network protocol compositions (CHAIN). Using CHAIN, an expression over our algebra (i.e., a set of configurations of network protocol agents) can be reduced to another behaviorally-equivalent expression (i.e., a smaller set of configurations). Repeated applications of such rewrite rules produces a canonical expression which can be checked mechanically. We demonstrate our approach by characterizing deadlock-prone configurations of HTTP agents, as well as establishing useful properties of an overlay protocol for scheduling MPEG frames, and of a protocol for Web intra-cache consistency.

Early warning sign attributes for the safety of drinking water treatment works

A proactive risk management strategy seeks to prevent accidents from taking place and maintain the safety of a system. In this context, the task of identifying and disseminating early warning signs and signals is among the most important. The problem is that warning signs that are present before an accident takes place are often being overlooked and not picked up or identified as warning signs. If these warning signs were responded to, then an accident may be averted. Accidents occuring in the critical domain of a drinking water treatments works can have serious implications for the public health of consumers of the water supplied. Realising and comprehending early warning signs is a major challenge for the domain of systems safety and especially in the domain of a water treatment works. The approaches that are typically used to enhance the realisation, comprehension and dissemination of early warning signs in the water treatment domain in Ireland mainly involves the creation of accident scenarios, the use of monitoring data and procedures for the dissemination of warnings. While all of these approaches are all useful to inform the mental or process models of possible accident scenarios, nevertheless, accidents are still occurring in this domain. Therefore, a new approach to enhance the comprehension of and effective dissemination of early warning signs is required in order to improve safety and proactive risk management strategies. The contributions of this thesis is the provision of a set of attributes associated with the early warning sign concept that provides meaningful data on the early warning signs and allows recipients to better comprehend them. The values of these attributes were customised for application in the water treatment domain. This research proves that early warning signs at a water treatment works received with information on their attributes are comprehended and communicated more effectively and efficiently than the usual pragmatic approach and thereby improves the safety and proactive risk management strategies.

Teaching yoga to seniors: essential considerations to enhance safety and reduce risk in a uniquely vulnerable age group.

BACKGROUND: Seniors age 65 and older represent the fastest-growing sector of the population and, like many Americans, are increasingly drawn to yoga. This presents both an extraordinary opportunity and a serious challenge for yoga instructors who must be both a resource and guardians of safety for this uniquely vulnerable group. A typical class of seniors is likely to represent the most diverse mix of abilities of any age group. While some may be exceedingly healthy, most fit the profile of the average older adult in America, 80% of whom have at least one chronic health condition and 50% of whom have at least two. OBJECTIVES: This article discusses the Therapeutic Yoga for Seniors program, offered since 2007 at Duke Integrative Medicine to fill a critical need to help yoga instructors work safely and effectively with the increasing number of older adults coming to yoga classes, and explores three areas that pose the greatest risk of compromise to older adult students: sedentary lifestyle, cardiovascular disease, and osteoporosis. To provide a skillful framework for teaching yoga to seniors, we have developed specific Principles of Practice that integrate the knowledge gained from Western medicine with yogic teachings.

Safety and efficacy of rivastigmine in adolescents with Down syndrome: long-term follow-up.

Following the completion of a 20-week, open-label study of the safety and efficacy of liquid rivastigmine for adolescents with Down syndrome, 5 of the 10 adolescents in the clinical trial continued long-term rivastigmine therapy and 5 did not. After an average period of 38 months, all 10 subjects returned for a follow-up assessment to determine the safety and efficacy of long-term rivastigmine use. Rivastigmine was well tolerated and overall health appeared to be unaffected by long-term rivastigmine use. Performance change on cognitive and language measures administered at the termination of the open-label clinical trial was compared between the two groups. No between-group difference in median performance change across the long-term period was found, suggesting that the long-term use of rivastigmine does not improve cognitive and language performance. However, two subjects demonstrated remarkable improvement in adaptive function over the long-term period. Both subjects had received long-term rivastigmine therapy. The discussion addresses the challenge of assessing cognitive change in clinical trials using adolescents with Down syndrome as subjects and the use of group versus individual data to evaluate the relevance of medication effects.

Safety, tolerability, and mechanisms of antiretroviral activity of pegylated interferon Alfa-2a in HIV-1-monoinfected participants: a phase II clinical trial.

BACKGROUND: To our knowledge, the antiviral activity of pegylated interferon alfa-2a has not been studied in participants with untreated human immunodeficiency virus type 1 (HIV-1) infection but without chronic hepatitis C virus (HCV) infection. METHODS: Untreated HIV-1-infected volunteers without HCV infection received 180 microg of pegylated interferon alfa-2a weekly for 12 weeks. Changes in plasma HIV-1 RNA load, CD4(+) T cell counts, pharmacokinetics, pharmacodynamic measurements of 2',5'-oligoadenylate synthetase (OAS) activity, and induction levels of interferon-inducible genes (IFIGs) were measured. Nonparametric statistical analysis was performed. RESULTS: Eleven participants completed 12 weeks of therapy. The median plasma viral load decrease and change in CD4(+) T cell counts at week 12 were 0.61 log(10) copies/mL (90% confidence interval [CI], 0.20-1.18 log(10) copies/mL) and -44 cells/microL (90% CI, -95 to 85 cells/microL), respectively. There was no correlation between plasma viral load decreases and concurrent pegylated interferon plasma concentrations. However, participants with larger increases in OAS level exhibited greater decreases in plasma viral load at weeks 1 and 2 (r = -0.75 [90% CI, -0.93 to -0.28] and r = -0.61 [90% CI, -0.87 to -0.09], respectively; estimated Spearman rank correlation). Participants with higher baseline IFIG levels had smaller week 12 decreases in plasma viral load (0.66 log(10) copies/mL [90% CI, 0.06-0.91 log(10) copies/mL]), whereas those with larger IFIG induction levels exhibited larger decreases in plasma viral load (-0.74 log(10) copies/mL [90% CI, -0.93 to -0.21 log(10) copies/mL]). CONCLUSION: Pegylated interferon alfa-2a was well tolerated and exhibited statistically significant anti-HIV-1 activity in HIV-1-monoinfected patients. The anti-HIV-1 effect correlated with OAS protein levels (weeks 1 and 2) and IFIG induction levels (week 12) but not with pegylated interferon concentrations.

Safety profile of L-arginine infusion in moderately severe falciparum malaria.

BACKGROUND: L-arginine infusion improves endothelial function in malaria but its safety profile has not been described in detail. We assessed clinical symptoms, hemodynamic status and biochemical parameters before and after a single L-arginine infusion in adults with moderately severe malaria. METHODOLOGY AND FINDINGS: In an ascending dose study, adjunctive intravenous L-arginine hydrochloride was infused over 30 minutes in doses of 3 g, 6 g and 12 g to three separate groups of 10 adults hospitalized with moderately severe Plasmodium falciparum malaria in addition to standard quinine therapy. Symptoms, vital signs and selected biochemical measurements were assessed before, during, and for 24 hours after infusion. No new or worsening symptoms developed apart from mild discomfort at the intravenous cannula site in two patients. There was a dose-response relationship between increasing mg/kg dose and the maximum decrease in systolic (rho = 0.463; Spearman's, p = 0.02) and diastolic blood pressure (r = 0.42; Pearson's, p = 0.02), and with the maximum increment in blood potassium (r = 0.70, p<0.001) and maximum decrement in bicarbonate concentrations (r = 0.53, p = 0.003) and pH (r = 0.48, p = 0.007). At the highest dose (12 g), changes in blood pressure and electrolytes were not clinically significant, with a mean maximum decrease in mean arterial blood pressure of 6 mmHg (range: 0-11; p<0.001), mean maximal increase in potassium of 0.5 mmol/L (range 0.2-0.7 mmol/L; p<0.001), and mean maximal decrease in bicarbonate of 3 mEq/L (range 1-7; p<0.01) without a significant change in pH. There was no significant dose-response relationship with blood phosphate, lactate, anion gap and glucose concentrations. All patients had an uncomplicated clinical recovery. CONCLUSIONS/SIGNIFICANCE: Infusion of up to 12 g of intravenous L-arginine hydrochloride over 30 minutes is well tolerated in adults with moderately severe malaria, with no clinically important changes in hemodynamic or biochemical status. Trials of adjunctive L-arginine can be extended to phase 2 studies in severe malaria. TRIAL REGISTRATION: ClinicalTrials.gov NCT00147368.

Safety and immunogenicity of a replication-defective adenovirus type 5 HIV vaccine in Ad5-seronegative persons: a randomized clinical trial (HVTN 054).

BACKGROUND: Individuals without prior immunity to a vaccine vector may be more sensitive to reactions following injection, but may also show optimal immune responses to vaccine antigens. To assess safety and maximal tolerated dose of an adenoviral vaccine vector in volunteers without prior immunity, we evaluated a recombinant replication-defective adenovirus type 5 (rAd5) vaccine expressing HIV-1 Gag, Pol, and multiclade Env proteins, VRC-HIVADV014-00-VP, in a randomized, double-blind, dose-escalation, multicenter trial (HVTN study 054) in HIV-1-seronegative participants without detectable neutralizing antibodies (nAb) to the vector. As secondary outcomes, we also assessed T-cell and antibody responses. METHODOLOGY/PRINCIPAL FINDINGS: Volunteers received one dose of vaccine at either 10(10) or 10(11) adenovector particle units, or placebo. T-cell responses were measured against pools of global potential T-cell epitope peptides. HIV-1 binding and neutralizing antibodies were assessed. Systemic reactogenicity was greater at the higher dose, but the vaccine was well tolerated at both doses. Although no HIV infections occurred, commercial diagnostic assays were positive in 87% of vaccinees one year after vaccination. More than 85% of vaccinees developed HIV-1-specific T-cell responses detected by IFN-γ ELISpot and ICS assays at day 28. T-cell responses were: CD8-biased; evenly distributed across the three HIV-1 antigens; not substantially increased at the higher dose; and detected at similar frequencies one year following injection. The vaccine induced binding antibodies against at least one HIV-1 Env antigen in all recipients. CONCLUSIONS/SIGNIFICANCE: This vaccine appeared safe and was highly immunogenic following a single dose in human volunteers without prior nAb against the vector. TRIAL REGISTRATION: ClinicalTrials.gov NCT00119873.

Integrated analysis of CANVAS 1 and 2: phase 3, multicenter, randomized, double-blind studies to evaluate the safety and efficacy of ceftaroline versus vancomycin plus aztreonam in complicated skin and skin-structure infection.

BACKGROUND: Methicillin-resistant Staphylococcus aureus (MRSA) is a common cause of complicated skin and skin-structure infection (cSSSI). Increasing antimicrobial resistance in cSSSI has led to a need for new safe and effective therapies. Ceftaroline was evaluated as treatment for cSSSI in 2 identical phase 3 clinical trials, the pooled analysis of which is presented here. The primary objective of each trial was to determine the noninferiority of the clinical cure rate achieved with ceftaroline monotherapy, compared with that achieved with vancomycin plus aztreonam combination therapy, in the clinically evaluable (CE) and modified intent-to-treat (MITT) patient populations. METHODS: Adult patients with cSSSI requiring intravenous therapy received ceftaroline (600 mg every 12 h) or vancomycin plus aztreonam (1 g each every 12 h) for 5-14 days. RESULTS: Of 1378 patients enrolled in both trials, 693 received ceftaroline and 685 received vancomycin plus aztreonam. Baseline characteristics of the treatment groups were comparable. Clinical cure rates were similar for ceftaroline and vancomycin plus aztreonam in the CE (91.6% vs 92.7%) and MITT (85.9% vs 85.5%) populations, respectively, as well as in patients infected with MRSA (93.4% vs 94.3%). The rates of adverse events, discontinuations because of an adverse event, serious adverse events, and death also were similar between treatment groups. CONCLUSIONS: Ceftaroline achieved high clinical cure rates, was efficacious against cSSSI caused by MRSA and other common cSSSI pathogens, and was well tolerated, with a safety profile consistent with the cephalosporin class. Ceftaroline has the potential to provide a monotherapy alternative for the treatment of cSSSI. TRIAL REGISTRATION: ClinicalTrials.gov identifiers: NCT00424190 for CANVAS 1 and NCT00423657 for CANVAS 2.

Spending on postapproval drug safety.

Withdrawals of high-profile pharmaceuticals have focused attention on post-approval safety surveillance. There have been no systematic assessments of spending on postapproval safety. We surveyed drug manufacturers regarding safety efforts. Mean spending on postapproval safety per company in 2003 was 56 million dollars (0.3 percent of sales). Assuming a constant safety-to-sales ratio, we estimated that total spending on postapproval safety by the top twenty drug manufacturers was 800 million dollars in 2003. We also examined, using regression analysis, the relationship between the number of safety personnel and the number of initial adverse-event reports. This study offers information for the debate on proposed changes to safety surveillance.

Herbal Dietary Supplements: Safety, Efficacy, and Use by Breast Cancer Survivors

Gemstone Team IMAC (Integrative Medicine and Cancer)

Radium and barium removal through blending hydraulic fracturing fluids with acid mine drainage.

Wastewaters generated during hydraulic fracturing of the Marcellus Shale typically contain high concentrations of salts, naturally occurring radioactive material (NORM), and metals, such as barium, that pose environmental and public health risks upon inadequate treatment and disposal. In addition, fresh water scarcity in dry regions or during periods of drought could limit shale gas development. This paper explores the possibility of using alternative water sources and their impact on NORM levels through blending acid mine drainage (AMD) effluent with recycled hydraulic fracturing flowback fluids (HFFFs). We conducted a series of laboratory experiments in which the chemistry and NORM of different mix proportions of AMD and HFFF were examined after reacting for 48 h. The experimental data combined with geochemical modeling and X-ray diffraction analysis suggest that several ions, including sulfate, iron, barium, strontium, and a large portion of radium (60-100%), precipitated into newly formed solids composed mainly of Sr barite within the first ∼ 10 h of mixing. The results imply that blending AMD and HFFF could be an effective management practice for both remediation of the high NORM in the Marcellus HFFF wastewater and beneficial utilization of AMD that is currently contaminating waterways in northeastern U.S.A.

Adenosine-induced flow arrest to facilitate intracranial aneurysm clip ligation: dose-response data and safety profile.

BACKGROUND: Adenosine-induced transient flow arrest has been used to facilitate clip ligation of intracranial aneurysms. However, the starting dose that is most likely to produce an adequate duration of profound hypotension remains unclear. We reviewed our experience to determine the dose-response relationship and apparent perioperative safety profile of adenosine in intracranial aneurysm patients. METHODS: This case series describes 24 aneurysm clip ligation procedures performed under an anesthetic consisting of remifentanil, low-dose volatile anesthetic, and propofol in which adenosine was used. The report focuses on the doses administered; duration of systolic blood pressure <60 mm Hg (SBP(<60 mm Hg)); and any cardiovascular, neurologic, or pulmonary complications observed in the perioperative period. RESULTS: A median dose of 0.34 mg/kg ideal body weight (range: 0.29-0.44 mg/kg) resulted in a SBP(<60 mm Hg) for a median of 57 seconds (range: 26-105 seconds). There was a linear relationship between the log-transformed dose of adenosine and the duration of a SBP(<60 mm Hg) (R(2) = 0.38). Two patients developed transient, hemodynamically stable atrial fibrillation, 2 had postoperative troponin levels >0.03 ng/mL without any evidence of cardiac dysfunction, and 3 had postoperative neurologic changes. CONCLUSIONS: For intracranial aneurysms in which temporary occlusion is impractical or difficult, adenosine is capable of providing brief periods of profound systemic hypotension with low perioperative morbidity. On the basis of these data, a dose of 0.3 to 0.4 mg/kg ideal body weight may be the recommended starting dose to achieve approximately 45 seconds of profound systemic hypotension during a remifentanil/low-dose volatile anesthetic with propofol induced burst suppression.