Search NASA⌕ Search

SEARCH · Search NASA

Results for “Prototype 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 217 records · Page 12
All sourcesNASA NTRSDOE OSTI
NASA NTRS1991

The environment workbench: A design tool for Space Station Freedom

The environment workbench (EWB) is being developed for NASA by S-CUBED to provide a standard tool that can be used by the Space Station Freedom (SSF) design and user community for requirements verification. The desktop tool will predict and analyze the interactions of SSF with its natural and self-generated environments. A brief review of the EWB design and capabilities is presented. Calculations using a prototype EWB of the on-orbit floating potentials and contaminant environment of SSF are also presented. Both the positive and negative grounding configurations for the solar arrays are examined to demonstrate the capability of the EWB to provide quick estimates of environments, interactions, and system effects.

Jongeward, Gary A.↗
NASA NTRS2007

A Parallel Saturation Algorithm on Shared Memory Architectures

Symbolic state-space generators are notoriously hard to parallelize. However, the Saturation algorithm implemented in the SMART verification tool differs from other sequential symbolic state-space generators in that it exploits the locality of ring events in asynchronous system models. This paper explores whether event locality can be utilized to efficiently parallelize Saturation on shared-memory architectures. Conceptually, we propose to parallelize the ring of events within a decision diagram node, which is technically realized via a thread pool. We discuss the challenges involved in our parallel design and conduct experimental studies on its prototypical implementation. On a dual-processor dual core PC, our studies show speed-ups for several example models, e.g., of up to 50% for a Kanban model, when compared to running our algorithm only on a single core.

Ezekiel, Jonathan↗
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↗
DOE OSTI2020

Characterization and verification of a two-body wave energy converter with a novel power take-off

The lack of high efficient, predictable and reliable power take-off (PTO) systems limits developments of ocean wave energy technology. In this paper, a two-body self-reacting wave energy converter (WEC) with a novel PTO is designed, modelled and implemented for efficiency enhancement. A novel mechanical motion rectifier (MMR) using a ball screw mechanism and an enclosed gear set is integrated to improve the energy harvesting efficiency and reliability by rectifying the oscillatory wave motion into unidirectional rotation of the generator. Detailed design and dynamic modelling for the proposed WEC are presented. A prototype of the PTO is tested in a dry lab to characterize and refine the dynamic modelling. The characterized PTO model is combined with the WEC model to create an overall system model. A water tank test is conducted to verify the overall system dynamics, which proves the accuracy of the model and shows the advantages of the proposed WEC on efficiency and predictability. Following the method of how the WEC system is characterized, performance prediction of the proposed WEC with MMR PTO can be achieved with high accuracy.

16 TIDAL AND WAVE POWER↗
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↗
DOE OSTI2024

Scaling methodologies and similarity analysis for thermal hydraulics test facility development for water-cooled small modular reactor

Small modular reactors (SMRs) represent a promising option for providing clean and sustainable energy due to their potential for enhanced safety, reduced capital costs, and increased siting flexibility. However, new reactor systems require the development and operation of representative scaled-down test facilities to support the verification and validation of system computer codes and models. Here this study reviews the research on scaling methodologies and similarity principles pivotal in developing non-nuclear integral effects test and separate effects test facilities for water-cooled SMRs. The study focuses on a review of the scaling methods, similarity approaches, and possible challenges posed by the unique and compact design features of integral-pressurized water reactor-type SMRs, and their representative test facilities. This study also reviews previous research related to scaling and similarity methodologies and provides insights into design considerations for achieving prototypic conditions in test facilities. The findings and recommendations emphasize the broader impact of appropriate scaling and similarity principles to ensure meaningful and transferable results from non-nuclear test facilities to accelerate the safe and efficient deployment of next-generation water-cooled SMRs.

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗
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↗