Floating-point Round-off Error Analysis of Safety-critical Avionics Software
Explore the source record for details and available documents.
static analysis↗
SEARCH · Search NASA
Results for “criticality analysis”
Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.
Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.
CI-MOR Final Report: Analysis and Validation of Critical Infrastructure Models using Model Order Reduction
This report summarizes the research and capabilities developed as part of the project “Analysis and Validation of Critical Infrastructure Models using Model Order Reduction” (CI-MOR) LDRD project. CI-MOR research enables the solution of large, complex optimization models that naturally arise in national security challenges involving critical infrastructures. Specifically, CI-MOR researchers developed methods to (1) rigorously approximate complex, nonlinear optimization formulations, (2) identify alternative near-optimal solutions, (3) accelerate optimization workflows used for complex applications, and (4) rigorously integrate domain knowledge in stochastic-process models. This report provides an overview of the research done in CI-MOR, and we describe application exemplars used to illustrate CI-MOR capabilities. Furthermore, we describe the software developed by CI-MOR that researchers can leverage to analyze new applications.
97 MATHEMATICS AND COMPUTING↗
Nanoscale Test Strips for Multiplexed Blood Analysis
A critical component of the DNA Medicine Institute's Reusable Handheld Electrolyte and Lab Technology for Humans (rHEALTH) sensor are nanoscale test strips, or nanostrips, that enable multiplexed blood analysis. Nanostrips are conceptually similar to the standard urinalysis test strip, but the strips are shrunk down a billionfold to the microscale. Each nanostrip can have several sensor pads that fluoresce in response to different targets in a sample. The strips carry identification tags that permit differentiation of a specific panel from hundreds of other nanostrip panels during a single measurement session. In Phase I of the project, the company fabricated, tested, and demonstrated functional parathyroid hormone and vitamin D nanostrips for bone metabolism, and thrombin aptamer and immunoglobulin G antibody nanostrips. In Phase II, numerous nanostrips were developed to address key space flight-based medical needs: assessment of bone metabolism, immune response, cardiac status, liver metabolism, and lipid profiles. This unique approach holds genuine promise for space-based portable biodiagnostics and for point-of-care (POC) health monitoring and diagnostics here on Earth.
Chan, Eugene↗
Critical Material Supply Chain Analysis: Magnetocalorics
Understanding manufacturing cost and supply chain implications of technologies is critical to aid adoption of next-generation energy solutions, such as advanced heating ventilation and air conditioning (HVAC) equipment for building energy efficiency. This report provides insights into the market, regulatory, technology, and cost drivers most impacting the adoption of magnetocaloric refrigeration (MCR) systems in the U.S., with a focus on the rare earth materials requirements, manufacturing costs of key components, and detail on the supply chain of critical materials.
32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗
Test and Analysis of Buckling-Critical Stiffened Metallic Launch Vehicle Cylinders
A summary of a NASA design analysis and test program on the buckling of large-scale, integrally-stiffened metallic cylinders is presented. The test article designs were developed based on proposed NASA launch vehicle cylinder designs and span a significant portion of the design space. Various loading conditions were applied to the cylinders and include different combinations of axial compression, bending, and internal pressure loads that simulate typical launch vehicle loading scenarios. The data gathered from this test program is being used to develop and validate new analysis-based knockdown factors and design guidelines for these stiffened metallic cylinders. In this paper, the test article designs and fabrication methods are described along with the test facilities and instrumentation. Selected test and finite element analysis results are presented and compared and are used to illustrate the typical response characteristics of the stiffened metallic cylinders considered. Overall, good qualitative agreement is found, however, several discrepancies in the results were identified across several of the tests. The discrepancies were investigated thoroughly and can be attributed to variations in the as-built skin and stiffener geometry, variations in the measured geometric imperfection, and modeling assumptions associated with the boundary conditions, and loading imperfections. Based on these findings, several refinements were made to the finite element models which significantly improved the correlation between the test and analysis results. These modeling refinements are described and the updated analysis results are presented.
Hilburger, Mark W.↗
Critical composite joint subcomponents: Analysis and test results
This program has been conducted to develop the technology for critical structural joints of a composite wing structure meeting design requirements for a 1990 commercial transport aircraft. A prime objective of the program was to demonstrate the ability to reliably predict the strength of large bolted composite joints. Load sharing between bolts in multirow joints was computed by a nonlinear analysis program (A4FJ) which was used both to assess the efficiency of different joint design concepts and to predict the strengths of large test articles representing a section from a wing root chord-wise splice. In most cases, the predictions were accurate to within a few percent of the test results. A highlight of these tests was the consistent ability to achieve gross-section failure strains on the order of 0.005 which represents a considerable improvement over the state of the art. The improvement was attained largely as the result of the better understanding of the load sharing in multirow joints provided by the analysis. The typical load intensity on the structural joints was about 40 to 45 thousand pound per inch in laminates having interspersed 37 1/2-percent 0-degree plies, 50-percent + or - 45-degrees plies and 12 1/2-percent 90-degrees plies. The composite material was Toray 300 fiber and Ciba-Geigy 914 resin, in the form of 0.010-inch thick unidirectional tape.
Bunin, B. L.↗
An ontology-based fault generation and fault propagation analysis approach for safety-critical computer systems at the design stage
Abstract Fault propagation analysis is a process used to determine the consequences of faults residing in a computer system. A typical computer system consists of diverse components (e.g., electronic and software components), thus, the faults contained in these components tend to possess diverse characteristics. How to describe and model such diverse faults, and further determine fault propagation through different components are challenging problems to be addressed in the fault propagation analysis. This paper proposes an ontology-based approach, which is an integrated method allowing for the generation, injection, and propagation through inference of diverse faults at an early stage of the design of a computer system. The results generated by the proposed framework can verify system robustness and identify safety and reliability risks with limited design level information. In this paper, we propose an ontological framework and its application to analyze an example safety-critical computer system. The analysis result shows that the proposed framework is capable of inferring fault propagation paths through software and hardware components and is effective in predicting the impact of faults.
97 MATHEMATICS AND COMPUTING↗
Interpretable machine learning models classify minerals via spectroscopy
Developing methods to identify mineral species confidently and rapidly from Raman spectral analysis is critical to numerous fields. Traditionally, analysis relies on pattern matching the Raman spectrum of an unknown dataset with a supporting library of well-characterized spectral data, which may prove difficult for environmental samples that are poorly crystalline or phase mixtures. Here, we developed interpretable machine learning models that can classify uranium minerals by secondary oxyanion chemistry and other physicochemical properties based solely on Raman spectra. This new ML method produces a mineral profile of physical and chemical properties for an unknown sample and can rapidly classify or identify unknown minerals from Raman data, without the need for an exact pattern match in a spectral library. Training models are validated by 1. Strong correlation of high confidence model regions with published spectroscopic assignments and 2. Correct classification of a mineral not present in training data. Training data are from the Compendium of Uranium Raman and Infrared Experimental Spectra and available crystallographic information files within the open-source Smart Spectral Matching scientific framework. Physically meaningful classifier models can rapidly identify key structural and chemical information about unknown uranium minerals and the overall methodology is broadly applicable for mineral phases.
Machine learning↗
Considerations in STS payload environmental verification
Considerations regarding the Space Transportation System (STS) payload environmental verification are reviewed. It is noted that emphasis is placed on testing at the subassembly level and that the basic objective of structural dynamic payload verification is to ensure reliability in a cost-effective manner. Structural analyses consist of: (1) stress analysis for critical loading conditions, (2) model analysis for launch and orbital configurations, (3) flight loads analysis, (4) test simulation analysis to verify models, (5) kinematic analysis of deployment/retraction sequences, and (6) structural-thermal-optical program analysis. In addition to these approaches, payload verification programs are being developed in the thermal-vacuum area. These include the exposure to extreme temperatures, temperature cycling, thermal-balance testing and thermal-vacuum testing.
Keegan, W. B.↗
Customer premise service study for 30/20 GHz satellite system
Satellite systems in which the space segment operates in the 30/20 GHz frequency band are defined and compared as to their potential for providing various types of communications services to customer premises and the economic and technical feasibility of doing so. Technical tasks performed include: market postulation, definition of the ground segment, definition of the space segment, definition of the integrated satellite system, service costs for satellite systems, sensitivity analysis, and critical technology. Based on an analysis of market data, a sufficiently large market for services is projected so as to make the system economically viable. A large market, and hence a high capacity satellite system, is found to be necessary to minimize service costs, i.e., economy of scale is found to hold. The wide bandwidth expected to be available in the 30/20 GHz band, along with frequency reuse which further increases the effective system bandwidth, makes possible the high capacity system. Extensive ground networking is required in most systems to both connect users into the system and to interconnect Earth stations to provide spatial diversity. Earth station spatial diversity is found to be a cost effective means of compensating the large fading encountered in the 30/20 GHz operating band.
Milton, R. T.↗
Managing Risk to Ensure a Successful Cassini/Huygens Saturn Orbit Insertion (SOI)
I. Design: a) S/C designed to be largely single fault tolerant; b) Operate in flight demonstrated envelope, with margin; and c) Strict compliance with requirements & flight rules. II. Test: a) Baseline, fault & stress testing using flight system testbeds (H/W & S/W); b) In-flight checkout & demos to remove first time events. III. Failure Analysis: a) Critical event driven fault tree analysis; b) Risk mitigation & development of contingencies. IV) Residual Risks: a) Accepted pre-launch waivers to Single Point Failures; b) Unavoidable risks (e.g. natural disaster). V) Mission Assurance: a) Strict process for characterization of variances (ISAs, PFRs & Waivers; b) Full time Mission Assurance Manager reports to Program Manager: 1) Independent assessment of compliance with institutional standards; 2) Oversight & risk assessment of ISAs, PFRs & Waivers etc.; and 3) Risk Management Process facilitator.
risk managment↗
Bioastronautics Roadmap: A Risk Reduction Strategy for Human Space Exploration
The Bioastronautics Critical Path Roadmap is the framework used to identify and assess the risks to crews exposed to the hazardous environments of space. It guides the implementation of research strategies to prevent or reduce those risks. Although the BCPR identifies steps that must be taken to reduce the risks to health and performance that are associated with human space flight, the BCPR is not a "critical path" analysis in the strict engineering sense. The BCPR will evolve to accommodate new information and technology development and will enable NASA to conduct a formal critical path analysis in the future. As a management tool, the BCPR provides information for making informed decisions about research priorities and resource allocation. The outcome-driven nature of the BCPR makes it amenable for assessing the focus, progress and success of the Bioastronautics research and technology program. The BCPR is also a tool for communicating program priorities and progress to the research community and NASA management.
Source record↗
Critical Roles of Information, Analysis, Research, and Operations in the Cyber Realm
PNNL has developed an adaptive cyber integration framework (ACIF) to facilitate the timely sharing of cyber threat information along with the advancement of situational awareness tools to enhance protection against and respond to critical infrastructure cybersecurity threats. The ACIF comprises components implemented iteratively to achieve research and mission goals. The ACIF components include data generation technologies, analytic tools development and maturation, data enrichment and fusion, trust building with stakeholders, investigative research, analytic rigor, production, and dissemination. Each component, its importance to the ACIF, and how they can be adopted and applied across other information-sharing sectors and domains are discussed in this paper.
Cyber Threat Intelligence, Cyber Security, Data En↗
Analysis of uranyl fluoride solution reactors containing voided tubes
Critical experiments analysis of uranyl fluoride solution reactors containing large-diameter voided tubes
Mayo, W.↗
Hand Calculations for Nuclear Criticality Safety – Primer Revision
The document “ Hand Calculation Methods for Criticality Safety – A Primer, ” was published by the authors (Los Alamos National Laboratory report LA-14244-M) in December 2006 to provide an overview of the most common hand calculation methods used for criticality safety analysis. Hand calculation methods can be used as a starting point for more advanced calculations, and in many circumstances, they can provide sensitivity and perturbation information quicker than using a criticality code, such as KENO or MCNP. This report has been revised to augment existing basis information and example problems for each of the methods discussed: 1-group and modified 1- group diffusion theory, core-density conversions, buckling conversions, limiting surface density method, density analog method, surface density method, and solid angle method. This primer discusses the applicability of the various methods, illustrates how they are used, and provides an interpretation of the example problem results. The example problems provided are simple, practical problems, and the reference data to solve each example problem is provided. This paper will provide an overview of the Primer revision and how it can be useful for new Nuclear Criticality Safety practitioners.
73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗
Hand Calculations for Nuclear Criticality Safety — Primer Revision [Abstract]
The document “ Hand Calculation Methods for Criticality Safety –A Primer, ” was published by the authors (Los Alamos National Laboratory report LA-14244-M) in December 2006 to provide an overview of the most common hand calculation methods used for criticality safety analysis. Hand calculation methods can be used as a starting point for more advanced calculations, and in many circumstances, they can provide sensitivity and perturbation information quicker than using a criticality code, such as KENO or MCNP. This report has been revised to augment existing basis information and example problems for each of the methods discussed: 1-group and modified 1-group diffusion theory, core-density conversions, buckling conversions, limiting surface density method, density analog method, surface density method, and solid angle method. This primer discusses the applicability of the various methods, illustrates how they are used, and provides an interpretation of the example problem results. The example problems provided are simple, practical problems, and the reference data to solve each example problem is provided. This paper will provide an overview of the Primer revision and how it can be useful for new Nuclear Criticality Safety practitioners.
96 KNOWLEDGE MANAGEMENT AND PRESERVATION↗
Industrial and Critical Infrastructure Security: Technical Analysis of Real-Life Security Incidents
Not Available
42 ENGINEERING↗
Design and Analysis of Buckling-Critical Large-Scale Sandwich Composite Cylindrical Test Articles
It has long been established in the literature that the buckling response of thin-shell structures can be very sensitive to the presence of small geometric and loading imperfections. The Shell Buckling Knockdown Factor Project (SBKF) was established by the NASA Engineering and Safety Center (NESC) to develop analysis-based shell buckling design recommendations for stiffened-metallic and composite launch-vehicle shell structures. Large-scale buckling tests were used to validate the modeling and analysis methods applied in developing these analysis-based recommendations. Herein, the test article design methodology for 8-ft-diameter, honeycomb-core sandwich composite cylinder validation tests is discussed and cylinder designs are presented. In this methodology, first, the sandwich composite design space was defined using several nondimensional parameters, and the desired test article design space was determined by examining the designs of launch-vehicle cylinder structures. Essentially all test article designs within certain design parameters were generated and then downselected based on simple closed-form failure calculations and the nondimensional design-space parameters. Four of these designs that spanned a significant portion of the design space of interest and had global buckling as the first predicted failure mode were selected and subjected to higher-fidelity finite element analyses (FEAs): shell-element-based analyses, axisymmetric-element-based analyses, and global-local analyses. The analysis flow discussed in this report supported the design objective. As the analysis flow progressed, designs were downselected so the fidelity of the analysis methods, and consequently their computational cost and accuracy, was increased. The selection of the FEA types created an analysis framework where particular methods complemented each other and reduced the uncertainty of the predicted test article responses. The analysis results are illustrated using several designs when the computationally expeditious closed-form analysis stage is discussed. Once this stage is complete, the higher-fidelity FEA types are illustrated using one selected detailed test article design. Both perfect and imperfect test article geometries were considered.
Buckling↗