Search NASA⌕ Search

SEARCH · Search NASA

Results for “V”

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 37 records · Page 2
All sourcesNASA NTRSDOE OSTI
NASA NTRS1997

The Need for V&V in Reuse-Based Software Engineering

V&V is currently performed during application development for many systems, especially safety-critical and mission-critical systems. The V&V process is intended to discover errors, especially errors related to entire' domain or product line rather than a critical processing, as early as possible during the development process. The system application provides the context under which the software artifacts are validated. engineering. This paper describes a framework that extends V&V from an individual application system to a product line of systems that are developed within an architecture-based software engineering environment. This framework includes the activities of traditional application-level V&V, and extends these activities into the transition between domain engineering and application engineering. The framework includes descriptions of the types of activities to be performed during each of the life-cycle phases, and provides motivation for activities.

Addy, Edward A.↗
NASA NTRS2016

V&V on a NASA Technology Demonstration Project: Low Density Supersonic Decelerator

Given their smaller budgets, but higher allowed risk posture, technology demonstration missions face different Verification and Validation (V&V) challenges than typical NASA missions. Despite these challenges, the Low Density Supersonic Decelerator (LDSD) project, managed by NASA’s Jet Propulsion Laboratory (JPL), has been extremely successful in testing new supersonic atmospheric decelerator technologies. A contribution to the project’s success is the unique V&V program that emphasized efficiency and flexibility. This paper will provide an overview of LDSD test objectives, Supersonic Flight Dynamics Tests (SFDT) performed so far, unique requirements structure and V&V processes implemented. The paper will focus on the V&V of the SFDT test architecture. Furthermore, lessons learned will also be presented at the end of the paper to aid future technology demonstration projects.

Murry, Michael L.↗
NASA NTRS2022

Actuator and Motor Control End-to-End V&V on the Mars 2020 Rover

The Mars 2020 Perseverance rover is the most advanced robotic exploration system ever sent to another planet. To support the complex scientific and mobility needs of the mission, the rover utilizes 33 actuators, three multi-degree-of-freedom force-torque sensors, fifteen single or dual-speed resolvers, two solenoid valves, and twelve contact switches. The control for these actuators and sensors is achieved by several levels of flight software, coordinated between two computers with varying bandwidth control loops. Furthermore, the actuators and sensors were integrated into multiple larger robotic mechanisms that were delivered by different organizations at various points in the Integration and Test (I&T) timeline. All of this created a very complex Verification and Validation (V&V) scenario involving multiple subsystems and teams, several hardware and software testbeds with varying levels of fidelity, and significant systems engineering to ensure the overall I&T schedule could be maintained while ensuring system hardware safety.This paper details the integrated V&V effort across multiple teams and venues to provide full coverage of all necessary functionality, performance, and fault protection. First, it provides an overview of how the V&V campaign was subdivided among teams and venues and provides descriptions of the various hardware configurations used to support the testing. The Mars 2020 implementation of the plan incorporates many of the lessons learned from Mars Science Laboratory’s test campaign, and these value-added modifications are discussed here. Also included in this section is the system-level environmental testing approach used for mechanisms. Second, the paper describes the phased approach used by the teams to support new hardware and software deliveries to testbed and Systems I&T. In this approach the test campaign was built upon higher-level mechanism needs for performance, functionality, and safety at specific times in the campaign. Finally, the paper discusses lessons learned from the V&V campaign that should be applied to future large-scale motion control testing efforts.

Borne, Davis↗
NASA NTRS2007

Comparison of V-4 and V-5 Exercise/Oxygen Prebreathe Protocols to Support Extravehicular Activity in Microgravity

The Prebreathe Reduction Program (PRP) used exercise during oxygen prebreathe to reduce necessary prebreathe time prior to depressurizing to work in a 4.3 psi suit during extravehicular activity (EVA). Initial testing produced a two-hour protocol incorporating ergometry exercise and a 30 min cycle of depress/repress to 10.2 psi where subjects breathed 26.5% oxygen/balance nitrogen (Phase II - 10 min at 75% peak oxygen consumption [VO2 peak] followed by 40 min intermittent light exercise [ILE] [approx. 5.8 mL-per kilogram- per minute], then 50 min of rest). The Phase II protocol (0/45 DCS) was approved for operations and has been used on 40 EVAs, providing significant time savings compared to the standard 4 h resting oxygen prebreathe. The Phase V effort focused on performing all light in-suit exercise. Two oxygen prebreathe protocols were tested sequentially: V-4) 160 min prebreathe with 150 min of continuous ILE. The entire protocol was completed at 14.7 psi. All exercise involved upper body effort. Exercise continued until decompression. V-5) 160 min prebreathe with 140 min of ILE - first 40 min at 14.7 psi, then 30 min at 10.2 psi (breathing 26.5% oxygen) after a 20 min depress, simulating a suit donning period. Subjects were then repressed to 14.7 psi and performed another 50 min of lower body ILE, followed by 50 min rest before decompression. The V-4 protocol was rejected with 3 DCS/6 person-exposures. Initial V-5 testing has produced 0 DCS/11 person-exposures (ongoing trials). The difference in DCS rate was significant (Fisher Exact p=0.029). The observations of DCS were significantly lower in early V-5 trials than in V-4 trials. Additional studies are required to evaluate the relative contribution of the variables in exercise distribution, the 10.2 psi depress/repress component, pre-decompression rest, or possible variation in total oxygen consumption.

Pollock, N. W.↗
NASA NTRS1976

Stellar model chromospheres. V - Alpha Centauri A /G2 V/ and Alpha Centauri B /K1 V/

Models for the upper photospheres and lower chromospheres of Alpha Centauri A and B are derived from high-dispersion spectrograms of the Ca II K-line emission cores and damping wings. Effective temperatures, surface gravities, and ages consistent with the measured broadband colors, metallicities, and absolute magnitudes are estimated for the two stars. The spectrograms are calibrated by fitting the far-wing K profiles with synthetic fluxes based on radiative-equilibrium models, and the model atmospheres are obtained through a partial-redistribution analysis of the line cores and damping wings. These models are compared with those previously proposed for Procyon, Arcturus, and the sun. Many features in all the models are found to be quite similar, and some evidence suggests that Alpha Cen A may be significantly older and more evolved than the sun, even though both stars exhibit similar chromospheric properties.

Ayres, T. R.↗
NASA NTRS1987

KBS V and V as related to automation of space station subsystems: Rationale for a KBS lifecycle

The role of verification and validation (V and V) in software has been to support and strengthen the software lifecycle and to ensure that the resultant code meets the standards of the requirements document. Knowledge based systems (KBS) V and V should serve the same role, but the KBS lifecycle is ill-defined. Here, the rationale of the simple form of the KBS lifecycle is explained. Special KBS development requirements are accommodated where possible by modifications to the traditional software lifecycle. Research areas are suggested for those aspects which present new or unusual difficulties for V and V.

Richardson, K.↗
NASA NTRS2006

Autonomy Software: V&V Challenges and Characteristics

The successful operation of unmanned air vehicles requires software with a high degree of autonomy. Only if high level functions can be carried out without human control and intervention, complex missions in a changing and potentially unknown environment can be carried out successfully. Autonomy software is highly mission and safety critical: failures, caused by flaws in the software cannot only jeopardize the mission, but could also endanger human life (e.g., a crash of an UAV in a densely populated area). Due to its large size, high complexity, and use of specialized algorithms (planner, constraint-solver, etc.), autonomy software poses specific challenges for its verification, validation, and certification. -- - we have carried out a survey among researchers aid scientists at NASA to study these issues. In this paper, we will present major results of this study, discussing the broad spectrum. of notions and characteristics of autonomy software and its challenges for design and development. A main focus of this survey was to evaluate verification and validation (V&V) issues and challenges, compared to the development of "traditional" safety-critical software. We will discuss important issues in V&V of autonomous software and advanced V&V tools which can help to mitigate software risks. Results of this survey will help to identify and understand safety concerns in autonomy software and will lead to improved strategies for mitigation of these risks.

Schumann, Johann↗
NASA NTRS2002

Infusing and selecting V&V activities

The evolving nature of software development poses a continuing series of challenges for V&V. In response, the V&V community selectively adapts the use of existing V&V activities, and introduces new and improved ones.

verification validation risk software quality assu↗
NASA NTRS2012

Validation and Verification (V&V) of Safety-Critical Systems Operating Under Off-Nominal Conditions

Loss of control (LOC) remains one of the largest contributors to aircraft fatal accidents worldwide. Aircraft LOC accidents are highly complex in that they can result from numerous causal and contributing factors acting alone or more often in combination. Hence, there is no single intervention strategy to prevent these accidents. Research is underway at the National Aeronautics and Space Administration (NASA) in the development of advanced onboard system technologies for preventing or recovering from loss of vehicle control and for assuring safe operation under off-nominal conditions associated with aircraft LOC accidents. The transition of these technologies into the commercial fleet will require their extensive validation and verification (V&V) and ultimate certification. The V&V of complex integrated systems poses highly significant technical challenges and is the subject of a parallel research effort at NASA. This chapter summarizes the V&V problem and presents a proposed process that could be applied to complex integrated safety-critical systems developed for preventing aircraft LOC accidents. A summary of recent research accomplishments in this effort is referenced.

Belcastro, Christine M.↗
DOE OSTI2024

Electroanalytical characterization of Np( VI )/Np( V ) redox in a pentadentate ligand environment and stabilization of [Np V O 2 ] + by hydrogen bonding

The redox chemistry of the actinyl cations (AnO 2 n+ ) heavily influences their reactivity and speciation in solution, but the redox properties of the actinyls in non-aqueous media have received far less attention than they deserve. Here, the non-aqueous electrochemistry of a chemically reversible Np(VI)/Np(V) redox manifold is reported in both protic (CH 3 OH) and aprotic (CH 3 CN) organic media. Using a neutral Np(VI) complex supported by a chelating and strongly donating pentadentate ligand that was fully characterized in prior work, a clean Np(VI)/Np(V) redox couple was found to be accessible under ambient conditions. Coupled electrochemical and spectroscopic studies, as well as simulations of cyclic voltammetry data, confirm the 1e− nature of this couple and establish it to be chemically reversible and nearly electrochemically reversible as well. Bulk electrolysis of a solution of the neutral Np(VI) complex facilitated isolation of the corresponding anionic and monomeric Np(V) species. Data from X-ray diffraction analysis as well as optical and vibrational spectroscopies provide strong evidence in support of metal-centered reduction and the Np(V) oxidation state, findings that are in accord with the measured reduction potentials. Distinctive hydrogen bonding interactions between the terminal (yl) oxo groups and water molecules appear to stabilize the isolated Np(V) species in the solid state, providing insight into the features that afford the uncommon chemically reversible redox encountered in this system.

Mikeska, Emily R.↗
NASA NTRS1986

Transition probabilities in OH A 2 sigma + - X 2 pi i: Bands with v prime = 0 and 1, v double prime = 0 to 4

Experimental results for relative vibrational band transition probabilities for v prime = 0 and 1, and v double prime = 0 to 4 in the A-X electronic system of OH are presented. The measurements, part of a larger set involving v prime = 0 to 4 and v double prime = 0 to 6, were made using spectrally dispersed laser-induced fluorescence (LIF) in the burnt gases of a flame. These Einstein coefficients will be useful in dynamics experiments for quantitative LIF determinations of OH radical concentrations in high v double prime.

Copeland, Richard A.↗
DOE OSTI2024

Jet cone radius dependence of R AA and v 2 at PbPb 5.02 TeV from JEWEL+T R ENTo+v-USPhydro

We combine, for the first time, event-by-event T R ENTo initial conditions with the relativistic viscous hydrodynamic model v-USPhydro and the Monte Carlo event generator JEWEL to make predictions for the nuclear modification factor R AA and jet azimuthal anisotropies v n { 2 } in $\sqrt{s_{NN}}$ = 5.02 TeV PbPb collisions for multiple centralities and values of the jet cone radius R. The R-dependence of R AA and v 2 { 2 } strongly depends on the presence of recoiling scattering centers. We find a small jet v 3 { 2 } in mid-central collisions and consistent results in wide jet p T regions and centralities with ATLAS data.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
NASA NTRS1973

Afterburner Performance of Circular V-Gutters and a Sector of Parallel V-Gutters for a Range of Inlet Temperatures to 1255 K (1800 F)

Combustion tests of two V-gutter types were conducted in a 19.25-in. diameter duct using vitiated air. Fuel spraybars were mounted in line with the V-gutters. Combustor length was set by flame-quench water sprays which were part of a calorimeter for measuring combustion efficiency. Although the levels of performance of the parallel and circular array afterburners were different, the trends with geometry variations were consistent. Therefore, parallel arrays can be used for evaluating V-gutter geometry effects on combustion performance. For both arrays, the highest inlet temperature produced combustion efficiencies near 100 percent. A 5-in. spraybar - to - V-gutter spacing gave higher efficiency and better lean blowout performance than a spacing twice as large. Gutter durability was good.

Brandstetter, J. Robert↗
NASA NTRS2006

Emerging technologies for V&V of ISHM software for space exploration

Systems1,2 required to exhibit high operational reliability often rely on some form of fault protection to recognize and respond to faults, preventing faults' escalation to catastrophic failures. Integrated System Health Management (ISHM) extends the functionality of fault protection to both scale to more complex systems (and systems of systems), and to maintain capability rather than just avert catastrophe. Forms of ISHM have been utilized to good effect in the maintenance phase of systems' total lifecycles (often referred to as 'condition-based mainte-nance'), but less so in a 'fault protection' role during actual operations. One of the impediments to such use lies in the challenges of verification, validation and certification of ISHM systems themselves. This paper makes the case that state-of-the-practice V&V and certification techniques will not suffice for emerging forms of ISHM systems; however, a number of maturing software engineering assurance technologies show particular promise for addressing these ISHM V&V challenges.

fault detection, isolation, and recovery↗
NASA NTRS2010

Orion FSW V and V and Kedalion Engineering Lab Insight

NASA, along with its prime Orion contractor and its subcontractor s are adapting an avionics system paradigm borrowed from the manned commercial aircraft industry for use in manned space flight systems. Integrated Modular Avionics (IMA) techniques have been proven as a robust avionics solution for manned commercial aircraft (B737/777/787, MD 10/90). This presentation will outline current approaches to adapt IMA, along with its heritage FSW V&V paradigms, into NASA's manned space flight program for Orion. NASA's Kedalion engineering analysis lab is on the forefront of validating many of these contemporary IMA based techniques. Kedalion has already validated many of the proposed Orion FSW V&V paradigms using Orion's precursory Flight Test Article (FTA) Pad Abort 1 (PA-1) program. The Kedalion lab will evolve its architectures, tools, and techniques in parallel with the evolving Orion program.

Mangieri, Mark L.↗
NASA NTRS2017

Reducing V&V Cost of Flight Critical Systems: Myth or Reality?

This paper presents an overview of NASA research program on the V&V of flight critical systems. Five years ago, NASA started an effort to reduce the cost and possibly increase the effectiveness of V&V for flight critical systems. It is the right time to take a look back and realize what progress has been made. This paper describes our overall approach and the tools introduced to address different phases of the software lifecycle. For example, we have improved testing by developing a statistical learning approach tor defining test cases. The tool automatically identifies possible unsafe conditions by analyzing outliers in output data; using an iterative learning process, it can then generate more test cases that represent potentially unsafe regions of operation. At the code level, we have developed and made available as open source a static analyzer for C and C++ programs called IKOS. We have shown that IKOS is very precise in the analysis of embedded C programs (very few false positives) and a bit less for regular C and C++ code. At the design level, in collaboration with our NRA partners, we have developed a suite of analysis tools for Simulink models. The analysis is done in a compositional framework for scalability.

Brat, Guillaume P.↗
NASA NTRS1998

V & V of A Spacecrafts Autonomous Planner Through Extended Automation

We have introduced and used significant automation during the verification and validation (V & V) of a spacecraft's autonomous planner. This paper describes the problem we faced, the solution we employed, and the applicability of our approach in a general V & V setting.

planning↗