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 91 records · Page 5
All sourcesNASA NTRSDOE OSTI
DOE OSTI2021

High Ammonia Adsorption in MFM-300 Materials: Dynamics and Charge Transfer in Host–Guest Binding

Ammonia (NH 3 ) is a promising energy resource owing to its high hydrogen density. However, its widespread application is restricted by the lack of efficient and corrosion-resistant storage materials. In this work, we report high NH 3 adsorption in a series of robust metal-organic framework (MOF) materials, MFM-300(M) (M = Fe, V, Cr, In). MFM-300(M) (M = Fe, V III , Cr) show fully reversible capacity for >20 cycles, reaching capacities of 16.1, 15.6, and 14.0 mmol g -1 , respectively, at 273 K and 1 bar. Under the same conditions, MFM-300(V IV ) exhibits the highest uptake among this series of MOFs of 17.3 mmol g -1 . In situ neutron powder diffraction, single-crystal X-ray diffraction, and electron paramagnetic resonance spectroscopy confirm that the redox-active V center enables host-guest charge transfer, with V IV being reduced to V III and NH 3 being oxidized to hydrazine (N 2 H 4 ). A combination of in situ inelastic neutron scattering and DFT modeling has revealed the binding dynamics of adsorbed NH 3 within these MOFs to afford a comprehensive insight into the application of MOF materials to the adsorption and conversion of NH 3 .

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

Tuning Uranium Redox Chemistry in Asymmetric Polyoxometalate Complexes: Access to U(IV), U(V), and Transient U(VI)

We report the synthesis and characterization of asymmetric sandwich-type complexes [TpU IV EW 11 O 39 ] x– (E = P; x = 4, E = Si; x = 5, Tp = trispyrazolylborate). These complexes represent rare examples of the selective formation of asymmetric actinide-polyoxometalate (An-POM) complexes. Oxidation studies show that the U V analogues are stable and accessible, with both complexes isolated. Attempts to access U VI with this framework yield mixed results. Attempts to produce [TpU VI PW 11 O 39 ] 2– only led to decomposition, while electrochemical oxidation experiments gave evidence of transient formation of [TpU VI SiW 11 O 39 ] 3– in solution. Rapid decomposition of [TpU VI SiW 11 O 39 ] 3– inhibits full characterization. These studies indicate that the redox properties and stability of An-POM complexes containing actinides in higher valencies are dependent on the anionic charge of the assembly.

Actinides↗
NASA NTRS1997

Formal Methods of V&V of Partial Specifications: An Experience Report

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 an experiment in the application of the method SCR. to testing for consistency properties of a partial model of requirements for Fault Detection Isolation and Recovery on the space station. We conclude that the insights gained from formalizing a specification is 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↗
NASA NTRS1998

Radial Velocity Detection of Extra-Solar Planetary Systems

The McDonald Observatory Planetary Search (MOPS) was designed to search for Jovian-mass planets in orbit around solar-type stars by making high-precision measurements of the Radial Velocity (RV) of a star, to attempt to detect the reflex orbital motion of the star around the star-planet barycenter. In our solar system, the velocity of the Sun around the Sun-Jupiter barycenter averages 12.3 m/ s. The MOPS survey started operation in September 1987, and searches 36 bright, nearby, solar-type dwarfs to 10 m/s precision. The survey was started using telluric O2 absorption lines as the velocity reference metric. Observations use the McDonald Observatory 2.7-m Harlan Smith Telescope coude spectrograph with the six-foot camera. This spectrograph configuration isolates a single order of the echelle grating on a Texas Instruments 800 x 800 CCD. The telluric line method gave us a routine radial velocity precision of about 15 m/s for stars down to about 5-th magnitude. However, the data obtained with this technique suffered from some source of long-term systematic errors, which was probably the intrinsic velocity variability of the terrestrial atmosphere, i.e. winds. In order to eliminate this systematic error and to improve our overall measurement precision, we installed a stabilized I2 gas absorption cell as the velocity metric for the MOPS in October 1990. In use at the telescope, the cell is placed directly in front of the spectrograph entrance slit, with starlight passing through the cell. The use of this sealed stabilized I2 cell removes potential problems with possible long-term drifts in the velocity metric. The survey now includes a sample of 36 nearby F, G, and K type stars of luminosity class V or IV-V.

Cochran, William D.↗
NASA NTRS2011

Ares I-X Range Safety Trajectory Analyses Overview and Independent Validation and Verification

All Flight Analysis data products were successfully generated and delivered to the 45SW in time to support the launch. The IV&V effort allowed data generators to work through issues early. Data consistency proved through the IV&V process provided confidence that the delivered data was of high quality. Flight plan approval was granted for the launch. The test flight was successful and had no safety related issues. The flight occurred within the predicted flight envelopes. Post flight reconstruction results verified the simulations accurately predicted the FTV trajectory.

Tarpley, Ashley F.↗
NASA NTRS2017

Risk-Significant Adverse Condition Awareness Strengthens Assurance of Fault Management Systems

As spaceflight systems increase in complexity, Fault Management (FM) systems are ranked high in risk-based assessment of software criticality, emphasizing the importance of establishing highly competent domain expertise to provide assurance. Adverse conditions (ACs) and specific vulnerabilities encountered by safety- and mission-critical software systems have been identified through efforts to reduce the risk posture of software-intensive NASA missions. Acknowledgement of potential off-nominal conditions and analysis to determine software system resiliency are important aspects of hazard analysis and FM. A key component of assuring FM is an assessment of how well software addresses susceptibility to failure through consideration of ACs. Focus on significant risk predicted through experienced analysis conducted at the NASA Independent Verification & Validation (IV&V) Program enables the scoping of effective assurance strategies with regard to overall asset protection of complex spaceflight as well as ground systems. Research efforts sponsored by NASAs Office of Safety and Mission Assurance (OSMA) defined terminology, categorized data fields, and designed a baseline repository that centralizes and compiles a comprehensive listing of ACs and correlated data relevant across many NASA missions. This prototype tool helps projects improve analysis by tracking ACs and allowing queries based on project, mission type, domain/component, causal fault, and other key characteristics. Vulnerability in off-nominal situations, architectural design weaknesses, and unexpected or undesirable system behaviors in reaction to faults are curtailed with the awareness of ACs and risk-significant scenarios modeled for analysts through this database. Integration within the Enterprise Architecture at NASA IV&V enables interfacing with other tools and datasets, technical support, and accessibility across the Agency. This paper discusses the development of an improved workflow process utilizing this database for adaptive, risk-informed FM assurance that critical software systems will safely and securely protect against faults and respond to ACs in order to achieve successful missions.

IV&V↗
NASA NTRS1994

A process improvement model for software verification and validation

We describe ongoing work at the NASA Independent Verification and Validation (IV&V) Facility to establish a process improvement model for software verification and validation (V&V) organizations. This model, similar to those used by some software development organizations, uses measurement-based techniques to identify problem areas and introduce incremental improvements. We seek to replicate this model for organizations involved in V&V on large-scale software development projects such as EOS and Space Station. At the IV&V Facility, a university research group and V&V contractors are working together to collect metrics across projects in order to determine the effectiveness of V&V and improve its application. Since V&V processes are intimately tied to development processes, this paper also examines the repercussions for development organizations in large-scale efforts.

Callahan, John↗
NASA NTRS1994

A process improvement model for software verification and validation

We describe ongoing work at the NASA Independent Verification and Validation (IV&V) Facility to establish a process improvement model for software verification and validation (V&V) organizations. This model, similar to those used by some software development organizations, uses measurement-based techniques to identify problem areas and introduce incremental improvements. We seek to replicate this model for organizations involved in V&V on large-scale software development projects such as EOS and space station. At the IV&V Facility, a university research group and V&V contractors are working together to collect metrics across projects in order to determine the effectiveness of V&V and improve its application. Since V&V processes are intimately tied to development processes, this paper also examines the repercussions for development organizations in large-scale efforts.

Callahan, John↗
DOE OSTI2020

Using resonant energy X-ray diffraction to extract chemical order parameters in ternary semiconductors

II–IV–V 2 materials, ternary analogs to III–V materials, are emerging for their potential applications in devices such as LEDs and solar cells. Controlling cation ordering in II–IV–V 2 materials offers the potential to tune properties at nearly fixed compositions and lattice parameters. While tuning properties at a fixed lattice constant through ordering has the potential to be a powerful tool used in device fabrication, cation ordering also creates challenges with characterization and quantification of ordering. In this work, we investigate two different methods to quantify cation ordering in ZnGeP 2 thin films: a stretching parameter calculated from lattice constants , and an order parameter determined from the cation site occupancies ( S ). We use high resolution X-ray diffraction (HRXRD) to determine and resonant energy X-ray diffraction (REXD) to extract S . REXD is critical to distinguish between elements with similar Z -number ( e.g. Zn and Ge). We found that samples with a corresponding to the ordered chalcopyrite structure had only partially ordered S values. The optical absorption onset for these films occurred at lower energy than expected for fully ordered ZnGeP 2 , indicating that S is a more accurate descriptor of cation order than the stretching parameter. Since disorder is complex and can occur on many length scales, metrics for quantifying disorder should be chosen that most accurately reflect the physical properties of interest.

36 MATERIALS SCIENCE↗
NASA NTRS2004

Completing the Loop: Linking Software Features to Failures

The PITS Modification Script has been under development. Testing, debugging, and optimization of the script are in progress. MSIS has begun population of ODC values from historic issue data. Design of the Linker Tool is also continuing. The quarterly review meeting held on December 17,2003, allowed for a venue to discuss installing the PITS Modification Script to the production version of PITS upon completion and incorporation of ODC into an IV&V project s issue tracking process. Feedback from NASA was positive although any global implementation will likely be timed to coordinate with other activities such as establishment of an IV&V Work Breakdown Structure.

Source record↗
DOE OSTI2023

Efforts to enhance reproducibility in a human performance research project

Background: Ensuring the validity of results from funded programs is a critical concern for agencies that sponsor biological research. In recent years, the open science movement has sought to promote reproducibility by encouraging sharing not only of finished manuscripts but also of data and code supporting their findings. While these innovations have lent support to third-party efforts to replicate calculations underlying key results in the scientific literature, fields of inquiry where privacy considerations or other sensitivities preclude the broad distribution of raw data or analysis may require a more targeted approach to promote the quality of research output. Methods: We describe efforts oriented toward this goal that were implemented in one human performance research program, Measuring Biological Aptitude, organized by the Defense Advanced Research Project Agency's Biological Technologies Office. Our team implemented a four-pronged independent verification and validation (IV&V) strategy including 1) a centralized data storage and exchange platform, 2) quality assurance and quality control (QA/QC) of data collection, 3) test and evaluation of performer models, and 4) an archival software and data repository. Results: Our IV&V plan was carried out with assistance from both the funding agency and participating teams of researchers. QA/QC of data acquisition aided in process improvement and the flagging of experimental errors. Holdout validation set tests provided an independent gauge of model performance. Conclusions: In circumstances that do not support a fully open approach to scientific criticism, standing up independent teams to cross-check and validate the results generated by primary investigators can be an important tool to promote reproducibility of results.

59 BASIC BIOLOGICAL SCIENCES↗
NASA NTRS2023

CST: A Tool for Optimizing the Efficiency and Effectiveness of Static-Code Analysis Tools

Static Code Analysis (SCA) is a vital component of NASA IV&V’s mission assurance for safety-critical software as it reduces the likelihood of software-induced hazards impacting mission success. Static Code Analysis achieves this by identifying hazards that may not have been otherwise detectable by typical code reviews or other testing. Using SCA tools, however, can be intimidating due to steep learning curves, especially considering tool performance and defect coverage varies greatly. Because of this variation amongst SCA tools, understanding which tools support certain defects and which do not, as well as understanding how to run an analysis based on steps that are unique to each tool, can be difficult to both new and experienced analysts alike. To mitigate this, the SCAWG or the IV&V Static Code Analysis Working Group, created the SCA Checker Taxonomy and Starting Point Profiles. The Checker Selection Tool (CST) incorporates these two SCAWG products into an interactive tool which allows the user to: select organized categories of defects they would like the SCA tools to discover, select default checkers depending on their mission type (e.g. flight), and configure multiple SCA tools at once. C/C++, Java, and Python defect checkers from four common SCA tools were utilized in this iteration of the CST. This iteration also includes the addition of training, SCA tool specific help, and taxonomy guide links, into its design to help users new to Static Code Analysis learn how to perform SCA more efficiently. The CST has been subject to beta testing by experienced static code analysts from the SCAWG to ensure a usable and accurate final product. The implications of the CST in the mission assurance of NASA safety-critical software are profound, as the CST can help identify and reduce false positives and false negatives, fundamentally improving overall SCA efficiency and accuracy.

static code analysis↗
DOE OSTI2021

First-Principles Predictions of Out-of-Plane Group IV and V Dimers as High-Symmetry, High-Spin Defects in Hexagonal Boron Nitride

Hexagonal boron nitride (h-BN) has been recently found to host a variety of quantum point defects, which are promising candidates as single-photon sources for solid-state quantum nanophotonic applications. Most recently, optically addressable spin qubits in h-BN have been the focus of intensive research due to their unique potential in quantum computation, communication, and sensing. However, the number of high-symmetry, high-spin defects that are desirable for developing spin qubits in h-BN is highly limited. Here, we combine density functional theory (DFT) and quantum embedding theories to show that out-of-plane X N Y i dimer defects (X, Y = C, N, P, and Si) form a new class of stable C 3v spin-triplet defects in h-BN. We find that the dimer defects have a robust 3 A 2 ground state and 3 E excited state, both of which are isolated from the h-BN bulk states. We show that 1 E and 1 A shelving states exist and they are positioned between the 3 E and 3 A 2 states for all the dimer defects considered in this study. To support future experimental identification of the X N Y i dimer defects, we provide extensive characterization of the defects in terms of their spin and optical properties. We predict that the zero-phonon line of the spin-triplet X N Y i defects lies in the visible range (800 nm to 500 nm). We compute the zero-field splitting of the dimers’ spin to range from 1.79 GHz (Si N P i o ) to 29.5 GHz (C N N i o ). Furthermore, our results broaden the scope of high-spin defect candidates that would be useful for the development of spin-based solid-state quantum technologies in two-dimensional hexagonal boron nitride.

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

IUE spectra of F and late A stars

The International Ultraviolet Explorer (IUE) spectra of alpha CMi (F5 IV-V), beta Cas (F2 IV), alpha Car (F0 Ib), and gamma Boo (A7 III) in the context of the question as to whether chromospheres disappear in the early F late A portions of the Hertzsprung-Russell diagram. Both alpha CMi (Procyon) and beta Cas show bright emission line spectra indicative of chromospheres and transition regions, but neither alpha Car (Canopus) nor gamma Boo show any evidence of emission in their SWP spectra or at the Mg II lines, despite very deep exposures. Alpha CMi has emission line fluxes roughly 6 times those of the quiet Sun, but the rapidly rotating delta Scuti type variable beta Cas has surface fluxes 10 to 50 times those of the quiet Sun. Upper limits on emission line fluxes for alpha Car are 4 to 20 and for gamma Boo 15 to 80 times the quiet Sun. It is concluded that the apparent absence of emission lines in the spectra of alpha Car and gamma Boo should not be interpreted as due to the absence of nonradiatively heated outer atmospheres in stars hotter than spectral type F0, but rather to the inability to see emission lines with IUE against a background of scattered light and a bright photospheric absorption line spectrum either in low or high dispersion.

Linsky, J. L.↗
NASA NTRS1999

Model Checking Verification and Validation at JPL and the NASA Fairmont IV and V Facility

We show how a technology transfer effort was carried out. The successful use of model checking on a pilot JPL flight project demonstrates the usefulness and the efficacy of the approach. The pilot project was used to model a complex spacecraft controller. Software design and implementation validation were carried out successfully. To suggest future applications we also show how the implementation validation step can be automated. The effort was followed by the formal introduction of the modeling technique as a part of the JPL Quality Assurance process.

Schneider, Frank↗
NASA NTRS2000

Software IV and V Research Priorities and Applied Program Accomplishments Within NASA

The mission of this research is to be world-class creators and facilitators of innovative, intelligent, high performance, reliable information technologies that enable NASA missions to (1) increase software safety and quality through error avoidance, early detection and resolution of errors, by utilizing and applying empirically based software engineering best practices; (2) ensure customer software risks are identified and/or that requirements are met and/or exceeded; (3) research, develop, apply, verify, and publish software technologies for competitive advantage and the advancement of science; and (4) facilitate the transfer of science and engineering data, methods, and practices to NASA, educational institutions, state agencies, and commercial organizations. The goals are to become a national Center Of Excellence (COE) in software and system independent verification and validation, and to become an international leading force in the field of software engineering for improving the safety, quality, reliability, and cost performance of software systems. This project addresses the following problems: Ensure safety of NASA missions, ensure requirements are met, minimize programmatic and technological risks of software development and operations, improve software quality, reduce costs and time to delivery, and improve the science of software engineering

Blazy, Louis J.↗