Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Design verification”

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 991 records · Page 55
All sourcesNASA NTRSDOE OSTI
NASA NTRS1990

SE and I system testability: The key to space system FDIR and verification testing

The key to implementing self-diagnosing design is a systems engineering task focused on design for testability concurrent with design for functionality. The design for testability process described here is the product of several years of DOD study and experience. Its application to the space station has begun on Work Package II under NASA and McDonnell direction. Other work package teams are being briefed by Harris Corporation with the hope of convincing them to embrace the process. For the purpose of this discussion the term testability is used to describe the systems engineering process by which designers can assure themselves and their reviewers that their designs are TESTABLE, that is they will support the downstream process of determining their functionality. Due to the complexity and density of present-day state-of-the-art designs, such as pipeline processors and high-speed integrated circuit technology, testability feature design is a critical requirement of the functional design process. A systematic approach to Space systems test and checkout as well as fault detection fault isolation reconfiguration (FDFIR) will minimize operational costs and maximize operational efficiency. An effective design for the testability program must be implemented by all contractors to insure meeting this objective. The process is well understood and technology is here to support it.

Barry, Thomas↗
NASA NTRS1991

Thermion: Verification of a thermionic heat pipe in microgravity

The design and development is examined of a small excore heat pipe thermionic space nuclear reactor power system (SEHPTR). The need was identified for an in-space flight demonstration of a solar powered, thermionic heat pipe element. A demonstration would examine its performance and verify its operation in microgravity. The design of a microsatellite based technology demonstration experiment is proposed to measure the effects of microgravity on the performance of an integrated thermionic heat pipe device in low earth orbit. The specific objectives are to verify the operation of the liquid metal heat pipe and the cesium reservior in the space environment. Two design configurations are described; THERMION-I and THERMION-II. THERMION-I is designed for a long lifetime study of the operations of the thermionic heat pipe element in low earth orbit. Heat input to the element is furnished by a large mirror which collects solar energy and focuses it into a cavity containing the heat pipe device. THERMION-II is a much simpler device which is used for short term operation. This experiment remains attached to the Delta II second stage and uses energy from 500 lb of alkaline batteries to supply heat energy to the heat pipe device.

Source record↗
DOE OSTI2025

ROSE Castor

ROSE Castor is a tool enabling automated verification of C++, built off of the ROSE compiler framework and the Why3 framework. Castor defines a verification language for providing specifications of C++ code, letting users perform automated functional formal verification of their C++ code. Castor is designed to target C++17, and supports a subset of the language, including classes, functions, templates, integers and booleans, pointers and references, and single inheritance. Castor currently does not support multiple or virtual inheritance, virtual functions, floating-point, threading, lambda functions, or the C++ STL, though some of these are planned in future updates. Castor ships with an in-house parser for parsing verification conditions.

Lane, PhillipA [Lawrence Livermore National Labora↗
NASA NTRS2015

Reconfigurable Very Long Instruction Word (VLIW) Processor

Future NASA missions will depend on radiation-hardened, power-efficient processing systems-on-a-chip (SOCs) that consist of a range of processor cores custom tailored for space applications. Aries Design Automation, LLC, has developed a processing SOC that is optimized for software-defined radio (SDR) uses. The innovation implements the Institute of Electrical and Electronics Engineers (IEEE) RazorII voltage management technique, a microarchitectural mechanism that allows processor cores to self-monitor, self-analyze, and selfheal after timing errors, regardless of their cause (e.g., radiation; chip aging; variations in the voltage, frequency, temperature, or manufacturing process). This highly automated SOC can also execute legacy PowerPC 750 binary code instruction set architecture (ISA), which is used in the flight-control computers of many previous NASA space missions. In developing this innovation, Aries Design Automation has made significant contributions to the fields of formal verification of complex pipelined microprocessors and Boolean satisfiability (SAT) and has developed highly efficient electronic design automation tools that hold promise for future developments.

Velev, Miroslav N.↗
DOE OSTI2025

Forced flow transient safety analysis of irradiation device with adjustable orifice for research reactor fuel assemblies

The Belgium Reactor 2 (BR2) of the Belgian Nuclear Research Centre (SCK CEN) has several irradiation devices or rigs that are dedicated to the fuel performance and qualification demonstration testing of research reactor fuels. In support of the U.S. High Performance Research Reactor (USHPRR) LEU conversion project, a new flexible irradiation apparatus, MUSTANG-R, has been constructed. SCK CEN has completed the design and safety study, in cooperation with Idaho National Laboratory (INL) and Argonne National Laboratory (ANL), to allow for the irradiation testing of a full-size fuel assembly in a 200 mm diameter channel in the BR2 reactor. The moveable valve is a key design feature of the device and acts like an adjustable orifice enhancing or restricting the flow through a coolant channel inlet located in the BR2 upper plenum. This moveable valve allows the flow through the device to be adjusted prior to each BR2 cycle to obtain the necessary conditions for the fuel qualification test. This ensures accurate and representative thermal-hydraulic conditions of the fuel design are achieved. The device was designed and qualified as passively safe, implying verification by a combination of mechanical and thermal-hydraulic analysis and testing. This includes characterization of the safety margin required for a scenario where the moveable valve is assumed to be erroneously closed during irradiation. A simplified and conservative method is proposed for analyzing the corresponding forced flow transient using a critical heat flux criterion. In conclusion, this allows the required minimum valve opening to be determined for the experiments' design and safety studies.

11 - NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗
NASA NTRS1993

The development and testing of the Lens Antenna Deployment Demonstration (LADD) test article

The USAF Rome Laboratory and NASA Marshall Space Flight Center, through contract to Grumman Corporation, have developed a space-qualifiable test article for the Strategic Defense Initiative Organization to demonstrate the critical structural and mechanical elements of single-axis roll-out membrane deployment for Space Based Radar (SBR) applications. The Lens Antenna Deployment Demonstration (LADD) test article, originally designed as a shuttle-attached flight experiment, is a large precision space structure which is representative of operational designs for space-fed lens antennas. Although the flight experiment was cancelled due to funding constraints and major revisions in the Strategic Defense System (SDS) architecture, development of this test article was completed in June 1989. To take full advantage of the existence of this unique structure, a series of ground tests are proposed which include static, dynamic, and thermal measurements in a simulated space environment. An equally important objective of these tests is the verification of the analytical tools used to design and develop large precision space structures.

Pugh, Mark L.↗
NASA NTRSDate not supplied

NASA Progress on the Development and Qualification of a 12-kW Hall-Effect, Solar Electric Propulsion Thruster

I. Motivation and Background Beginning in 2014, the National Aeronautics and Space Administration (NASA) Space Technology Mission Directorate (STMD) began a project to increase the state of the art for the Hall-Effect Solar Electric Propulsion (SEP) technology. The resulting Advanced Electric Propulsion System (AEPS) project has developed a 12 kW Hall Current Thruster in support of the NASA mission to establish a permanent human presence in lunar orbit and to land the next American astronauts on the South Pole of the Moon. The project is led by the NASA Glenn Research Center, supported by the Jet Propulsion Laboratory and development, qualification & flight hardware all provided by L3 Harris Aerojet Rocketdyne (AR).The AEPS project has completed the development testing of a high power, solar electric propulsion Hall Current thruster that will be used on the NASA Power & Propulsion Element (PPE) of the Gateway space station. NASA initially built three Technology Development Units to understand key characteristics of the hall-effect rocket with magnetic shielding. The design led to development testing on two Engineering Test Unit Thrusters and multiple critical components. The project has begun production of the three flight thrusters and entered qualification testing at the component and thruster levels. II. Approach NASA and AR teams completed all development phases of the project, including full development and integration testing of the Engineering Model hardware, Critical Design Review, and ground test equipment validation, as well as fabrication and acceptance testing of the initial qualification thruster. Qualification and verification of the environmental and life requirements of the AEPS design was initiated in the Fall of 2023 and will be accomplished on two thruster units and using a series of component-level tests during 2024 and 2025. Environmental testing will incorporate functional reference firings, shock, vibration, and Thermal Vacuum (TVAC) testing. Life verification will assess the thruster wear and performance over the lifetime of the Gateway spacecraft. Critical component qualification tests include cathode heater, magnet coils, magnet heaters, temperature sensors, and a cathode assembly that will undergo life cycle testing on multiple units. Flight thrusters will complete assembly and acceptance testing and be delivered to the PPE program in early 2025. III. Preliminary and Anticipated Results The program has completed the acceptance testing, including dynamic testing and hot fire characterization, of the first qualification thruster. In the Fall of 2023, the program entered the environmental qualification phase for thruster testing. This paper will present an overview of the AEPS thruster project, thruster capabilities and flight design, preliminary results from the thruster acceptance and qualification testing, component life cycle testing and flight hardware status.

Clayton Kachele↗
NASA NTRS1987

Manned spacecraft electrical power systems

A brief history of the development of electrical power systems from the earliest manned space flights illustrates a natural trend toward a growth of electrical power requirements and operational lifetimes with each succeeding space program. A review of the design philosophy and development experience associated with the Space Shuttle Orbiter electrical power system is presented, beginning with the state of technology at the conclusion of the Apollo Program. A discussion of prototype, verification, and qualification hardware is included, and several design improvements following the first Orbiter flight are described. The problems encountered, the scientific and engineering approaches used to meet the technological challenges, and the results obtained are stressed. Major technology barriers and their solutions are discussed, and a brief Orbiter flight experience summary of early Space Shuttle missions is included. A description of projected Space Station power requirements and candidate system concepts which could satisfy these anticipated needs is presented. Significant challenges different from Space Shuttle, innovative concepts and ideas, and station growth considerations are discussed. The Phase B Advanced Development hardware program is summarized and a status of Phase B preliminary tradeoff studies is presented.

Simon, William E.↗
DOE OSTI2021

Electrical Measurement and Verification of Energy in DC Buildings

Today's selection of DC buildings features a diverse set of electrical topologies and turnkey solutions, and each has specific design trade-offs and optimizations. Designers desperately need standardized metrics and procedures for measurement and verification (M&V) to analyze and compare the advantages of each DC solution to traditional AC building networks. This work develops the Measurement-Informed Modeling (MIM) method, which can be used to determine full-building efficiency and energy savings. The MIM M&V procedure develops a building model, and refines the model with metered data. This work demonstrates the MIM method by measuring the full-building efficiency of two DC buildings operated by the Institute of Building Research in Shenzhen, China. The MIM procedure can ultimately be used to compare and improve the efficiency of various DC topologies.

buildings↗
NASA NTRS2000

Seven Years of ACTS Technology Verification Experiments Reviewed

The Advanced Communications Technology Satellite (ACTS) was designed to achieve a 99.5-percent system availability rate and signals with less than one error in 10(exp 7) bits throughout the continental United States. To accomplish such a high rate of system availability, ACTS uses multiple narrow hopping beams and very small aperture terminal (VSAT) technology. In addition, ACTS uses an adaptive rain fade compensation protocol to reduce the negative effects of propagation on the system. To enhance knowledge on how propagation and system variances affect system availability, researchers at the NASA Glenn Research Center at Lewis Field performed technology verification experiments over a 7-yr period (from September 1993 to the present). These experiments include T1VSAT System Availability, Statistical Rain Fade Compensation Characterization, Statistical Characterization of Ka-Band Propagation Effects on Communication Link Performance, and Multibeam Antenna Performance.

Acosta, Roberto J.↗
NASA NTRS1979

Design of a verifiable subset for HAL/S

An attempt to evaluate the applicability of program verification techniques to the existing programming language, HAL/S is discussed. HAL/S is a general purpose high level language designed to accommodate the software needs of the NASA Space Shuttle project. A diversity of features for scientific computing, concurrent and real-time programming, and error handling are discussed. The criteria by which features were evaluated for inclusion into the verifiable subset are described. Individual features of HAL/S with respect to these criteria are examined and justification for the omission of various features from the subset is provided. Conclusions drawn from the research are presented along with recommendations made for the use of HAL/S with respect to the area of program verification.

Browne, J. C.↗
NASA NTRS1991

Design for Validation

The use of computer hardware and software in life-critical applications, such as for civil air transports, demands the use of rigorous formal mathematical validation procedures. However, formal specification and verification will only be tractable if the system is designed in a manner that lends itself to formal methods. Likewise, accurate reliability analysis will only be tractable if the number of interacting components that must be individually included in a single reliability model is kept to a low number and if their failure behavior interactions can be modeled simply. Also, the system must be designed such that the system reliability does not directly depend on system parameters that cannot be accurately determined. This paper presents a design methodology based on the concept of designing a system in such a manner that it can be rigorously validated, or "design for validation."

Johnson, Sally C.↗
NASA NTRS2014

Integrated Medical Model Verification, Validation, and Credibility

The Integrated Medical Model (IMM) was designed to forecast relative changes for a specified set of crew health and mission success risk metrics by using a probabilistic (stochastic process) model based on historical data, cohort data, and subject matter expert opinion. A probabilistic approach is taken since exact (deterministic) results would not appropriately reflect the uncertainty in the IMM inputs. Once the IMM was conceptualized, a plan was needed to rigorously assess input information, framework and code, and output results of the IMM, and ensure that end user requests and requirements were considered during all stages of model development and implementation. METHODS: In 2008, the IMM team developed a comprehensive verification and validation (VV) plan, which specified internal and external review criteria encompassing 1) verification of data and IMM structure to ensure proper implementation of the IMM, 2) several validation techniques to confirm that the simulation capability of the IMM appropriately represents occurrences and consequences of medical conditions during space missions, and 3) credibility processes to develop user confidence in the information derived from the IMM. When the NASA-STD-7009 (7009) was published, the IMM team updated their verification, validation, and credibility (VVC) project plan to meet 7009 requirements and include 7009 tools in reporting VVC status of the IMM. RESULTS: IMM VVC updates are compiled recurrently and include 7009 Compliance and Credibility matrices, IMM VV Plan status, and a synopsis of any changes or updates to the IMM during the reporting period. Reporting tools have evolved over the lifetime of the IMM project to better communicate VVC status. This has included refining original 7009 methodology with augmentation from the NASA-STD-7009 Guidance Document. End user requests and requirements are being satisfied as evidenced by ISS Program acceptance of IMM risk forecasts, transition to an operational model and simulation tool, and completion of service requests from a broad end user consortium including Operations, Science and Technology Planning, and Exploration Planning. CONCLUSIONS: The VVC approach established by the IMM project of combining the IMM VV Plan with 7009 requirements is comprehensive and includes the involvement of end users at every stage in IMM evolution. Methods and techniques used to quantify the VVC status of the IMM have not only received approval from the local NASA community but have also garnered recognition by other federal agencies seeking to develop similar guidelines in the medical modeling community.

Validation↗
DOE OSTI2020

Analytical Solutions for Seismic Fluid-Structure Interaction of Head-Supported Cylindrical Tanks

Fluid-structure interaction (FSI) of earthquake shaking is a design consideration in the civil, nuclear, chemical, and mechanical industries. Preliminary sizing of structures and components in these industries will often use analytical solutions because there is insufficient information to warrant the analysis of numerical models. Here, this study extends prior analytical work on seismic FSI of base-supported tanks in the 1980s to accommodate head-supported tanks with geometries similar to those proposed for new-build, liquid (fluid)-filled, advanced reactors. Analytical solutions are derived for flexible, head-supported, cylindrical tanks subjected to small-amplitude, unidirectional, horizontal seismic motion, and address frequencies of lateral motions of the tank, hydrodynamic pressures, frequencies of waves, wave heights, and reactions at the head support. Solutions are presented for a range of tank dimensions and could be used for a) preliminary design of head-supported cylindrical tanks and their supporting structures with idealized seismic input, and b) verification of numerical models to be used for final seismic analysis, design, and probabilistic risk assessment.

42 ENGINEERING↗
NASA NTRS2015

The SeaHorn Verification Framework

In this paper, we present SeaHorn, a software verification framework. The key distinguishing feature of SeaHorn is its modular design that separates the concerns of the syntax of the programming language, its operational semantics, and the verification semantics. SeaHorn encompasses several novelties: it (a) encodes verification conditions using an efficient yet precise inter-procedural technique, (b) provides flexibility in the verification semantics to allow different levels of precision, (c) leverages the state-of-the-art in software model checking and abstract interpretation for verification, and (d) uses Horn-clauses as an intermediate language to represent verification conditions which simplifies interfacing with multiple verification tools based on Horn-clauses. SeaHorn provides users with a powerful verification tool and researchers with an extensible and customizable framework for experimenting with new software verification techniques. The effectiveness and scalability of SeaHorn are demonstrated by an extensive experimental evaluation using benchmarks from SV-COMP 2015 and real avionics code.

Model Checking↗
NASA NTRS2020

Introduction to ISS Crew Displays

The International Space Station (ISS) began payload operations in earnest in 2000 with the arrival of the Expedition 1. To date, ISS has offered Principal Investigators (PIs) a reliable platform for microgravity research, having hosted thousands of onboard science experiments. Most of this research is supported by experiment hardware and software and many include a crew‐operated Graphical User Interface (GUI). The purpose of this article is to share information with PIs and Payload Developer (PD) teams about the processes, standards, and guidelines applicable to crew GUI design that must be complied with when planning payload software. The goal is not to enumerate all of the ISS display standards, but rather to highlight design guidelines and the ISS Program milestones for verification and approval of onboard crew displays.

Graphical User Interface↗