Search NASA⌕ Search

SEARCH · Search NASA

Results for “Design 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.

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

At least 163 records · Page 9

Development of a static feed water electrolysis system

A one person level oxygen generation subsystem was developed and production of the one person oxygen metabolic requirements, 0.82 kg, per day was demonstrated without the need for condenser/separators or electrolyte pumps. During 650 hours of shakedown, design verification, and endurance testing, cell voltages averaged 1.62 V at 206 mA/sq cm and at average operating temperature as low as 326 K, virtually corresponding to the state of the art performance previously established for single cells. This high efficiency and low waste heat generation prevented maintenance of the 339 K design temperature without supplemental heating. Improved water electrolysis cell frames were designed, new injection molds were fabricated, and a series of frames was molded. A modified three fluid pressure controller was developed and a static feed water electrolysis that requires no electrolyte in the static feed compartment was developed and successfully evaluated.

Schubert, F. H.↗

The role of failure/problems in engineering: A commentary of failures experienced - lessons learned

The written version of a series of seminars given to several aerospace companies and three NASA centers are presented. The results are lessons learned through a study of the problems experienced in 35 years of engineering. The basic conclusion is that the primary cause of problems has not been mission technologies, as important as technology is, but the neglect of basic principles. Undergirding this is the lack of a systems focus from determining requirements through design, verification, and operations phases. Many of the concepts discussed are fundamental to total quality management (TQM) and can be used to augment this product enhanced philosophy. Fourteen principles are addressed with problems experienced and are used as examples. Included is a discussion of the implication of constraints, poorly defined requirements, and schedules. Design guidelines, lessons learned, and future tasks are listed. Two additional sections are included that deal with personal lessons learned and thoughts on future thrusts (TQM).

Ryan, R. S.↗

Development of Lightweight Material Composites to Insulate Cryogenic Tanks for 30-Day Storage in Outer Space

A conceptual design was developed for an MLI system which will meet the design constraints of an ILRV used for 7- to 30-day missions. The ten tasks are briefly described: (1) material survey and procurement, material property tests, and selection of composites to be considered; (2) definition of environmental parameters and tooling requirements, and thermal and structural design verification test definition; (3) definition of tanks and associated hardware to be used, and definition of MLI concepts to be considered; (4) thermal analyses, including purge, evacuation, and reentry repressurization analyses; (5) structural analyses (6) thermal degradation tests of composite and structural tests of fastener; (7) selection of MLI materials and system; (8) definition of a conceptual MLI system design; (9) evaluation of nondestructive inspection techniques and definition of procedures for repair of damaged areas; and (10) preparation of preliminary specifications.

Krause, D. R.↗

Development Status of the NASA 30-cm Ion Thruster and Power Processor

Xenon ion propulsion systems are being developed by NASA Lewis Research Center and the Jet Propulsion Laboratory to provide flight qualification and validation for planetary and earth-orbital missions. In the ground-test element of this program, light-weight (less than 7 kg), 30 cm diameter ion thrusters have been fabricated, and preliminary design verification tests have been conducted. At 2.3 kW, the thrust, specific impulse, and efficiency were 91 mN, 3300 s, and 0.65, respectively. An engineering model thruster is now undergoing a 2000 h wear-test. A breadboard power processor is being developed to operate from an 80 V to 120 V power bus with inverter switching frequencies of 50 kHz. The power processor design is a pathfinder and uses only three power supplies. The projected specific mass of a flight unit is about 5 kg/kW with an efficiency of 0.92 at the full-power of 2.5 kW. Preliminary integration tests of the neutralizer power supply and the ion thruster have been completed. Fabrication and test of the discharge and beam/accelerator power stages are underway.

Sovey, James S.↗

Rapid Cycle Amine 4.0 System Development

Carbon dioxide (CO2) and humidity control is a key function of the spacesuit Portable Life Support Subsystem (PLSS). The latest spacesuit design utilizes a pressure swing bed containing a solid amine sorbent to scrub CO2 and humidity produced by the crewmember from the ventilation loop. The solid amine sorbent removes CO2 and humidity from the ventilation loop through a chemisorption mechanism. Simultaneously, CO2 and humidity are desorbed to vacuum via the two-bed pressure swing system during operation. This continuous regeneration allows for longer Extravehicular Activity (EVA) times while minimizing maintenance, consumables, and power usage. This concept has been in development for over 20 years, during which many prototypes and design iterations have been fabricated and evaluated. This paper discusses the recent Rapid Cycle Amine (RCA) design, development, and testing that has been done to advance the technology. The most recent fabrication is the RCA 3.0. It was delivered to NASA Johnson Space Center in 2015 and has since been tested at the component level and at the integrated PLSS level. The purpose of the component level testing was to understand CO2 removal capacity, end-of-life performance, and establish a baseline performance prior to integrated testing. The RCA 3.0 was integrated into the Exploration Extravehicular Mobility Unit (xEMU) PLSS for a comprehensive Design Verification Test (DVT) series. The integrated testing provided the benefit of characterizing the impact performance degradation has on the system. Many of the RCA requirements were developed through analysis, based on the limitations of the PLSS and, in some cases, assumptions about the system and flow behavior. Integrated testing was an opportunity to validate those requirements and assumptions. While the RCA 3.0 was being tested, the next design iteration, RCA 4.0, was under development. The RCA 4.0 preliminary design phase began in late-2019 and shortly after the Preliminary Design Review, the critical design phase began in 2021. The design work has concluded with the completion of a Pre-Manufacturing Review in 2022. This paper provides an overview of the RCA 4.0 system design, summarizes the results of integrated RCA 3.0 testing, and discusses the pertinence of driving requirements such as mass, volume, and power consumption.

Kelsey Bloom↗

Shuttle Radar Topography Mission (SRTM) Flight System Design and Operations Overview

This paper provides an overview of the Shuttle Radar Topography Mission (SRTM), with emphasis on flight system implementation and mission operations from systems engineering perspective. Successfully flown in February, 2000, the SRTM's primary payload consists of several subsystems to form the first spaceborne dual-frequency (C-band and X-band) fixed baseline interferometric synthetic aperture radar (InSAR) system, with the mission objective to acquire data sets over 80% of Earth's landmass for height reconstruction. The paper provides system architecture, unique design features, engineering budgets, design verification, in-flight checkout and data acquisition of the SRTM payload, in particular for the C-band system. Mission operation and post-mission data processing activities are also presented. The complexity of the SRTM as a system, the ambitious mission objective, the demanding requirements and the high interdependency between multi-disciplined subsystems posed many challenges. The engineering experience and the insight thus gained have important implications for future spaceborne interferometric SAR mission design and implementation.

Shen, Yuhsyen↗

Applying Monte Carlo Simulation to Launch Vehicle Design and Requirements Verification

- This presentation applies statistics to launch vehicle design, but the methods may be used for other engineering applications - Vehicle Models: What do we know when? How to separate parameters for making Monte Carlo runs - Known when assembling the vehicle but not during design - Known prior to committing to flight - Unknown at lift off - How do we correctly model the vehicle during the design phases? - Number of Monte Carlo samples - Requirements success - Design parameter values

Monte Carlo↗

Rocket Sled Propelled Testing of a Supersonic Inflatable Aerodynamic Decelerator

Decelerators (IADs) have traditionally been tested in wind tunnels. As the limitations of these test facilities are reached, other avenues must be pursued. The IAD being tested is a Supersonic IAD (SIAD), which attaches just aft of the heatshield around the perimeter of an entry body. This 'attached torus' SIAD is meant to improve the accuracy of landing for robotic class missions to Mars and allow for potentially increased payloads. The SIAD Design Verification (SDV) test aims to qualify the SIAD by applying a targeted aerodynamic load to the vehicle. While many test architectures were researched, a rocket sled track was ultimately chosen to be the most cost effective way to achieve the desired dynamic pressures. The Supersonic Naval Ordnance Research Track (SNORT) at the Naval Air Warfare Center Weapons Division (NAWCWD) China Lake is a four mile test track, traditionally used for warhead and ejection seat testing. Prior to SDV, inflatable drag bodies have been tested on this particular track. Teams at Jet Propulsion Laboratory (JPL) and NAWCWD collaborate together to design and fabricate one of the largest sleds ever built. The SDV sled is comprised of three individual sleds: a Pusher Sled which holds the solid booster rockets, an Item Sled which supports the test vehicle, and a Camera Sled that is pushed in front for in-situ footage and measurements. The JPL-designed Test Vehicle has a full-scale heatshield shape and contains all instrumentation and inflation systems necessary to inflate and test a SIAD. The first campaign that is run at SNORT tested all hardware and instrumentation before the SIAD was ready to be tested. For each of the three tests in this campaign, the number of rockets and top speed was increased and the data analyzed to ensure the hardware is safe at the necessary accelerations and aerodynamic loads.

Supersonic Inflatable Aerodynamic Decelerators (SI↗

Ground Based Microgravity Emissions Testing Of Flight Hardware

To control microgravity environment on the International Space Station (ISS), NASA developed payloads have to meet the payload integration requirements of the Space Station Program, specifically a microgravity allocation plan. The Microgravity Emissions Laboratory (MEL) was developed at NASA Glenn Research Center (GRC) for verification of the payloads compliance with payload integration requirements. MEL is a 6 degree of freedom inertial measurement system capable of characterizing the microgravity emissions, generated by a disturber, down to a micro g. Microgravity Emissions tests provide a payload developer with a tool to assess payload's compliance with the requirements, i.e. forces and moments, generated by the payload at its center of gravity. Forces and moments are presented in time domain for both stationary and transient signals, and in frequency domain for the stationary signals. To date, MEL conducted over thirty tests of ISS hardware. The test results are being successfully used by the payload developers for design verification and improvement.

Samorezov, Sergey↗

Work Practice Simulation of Complex Human-Automation Systems in Safety Critical Situations: The Brahms Generalized berlingen Model

The transition from the current air traffic system to the next generation air traffic system will require the introduction of new automated systems, including transferring some functions from air traffic controllers to on­-board automation. This report describes a new design verification and validation (V&V) methodology for assessing aviation safety. The approach involves a detailed computer simulation of work practices that includes people interacting with flight-critical systems. The research is part of an effort to develop new modeling and verification methodologies that can assess the safety of flight-critical systems, system configurations, and operational concepts. The 2002 Ueberlingen mid-air collision was chosen for analysis and modeling because one of the main causes of the accident was one crew's response to a conflict between the instructions of the air traffic controller and the instructions of TCAS, an automated Traffic Alert and Collision Avoidance System on-board warning system. It thus furnishes an example of the problem of authority versus autonomy. It provides a starting point for exploring authority/autonomy conflict in the larger system of organization, tools, and practices in which the participants' moment-by-moment actions take place. We have developed a general air traffic system model (not a specific simulation of Überlingen events), called the Brahms Generalized Ueberlingen Model (Brahms-GUeM). Brahms is a multi-agent simulation system that models people, tools, facilities/vehicles, and geography to simulate the current air transportation system as a collection of distributed, interactive subsystems (e.g., airports, air-traffic control towers and personnel, aircraft, automated flight systems and air-traffic tools, instruments, crew). Brahms-GUeM can be configured in different ways, called scenarios, such that anomalous events that contributed to the Überlingen accident can be modeled as functioning according to requirements or in an anomalous condition, as occurred during the accident. Brahms-GUeM thus implicitly defines a class of scenarios, which include as an instance what occurred at Überlingen. Brahms-GUeM is a modeling framework enabling "what if" analysis of alternative work system configurations and thus facilitating design of alternative operations concepts. It enables subsequent adaption (reusing simulation components) for modeling and simulating NextGen scenarios. This project demonstrates that BRAHMS provides the capacity to model the complexity of air transportation systems, going beyond idealized and simple flights to include for example the interaction of pilots and ATCOs. The research shows clearly that verification and validation must include the entire work system, on the one hand to check that mechanisms exist to handle failures of communication and alerting subsystems and/or failures of people to notice, comprehend, or communicate problematic (unsafe) situations; but also to understand how people must use their own judgment in relating fallible systems like TCAS to other sources of information and thus to evaluate how the unreliability of automation affects system safety. The simulation shows in particular that distributed agents (people and automated systems) acting without knowledge of each others' actions can create a complex, dynamic system whose interactive behavior is unexpected and is changing too quickly to comprehend and control.

complex systems↗

Comparison of Exploration Portable Life Support Subsystem (xPLSS) Thermal Modeling to Thermal Vacuum Testing

To support NASA’s goal to return to the Moon through the Artemis mission, the development of an exploration portable life support system (xPLSS) has been conducted at Johnson Space Center (JSC). As part of this development process, a large system level thermal/fluid model of the xPLSS was developed using Thermal Desktop and an in-house human model (METMAN). The xPLSS model was used throughout the design process to predict the performance and temperature of nearly all components within the xPLSS. In the fall of 2023, the design, verification, and testing (DVT) unit of the xPLSS was tested in a thermal vacuum (TVAC) chamber at JSC. This testing consisted of combining the xPLSS with an upper torso of the exploration pressure garment system (xPGS) and simulating five extravehicular activities (EVAs) in extreme thermal conditions (two cold EVAs and three hot EVAs). The data generated in this test series provided system level data of the xPLSS operating in vacuum and at flight-like environmental temperatures for the first time. This data was compared to results output by the xPLSS system model to assess the accuracy of previous analyses and improve the fidelity and accuracy of the xPLSS system model. The comparison between model and test hardware provides valuable insight that will help improve the design and fidelity of next generation space suits. In general, comparison between test data and model data generally showed slightly un-conservative values (model predicting colder temperatures than test in hot environments, and hotter temperatures than test in cold environments). Model assumptions and test assumptions were assessed to understand potential causes of some of these sources in error. Recommendations to improve the fidelity of the xPLSS model were also made based on the results presented in this paper.

xPLSS↗

Comparison of Exploration Portable Life Support Subsystem (xPLSS) Thermal Modeling to Thermal Vacuum Testing

To support NASA’s goal to return to the Moon through the Artemis Mission, the development of an Exploration Portable Life Support Subsystem (xPLSS) has been conducted at Johnson Space Center (JSC). As part of this development process, a large system level thermal/fluid model of the xPLSS was developed using Thermal Desktop and an in-house human model (METMAN). The xPLSS model was used throughout the design process to predict the performance and temperature of nearly all components within the xPLSS. In the fall of 2023, the Design, Verification, and Testing (DVT) unit of the xPLSS was tested in a thermal vacuum (TVAC) chamber at JSC. This testing consisted of combining the xPLSS with an upper torso of the Exploration Pressure Garment System (xPGS) and simulating five Extravehicular Activities (EVAs) in extreme thermal conditions (two cold EVAs and three hot EVAs). The data generated in this test series provided system level data of the xPLSS operating in vacuum and at flight-like environmental temperatures for the first time. These data were compared to results output by the xPLSS system model to assess the accuracy of previous analyses and improve the fidelity and accuracy of the xPLSS system model. The comparison between model and test hardware provides valuable insight that will help improve the design and fidelity of next generation space suits. In general, comparison between test data and model data generally showed slightly un-conservative values (model predicting colder temperatures than test in hot environments, and hotter temperatures than test in cold environments). Model assumptions and test assumptions were assessed to understand potential causes of some of these sources in error. Recommendations to improve the fidelity of the xPLSS model were also made based on the results presented in this paper.

xPLSS↗

Progress in Spacecraft Environment Interactions: International Space Station (ISS) Development and Operations

The set of spacecraft interactions with the space flight environment that have produced the largest impacts on the design, verification, and operation of the International Space Station (ISS) Program during the May 2000 to May 2007 time frame are the focus of this paper. In-flight data, flight crew observations, and the results of ground-based test and analysis directly supporting programmatic and operational decision-making are reported as are the analysis and simulation efforts that have led to new knowledge and capabilities supporting current and future space explorations programs. The specific spacecraft-environment interactions that have had the greatest impact on ISS Program activities during the first several years of flight are: 1) spacecraft charging, 2) micrometeoroids and orbital debris effects, 3) ionizing radiation (both total dose to materials and single event effects [SEE] on avionics), 4) hypergolic rocket engine plume impingement effects, 5) venting/dumping of liquids, 6) spacecraft contamination effects, 7) neutral atmosphere and atomic oxygen effects, 8) satellite drag effects, and 9) solar ultraviolet effects. Orbital inclination (51.6deg) and altitude (nominally between 350 km and 460 km) determine the set of natural environment factors affecting the performance and reliability of materials and systems on ISS. ISS operates in the F2 region of Earth s ionosphere in well-defined fluxes of atomic oxygen, other ionospheric plasma species, solar UV, VUV, and x-ray radiation as well as galactic cosmic rays, trapped radiation, and solar cosmic rays. The micrometeoroid and orbital debris environment is an important determinant of spacecraft design and operations in any orbital inclination. The induced environment results from ISS interactions with the natural environment as well as environmental factors produced by ISS itself and visiting vehicles. Examples include ram-wake effects, hypergolic thruster plume impingement, materials out-gassing, venting and dumping of fluids, and specific photovoltaic (PV) power system interactions with the ionospheric plasma. Vehicle size (L) and velocity (v), combined with the magnitude and direction of the geomagnetic field (B) produce operationally significant magnetic induction voltages (VxB.L) in ISS conducting structure during high latitude flight (>+/- 45deg) during each orbit. In addition, ISS is a large vehicle and produces a deep wake structure from which both ionospheric plasma and neutrals species are largely excluded. ISS must fly in a very limited number of approved flight attitudes, so that exposure of a particular material or system to environmental factors depends upon: 1) location on ISS, 2) ISS flight configuration, 3) ISS flight attitude, and 4) variation of solar exposure (Beta angle), and hence thermal environment, with time. Finally, an induced ionizing radiation environment is produced by trapped radiation and solar/cosmic ray interactions with the relatively massive ISS structural shielding.

Koontz, Steve↗

Proceedings of the First NASA Formal Methods Symposium

Topics covered include: Model Checking - My 27-Year Quest to Overcome the State Explosion Problem; Applying Formal Methods to NASA Projects: Transition from Research to Practice; TLA+: Whence, Wherefore, and Whither; Formal Methods Applications in Air Transportation; Theorem Proving in Intel Hardware Design; Building a Formal Model of a Human-Interactive System: Insights into the Integration of Formal Methods and Human Factors Engineering; Model Checking for Autonomic Systems Specified with ASSL; A Game-Theoretic Approach to Branching Time Abstract-Check-Refine Process; Software Model Checking Without Source Code; Generalized Abstract Symbolic Summaries; A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing; Component-Oriented Behavior Extraction for Autonomic System Design; Automated Verification of Design Patterns with LePUS3; A Module Language for Typing by Contracts; From Goal-Oriented Requirements to Event-B Specifications; Introduction of Virtualization Technology to Multi-Process Model Checking; Comparing Techniques for Certified Static Analysis; Towards a Framework for Generating Tests to Satisfy Complex Code Coverage in Java Pathfinder; jFuzz: A Concolic Whitebox Fuzzer for Java; Machine-Checkable Timed CSP; Stochastic Formal Correctness of Numerical Algorithms; Deductive Verification of Cryptographic Software; Coloured Petri Net Refinement Specification and Correctness Proof with Coq; Modeling Guidelines for Code Generation in the Railway Signaling Context; Tactical Synthesis Of Efficient Global Search Algorithms; Towards Co-Engineering Communicating Autonomous Cyber-Physical Systems; and Formal Methods for Automated Diagnosis of Autosub 6000.

Denney, Ewen↗

5KW pulse width modulated static inverter

Design verification tests for logic and low level circuits, and preliminary single-phase breadboard of pulse width modulated static inverter

PULSE WIDTH MODULATION /PWM/↗