Verifying the Safety of a Flight-Critical System

This paper describes our work on demonstrating verification technologies on a flight-critical system of realistic functionality, size, and complexity. Our work targeted a commercial aircraft control system named Transport Class Model (TCM), and involved several stages: formalizing and disambiguating requirements in collaboration with do- main experts; processing models for their use by formal verification tools; applying compositional techniques at the architectural and component level to scale verification. Performed in the context of a major NASA milestone, this study of formal verification in practice is one of the most challenging that our group has performed, and it took several person months to complete it. This paper describes the methodology that we followed and the lessons that we learned.Comment: 17 pages, 5 figure

Effects of Oxygen During Long-term Hypothermic Machine Perfusion in a Porcine Model of Kidney Donation After Circulatory Death

International audienceBackground:Hypothermic machine perfusion (HMP) has become standard care in many center’s to preserve kidneys donated after circulatory death (DCD). Despite a significant reduction in metabolism at low temperatures, remaining cellular activity requires oxygen. Since the role and safety of oxygen during HMP has not been fully clarified, its supply during HMP is not standard yet. This study investigates the effect of administering oxygen during HMP on renal function in a porcine DCD model.Methods: After 30 minutes of warm ischemia, porcine slaughterhouse kidneys were preserved for 24 hours by means of cold storage (CS), or HMP with Belzer Machine Perfusion Solution (UW- MPS) supplemented with no oxygen, 21% or 100% oxygen. Next, kidneys were reperfused for 4 hours in a normothermic machine perfusion (NMP) setup.Results:HMP resulted in significantly better kidney function during NMP. Thiobarbituric acid-reactive substances (TBARS), markers of oxidative stress, were significantly lower in HMP preserved kidneys. HMP preserved kidneys showed significantly lower ASAT and LDH levels compared to kidneys preserved by CS. No differences were found between the HMP groups subjected to different oxygen concentrations. ATP levels significantly improved during HMP when active oxygenation was applied.Conclusion:This study showed that preservation of DCD kidneys with HMP is superior to CS. Although the addition of oxygen to HMP did not result in significantly improved renal function, beneficial effects were found in terms of reduced oxidative stress and energy status. Oxygen addition proofed to be safe and did not show detrimental effects

The impact of histopathology and NAB2-STAT6 fusion subtype in classification and grading of meningeal solitary fibrous tumor/hemangiopericytoma.

Meningeal solitary fibrous tumor (SFT)/hemangiopericytoma (HPC) is a rare tumor with propensity for recurrence and metastasis. Although multiple classification schemes have been proposed, optimal risk stratification remains unclear, and the prognostic impact of fusion status is uncertain. We compared the 2016 WHO CNS tumor grading scheme (CNS-G), a three-tier system based on histopathologic phenotype and mitotic count, to the 2013 WHO soft-tissue counterpart (ST-G), a two-tier system based on mitotic count alone, in a cohort of 133 patients [59 female, 74 male; mean age 54 years (range 20-87)] with meningeal SFT/HPC. Tumors were pathologically confirmed through review of the first tumor resection (n = 97), local recurrence (n = 35), or distant metastasis (n = 1). A STAT6 immunostain showed nuclear expression in 132 cases. NAB2-STAT6 fusion was detected in 99 of 111 successfully tested tumors (89%) including the single STAT6 immunonegative tumor. Tumors were classified by CNS-G as grade 1 (n = 43), 2 (n = 41), or 3 (n = 49), and by ST-G as SFT (n = 84) or malignant SFT (n = 49). Necrosis was present in 16 cases (12%). On follow-up, 42 patients had at least one subsequent recurrence or metastasis (7 metastasis only, 33 recurrence only, 2 patients had both). Twenty-nine patients died. On univariate analysis, necrosis (p = 0.002), CNS-G (p = 0.01), and ST-G (p = 0.004) were associated with recurrence-free (RFS) but not overall survival (OS). NAB2-STAT6 fusion type was not significantly associated with RFS or OS, but was associated with phenotype. A modified ST-G incorporating necrosis showed higher correlation with RFS (p = 0.0006) and remained significant (p = 0.02) when considering only the primary tumors. From our data, mitotic rate and necrosis appear to stratify this family of tumors most accurately and could be incorporated in a future grading scheme

The Proneural Molecular Signature Is Enriched in Oligodendrogliomas and Predicts Improved Survival among Diffuse Gliomas

The Cancer Genome Atlas Project (TCGA) has produced an extensive collection of ‘-omic’ data on glioblastoma (GBM), resulting in several key insights on expression signatures. Despite the richness of TCGA GBM data, the absence of lower grade gliomas in this data set prevents analysis genes related to progression and the uncovering of predictive signatures. A complementary dataset exists in the form of the NCI Repository for Molecular Brain Neoplasia Data (Rembrandt), which contains molecular and clinical data for diffuse gliomas across the full spectrum of histologic class and grade. Here we present an investigation of the significance of the TCGA consortium's expression classification when applied to Rembrandt gliomas. We demonstrate that the proneural signature predicts improved clinical outcome among 176 Rembrandt gliomas that includes all histologies and grades, including GBMs (log rank test p = 1.16e-6), but also among 75 grade II and grade III samples (p = 2.65e-4). This gene expression signature was enriched in tumors with oligodendroglioma histology and also predicted improved survival in this tumor type (n = 43, p = 1.25e-4). Thus, expression signatures identified in the TCGA analysis of GBMs also have intrinsic prognostic value for lower grade oligodendrogliomas, and likely represent important differences in tumor biology with implications for treatment and therapy. Integrated DNA and RNA analysis of low-grade and high-grade proneural gliomas identified increased expression and gene amplification of several genes including GLIS3, TGFB2, TNC, AURKA, and VEGFA in proneural GBMs, with corresponding loss of DLL3 and HEY2. Pathway analysis highlights the importance of the Notch and Hedgehog pathways in the proneural subtype. This demonstrates that the expression signatures identified in the TCGA analysis of GBMs also have intrinsic prognostic value for low-grade oligodendrogliomas, and likely represent important differences in tumor biology with implications for treatment and therapy

Potential of Donation After Unexpected Circulatory Death Programs Defined by Their Demographic Characteristics

BACKGROUND. Donation after unexpected circulatory death (uDCD) donors are often suggested to increase the number of donor organs. In 2014, a uDCD protocol was implemented in three transplant centers in the Netherlands which unfortunately did not result in additional transplantations. This study was initiated to identify demographic factors influencing the potential success of uDCD programs. METHODS. Dutch resuscitation databases covering various demographic regions were analyzed for potential donors. The databases were compared with the uDCD implementation project and successful uDCD programs in Spain, France, and Russia. RESULTS. The resuscitation databases showed that 61% of all resuscitated patients were transferred to an emergency department. Age selection reduced this uDCD potential to 46% with only patients aged 18–65 years deemed eligible. Of these patients, 27% died in the emergency department. The urban region of Amsterdam showed the largest potential in absolute numbers (52 patients/y). Comparison with the uDCD implementation project showed large similarities in the percentage of potential donors; however, in absolute numbers, it showed a much smaller potential. Calculation of the potential per million persons and the extrapolation of the potential based on the international experience revealed the largest potential in urban regions. CONCLUSIONS. Implementation of a uDCD program should not only be based on the number of potential donors calculated from resuscitation databases. They show promising potential uDCD percentages for large rural regions and small urban regions; however, actual numbers per hospital are low, leading to insufficient exposure rates. It is, therefore, recommendable to limit uDCD programs to large urban regions

Proteomic analysis of machine perfusion solution from brain dead donor kidneys reveals that elevated complement, cytoskeleton and lipid metabolism proteins are associated with 1-year outcome

Assessment of donor kidney quality is based on clinical scores or requires biopsies for histological assessment. Noninvasive strategies to identify and predict graft outcome at an early stage are, therefore, needed. We evaluated the perfusate of donation after brain death (DBD) kidneys during nonoxygenated hypothermic machine perfusion (HMP). In particular, we compared perfusate protein profiles of good outcome (GO) and suboptimal outcome (SO) 1-year post-transplantation. Samples taken 15 min after the start HMP (T1) and before the termination of HMP (T2) were analysed using quantitative liquid chromatography-tandem mass spectrometry (LC-MS/MS). Hierarchical clustering of the 100 most abundant proteins showed discrimination between grafts with a GO and SO at T1. Elevated levels of proteins involved in classical complement cascades at both T1 and T2 and a reduced abundance of lipid metabolism at T1 and of cytoskeletal proteins at T2 in GO versus SO was observed. ATP-citrate synthase and fatty acid-binding protein 5 (T1) and immunoglobulin heavy variable 2-26 and desmoplakin (T2) showed 91% and 86% predictive values, respectively, for transplant outcome. Taken together, DBD kidney HMP perfusate profiles can distinguish between outcome 1-year post-transplantation. Furthermore, it provides insights into mechanisms that could play a role in post-transplant outcomes.</p

Analysis of graft survival in a trial of stem cell transplant in ALS

Objective The first US Food and Drug Administration–approved clinical trial to treat amyotrophic lateral sclerosis ( ALS ) with neural stem cell–based therapy is in progress. The goal of the current study was to identify and assess the survival of human spinal cord–derived neural stem cells ( HSSC s) transplanted into the spinal cord in patients with ALS . Methods Spinal cords transplanted with HSSCs were examined from six autopsy cases. Homogenized tissues were interrogated for the presence of donor versus recipient DNA using real‐time PCR methods ( qPCR ). Fluorescence in situ hybridization (FISH) was performed using DNA probes for XY chromosomes to identify male donor HSSCs in one female case, and immunohistochemistry (IHC) was used to characterize the identified donor cells. Results Genomic DNA from donor HSSC s was identified in all cases, comprising 0.67–5.4% of total tissue DNA in patients surviving 196 to 921 days after transplantation. In the one female patient a “nest” of cells identified on H&E staining were XY ‐positive by FISH , confirming donor origin. A subset of XY ‐positive cells labeled for the neuronal marker NeuN and stem cell marker SOX 2. Interpretation This is the first study to identify human neural stem cells transplanted into a human spinal cord. Transplanted HSSC s survived up to 2.5 years posttransplant. Some cells differentiated into neurons, while others maintained their stem cell phenotype. This work is a proof of concept of the survival and differentiation of human stems cell transplanted into the spinal cord of ALS patients.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/109593/1/acn3134.pd

Randomized evaluation of fibrinogen vs placebo in complex cardiovascular surgery (REPLACE) : a double-blind phase III study of haemostatic therapy

Background: Single-dose human fibrinogen concentrate (FCH) might have haemostatic benefits in complex cardiovascular surgery. Methods: Patients undergoing elective aortic surgery requiring cardiopulmonary bypass were randomly assigned to receive FCH or placebo. Study medication was administered to patients with a 5 min bleeding mass of 60-250 g after separation from bypass and surgical haemostasis. A standardized algorithm for allogeneic blood product transfusion was followed if bleeding continued after study medication. Results: 519 patients from 34 centres were randomized, of whom 152 (29%) met inclusion criteria for study medication. Median (IQR) pretreatment 5 min bleeding mass was 107 (76-138) and 91 (71-112) g in the FCH and placebo groups, respectively (P=0.13). More allogeneic blood product units were administered during the first 24 h after FCH, 5.0 (2.0-11.0), when compared with placebo, 3.0 (0.0-7.0), P=0.026. Fewer patients avoided transfusion in the FCH group (15.4%) compared with placebo (28.4%), P=0.047. The FCH immediately increased plasma fibrinogen concentration and fibrin-based clot strength. Adverse event rates were comparable in each group. Conclusions: Human fibrinogen concentrate was associated with increased allogeneic blood product transfusion, an unexpected finding contrary to previous studies. Human fibrinogen concentrate may not be effective in this setting when administered according to 5-minute bleeding mass. Low bleeding rates and normal-range plasma fibrinogen concentrations before study medication, and variability in adherence to the complex transfusion algorithm, may have contributed to these results.Peer reviewe

An Integrated TCGA Pan-Cancer Clinical Data Resource to Drive High-Quality Survival Outcome Analytics

For a decade, The Cancer Genome Atlas (TCGA) program collected clinicopathologic annotation data along with multi-platform molecular profiles of more than 11,000 human tumors across 33 different cancer types. TCGA clinical data contain key features representing the democratized nature of the data collection process. To ensure proper use of this large clinical dataset associated with genomic features, we developed a standardized dataset named the TCGA Pan-Cancer Clinical Data Resource (TCGA-CDR), which includes four major clinical outcome endpoints. In addition to detailing major challenges and statistical limitations encountered during the effort of integrating the acquired clinical data, we present a summary that includes endpoint usage recommendations for each cancer type. These TCGA-CDR findings appear to be consistent with cancer genomics studies independent of the TCGA effort and provide opportunities for investigating cancer biology using clinical correlates at an unprecedented scale. Analysis of clinicopathologic annotations for over 11,000 cancer patients in the TCGA program leads to the generation of TCGA Clinical Data Resource, which provides recommendations of clinical outcome endpoint usage for 33 cancer types