Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “IV&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 73 records · Page 4
All sourcesNASA NTRSDOE OSTI
NASA NTRS1997

Applying Independent Verification and Validation to Automatic Test Equipment

This paper describes a general overview of applying Independent Verification and Validation (IV&V) to Automatic Test Equipment (ATE). The overview is not inclusive of all IV&V activities that can occur or of all development and maintenance items that can be validated and verified, during the IV&V process. A sampling of possible IV&V activities that can occur within each phase of the ATE life cycle are described.

Calhoun, Cynthia C.↗
NASA NTRS2015

Fault Management Architectures and the Challenges of Providing Software Assurance

Fault Management (FM) is focused on safety, the preservation of assets, and maintaining the desired functionality of the system. How FM is implemented varies among missions. Common to most missions is system complexity due to a need to establish a multi-dimensional structure across hardware, software and spacecraft operations. FM is necessary to identify and respond to system faults, mitigate technical risks and ensure operational continuity. Generally, FM architecture, implementation, and software assurance efforts increase with mission complexity. Because FM is a systems engineering discipline with a distributed implementation, providing efficient and effective verification and validation (V&V) is challenging. A breakout session at the 2012 NASA Independent Verification & Validation (IV&V) Annual Workshop titled "V&V of Fault Management: Challenges and Successes" exposed this issue in terms of V&V for a representative set of architectures. NASA's Software Assurance Research Program (SARP) has provided funds to NASA IV&V to extend the work performed at the Workshop session in partnership with NASA's Jet Propulsion Laboratory (JPL). NASA IV&V will extract FM architectures across the IV&V portfolio and evaluate the data set, assess visibility for validation and test, and define software assurance methods that could be applied to the various architectures and designs. This SARP initiative focuses efforts on FM architectures from critical and complex projects within NASA. The identification of particular FM architectures and associated V&V/IV&V techniques provides a data set that can enable improved assurance that a system will adequately detect and respond to adverse conditions. Ultimately, results from this activity will be incorporated into the NASA Fault Management Handbook providing dissemination across NASA, other agencies and the space community. This paper discusses the approach taken to perform the evaluations and preliminary findings from the research.

Fault Management↗
NASA NTRS2013

V&V of Fault Management: Challenges and Successes

This paper describes the results of a special breakout session of the NASA Independent Verification and Validation (IV&V) Workshop held in the fall of 2012 entitled "V&V of Fault Management: Challenges and Successes." The NASA IV&V Program is in a unique position to interact with projects across all of the NASA development domains. Using this unique opportunity, the IV&V program convened a breakout session to enable IV&V teams to share their challenges and successes with respect to the V&V of Fault Management (FM) architectures and software. The presentations and discussions provided practical examples of pitfalls encountered while performing V&V of FM including the lack of consistent designs for implementing faults monitors and the fact that FM information is not centralized but scattered among many diverse project artifacts. The discussions also solidified the need for an early commitment to developing FM in parallel with the spacecraft systems as well as clearly defining FM terminology within a project.

Verification↗
NASA NTRS1997

A Case Study of 4 & 5 Cost Effectiveness

This paper looks at the Independent Verification and Validation (IV&V) of NASA's Space Shuttle Day of Launch I-Load Update (DoLILU) project. IV&V is defined. The system's development life cycle is explained. Data collection and analysis are described. DoLILU Issue Tracking Reports (DITRs) authored by IV&V personnel are analyzed to determine the effectiveness of IV&V in finding errors before the code, testing, and integration phase of the software development life cycle. The study's findings are reported along with the limitations of the study and planned future research.

Neal, Ralph D.↗
DOE OSTI2020

Enabling high rate capability, low internal resistance, and excellent cyclability for vanadium redox flow batteries utilizing ultrafast laser-structured graphite felt

The electrochemical performance of vanadium redox flow batteries (VRFBs) was enhanced via laser-patterned graphite felt (GF) electrodes. The laser-structured GF electrodes engineered via preparing a series of well-ordered microscopic channel structures with an average width of 200 μm, creating a three-dimensional carbon framework. The ultrafast laser patterning increased the porosity by 10%, as compared to pristine electrode. The analysis of the overpotential distribution using electrochemical impedance spectroscopy revealed that the electrode polarization involving charge transfer and diffusion resistance is strongly alleviated with the aid of carbon micro-perforation. The advanced design of laser-structured GF electrode also exhibits high rate capability, low internal resistance, and excellent cyclability. The improved performance was attributed to the synergistic effect involving (i) high electrochemically active surface area for rapid electrochemical reactions (i.e., V(II)/V(III) and V(IV)/V(V) redox couples) and (ii) excellent transport properties for facile electron/ion/species transport. The micro-scale channels created with the laser-ablation technique act as capillary structures and enabled homogeneous and rapid wetting of GF electrodes as formulated with the classical Washburn equation. The VRFB equipped with the laser-structured GF electrodes delivered a high discharge capacity with exceptional capacity retention upon extended cycling (>84.9%). In conclusion, accordingly, the design of laser-structured electrode paves the pathway towards finely tuning the electrode internal microstructure for improved cyclability, durability, and capacity retention in various electrochemical energy storage/conversion devices (e.g. all-vanadium redox flow batteries).

25 ENERGY STORAGE↗
DOE OSTI2022

Electronic versatility of vanadium in tris-chelates with redox-active ligands

Spectroscopic and computational examination of the neutral tris-dioxolene complex [V(dbcat) 3 ] (dbcat 2– = 3,6-di-tert-butylcatecholate) reveals a Class III mixed-valent ground state. The radical is stabilised by delocalisation across the ligands mediated by the energy matched d orbital manifold of the V(V) centre. Furthermore, this electronic structure is compared to the tris-dithiolene and tris-diimine analogues that possess V(IV) and V(II) ions, respectively.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2021

Reduction of Vanadium(V) by Iron(II)-Bearing Minerals

Fe(II)-bearing minerals (magnetite, siderite, green rust, etc.) are common products of microbial Fe(III) reduction, and they provide a reservoir of reducing capacity in many subsurface environments that may contribute to the reduction of redox active elements such as vanadium; which can exist as V(V), V(IV), and V(III) under conditions typical of near-surface aquatic and terrestrial environments. To better understand the redox behavior of V under ferrugenic/sulfidogenic conditions, we examined the interactions of V(V) (1 mM) in aqueous suspensions containing 50 mM Fe(II) as magnetite, siderite, vivianite, green rust, or mackinawite, using X-ray absorption spectroscopy at the V K-edge to determine the valence state of V. Two additional systems of increased complexity were also examined, containing either 60 mM Fe(II) as biogenic green rust (BioGR) or 40 mM Fe(II) as a mixture of biogenic siderite, mackinawite, and magnetite (BioSMM). Within 48 h, total solution-phase V concentrations decreased to <20 µM in all but the vivianite and the biogenic BiSMM systems; however, >99.5% of V was removed from solution in the BioSMM and vivianite systems within 7 and 20 months, respectively. The most rapid reduction was observed in the mackinawite system, where V(V) was reduced to V(III) within 48 h. Complete reduction of V(V) to V(III) occurred within 4 months in the green rust system, 7 months in the siderite system, and 20 months in the BioGR system. Vanadium(V) was only partially reduced in the magnetite, vivianite, and BioSMM systems, where within 7 months the average V valence state stabilized at 3.7, 3.7, and 3.4, respectively. The reduction of V(V) in soils and sediments has been largely attributed to microbial activity, presumably involving direct enzymatic reduction of V(V); however the reduction of V(V) by Fe(II)-bearing minerals suggests that abiotic or coupled biotic–abiotic processes may also play a critical role in V redox chemistry, and thus need to be considered in modeling the global biogeochemical cycling of V.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
NASA NTRS2019

Agile Approach to Assuring the Safety-Critical Embedded Software for NASA's Orion Spacecraft

Human-rated missions like those in NASA's Orion Program continue to grow in complexity. The role of software in achieving ambitious mission objectives has expanded dramatically in the last few decades. Assuring the safety and performance of the embedded flight software is quickly growing beyond the reach of traditional methods and resource levels. The methods used to build these software-dominant systems evolve in an on-going attempt to keep pace with the scope of our ambitions. Agile software development is now commonplace. The long timelines and large batches of work associated with traditional methods are being replaced by rapid delivery of small increments _ as system capabilities are realized in waves. Assurance of these critical software capabilities must therefore conquer an ever-expanding frontier of challenges, and do so with an approach matched to the evolving development methods. This paper recounts the journey of the Orion Independent Verification and Validation (IV&V) team as we addressed this dynamic environment. Widening our aperture to encompass a dramatically larger mission scope, while adjusting our cadence to synchronize with the rapid pace of agile software development, a new approach to IV&V is emerging. This approach is characterized by a sharper focus on mission capabilities, matched with a method to dynamically _follow the risk' as the IV&V team delivers more compelling assurance data in waves. Traditional methods prevalent in IV&V tend to scope the work using artifacts of the development process as they evolve from preliminary to final versions, and the pace of delivery was synchronized with the development timelines prevalent in the waterfall lifecycle. That more static approach is out of phase with the demands of the new environment. Scoping work according to the critical capabilities of the system (rather than artifacts of development) and synchronizing with the rapid pace of agile development, we are moving toward more effective parity with the demands of the environment. We explain the concrete steps we took, the principles that motivated our choices, and the results we have achieved to date.

Capability based assurance↗
NASA NTRS1993

Lattice-matched heteroepitaxy of wide gap ternary compound semiconductors

A variety of applications are identified for heteroepitaxial structures of wide gap I-III-VI(sub 2) and II-IV-V(sub 2) semiconductors, and are assessed in comparison with ternary III-V alloys and other wide gap materials. Non-linear optical applications of the I-III-VI(sub 2) and II-IV-V(sub 2) compound heterostructures are discussed, which require the growth of thick epitaxial layers imposing stringent requirements on the conditions of heteroepitaxy. In particular, recent results concerning the MOCVD growth of ZnSi(x)Ge(1-x)P2 alloys lattice matching Si or GaP substrates are reviewed. Also, heterostructures of Cu(z)Ag(1-z)GaS2 alloys that lattice-match Si, Ge, GaP, or GaAs substrates are considered in the context of optoelectronic devices operating in the blue wavelength regime. Since under the conditions of MOCVD, metastable alloys of the II-IV-V(sub 2) compounds and group IV elements are realized, II-IV-V(sub 2) alloys may also serve as interlayers in the integration of silicon and germanium with exactly lattice-matched tetrahedrally coordinated compound semiconductors, e.g. ZnSi(x)Ge(1-x)P2.

Bachmann, Klaus J.↗
DOE OSTI2021

Van der Waals density functional study of hydrocarbon adsorption and separation in metal–organic frameworks without open metal sites

Metal–organic frameworks (MOFs) have received significant attention thanks to their promising features in the storage and separation of guest molecules. MOFs without open metal sites are emerging as they are often less susceptible to poisoning compared to those with open metal sites. However, a complete understanding of the binding and gas separation mechanisms in such materials is still missing. In this work, we perform a comparative study of two classes of vanadium-based MOFs without open metal sites: MFM-300-V (III) and MFM-300-V (IV) , as well as MIL-47-V (III) and MIL-47-V (IV) . We employ first-principles van der Waals density functional theory to find the optimal binding conformations and binding energies of a series of small hydrocarbons within the pores of the aforementioned MOFs. Our study provides insight into the host–guest interactions in such MOFs without open metal sites, especially the role played by the bridging hydroxyl group (μ 2 –OH). We conclude that the bridging –OH group acts as a pseudo open metal site in these MOFs.

36 MATERIALS SCIENCE↗
NASA NTRS1977

The ultraviolet spectra of Alpha Aquilae and Alpha Canis Minoris

Scans of Alpha Aql (A7 IV, V) and Alpha CMi (F5 IV-V) obtained with the Copernicus satellite spectrometer over the wavelength range from 2100 to 3200 A are presented along with a spectrum of the integrated solar disk over the same range procured during a calibrated rocket flight. About 1500 fairly strong absorption lines in the Alpha CMi spectrum between 2400 and 2961 A are identified by comparison with a solar atlas and by using a theoretical spectrum synthesized from a blanketed LTE model with an effective temperature of 6500 K and a surface gravity of 10,000 cm/sec per sec. The Mg II resonance doublet at 2795.528 and 2802.704 A is found to be present in all three stars together with a discontinuity at 2635 A due to Fe II, Fe I, Cr I, and Mn II. It is concluded that the Mg II resonance lines and the 2635-A continuum break would be the best spectral features for estimating the redshift of a galaxy observed at low resolution provided the redshift is not less than about 0.75.

Morton, D. C.↗
NASA NTRS1995

New insights into nonradiative heating in late A star chromospheres

Using new and archival spectra from the Goddard High Resolution Spectrograph, we have searched for evidence of chromospheric and transition region emission in six stars of mid to late A spectral type. Two of the stars, alpha Aq1 (A7 IV-V) and alpha Cep (A7 IV-V), show emission in the C II 1335 A doublet, confirming the presence of hot plasma with temperatures comparable to that of the solar transition region. Using radiative equilibrium photospheric models, we estimate the net surface fluxes in the CII emission line to be 9.4 x 10(exp 4) ergs/sq cm/s for alpha Aq1 and 6.5 x 10(exp 4)ergs/sq cm/s for alpha Cep. These are comparable to fluxes observed in stars as hot as approximately 8000 K (B-V = 0.22). We find no evidence for the blueshifted emission reported by Simon et al. (1994). We estimate the basal flux level to be about 30% of that seen in early F stars, and that the bulk of the emission is not basal in origin. We conclude that the basal flux level drops rapidly for B-V approximately less than 0.3, but that magnetic activity may persist to B-v as small as 0.22.

Walter, Frederick M.↗
DOE OSTI2025

Melting point of group IV and V transition metal diborides

The environmental conical nozzle levitator system enables cooling trace experiments above 4000 K. These cooling trace experiments were used to determine the melting points through observation of thermal arrest of group IV and V transition metal diborides (TiB 2 , T m = 3313 ± 33 K; ZrB 2 , T m = 3404 ± 38 K; HfB 2 , T m = 3529 ± 33 K; and TaB 2 , T m = 3284 ± 10 K; note: mean ± 2 standard error). Temperature measurements were conducted utilizing dual single-color pyrometers at wavelengths of 0.9 and 0.65 µm. This system utilizes aerodynamic levitation and dual laser heating to achieve temperatures approaching 4000 K. The samples were synthesized from commercial powders using ceramic gel-casting to produce high-density spherical components. The measurements obtained were compared to previously reported melting temperature values and were generally found to be in agreement with most of the published values.

Materials science↗
NASA NTRS2006

A Predictive Approach to Eliminating Errors in Software Code

NASA s Metrics Data Program Data Repository is a database that stores problem, product, and metrics data. The primary goal of this data repository is to provide project data to the software community. In doing so, the Metrics Data Program collects artifacts from a large NASA dataset, generates metrics on the artifacts, and then generates reports that are made available to the public at no cost. The data that are made available to general users have been sanitized and authorized for publication through the Metrics Data Program Web site by officials representing the projects from which the data originated. The data repository is operated by NASA s Independent Verification and Validation (IV&V) Facility, which is located in Fairmont, West Virginia, a high-tech hub for emerging innovation in the Mountain State. The IV&V Facility was founded in 1993, under the NASA Office of Safety and Mission Assurance, as a direct result of recommendations made by the National Research Council and the Report of the Presidential Commission on the Space Shuttle Challenger Accident. Today, under the direction of Goddard Space Flight Center, the IV&V Facility continues its mission to provide the highest achievable levels of safety and cost-effectiveness for mission-critical software. By extending its data to public users, the facility has helped improve the safety, reliability, and quality of complex software systems throughout private industry and other government agencies. Integrated Software Metrics, Inc., is one of the organizations that has benefited from studying the metrics data. As a result, the company has evolved into a leading developer of innovative software-error prediction tools that help organizations deliver better software, on time and on budget.

Source record↗
NASA NTRSDate not supplied

Alternate Methods of Model Reduction to Avoid Dynamic Modal Truncation Error

Loads analysis is traditionally performed using dynamically reduced models, which provides the benefit to reduce run time. If the reduced model frequency cutoff is not chosen appropriately, the model will lack the dynamic content required to fully represent the response of the non-reduced model. Standard guidance for reduced model frequency content, provided in NASA-STD-5002, is to solve fixed base modes up to a minimum of 1.5x the model frequency content of interest and to employ static modal truncation methods such as residual vectors, the mode acceleration method, and the residual flexibility method to account for the truncated flexibility of the missing modes. Fixed base modes require the selection of a set of degrees of freedom to be constrained which, if not properly selected, may affect the accuracy of the reduced model by excluding some of the dynamic characteristic of the full model. In this case, the standard NASA guidance would be insufficient, but it may not be readily apparent that a portion of the reduced model response is missing. This error was encountered during an independent verification and validation (IV&V) effort, where it was observed that the resulting dynamic response was lower than the inline analysis. In this specific case, despite following the standard NASA model reduction guidelines in the selection of the frequency cutoff, the inline model still did not fully capture the necessary dynamic content. As part of the IV&V, an alternate reduction methodology was employed using an unconstrained mode acceleration method. The original model initially performed a constrained reduction to twice the frequency content of interest before doing a free-free run, employing the mode acceleration method to account for the truncated modes. In contrast in the IV&V, the unconstrained model reduced directly to the needed frequency content of the free-free run, avoiding any interactions between constraints and dynamic content. To verify the model, the original reduction methodology was used to generate a series of Hurty-Craig-Bampton reductions, each with a higher frequency cutoff than the previous. The results were shown to converge once the frequency cutoff increased past eight times the frequency content of interest. At the same frequency cutoff, the results of the Hurty-Craig-Bampton model converged with the results of the unconstrained mode acceleration model. This comparative study provided confidence that the results of the unconstrained modal acceleration reduced model were correct and that the Hurty-Craig-Bampton needed to increase its frequency cutoff to fully capture the dynamic response.

Erin Simmons↗
NASA NTRSDate not supplied

Alternate Methods of Model Reduction to Avoid Dynamic Modal Truncation Error

Loads analysis is traditionally performed using dynamically reduced models, which provides the benefit to reduce run time. If the reduced model frequency cutoff is not chosen appropriately, the model will lack the dynamic content required to fully represent the response of the non-reduced model. Standard guidance for reduced model frequency content, provided in NASA-STD-5002, is to solve fixed base modes up to a minimum of 1.5x the model frequency content of interest and to employ static modal truncation methods such as residual vectors, the mode acceleration method, and the residual flexibility method to account for the truncated flexibility of the missing modes. Fixed base modes require the selection of a set of degrees of freedom to be constrained which, if not properly selected, may affect the accuracy of the reduced model by excluding some of the dynamic characteristic of the full model. In this case, the standard NASA guidance would be insufficient, but it may not be readily apparent that a portion of the reduced model response is missing. This error was encountered during an independent verification and validation (IV&V) effort, where it was observed that the resulting dynamic response was lower than the inline analysis. In this specific case, despite following the standard NASA model reduction guidelines in the selection of the frequency cutoff, the inline model still did not fully capture the necessary dynamic content. As part of the IV&V, an alternate reduction methodology was employed using an unconstrained mode acceleration method. The original model initially performed a constrained reduction to twice the frequency content of interest before doing a free-free run, employing the mode acceleration method to account for the truncated modes. In contrast in the IV&V, the unconstrained model reduced directly to the needed frequency content of the free-free run, avoiding any interactions between constraints and dynamic content. To verify the model, the original reduction methodology was used to generate a series of Hurty-Craig-Bampton reductions, each with a higher frequency cutoff than the previous. The results were shown to converge once the frequency cutoff increased past eight times the frequency content of interest. At the same frequency cutoff, the results of the Hurty-Craig-Bampton model converged with the results of the unconstrained mode acceleration model. This comparative study provided confidence that the results of the unconstrained modal acceleration reduced model were correct and that the Hurty-Craig-Bampton needed to increase its frequency cutoff to fully capture the dynamic response.

Erin Simmons↗
NASA NTRS1997

Formal Methods for Verification and Validation of Partial Specifications: A Case Study

This paper describes our work exploring the suitability of formal specification methods for independent verification and validation (IV&V) of software specifications for large, safety critical systems. An IV&V contractor often has to perform rapid analysis on incomplete specifications, with no control over how those specifications are represented. Lightweight formal methods show significant promise in this context, as they offer a way of uncovering major errors, without the burden of full proofs of correctness. We describe a case study of the use of partial formal models for V&V of the requirements for Fault Detection Isolation and Recovery on the space station. We conclude that the insights gained from formalizing a specification are valuable, and it is the process of formalization, rather than the end product that is important. It was only necessary to build enough of the formal model to test the properties in which we were interested. Maintenance of fidelity between multiple representations of the same requirements (as they evolve) is still a problem, and deserves further study.

Easterbrook, Steve↗