SEARCH · Search NASA

Results for “System Level Verification”

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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 379 records · Page 21

All sources NASA NTRS DOE OSTI

NASA NTRSDate not supplied

Overview of the NASA LISA Laser System Development

NASA Goddard Space Flight Center (GSFC) is developing the Laser System (LS) for the Laser Interferometer Space Antenna (LISA) mission, led by the European Space Agency (ESA) with a launch date of 2035. The LS under development at NASA GSFC consists of the Laser Head (LH), the Frequency Reference System (FRS), and the Power Monitor (PMON) Detector Assemblies. Since late 2017, we have been developing various models to advance the technology readiness level (TRL) for the LH from prototype (TRL4) to a system model demonstration in a relevant environment (TRL6). For the LH and FRS, the models further breakdown into the optical and electronics modules where the LH is made up of the Laser Optical Module (LOM) and the Laser Electronics Module (LEM) and the FRS consists of the FRS Optical Reference Cavity (FRS-O) and the FRS Electronics (FRS-E). The LS development follows the established NASA process in demonstrating the performance requirements [1] through the TRL4 effort and then advancing the form factor and package design to meet relevant environment requirements and qualifying the TRL6 design through rigorous testing and performance verification for space applications. The LOM for the LH is a main oscillator power amplifier (MOPA) with wavelength of 1064 nm and nominal output power of 2 Watt throughout the mission. The low-power, low-noise main oscillator (MO) is a custom micro non-planar ring oscillator (µNPRO) [2] that is phase modulated then amplified by the forward pumped ytterbium-dope fiber power amplifier (PA) stage to meet the output power requirement. The FRS is baselined on the GRACE Follow-On (GFO) [3] approach with updated FRS-E design to work with the LH-LEM. The PMON is located on the Optical Bench Assembly (OBA) [4] that samples a small portion of the LH output signal and provides the feedback signal to the LH-LEM for relative intensity noise (RIN) control. In this paper, we will report on the latest status of the LH testing and system level tests, explain the other subsystems involved in the test campaigns, and discuss the path to bring each LS subsystem to TRL6. We will also present the NASA GSFC roadmap in advancing the LISA LS to TRL6+ and plans for future system level testing as well as the preparation for space flight development to meet the LISA launch date of 2035.

amplifier↗

NASA NTRS1990

Flight motor set 360L001 (STS-26R). Volume 1: System overview, revision A

The NASA space shuttle flight STS-26R, launched at 11:37.00.009 am, EDT on 29 Sep. 1988, used the redesigned solid rocket motors (RSRM) 360L001A and 360L001B. Evaluation of the ground environment instrumentation (GEI) data recorded prior to flight showed no launch commit criteria violations; that the field joint heater and aft skirt thermal conditioning systems performed adequately; and that the GEI data showed good agreement with thermal model predictions. Evaluation of the developmental flight instrumentation (DFI) revealed excellent agreement with both the predicted and required ballistic specifications. All parameters were well within the GEI specification requirements including propellant burn rates, specific impulse values, and thrust imbalance. Recorded strain values also indicated satisfactory radial growth and stress levels, as well as verification of adequate safety factors. Postflight inspection of the insulation, seals, case, and nozzles showed overall excellent performance. Some thermal DFI protective cork was missing, and inoperative field joint vent valves on the thermal protection cork allowed water entry into the field joints upon splashdown. Evaluation of these anomalies, as well as complete evaluation of all Redesigned Solid Rocket Motor components, is contained.

Garecht, Diane M.↗

NASA NTRS1980

Data recording and processing for speckle image reconstruction

Image reconstruction from astronomical speckle data using the Knox-Thompson algorithm has now been extensively demonstrated as feasible through analysis and computer simulations. Experimental verification of the technique and its implementation for astronomy places stringent constraints on the recording system and requires complex processing algorithms to handle the many experimental details. In this paper we describe a video recording system specifically designed for the requirements of speckle imaging. This system has been built and tested, yielding high quality image reconstructions from a laboratory-atmospheric simulator for a wide range of input light levels and test objects.

Nisenson, P.↗

NASA NTRS1982

Determination of the horizontal and vertical distribution of clouds from infrared satellite sounding data

A numerical algorithm, based on a physical inversion of the radiative transfer equation, is developed to retrieve the global distribution of the horizontal cloud cover, the cloud-top pressure levels and their temperature. The algorithm makes use of infrared and microwave temperature sounding data to derive the clear-column vertical temperature profiles and then uses the same infrared sounding data to obtain the corresponding cloud parameters. Experimental verification of this method is carried out using data from the High resolution Infrared Sounder (HIRS) and the Microwave Sounding Unit (MSU) operating on the NOAA weather satellite system.

Chahine, M. T.↗

NASA NTRS1988

Flight motor set 360L001 (STS-26R), volume 1

The NASA space shuttle flight STS-26R, launched at 11:37.00.009 a.m. EDT on 29 Sep. 1988, used the redesigned solid rocket motors (RSRM) 360LOO1A and 360LOO1B. Evaluation of the ground environment instrumentation (GEI) data recorded prior to flight showed: (1) no launch commit criteria violations, (2) that the field joint heater and aft skirt thermal conditioning systems performed adequately, and (3) that the GEI data showed good agreement with thermal model predictions. Evaluation of the developmental flight instrumentation (DFI) revealed excellent agreement with both the predicted and required ballistic specifications. All parameters were well within the CEI specification requirements including propellant burn rates, specific impulse values, and thrust imbalance. Recorded strain values also indicated satisfactory radial growth and stress levels, as well as verification of adequate safety factors. Postflight inspection of the insulation, seals, case, and nozzles showed overall excellent performance. Some thermal DFI protective cork was missing, and inoperative field joint vent valves on the thermal protection cork allowed water entry into the field joints upon splashdown. Evaluation of these anomalies, as well as complete evaluation of all RSRM components, is presented.

Ricks, Glen A.↗

NASA NTRS2014

Utilizing ARC EMCS Seedling Cassettes as Highly Versatile Miniature Growth Chambers for Model Organism Experiments

The aim of our ground testing was to demonstrate the capability of safely putting specific model organisms into dehydrated stasis, and to later rehydrate and successfully grow them inside flight proven ARC EMCS seedling cassettes. The ARC EMCS seedling cassettes were originally developed to support seedling growth during space flight. The seeds are attached to a solid substrate, launched dry, and then rehydrated in a small volume of media on orbit to initiate the experiment. We hypothesized that the same seedling cassettes should be capable of acting as culture chambers for a wide range of organisms with minimal or no modification. The ability to safely preserve live organisms in a dehydrated state allows for on orbit experiments to be conducted at the best time for crew operations and more importantly provides a tightly controlled physiologically relevant growth experiment with specific environmental parameters. Thus, we performed a series of ground tests that involved growing the organisms, preparing them for dehydration on gridded Polyether Sulfone (PES) membranes, dry storage at ambient temperatures for varying periods of time, followed by rehydration. Inside the culture cassettes, the PES membranes were mounted above blotters containing dehydrated growth media. These were mounted on stainless steel bases and sealed with plastic covers that have permeable membrane covered ports for gas exchange. The results showed we were able to demonstrate acceptable normal growth of C.elegans (nematodes), E.coli (bacteria), S.cerevisiae (yeast), Polytrichum (moss) spores and protonemata, C.thalictroides (fern), D.discoideum (amoeba), and H.dujardini (tardigrades). All organisms showed acceptable growth and rehydration in both petri dishes and culture cassettes initially, and after various time lengths of dehydration. At the end of on orbit ISS European Modular Cultivation System experiments the cassettes could be frozen at ultra-low temperatures, refrigerated, or chemically preserved before being returned to Earth for analyses. Our results suggest that with protocol modifications and future verification testing we can utilize the versatile EMCS to conduct tightly controlled experiments inside our culture cassettes for a wide variety of organisms. These physiological experiments would be designed to answer questions at the molecular level about the specific stress responses of space flight.

Model Organism Experiments↗

NASA NTRS2014

MARGInS: Model-Based Analysis of Realizable Goals in Systems

Under NASAs Constellation effort, the Exploration Technology Development Program funded research toward a system validation capability that applied machine learning and test-case generation techniques to the analysis of black-box system behavior. The behavior analysis capability scaled to spaces of hundreds of input parameters and tens of thousands of test cases. Aerospace systems at the vehicle level, especially those systems which contain some level of autonomy, are best described by hybrid and non-linear mathematics. Even simplified models of such systems need parameter dimensionalities in the hundreds or thousands of parameters in order to capture sufficient fidelity. The System Safety Assessments (such as those described in the SAE ARP 4761A Safety Assessment Process guidelines) for these systems are prone to errorinteractions between the vehicles subsystems are complex, and can display emergent behaviors. NASA captured this new analysis in the Model-based Analysis of Realizable Goals in Systems (MARGInS) tool and applied it to the Pad Abort 1 (PA-1) simulation as part of the independent validation and verification cycle before the PA-1 flight test in May of 2010. MARGInS evaluated the adherence of the high-fidelity simulation to its requirements, and deter- mined the margins to failure from the expected nominal input conditions. Following the PA-1 test, the capabilities within the MARGInS framework have been extended with sophisticated statistical and white-box test case generation techniques and applied to other NASA missions. The frame- work now includes a critical factors analysis that was applied to NASAs Orion simulation and design. NASAs Aeronautics Research Mission Directorate (ARMD) leveraged the existing MARGInS framework for work on aviation safety for civil transport vehicles and for research on autonomy issues. The NASA ARMD effort created a time series output prediction capability that has been used to characterize trajectories for a plane with an adaptive control system, and a safety boundary detection capability that has been applied to an air traffic control concept of operation for the Federal Aviation Administration. The statistical and machine- learning based techniques within MARGInS have been successfully combined with concolic execution to improve the coverage of a critical unit by driving system-level inputs. The use case driving the concolic execution and MARGInS integration was inspired by the Air France 447 disaster in which the loss of a critical functionality (the airspeed calculation from the pitot tubes) led to loss of the entire plane with the people aboard. To illustrate capabilities and limitations, we will highlight the analyses for the applications listed above. We will then discuss the future plans for MARGInS and its interfaces with other tools.

Validation↗

NASA NTRS1983

The Hierarchical Specification and Mechanical Verification of the SIFT Design

The formal specification and proof methodology employed to demonstrate that the SIFT computer system meets its requirements are described. The hierarchy of design specifications is shown, from very abstract descriptions of system function down to the implementation. The most abstract design specifications are simple and easy to understand, almost all details of the realization were abstracted out, and are used to ensure that the system functions reliably and as intended. A succession of lower level specifications refines these specifications into more detailed, and more complex, views of the system design, culminating in the Pascal implementation. The section describes the rigorous mechanical proof that the abstract specifications are satisfied by the actual implementation.

Source record↗

NASA NTRS1976

Retrieval of atmospheric temperature profiles by a scanning microwave spectrometer

The Nimbus-6 satellite carries a scanning microwave spectrometer (SCAMS) experiment. The five frequency bands observed are near 22.2, 31.6, 52.8, 53.8, and 55.4 GHz. The calibration system permitted preflight calibration to an accuracy of about 1 K. In orbit, small empirical corrections were made to the calibration constants to obtain agreement in the mean of SCAMS measurements with computations based on conventional data analyzed by the National Meteorological Center (NMC). Global maps of temperature profiles were retrieved from the SCAMS measurements by a statistical method. Using the NMC analysis as the verification, RMS errors in level temperatures range of about 2-4 K, depending on altitude. Errors for layers of octave extent in pressure are uniformly about 2 K. Theoretical computations show that additional spectrometer channels would improve temperature sensing performance

Rosenkranz, P. W.↗

NASA NTRS2011

Payload and Components Real-Time Automated Test System (PACRATS), Data Acquisition of Leak Rate and Pressure Data Test Procedure

The purpose of this activity is to provide the Mechanical Components Test Facility (MCTF) with the capability to obtain electronic leak test and proof pressure data, Payload and Components Real-time Automated Test System (PACRATS) data acquisition software will be utilized to display real-time data. It will record leak rates and pressure/vacuum level(s) simultaneously. This added functionality will provide electronic leak test and pressure data at specified sampling frequencies. Electronically stored data will provide ES61 with increased data security, analysis, and accuracy. The tasks performed in this procedure are to verify PACRATS only, and are not intended to provide verifications for MCTF equipment.

Rinehart, Maegan L.↗

NASA NTRS1993

A formal language for the specification and verification of synchronous and asynchronous circuits

A formal hardware description language for the intended application of verifiable asynchronous communication is described. The language is developed within the logical framework of the Nqthm system of Boyer and Moore and is based on the event-driven behavioral model of VHDL, including the basic VHDL signal propagation mechanisms, the notion of simulation deltas, and the VHDL simulation cycle. A core subset of the language corresponds closely with a subset of VHDL and is adequate for the realistic gate-level modeling of both combinational and sequential circuits. Various extensions to this subset provide means for convenient expression of behavioral circuit specifications.

Russinoff, David M.↗

DOE OSTI2025

Eucalyptus – An Analysis Suite for Fault Trees with Uncertainty Quantification

Eucalyptus is a novel code developed at Lawrence Livermore National Laboratory to incorporate uncertainty quantification into Fault Tree Analysis (FTA). This tool addresses the challenge of imperfect knowledge in “grey-box” systems by allowing analysts to incorporate and propagate uncertainty from component-level assessments to system-level effects. Eucalyptus facilitates a consistent evaluation of the impact of subject matter expert judgment and knowledge gaps on overall system response by Monte Carlo generation of possible system fault trees, sampling probabilities of the existence of subsystems and components. Here, the code supports the specification of fault trees through text and allows export to various formats, including auto-generated images, easing analysis and reducing errors. It has undergone extensive verification testing, demonstrating its reliability and readiness for deployment, and leverages on-node parallelism for rapid analysis. Example analyses are shown that include the identification of system failure paths and quantification of the value of further information about system components.

Fault Tree Analysis↗

NASA NTRS1993

Correlation of ground tests and analyses of a dynamically scaled Space Station model configuration

Verification of analytical models through correlation with ground test results of a complex space truss structure is demonstrated. A multi-component, dynamically scaled space station model configuration is the focus structure for this work. Previously established test/analysis correlation procedures are used to develop improved component analytical models. Integrated system analytical models, consisting of updated component analytical models, are compared with modal test results to establish the accuracy of system-level dynamic predictions. Design sensitivity model updating methods are shown to be effective for providing improved component analytical models. Also, the effects of component model accuracy and interface modeling fidelity on the accuracy of integrated model predictions is examined.

Javeed, Mehzad↗

NASA NTRS1993

Correlation of ground tests and analyses of a dynamically scaled space station model configuration

Javeed, Mehzad↗

NASA NTRS2011

Closing the Gap Between Specification and Programming: VDM++ and SCALA

We argue that a modern programming language such as Scala offers a level of succinctness, which makes it suitable for program and systems specification as well as for high-level programming. We illustrate this by comparing the language with the Vdm++ specification language. The comparison also identifies areas where Scala perhaps could be improved, inspired by Vdm++. We furthermore illustrate Scala's potential as a specification language by augmenting it with a combination of parameterized state machines and temporal logic, defined as a library, thereby forming an expressive but simple runtime verification framework.

programming↗

NASA NTRS2015

Comparative Analysis of Static and Dynamic Probabilistic Risk Assessment

This study examines three different methodologies for producing loss-of-mission (LOM) and loss-of-crew (LOC) risks estimates for probabilistic risk assessments (PRA) of crewed spacecraft. The three bottom-up, component-based PRA approaches examined are a traditional static fault tree, a dynamic Monte Carlo simulation, and a fault tree hybrid that incorporates some dynamic elements. These approaches were used to model the reaction control system thruster pod of a generic crewed spacecraft and mission, and a comparative analysis of the methods is presented. The methodologies are assessed in terms of the process of modeling a system, the actionable information produced for the design team, and the overall fidelity of the quantitative risk evaluation generated. The system modeling process is compared in terms of the effort required to generate the initial model, update the model in response to design changes, and support mass-versus-risk trade studies. The results are compared by examining the top-level LOM/LOC estimates and the relative risk driver rankings at the failure mode level. The fidelity of each modeling methodology is discussed in terms of its capability to handle real-world system dynamics such as cold-sparing, changes in mission operations due to loss of redundancy, and common cause failure modes. The paper also discusses the applicability of each methodology to different phases of system development and shows that a single methodology may not be suitable for all of the many purposes of a spacecraft PRA. The fault tree hybrid approach is shown to be best suited to the needs of early assessments during conceptual design phases. As the design begins to mature, the level of detail represented in the risk model must go beyond redundancy and nominal mission operations to include dynamic, time- and state-dependent system responses as well as diverse system capabilities. This is best accomplished using the dynamic simulation approach, since these phenomena are not easily captured by static methods. Ultimately, once the design has been finalized and the goal of the PRA is to provide design validation and requirement verification, more traditional, static fault tree approaches may become as appropriate as the simulation method.

Mattenberger, Christopher J.↗

DOE OSTI2025

Serpent - Bison - THM Preliminary Multiphysics Modeling of a Nuclear Thermal Propulsion System Fuel Assembly

This work demonstrates the Monte Carlo neutronic and Thermo-Hydraulic coupling scheme using the Serpent code and MOOSE application Bison and Thermo Hydraulic Module. The coupling scheme is then applied to the reference BWX Technologies Nuclear Ther- mal Propulsion system at he fuel assembly level where it’s used to perform an analysis of the isothermal material coefficients and potential material reactivity worth. A method is developed to isolate which feedback effects should be considered for proceeding with reduced order deterministic neutronic modeling where branch off analysis must be con- ducted. The convergence behavior of the coupling scheme is demonstrated where it fol- lows the standard Picard iteration approach. Verification studies for the method of deduc- ing relevant feedback effects is also demonstrated.

22 - GENERAL STUDIES OF NUCLEAR REACTORS↗

NASA NTRS1998

Verification and Quantification of Single Event Effects on High Speed SRAM in Terrestrial Environments

As integrated circuits become more sensitive to charged particles and neutrons, anomalous performance due to single event effects (SEE) is a concern and requires experimental verification and quantification. The Center for Applied Radiation Research (CARR) at Prairie View A&M University has developed experiments as a participant in the NASA ER-2 Flight Program, the APEX balloon flight program and the Student Launch Program. Other high altitude and ground level experiments of interest to DoD and commercial applications are being developed. The experiment characterizes the SEE behavior of high speed and high density SRAM's. The system includes a PC-104 computer unit, an optical drive for storage, a test board with the components under test, and a latchup detection and reset unit. The test program will continuously monitor the stored checkerboard data pattern in the SW and record errors. Since both the computer and the optical drive contain integrated circuits, they are also vulnerable to radiation effects. A latchup detection unit with discrete components will monitor the test program and reset the system when necessary. The first results will be obtained from the NASA ER-2 flights, which are now planned to take place in early 1998 from Dryden Research Center in California. The series of flights, at altitudes up to 70,000 feet, and a variety of flight profiles should yield a distribution of conditions for correlating SEES. SEE measurements will be performed from the time of aircraft power-up on the ground throughout the flight regime until systems power-off after landing.

Huff, H.↗