Search NASA⌕ Search

SEARCH · Search NASA

Results for “prototyped verification system”

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 199 records · Page 11
All sourcesNASA NTRSDOE OSTI
NASA NTRS2006

Fusing Quantitative Requirements Analysis with Model-based Systems Engineering

A vision is presented for fusing quantitative requirements analysis with model-based systems engineering. This vision draws upon and combines emergent themes in the engineering milieu. "Requirements engineering" provides means to explicitly represent requirements (both functional and non-functional) as constraints and preferences on acceptable solutions, and emphasizes early-lifecycle review, analysis and verification of design and development plans. "Design by shopping" emphasizes revealing the space of options available from which to choose (without presuming that all selection criteria have previously been elicited), and provides means to make understandable the range of choices and their ramifications. "Model-based engineering" emphasizes the goal of utilizing a formal representation of all aspects of system design, from development through operations, and provides powerful tool suites that support the practical application of these principles. A first step prototype towards this vision is described, embodying the key capabilities. Illustrations, implications, further challenges and opportunities are outlined.

optimization↗
NASA NTRS2022

Permutations of the Exploration Extra-vehicular Mobility Unit (xEMU) for Mission Specific Objectives

The Advanced Portable Life Support System began first with NASA investment during the Constellation Program focused on new technologies that were central to the new architecture but with a consideration for development of the most flexible and adaptable design to address the varied future needs for Extra-Vehicular Activity (EVA) capability by the agency as part of the exploration of the moon and beyond. Since that time, the Portable Life Support System (PLSS) architecture has been demonstrated at bread-board level, packaged prototype level with Human In-The Loop (HITL) testing, and has now matured into what has become known as the Exploration Extravehicular Mobility Unit (xEMU) PLSS focused on a demonstration on the International Space Station (ISS) and support for initial lunar missions. The xEMU completed Preliminary Design Review (PDR) and the associated Safety Review Panel (SRP) Phase I reviews in 2019-2020 and is progressing through the Design Verification Test (DVT) phase in 2021. As the agency updates planning for lunar both near term, long term, and beyond, there are many possible permutations of the existing architecture that can be accommodated to enable varied mission objectives. This paper will discuss the current baseline DVT design for xEMU as well as potential permutations of the PLSS architecture to accomplish an Apollo style short-duration down and out mission, a long term lunar ultra-lightweight approach, as well as a potential SuitPort accommodating architecture.

Colin Campbell↗
NASA NTRSDate not supplied

Adaptive Stress Testing of Collision Avoidance Systems for Small UASs with Deep Reinforcement Learning

The next-generation Airborne Collision Avoidance System for smaller UASs (ACAS sXu) is currently being developed and tested by the Federal Aviation Administration (FAA) to provide detect-and-avoid capability for small unmanned aircraft operating beyond line-of-sight. Due to the complexity and safety-critical nature of the system, safety validation is important not only for the certification of the final system, but also for informing changes during the iterative development process. In this paper, we analyze a prototype of ACAS sXu in simulated aircraft encounters to discover scenarios of small near mid-air collisions (sNMACs), an important safety event in which two aircraft come closer than 50 feet horizontally and 15 feet vertically. Due to the size and complexity of the system as well as rarity of sNMAC events, traditional methods such as Monte Carlo testing often require informed setup and targeting to elicit failures. However, such a dependence on domain knowledge can be incompatible with the independent verification and validation (IV&V) process, the aim of which is to discover unforeseen issues. To address these challenges, we apply an accelerated validation method called adaptive stress testing (AST) to find the most likely sNMAC scenarios without reliance on system introspection. AST uses reinforcement learning to adapt the search towards the most promising areas of the search space as it progresses. We use a state-of-the-art deep reinforcement learning algorithm, proximate policy optimization, to more efficiently search the large and continuous state space. We find that this approach significantly improves the performance of AST compared to a prior approach based on Monte Carlo tree search. We perform experiments using AST to find sNMAC events under various encounter configurations, varying parameters pertaining to dynamics and coordination. Our experiments show AST to be very effective at finding sNMAC scenarios. We summarize our findings, presenting high-level categories of discovered sNMACs and specific examples of encounters in each category.

aircraft collision avoidance↗
NASA NTRS1996

Supersonic Gas-Liquid Cleaning System

The Supersonic Gas-Liquid Cleaning System Research Project consisted mainly of a feasibility study, including theoretical and engineering analysis, of a proof-of-concept prototype of this particular cleaning system developed by NASA-KSC. The cleaning system utilizes gas-liquid supersonic nozzles to generate high impingement velocities at the surface of the device to be cleaned. The cleaning fluid being accelerated to these high velocities may consist of any solvent or liquid, including water. Compressed air or any inert gas is used to provide the conveying medium for the liquid, as well as substantially reduce the total amount of liquid needed to perform adequate surface cleaning and cleanliness verification. This type of aqueous cleaning system is considered to be an excellent way of conducting cleaning and cleanliness verification operations as replacements for the use of CFC 113 which must be discontinued by 1995. To utilize this particular cleaning system in various cleaning applications for both the Space Program and the commercial market, it is essential that the cleaning system, especially the supersonic nozzle, be characterized for such applications. This characterization consisted of performing theoretical and engineering analysis, identifying desirable modifications/extensions to the basic concept, evaluating effects of variations in operating parameters, and optimizing hardware design for specific applications.

Kinney, Frank↗
NASA NTRS2006

ESAS Deliverable PS 1.1.2.3: Customer Survey on Code Generations in Safety-Critical Applications

Automated code generators (ACG) are tools that convert a (higher-level) model of a software (sub-)system into executable code without the necessity for a developer to actually implement the code. Although both commercially supported and in-house tools have been used in many industrial applications, little data exists on how these tools are used in safety-critical domains (e.g., spacecraft, aircraft, automotive, nuclear). The aims of the survey, therefore, were threefold: 1) to determine if code generation is primarily used as a tool for prototyping, including design exploration and simulation, or for fiight/production code; 2) to determine the verification issues with code generators relating, in particular, to qualification and certification in safety-critical domains; and 3) to determine perceived gaps in functionality of existing tools.

Schumann, Johann↗
NASA NTRS1986

Visualization design and verification of Ada tasking using timing diagrams

The use of timing diagrams is recommended in the design and testing of multi-task Ada programs. By displaying the task states vs. time, timing diagrams can portray the simultaneous threads of data flow and control which characterize tasking programs. This description of the system's dynamic behavior from conception to testing is a necessary adjunct to other graphical techniques, such as structure charts, which essentially give a static view of the system. A series of steps is recommended which incorporates timing diagrams into the design process. Finally, a description is provided of a prototype Ada Execution Analyzer (AEA) which automates the production of timing diagrams from VAX/Ada debugger output.

Vidale, R. F.↗
NASA NTRS1988

Knowledge-based assistance in costing the space station DMS

The Software Cost Engineering (SCE) methodology developed over the last two decades at IBM Systems Integration Division (SID) in Houston is utilized to cost the NASA Space Station Data Management System (DMS). An ongoing project to capture this methodology, which is built on a foundation of experiences and lessons learned, has resulted in the development of an internal-use-only, PC-based prototype that integrates algorithmic tools with knowledge-based decision support assistants. This prototype Software Cost Engineering Automation Tool (SCEAT) is being employed to assist in the DMS costing exercises. At the same time, DMS costing serves as a forcing function and provides a platform for the continuing, iterative development, calibration, and validation and verification of SCEAT. The data that forms the cost engineering database is derived from more than 15 years of development of NASA Space Shuttle software, ranging from low criticality, low complexity support tools to highly complex and highly critical onboard software.

Henson, Troy↗
NASA NTRS2012

Heat Pipes and Heat Rejection Component Testing at NASA Glenn Research Center

Titanium-water heat pipes are being evaluated for use in the heat rejection system for space fission power systems. The heat rejection syst em currently comprises heat pipes with a graphite saddle and a composite fin. The heat input is a pumped water loop from the cooling of the power conversion system. The National Aeronautics and Space Administration has been life testing titanium-water heat pipes as well as eval uating several heat pipe radiator designs. The testing includes thermal modeling and verification of model, material compatibility, frozen startup of heat pipe radiators, and simulating low-gravity environments. Future thermal testing of titanium-water heat pipes includes low-g ravity testing of thermosyphons, radiation testing of heat pipes and fin materials, water pump performance testing, as well as Small Busine ss Innovation Research funded deliverable prototype radiator panels.

Sanzi, James L.↗
NASA NTRS2020

Development and Evaluation of the Active Response Gravity Offload System as a Lunar and Martian EVA Simulation Environment

In preparation for future exploration missions, NASA seeks the ability to simulate partial-gravity operations for use in ground-based research, crew training, and engineering design evaluations. The Active Response Gravity Offload System (ARGOS) at the Johnson Space Center (JSC) is designed to simulate reduced gravity environments, such as lunar, Martian, or microgravity, using a robotic system similar to an overhead bridge crane. ARGOS continuously offloads a portion of a suited human’s weight during all dynamic motions within the test facility, which can include basic functional movements such as walking, running, and jumping, as well as a wide range of planetary surface activities. This system will be used as part of a metabolic-rate task characterization study to determine the workload associated with partial-gravity extravehicular activity (EVA). Pilot testing was conducted using the MKIII prototype planetary space suit and two gimbal designs to determine the ability of the ARGOS test environment to simulate planetary EVA operations. This paper will describe the lessons learned from the feasibility testing, simulation-environment mockup design, and the results from the pilot tests and their influence into the final study design. Being able to effectively simulate partial-gravity environments and characterize the performance of crewmembers will have an impact on multiple domains including suit design, task design, thermal models, and life-support-system capacity verification plans, among others.

Omar S Bekdash↗
NASA NTRS2015

Adaptive Stress Testing of Airborne Collision Avoidance Systems

This paper presents a scalable method to efficiently search for the most likely state trajectory leading to an event given only a simulator of a system. Our approach uses a reinforcement learning formulation and solves it using Monte Carlo Tree Search (MCTS). The approach places very few requirements on the underlying system, requiring only that the simulator provide some basic controls, the ability to evaluate certain conditions, and a mechanism to control the stochasticity in the system. Access to the system state is not required, allowing the method to support systems with hidden state. The method is applied to stress test a prototype aircraft collision avoidance system to identify trajectories that are likely to lead to near mid-air collisions. We present results for both single and multi-threat encounters and discuss their relevance. Compared with direct Monte Carlo search, this MCTS method performs significantly better both in finding events and in maximizing their likelihood.

Verification and Validation↗
NASA NTRS2018

Testing and Maturing a Mass Translating Mechanism for a Deep Space CubeSat

Near Earth Asteroid (NEA) Scout is a deep space satellite set to launch aboard NASA’s Exploration Mission 1. The spacecraft fits within a CubeSat standard 6U (about 300 x 200 x 100 mm) and is designed to travel 1 AU over a 2.5 year mission to observe NEA VG 1991. The spacecraft will use an 86 square meter solar sail to maneuver from lunar orbit to the NEA. One of the critical mechanisms aboard NEA Scout, the Active Mass Translator (AMT), has gone through rigorous design and test cycles since its conception in July of 2015. The AMT is a two-axis translation table required to balance the spacecraft’s center of mass (CM) and solar sail center of pressure (CP) while also trimming disturbance torque created by off-nominal sail conditions. The AMT has very limited mass and volume requirements, but is still required to deliver a large translation range—about 160 x 68 mm—at sub mm accuracy and precision. The system must accommodate and protect a shielded wire harness and coax cables during translation. Lastly, the system has been constrained to operate in complete exposure to space with limited power and data budgets for mechanical and thermal needs. The NEA Scout team has developed and carried out a rigorous test suite for the prototype and engineering development unit (EDU). These tests uncovered numerous design failures and led to many failure investigations and iteration cycles. This paper will site each discovery and discuss at length the most surprising and difficult failures to date as the NEA Scout AMT moved through functional, random vibration, thermal vacuum, harnessing, and design life verification testing. A paper was previously presented at the 43rd Aerospace Mechanisms Symposia entitled, “Development of a High Performance, Low Profile Translation Table with Wire Feedthrough for a Deep Space CubeSat”. This paper will make note of specific lessons learned from the test activities: testing ideologies for high-risk missions, thermal mitigation design for small mechanisms, non-flight qualified stepper motor accommodation, harnessing volume allocation/design, and ground testing of mechanisms developed for zero-g environments.

Few, Alex↗
NASA NTRS1993

Cooperative GN&C development in a rapid prototyping environment

The Navigation, Control and Aeronautics Division (NCAD) at NASA-JSC is exploring ways of producing Guidance, Navigation and Control (GN&C) flight software faster, better, and cheaper. To achieve these goals NCAD established two hardware/software facilities that take an avionics design project from initial inception through high fidelity real-time hardware-in-the-loop testing. Commercially available software products are used to develop the GN&C algorithms in block diagram form and then automatically generate source code from these diagrams. A high fidelity real-time hardware-in-the-loop laboratory provides users with the capability to analyze mass memory usage within the targeted flight computer, verify hardware interfaces, conduct system level verification, performance, acceptance testing, as well as mission verification using reconfigurable and mission unique data. To evaluate these concepts and tools, NCAD embarked on a project to build a real-time 6 DOF simulation of the Soyuz Assured Crew Return Vehicle flight software. To date, a productivity increase of 185 percent has been seen over traditional NASA methods for developing flight software.

Bordano, Aldo↗
NASA NTRS2015

Multi-Axis Independent Electromechanical Load Control for Docking System Actuation Development and Verification Using dSPACE

The development of highly complex and advanced actuation systems to meet customer demands has accelerated as the use of real-time testing technology expands into multiple markets at Moog. Systems developed for the autonomous docking of human rated spacecraft to the International Space Station (ISS), envelope multi-operational characteristics which place unique constraints on an actuation system. Real-time testing hardware has been used as a platform for incremental testing and development for the linear actuation system which controls initial capture and docking for vehicles visiting the ISS. This presentation will outline the role of dSPACE hardware as a platform for rapid control-algorithm prototyping as well as an Electromechanical Actuator (EMA) system dynamic loading simulator, both conducted at Moog to develop the safety critical Linear Actuator System (LAS) of the NASA Docking System (NDS).

Oesch, Christopher↗
NASA NTRS1990

Development of a multipurpose hand controller for JEMRMS

A prototype multipurpose hand controller for the JEMRMS (Japanese Experiment Module Remote Manipulator System) was developed. The hand controller (H/C) is an orthogonal type, with 6 degrees of freedom (DOF) and small size. The orthogonal type H/C is very simple for coordinate transformations and can easily control any type of manipulators. In fact, the JEMRMS is planned to have two manipulators controlled by a common H/C at this stage. The H/C was able to be used as a rate control joystick and a force reflection master arm, using an experimental 6 DOF manipulator. Good maneuverability was confirmed in the verification test. The orthogonal type H/C is suitable for use as a common H/C for the two manipulators of the JEMRMS.

Matsuhira, Nobuto↗
NASA NTRS1939

Full-Scale Wind-Tunnel Investigation of Wing-Cooling Ducts Effects of Propeller Slipstream, Special Report

The safety of remotely operated vehicles depends on the correctness of the distributed protocol that facilitates the communication between the vehicle and the operator. A failure in this communication can result in catastrophic loss of the vehicle. To complicate matters, the communication system may be required to satisfy several, possibly conflicting, requirements. The design of protocols is typically an informal process based on successive iterations of a prototype implementation. Yet distributed protocols are notoriously difficult to get correct using such informal techniques. We present a formal specification of the design of a distributed protocol intended for use in a remotely operated vehicle, which is built from the composition of several simpler protocols. We demonstrate proof strategies that allow us to prove properties of each component protocol individually while ensuring that the property is preserved in the composition forming the entire system. Given that designs are likely to evolve as additional requirements emerge, we show how we have automated most of the repetitive proof steps to enable verification of rapidly changing designs.

Nickle, F. R.↗
NASA NTRS2011

Spectroscopic Determination of Trace Contaminants in High Purity Oxygen

Oxygen used for extravehicular activities (EVA) must be free of contaminants because a difference in a few tenths of a percent of argon or nitrogen content can mean significant reduction in available EVA time. These inert gases build up in the extravehicular mobility unit because they are not metabolized or scrubbed from the atmosphere. Measurement of oxygen purity above 99.5% is problematic, and currently only complex instruments such as gas chromatographs or mass spectrometers are used for these determinations. Because liquid oxygen boil-off from the space shuttle will no longer be available to supply oxygen for EVA use, other concepts are being developed to produce and validate high purity oxygen from cabin air aboard the International Space Station. A prototype optical emission technique capable of detecting argon and nitrogen below 0.1% in oxygen was developed at White Sands Test Facility. This instrument uses a glow discharge in reduced pressure gas to produce atomic emission from the species present. Because the atomic emission lines from oxygen, nitrogen, and argon are discrete and in many cases well-separated, trace amounts of argon and nitrogen can be detected in the ultraviolet and visible spectrum. This is a straightforward, direct measurement of the target contaminants and may lend itself to a device capable of on-orbit verification of oxygen purity. System design and optimized measurement parameters are presented.

Hornung, Steven D.↗
NASA NTRS1986

Development of a prototype automated on-orbit contact heat exchanger

An automated contact heat exchanger is being developed for use aboard the manned Space Station, serving as an interface heat exchanger between the pressurized module internal thermal buses and the central external thermal bus. The concept makes use of an array of flattened, thin-walled, flexible tubes that expand or contract to make or break the thermal connection as the internal pressure changes. Because of its simplicity, it permits on-orbit assembly by the remote manipulator system, thus eliminating the need for expensive EVA to make connections. A design methodology based on stress and thermal analyses has been developed and used to perform trade-offs between performance and cost, and to optimize design parameters. Simple verification tests have been performed to confirm the stress analysis model. Two conceptual variants of the contact heat exchanger are described, each designed for a 25 kW total heat load and a minimum uniform heat flux of 2.15 W/sq cm.

Lee, C. Y.↗
NASA NTRS2010

Design and Testing of a Prototype Lunar or Planetary Surface Landing Research Vehicle (LPSLRV)

This handbook describes a two-semester senior design course sponsored by the NASA Office of Education, the Exploration Systems Mission Directorate (ESMD), and the NASA Space Grant Consortium. The course was developed and implemented by the Mechanical and Aerospace Engineering Department (MAE) at Utah State University. The course final outcome is a packaged senior design course that can be readily incorporated into the instructional curriculum at universities across the country. The course materials adhere to the standards of the Accreditation Board for Engineering and Technology (ABET), and is constructed to be relevant to key research areas identified by ESMD. The design project challenged students to apply systems engineering concepts to define research and training requirements for a terrestrial-based lunar landing simulator. This project developed a flying prototype for a Lunar or Planetary Surface Landing Research Vehicle (LPSRV). Per NASA specifications the concept accounts for reduced lunar gravity, and allows the terminal stage of lunar descent to be flown either by remote pilot or autonomously. This free-flying platform was designed to be sufficiently-flexible to allow both sensor evaluation and pilot training. This handbook outlines the course materials, describes the systems engineering processes developed to facilitate design fabrication, integration, and testing. This handbook presents sufficient details of the final design configuration to allow an independent group to reproduce the design. The design evolution and details regarding the verification testing used to characterize the system are presented in a separate project final design report. Details of the experimental apparatus used for system characterization may be found in Appendix F, G, and I of that report. A brief summary of the ground testing and systems verification is also included in Appendix A of this report. Details of the flight tests will be documented in a separate flight test report. This flight test report serves as a complement to the course handbook presented here. This project was extremely ambitious, and achieving all of the design and test objectives was a daunting task. The schedule ran slightly longer than a single academic year with the complete design closure not occurring until early April. Integration and verification testing spilled over into late May and the first flight did not occur until mid to late June. The academic year at Utah State University ended on May 8, 2010. Following the end of the academic year, testing and integration was performed by the faculty advisor, paid research assistants, and volunteer student help

Murphy, Gloria A.↗