Formal design and verification of a reliable computing platform for real-time control (phase 3 results)

In this paper the design and formal verification of the lower levels of the Reliable Computing Platform (RCP), a fault-tolerant computing system for digital flight control applications, are presented. The RCP uses NMR-style redundancy to mask faults and internal majority voting to flush the effects of transient faults. Two new layers of the RCP hierarchy are introduced: the Minimal Voting refinement (DA_minv) of the Distributed Asynchronous (DA) model and the Local Executive (LE) Model. Both the DA_minv model and the LE model are specified formally and have been verified using the Ehdm verification system. All specifications and proofs are available electronically via the Internet using anonymous FTP or World Wide Web (WWW) access

Design considerations to ensure accuracy when using the resazurin reduction assay to noninvasively quantify cell expansion within perfused extracellular matrix scaffolds

Analysis of perfusion-based bioreactors for organ engineering and a detailed evaluation of dynamic changes within maturing cell-laden scaffolds are critical components of ex vivo tissue development that remain understudied topics in the tissue and organ engineering literature. Precise measurement of cell numbers within bioartificial tissues and extracellular matrix scaffolds is necessary to provide measurement assurance and rigorous characterization of cell behavior within three-dimensional (3D) scaffolds. Accurate benchmarking of tissue function and biosynthetic activity to cell number facilitates comparison of data across experiments and between laboratories to increase rigor and reproducibility in tissue engineering and biofabrication. Soluble, fluorescent indicators of metabolic activity are valuable, noninvasive tools for estimating viable cell number. We investigated experimental conditions in which resazurin is a reliable indicator of cell content within 3D extracellular matrix kidney and liver scaffolds, and we present recommendations on experimental methodology for its optimal use. Resazurin is reduced to resorufin in proportion to metabolic activity of viable cells. Using three renal cell lines and one hepatic cell line, we show that correlation of viable cell number with the rate of resorufin generation may deviate from linearity at higher cell density, low resazurin working volumes, and/or longer incubation times – all of which contribute to depleting the working pool of resazurin. Importantly, we also show that the resazurin reduction rate in cell-conditioned medium is about double that in fresh culture medium. This finding has the potential to increase assay sensitivity, while saving expensive media. In conclusion, while the resazurin reduction assay provides a powerful, noninvasive readout for cell growth within extracellular matrix scaffolds, assay conditions may strongly influence its applicability for accurate quantification of cell number. The approach and recommendations developed in this study to maintain the pool of reducible resazurin may be used as a guide for application-specific optimization of the resazurin reduction assay to obtain accurate measurements of cell content in bioengineered tissues

Microfabricated blood vessels undergo neoangiogenesis

The greatest ambition and promise of tissue engineering is to manufacture human organs. Before “made-to- measure” tissues can become a reality [1-3], however, three-dimensional tissues must be reconstructed and characterized. The current inability to manufacture operational vasculature has limited the growth of engineered tissues. Here, free-standing, small diameter blood vessels with organized cell layers that recapitulate normal biological functionality are fabricated using microfluidic technology. Over time in culture, the endothelial cells form a monolayer on the luminal wall and remodel the scaffold with human extracellular matrix proteins. After integration into three-dimensional gels containing fibroblasts, the microvessels sprout and generate extended hollow branches that anastomose with neighboring capillaries to form a network. Both the microfabricated vessels and the extended sprouts support perfusion of fluids and particles. The ability to create cellularized microvessels that can be designed with a diameter of choice, produced by the meter, and undergo angiogenesis and anastomoses will be an extremely valuable tool for vascularization of engineered tissues. To summarize, ultraviolet (UV) photocross linkable poly(ethylene glycol) and gelatin methacrylate polymers used in combination with sheathflow microfluidics allow for the fabrication of small diameter blood vessels which undergo neoangiogenesis as well as other developmental processes associated with normal human blood vessel maturation. Once mature, these vessels can be embedded; perfused; cryogenically stored and respond to stimuli such as chemokines and shear stresses to mimic native human blood vessels. The applications range from tissue-on-chip systems for drug screening, characterization of normal and pathologic processes, and creation and characterization of engineered tissues for organ repair

Affinity purification of bacterial outer membrane vesicles (OMVs) utilizing a His-tag mutant

To facilitate the rapid purification of bacterial outer membrane vesicles (OMVs), we developed two plasmid constructs that utilize a truncated, transmembrane protein to present an exterior histidine repeat sequence. We chose OmpA, a highly abundant porin protein, as the protein scaffold and utilized the lac promoter to allow for inducible control of the epitope-presenting construct. OMVs containing mutant OmpA-His6 were purified directly from Escherichia coli culture media on an immobilized metal affinity chromatography (IMAC) Ni-NTA resin. This enabling technology can be combined with other molecular tools directed at OMV packaging to facilitate the separation of modified/cargo-loaded OMV from their wt counterparts. In addition to numerous applications in the pharmaceutical and environmental remediation industries, this technology can be utilized to enhance basic research capabilities in the area of elucidating endogenous OMV function

SJS/TEN 2019: From science to translation.

Stevens-Johnson syndrome and toxic epidermal necrolysis (SJS/TEN) are potentially life-threatening, immune-mediated adverse reactions characterized by widespread erythema, epidermal necrosis, and detachment of skin and mucosa. Efforts to grow and develop functional international collaborations and a multidisciplinary interactive network focusing on SJS/TEN as an uncommon but high burden disease will be necessary to improve efforts in prevention, early diagnosis and improved acute and long-term management. SJS/TEN 2019: From Science to Translation was a 1.5-day scientific program held April 26-27, 2019, in Vancouver, Canada. The meeting successfully engaged clinicians, researchers, and patients and conducted many productive discussions on research and patient care needs

Updates in SJS/TEN: collaboration, innovation, and community

Stevens-Johnson Syndrome/Toxic Epidermal Necrolysis (SJS/TEN) is a predominantly drug-induced disease, with a mortality rate of 15–20%, that engages the expertise of multiple disciplines: dermatology, allergy, immunology, clinical pharmacology, burn surgery, ophthalmology, urogynecology, and psychiatry. SJS/TEN has an incidence of 1–5/million persons per year in the United States, with even higher rates globally. One of the challenges of SJS/TEN has been developing the research infrastructure and coordination to answer questions capable of transforming clinical care and leading to improved patient outcomes. SJS/TEN 2021, the third research meeting of its kind, was held as a virtual meeting on August 28–29, 2021. The meeting brought together 428 international scientists, in addition to a community of 140 SJS/TEN survivors and family members. The goal of the meeting was to brainstorm strategies to support the continued growth of an international SJS/TEN research network, bridging science and the community. The community workshop section of the meeting focused on eight primary themes: mental health, eye care, SJS/TEN in children, non-drug induced SJS/TEN, long-term health complications, new advances in mechanisms and basic science, managing long-term scarring, considerations for skin of color, and COVID-19 vaccines. The meeting featured several important updates and identified areas of unmet research and clinical need that will be highlighted in this white paper

Microfabricated blood vessels undergo neoangiogenesis

The greatest ambition and promise of tissue engineering is to manufacture human organs. Before “made-to- measure” tissues can become a reality [1-3], however, three-dimensional tissues must be reconstructed and characterized. The current inability to manufacture operational vasculature has limited the growth of engineered tissues. Here, free-standing, small diameter blood vessels with organized cell layers that recapitulate normal biological functionality are fabricated using microfluidic technology. Over time in culture, the endothelial cells form a monolayer on the luminal wall and remodel the scaffold with human extracellular matrix proteins. After integration into three-dimensional gels containing fibroblasts, the microvessels sprout and generate extended hollow branches that anastomose with neighboring capillaries to form a network. Both the microfabricated vessels and the extended sprouts support perfusion of fluids and particles. The ability to create cellularized microvessels that can be designed with a diameter of choice, produced by the meter, and undergo angiogenesis and anastomoses will be an extremely valuable tool for vascularization of engineered tissues. To summarize, ultraviolet (UV) photocross linkable poly(ethylene glycol) and gelatin methacrylate polymers used in combination with sheathflow microfluidics allow for the fabrication of small diameter blood vessels which undergo neoangiogenesis as well as other developmental processes associated with normal human blood vessel maturation. Once mature, these vessels can be embedded; perfused; cryogenically stored and respond to stimuli such as chemokines and shear stresses to mimic native human blood vessels. The applications range from tissue-on-chip systems for drug screening, characterization of normal and pathologic processes, and creation and characterization of engineered tissues for organ repair

Multidimensional liquid chromatography coupled with tandem mass spectrometry for identification of bioactive fatty acyl derivatives

© 2016 Divito, Kroniser and Cascio. Recognition of the contributions of lipids to cellular physiology, both as structural components of the membrane and as modulatory ligands for membrane proteins, has increased in recent years with the development of the biophysical and biochemical tools to examine these effects. Their modulatory roles in ion channels and transporters function have been extensively characterized, with the molecular mechanisms of these activities being the subject of intense scrutiny. The physiological significance of lipids in biochemistry is expanding as numerous fatty acyls are discovered to possess signaling properties. These bioactive lipids are often found in quantities of pmol/g of tissue and are co-extracted with numerous lipophilic molecules, making their detection and identification challenging. Common analytical methodologies involve chromatographic separation and mass spectrometric techniques; however, a single chromatographic step is typically ineffective due to the complexity of the biological samples. It is, therefore, essential to develop approaches that incorporate multiple dimensions of separation. Described in this manuscript are normal phase and reversed phase separation strategies for lipids that include detection of the bioactive primary fatty acid amides and N-acyl glycines via tandem mass spectrometry. Concerted utilization of these approaches are then used to separate and sensitively identify primary fatty acid amides extracted from homogenized tissue, using mouse brains as a test case

Software Engineering Research/Developer Collaborations

Contents include the following: Problem. Hypothesis. Approach. Importance/Benefits. Relevance to NASA. Accomplishments. Next Steps

“Data characterizing microfabricated human blood vessels created via hydrodynamic focusing”

This data article provides further detailed information related to our research article titled “Microfabricated Blood Vessels Undergo Neovascularization” (DiVito et al., 2017) [1], in which we report fabrication of human blood vessels using hydrodynamic focusing (HDF). Hydrodynamic focusing with advection inducing chevrons were used in concert to encase one fluid stream within another, shaping the inner core fluid into ‘bullseye-like” cross-sections that were preserved through click photochemistry producing streams of cellularized hollow 3-dimensional assemblies, such as human blood vessels (Daniele et al., 2015a, 2015b, 2014, 2016; Roberts et al., 2016) [2–6]. Applications for fabricated blood vessels span general tissue engineering to organ-on-chip technologies, with specific utility in in vitro drug delivery and pharmacodynamics studies. Here, we report data regarding the construction of blood vessels including cellular composition and cell positioning within the engineered vascular construct as well as functional aspects of the tissues